Institute of

Theoretical Computer Science

Carl-Friedrich-Gauß-Fakultät

Technische Universität Braunschweig

Theses

Theses

  1. Runtime Verification of Sequential Consistency for ARM, Master's Thesis by Mike Becker.
    TU Braunschweig, 2017.

  2. Algorithms for Context-free Games: A Comparison of Saturation, Guess&Check and Summarization, Master's Thesis by Elisabeth Neumann.
    Technische Universität Kaiserslautern, 2017.
    PDF

  3. Lifetime Analysis for Whiley, Master's Thesis by Sebastian Schweizer.
    Technische Universität Kaiserslautern, 2016.
    PDF | Slides | More on Whiley | Code Contribution

  4. Monoids as Storage Mechanisms, PhD thesis by Georg Zetzsche.
    Technische Universität Kaiserslautern, 2016.
    PDF

  5. Verification Techniques for TSO-Relaxed Programs, PhD Thesis by Georgel Calin.
    Technische Universität Kaiserslautern, 2016.
    PDF

  6. Analysis of Automata-theoretic models of Concurrent Recursive Programs, PhD Thesis by Prakash Saivasan.
    Chennai Mathematical Institute, 2016.
    PDF

  7. Computing the Deligne number of curve singularities and an algorithmic framework for differential algebras in Singular, Master Thesis by Peter Chini.
    Technische Universität Kaiserslautern, 2015.
    PDF

  8. Computing boundaries of tropical varieties, Master Thesis by Sebastian Muskalla.
    Technische Universität Kaiserslautern, 2015.
    PDF

  9. Thread-Modular Reasoning for Heap-Manipulating Programs: Exploiting Pointer Race Freedom, Master's Thesis by Sebastian Wolff.
    Technische Universität Kaiserslautern, 2015.
    PDF | Slides | Code on GitHub

  10. Verification of Message Passing Concurrent Systems, PhD Thesis by Emanuele D'Osualdo.
    University of Oxford, 2015.
    PDF

  11. Robustness against Relaxed Memory Models, PhD thesis by Egor Derevenetc.
    University of Kaiserslautern, 2015.
    PDF | BibTeX

  12. Automata-Theoretic Control for Total Store Ordering Architectures, Master Thesis by Florian Furbach.
    Technische Universität Kaiserslautern, 2012.
    PDF

  13. Scheduler-Quantified Time-Bounded Reachability for Distributed Input/Output Interactive Probabilistic Chains, MSc Thesis by Georgel Calin.
    Saarland University, 2010.
    PDF

  14. On Erasing Productions in Grammars with Regulated Rewriting, Diplomarbeit by Georg Zetzsche.
    Universität Hamburg, 2010.

  15. Reconstruction of C++ control flow structures from a low-level program, Diploma Thesis by Egor Derevenetc.
    Moscow State University, 2010.

  16. Structural Stationarity in the pi-Calculus, PhD thesis by Roland Meyer.
    Department of Computing Science, University of Oldenburg, 2009.
    Slides | PDF | BibTeX

  17. Model-Checking von Phasen-Event-Automaten bezüglich Duration Calculus Formeln mittels Testautomaten, Master's thesis by Roland Meyer.
    Department of Computing Science, University of Oldenburg, 2005.
    PDF, in German | BibTeX