Theses (PhD, MSc, BSc, Project)

(All PublicationsIndex)

2018

  1. Dominik Friedrich.
    Konzeption, Umsetzung und Visualisierung von statistischen Daten in CPAchecker.
    Bachelor's Thesis, LMU Munich, Software Systems Lab, 2018.
    Keyword(s): Statistics, Logging, CPAchecker.
    [bibtex-entry]

  2. Dominik Pastau.
    Implementation of a Generic Cloud-Based File-Storage Solution and its Integration into a Web-Based Distributed Verification System.
    Bachelor's Thesis, LMU Munich, Software Systems Lab, 2018.
    Keyword(s): File Storage, Cloud-Based Software Verification.
    [bibtex-entry]

  3. Nicholas Reyes.
    Integrating a Witness Store into a Distributed Verification System.
    Bachelor's Thesis, LMU Munich, Software Systems Lab, 2018.
    Keyword(s): Witness Validation, Cloud-Based Software Verification.
    [bibtex-entry]

  4. Karam Shabita.
    String Analysis for Java Programs in CPAchecker.
    Bachelor's Thesis, LMU Munich, Software Systems Lab, 2018.
    Keyword(s): CPAchecker, Software Model Checking.
    [bibtex-entry]

  5. Martin Spiessl.
    Configurable Software Verification based on Slicing Abstractions.
    Master's Thesis, LMU Munich, Software Systems Lab, 2018.
    [ PDF ] Keyword(s): CPAchecker, Software Model Checking.
    [bibtex-entry]

2017

  1. Evgeny Dunaev.
    Entwurf und Implementierung einer Abstraktionsschicht für Zuweisungs-basierte Analysen.
    Bachelor's Thesis, LMU Munich, Software Systems Lab, 2017.
    Keyword(s): CPAchecker, Software Model Checking, Refactoring.
    [bibtex-entry]

  2. Deyan Ivanov.
    Interactive Visualization of Verification Results from CPAchecker with D3.
    Bachelor's Thesis, LMU Munich, Software Systems Lab, 2017.
    [ PDF ] Keyword(s): CPAchecker, Software Model Checking.
    [bibtex-entry]

  3. Stefan Löwe.
    Effective Approaches to Abstraction Refinement for Automatic Software Verification.
    PhD Thesis, University of Passau, Software Systems Lab, 2017.
    [ Info ] [ PDF ] Keyword(s): CPAchecker, Software Model Checking.
    [bibtex-entry]

  4. Nils Steinger.
    Measuring, Visualizing, and Optimizing the Energy Consumption of Computer Clusters.
    Bachelor's Thesis, University of Passau, Software Systems Lab, 2017.
    [ Info ] [ PDF ] [bibtex-entry]

  5. Philipp Wendler.
    Towards Practical Predicate Analysis.
    PhD Thesis, University of Passau, Software Systems Lab, 2017.
    [ Info ] [ PDF ] Keyword(s): CPAchecker, Software Model Checking.
    [bibtex-entry]

  6. Gernot Zoerneck.
    Implementing PDR in CPAchecker.
    Bachelor's Thesis, University of Passau, Software Systems Lab, 2017.
    Keyword(s): CPAchecker, Software Model Checking.
    [bibtex-entry]

2016

  1. Stephan Lukasczyk.
    Unbounded Heap Support for CPAchecker's Predicate Analysis Using SMT Arrays.
    Bachelor's Thesis, University of Passau, Software Systems Lab, 2016.
    [ Info ] Keyword(s): CPAchecker, Software Model Checking.
    [bibtex-entry]

  2. Magdalena Murr.
    Towards Understandable CPAchecker Counterexamples.
    Bachelor's Thesis, University of Passau, Software Systems Lab, 2016.
    [ PDF ] Keyword(s): CPAchecker, Software Model Checking.
    [bibtex-entry]

  3. Sebastian Ott.
    Implementing a Termination Analysis using Configurable Software Analysis.
    Master's Thesis, University of Passau, Software Systems Lab, 2016.
    [ PDF ] Keyword(s): CPAchecker, Software Model Checking.
    [bibtex-entry]

  4. Thomas Stieglmaier.
    Augmenting Predicate Analysis with Auxiliary Invariants.
    Master's Thesis, University of Passau, Software Systems Lab, 2016.
    [ Info ] [ PDF ] Keyword(s): CPAchecker, Software Model Checking.
    [bibtex-entry]

  5. Maximilian Syri.
    Verification of Concurrent Programs by CFA Sequentialization.
    Bachelor's Thesis, University of Passau, Software Systems Lab, 2016.
    Keyword(s): CPAchecker, Software Model Checking.
    [bibtex-entry]

  6. Stefan Weinzierl.
    Configurable Pointer-Alias Analysis in CPAchecker.
    Bachelor's Thesis, University of Passau, Software Systems Lab, 2016.
    [ PDF ] Keyword(s): CPAchecker, Software Model Checking.
    [bibtex-entry]

