« April 2017 »
April
MoTuWeThFrSaSu
12
3456789
10111213141516
17181920212223
24252627282930
Uni-Logo
You are here: Home Research Data Base Theses
Document Actions

Theses

This page is constructed automatically from the official research data base of the University of Freiburg.  This data base is likely to be out of date. If in doubt, please contact swtsecr@informatik.uni-freiburg.de.

 



Phd thesis

Years:
2015 | 2013 | 2011 | 2010 | 2009 | 2007

    2015


    • Abstraction-based Analysis of Hybrid Automata
      2015, Bogomolov Sergiy
      First reviewer: Prof. Dr. Andreas Podelski
      Second reviewer: Prof. Dr. Radu Grosu

    • Interpolation Modulo Theories
      2015, Christ Jürgen
      First reviewer: Prof. Dr. Andreas Podelski
      Second reviewer: Prof. Dr. David Monniaux

    • Model Checking for Time Division Multiple Access Systems
      2015, Muniz Marco
      First reviewer: Prof. Dr. Andreas Podelski
      Second reviewer: Prof. Dr. Kim G. Larsen

    • Traces, Interpolants, and Automata: a New Approach to Automatic Software Verification
      2015, Heizmann Matthias
      First reviewer: Prof. Dr. Andreas Podelski
      Second reviewer: Prof. Dr. Rupak Majumdar

    2013


    • Interpolation in Software Model Checking and Fault Localization
      2013, Ermis Evren
      First reviewer: Prof. Dr. Andreas Podelski
      Second reviewer: Prof. Dr. Dirk Beyer

    • Program Analysis and Black-box GUI Testing
      2013, Arlt Stephan
      First reviewer: Prof. Dr. Andreas Podelski
      Second reviewer: Prof. Dr. Mauro Pezzè

    2011


    • An Axiomatic Approach to the Verification of Business Rule Programs
      2011, Berstel Bruno
      First reviewer: Prof. Dr. Andreas Podelski

    • Compositional Stability Analysis for Hybrid Systems
      2011, Mitrohin Corina
      First reviewer: Prof. Dr. Andreas Podelski

    • Effective Correctness Criteria for Real-time Requirements
      2011, Post Amalinda
      First reviewer: Prof. Dr. Andreas Podelski

    • Static Detection of Inevitable Errors
      2011, Schäf Martin
      First reviewer: Prof. Dr. Andreas Podelski

    • Transition-based Directed Model Checking
      2011, Wehrle Martin
      First reviewer: Prof. Dr. Andreas Podelski

    • Verification of Hypervisor Subroutines written in Assembler
      2011, Maus Stefan
      First reviewer: Prof. Dr. Andreas Podelski

    2010


    • Abstraction Refinement Techniques for Software Model Checking
      2010, Seghir Mohamed Nassim
      First reviewer: Prof. Dr. Andreas Podelski
      Second reviewer: Prof. Dr. Andrey Rybalchenko

    • Cartesian abstraction and verification of multithreaded programs
      2010, Malkis Alexander
      First reviewer: Prof. Dr. Andreas Podelski
      Second reviewer: Prof. Dr. Ernst-Rüdiger Olderog

    2009


    • Symbolic shape analysis
      2009, Wies Thomas
      First reviewer: Prof. Dr. Andreas Podelski
      Second reviewer: Prof. Dr. Peter O'Hearn

    2007


    • Stability Proofs for Hybrid Systems
      2007, Wagner Silke
      First reviewer: Prof. Dr. Andreas Podelski
      Second reviewer: Prof. Bernd Finkbeiner

    Master thesis

    Years:
    2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2007

      2015


      • Analysis Framework for Heterogeneous Dynamic Systems
        2015, Strump Thomas
        First reviewer: Prof. Dr. Andreas Podelski
        Second reviewer: Prof. Dr. Peter Thiemann

      • Convex Polyhedra as Abstract Domain for Abstract Interpretation in Ultimate
        2015, Hättig Jan
        First reviewer: Prof. Dr. Andreas Podelski
        Second reviewer: Prof. Dr. Peter Thiemann

      2014


      • Continuous Delivery for Small Java Web Based Applications
        2014, Vasumathi Jayakumar
        First reviewer: Prof. Dr. Andreas Podelski
        Second reviewer: Prof. Dr. Peter Thiemann

      • Model-based Verification of State-Machine Implementations with Microsoft VCC
        2014, Szymanski, U.
        First reviewer: Prof. Dr. Andreas Podelski

      2013


      • Adaptive Block Encoding for Recursive Control Flow Graphs
        2013, Wissert Stefan
        First reviewer: Prof. Dr. Andreas Podelski
        Second reviewer: Prof. Dr. Peter Thiemann

      • Deadlock Detection for Phase Event Automata Using Software Model Checking
        2013, Hamed Ladan
        First reviewer: Prof. Dr. Andreas Podelski
        Second reviewer: Prof Dr. Peter Thiemann

      • LTL Software Model Checking with Büchi Programs
        2013, Langenfeld Vincent
        First reviewer: Prof. Dr. Andreas Podelski

      • Minimization of Nested Word Automata
        2013, Schilling Christian
        First reviewer: Prof. Dr. Andreas Podelski

      • Ranking Function Synthesis for Linear Lasso Programs
        2013, Leike, Jan
        First reviewer: Prof. Dr. Andreas Podelski

      2012


      • A simple but sufficient memory model for Ultimate
        2012, Lindenmann Markus
        First reviewer: Prof. Dr. Andreas Podelski
        Second reviewer: Prof. Dr. Peter Thiemann

      • Automatisierte Grey-Box Testfallgenerierung für GUIs
        2012, Pahl Simon
        First reviewer: Prof. Dr. Andreas Podelski
        Second reviewer: Prof. Dr. Peter Thiemann

      • Combining Value Analysis and Static Checking for Automated Verification of Software Specifications
        2012, Greitschus Marius
        First reviewer: Prof. Dr. Andreas Podelski
        Second reviewer: Prof. Dr. Peter Thiemann

      • Formal Verification of a CNF Conversion in an SMT Solver
        2012, Jubran Oday
        First reviewer: Prof. Dr. Andreas Podelski
        Second reviewer: Prof. Dr. Peter Thiemann

      • Reducing quasi-equal clocks in Networks of Timed Automata
        2012, Herrera Christian
        First reviewer: Prof. Dr. Andreas Podelski
        Second reviewer: Prof. Dr. Peter Thiemann

      2011


      • RTCD: Test Description Language for Real Time Systems
        2011, Nagendra Asha
        First reviewer: Prof. Dr. Andreas Podelski
        Second reviewer: Prof. Dr. Peter Thiemann

      • Three Operations on Büchi Nested Word Automata for Program Verification
        2011, Wu Xiao-Lin
        First reviewer: Prof. Dr. Andreas Podelski
        Second reviewer: Prof. Dr. Peter Thiemann

      • Towards Ordered Landmarks in Directed Model Checking
        2011, Al-Mukhawi Waled
        First reviewer: Prof. Dr. Andreas Podelski
        Second reviewer: Prof. Dr. Peter Thiemann

      • Towards a Domain Specific Modeling Language for User Interface of Embedded Systems
        2011, Rashid Haroon
        First reviewer: Prof. Dr. Andreas Podelski
        Second reviewer: Prof. Dr. Peter Thiemann

      2010


      • From Requirements to Specifications: A Case Study
        2010, Dietsch Daniel
        First reviewer: Prof. Dr. Andreas Podelski
        Second reviewer: Prof. Dr. Peter Thiemann

      2009


      • Efficient Interpolation for Linear Arithmetic over Rationals and Integers
        2009, Christ Jürgen
        First reviewer: Prof. Dr. Andreas Podelski

      • Path Abstrations in RNA Landscapes
        2009, Bogomolov Sergiy
        First reviewer: Prof. Dr. Andreas Podelski
        Second reviewer: Prof. Dr. Rolf Backofen

      2007


      • Developing and Applying a Requirements Engineering Concept to automatic Detection of Conflicts
        2007, Corina Mitrohin
        First reviewer: Prof. Dr. Andreas Podelski
        Second reviewer: Prof. Dr. Cristoph Scholl

      Bachelor thesis

      Years:
      2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007

        2016


        • An Octagon Abstract Domain For Ultimate
          2016, Claus Schätzle
          First reviewer: Prof. Dr. Andreas Podelski

        • Detailliertere Beweisgenerierung in SMTInterpol
          2016, Markus Pomrehn
          First reviewer: Prof. Dr. Andreas Podelski

        • Map Elimination for Program Verification
          2016, Frank Schüssele
          First reviewer: Prof. Dr. Andreas Podelski

        • Visualization and Comparison of 3D-Pathfinding
          2016, Michael Burkart
          First reviewer: Prof. Dr. Andreas Podelski

        2015


        • Automatisierung des Authoring-Prozesses für gesundheitsbezogene Ratgeber-Apps
          2015, Meyer, B.
          First reviewer: Prof. Dr. Andreas Podelski

        • Bitvector Support for Ultimate
          2015, Lang Thomas
          First reviewer: Prof. Dr. Andreas Podelski

        • Extending Nonlinear Decision Procedures to Automata Networks
          2015, Heinz Alexander
          First reviewer: Prof. Dr. Andreas Podelski

        • Parallel Execution of Minimization Algorithms
          2015, Franke Layla
          First reviewer: Prof. Dr. Andreas Podelski

        • Verwendung und Implementierung von Alternierenden Automaten in einer Trace Abstraction des Ultimate Frameworks
          2015, Carl Küsters
          First reviewer: Andreas Podelski, Institut für Informatik

        2014


        • Automated Medication Assurance
          2014, Richter Andreas
          First reviewer: Prof. Dr. Andreas Podelski

        • Modular Abstract Interpretation for Ultimate
          2014, Dillo, C.
          First reviewer: Prof. Dr. Andreas Podelski

        • Vergleich aktueller Minimierungsalgorithmen für deterministische endliche Automaten
          2014, Hagemeister Björn
          First reviewer: Prof. Dr. Andreas Podelski

        2013


        • Implementation of Kojak Model Checker
          2013, Mohamed Mostafa Mahmoud
          First reviewer: Prof. Dr. Andreas Podelski

        • Implementation of Kojak Model Checker
          2013, Mostafa Mahmoud Amin
          First reviewer: Andreas Podelski, Institut für Informatik

        • Impulse Model Checker Implementation
          2013, Mohamed Sherif
          First reviewer: Andreas Podelski, Institut für Informatik

        • Trace Abstraction with Unsatisfiable Cores
          2013, Musa Betim
          First reviewer: Prof. Dr. Andreas Podelski

        2012


        • Anforderungsanalyse für eine mobile medizinische Ratgeberapplikation
          2012, Metzger, J.
          First reviewer: Prof. Dr. Andreas Podelski

        • Towards Risk Mitigation in Critical Software Development: Introducing MBD in SMEs
          2012, Butt, D.
          First reviewer: Prof. Dr. Andreas Podelski

        • Trace Abstraction for Concurrent Programs via Petri Net Acceptors.
          2012, Jarecki Julian
          First reviewer: Prof. Dr. Andreas Podelski

        • Verification as a Service
          2012, Hofmann Christoph
          First reviewer: Prof. Dr. Andreas Podelski

        • Verification as a Service
          2012, Hofmann, C
          First reviewer: Prof. Dr. Andreas Podelski

        2011


        • Empirische Studie zur Verbesserung der Bedienfreundlichkeit von Spielen für mobile Endgeräte
          2011, Dzienian Jeremi
          First reviewer: Prof. Dr. Andreas Podelski

        • Ermittlung und Pflege eines Softwareproduktkerns anhand des CaVE-Ansatzes
          2011, Kacmaz Göksel
          First reviewer: Prof. Dr. Andreas Podelski

        • Petri Netze als Akzeptor für endliche Sprachen
          2011, Mortensen Jan
          First reviewer: Prof. Dr. Andreas Podelski

        • The Delphi Method - An Appropriate Approach to Requirements Elicitation
          2011, Hummel Simon
          First reviewer: Prof. Dr. Andreas Podelski

        • Triggerkompilierung für eine E-matching abstract Maschine
          2011, Zeiger Marcus
          First reviewer: Prof. Dr. Andreas Podelski

        2010


        • TaxApp - Analyse und Design einer E-Learning-Applikation für mobile Endgeräte
          2010, Özer Gökhan
          First reviewer: Prof. Dr. Andreas Podelski
          Second reviewer: Prof. Dr. Wolfgang Kessler

        • VPL Intersection Emptiness
          2010, Leike Jan
          First reviewer: Prof. Dr. Andreas Podelski
          Second reviewer: Prof. Dr. Peter Thiemann

        2009


        • Modellierung einer IT-Infrastruktur auf Basis von freier und proprietärer Software
          2009, Schön Thomas
          First reviewer: Prof. Dr. Andreas Podelski
          Second reviewer: Dr. Jochen Hoenicke

        • Modellierung von Anforderungen eines Systems zur Qualitätssicherung
          2009, Gazic Christian-Gerrit
          First reviewer: Prof. Dr. Andreas Podelski
          Second reviewer: Prof. Dr. Georg Lausen

        2008


        • Developing and Verifying of Fingertrees
          2008, Sheldrick Nicola
          First reviewer: Prof. Dr. Andreas Podelski
          Second reviewer: Prof. Dr. Christoph Scholl

        • STALIN: A plugin-based modular framework for program analysis
          2008, Dietsch Daniel
          First reviewer: Prof. Dr. Andreas Podelski
          Second reviewer: Prof. Dr. Christoph Scholl

        • Visualization of Video Metadata
          2008, Vath Philipp
          First reviewer: Prof. Dr. Andreas Podelski
          Second reviewer: Prof. Dr. Christoph Scholl

        2007


        • Talco
          2007, Graf Thomas
          First reviewer: Prof. Dr. Andreas Podelski
          Second reviewer: Prof. Dr. Christoph Scholl

        • Teaching Software Projects using Code Reviews
          2007, Schmitt Peter
          First reviewer: Prof. Dr. Andreas Podelski
          Second reviewer: Prof. Dr. Christoph Scholl

        Diploma thesis

        Years:
        2010 | 2009

          2010


          • Depth-sensitive Layout of Graph Models
            2010, Barth Olena
            First reviewer: Prof. Dr. Andreas Podelski
            Second reviewer: Prof. Dr. Peter Thiemann

          • Entscheidungsprozedur für Difference Logic
            2010, Koudalo Selom
            First reviewer: Prof. Dr. Andreas Podelski
            Second reviewer: Prof. Dr. Peter Thiemann

          • Implementierung von Nested Interpolants
            2010, Chen Kefei
            First reviewer: Prof. Dr. Andreas Podelski
            Second reviewer: Prof. Dr. Peter Thiemann

          2009


          • Decision Procedures for List Manipulating Programs
            2009, Muniz Marco
            First reviewer: Prof. Dr. Andreas Podelski

          • JML-4 Frontend für Boogie-2
            2009, Huber Sebastian
            First reviewer: Prof. Dr. Andreas Podelski
            Second reviewer: Dr. Jochen Hoenicke

          • Program Analysis Based on Trace Abstraction
            2009, Heizmann Matthias
            First reviewer: Prof. Dr. Andreas Podelski
            Second reviewer: Prof. Dr. Georg Lausen

          Personal tools