2015

  1. Karlheinz Friedberger.
    Block-Abstraction Memoization as an Approach to Verify Recursive Procedures.
    Master's Thesis, University of Passau, Software Systems Lab, 2015.
    [ PDF ] Keyword(s): CPAchecker, Software Model Checking.
    [bibtex-entry]

  2. Thomas Lemberger.
    Efficient Symbolic Execution using CEGAR over Two Abstract Domains.
    Bachelor's Thesis, University of Passau, Software Systems Lab, 2015.
    [ PDF ] Keyword(s): CPAchecker, Software Model Checking.
    [bibtex-entry]

2014

  1. Georg Dresler.
    A Google-App-Engine Implementation for CPAchecker.
    Bachelor's Thesis, University of Passau, Software Systems Lab, 2014.
    [ Info ] Keyword(s): CPAchecker, Software Model Checking.
    [bibtex-entry]

  2. Sebastian Ott.
    VerifierCloud: Implementierung eines Web-Service zur Software-Verifikation.
    Bachelor's Thesis, University of Passau, Software Systems Lab, 2014.
    [ PDF ] [bibtex-entry]

  3. Thomas Stieglmaier.
    Octagon-Based Software Verification with CPAchecker.
    Bachelor's Thesis, University of Passau, Software Systems Lab, 2014.
    [ PDF ] Keyword(s): CPAchecker, Software Model Checking.
    [bibtex-entry]

2013

  1. Matthias Dangl.
    Light-Weight Invariant Generation for Software Verification with CPAchecker.
    Master's Thesis, University of Passau, Software Systems Lab, 2013.
    [ PDF ] Keyword(s): CPAchecker, Software Model Checking.
    [bibtex-entry]

  2. Matthias Dittrich.
    Bit-Precise Predicate Analysis with CPAchecker.
    Bachelor's Thesis, University of Passau, Software Systems Lab, 2013.
    Keyword(s): CPAchecker, Software Model Checking.
    [bibtex-entry]

2012

  1. Alexander Driemeyer.
    Software-Verifikation von Java-Programmen in CPAchecker.
    Bachelor's Thesis, University of Passau, Software Systems Lab, 2012.
    Keyword(s): CPAchecker, Software Model Checking.
    [bibtex-entry]

  2. Karlheinz Friedberger.
    Ein typbasierter Ansatz zur Kombination verschiedener Verifikationstechniken.
    Bachelor's Thesis, University of Passau, Software Systems Lab, 2012.
    [ PDF ] Keyword(s): CPAchecker, Software Model Checking.
    Won the yearly award of the chamber of industry and commerce of Lower Bavaria (IHK Niederbayern) for an excellent Bachelor's thesis
    [bibtex-entry]

  3. Christopher Jahn.
    Implementation of a CFA and ARG Visualization and Navigation Tool in Java.
    Master's Thesis, University of Passau, Software Systems Lab, 2012.
    Keyword(s): CPAchecker, Software Model Checking.
    [bibtex-entry]

2010

  1. Philipp Wendler.
    Software Verification based on Adjustable Large-Block Encoding.
    Master's Thesis, University of Passau, Software Systems Lab, 2010.
    [ PDF ] Keyword(s): CPAchecker, Software Model Checking.
    Won the yearly award of the chamber of industry and commerce of Lower Bavaria (IHK Niederbayern) for an excellent Master's thesis
    [bibtex-entry]

  2. Alexander von Rhein.
    Verification Tasks for Software Model Checking.
    Master's Thesis, University of Passau, Software Systems Lab, 2010.
    Keyword(s): CPAchecker, Software Model Checking.
    [bibtex-entry]

(All PublicationsIndex)



Disclaimer:

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.




Last modified: Fri Oct 19 19:56:12 2018


This document was translated from BibTEX by bibtex2html