3 Papers accepted at ISoLA'20: "An Interface Theory for Program Verification", "Verification Artifacts in Cooperative Verification", and "Violation Witnesses and Result Validation for Multi-Threaded Programs"

Theses and projects (PhD, MSc, BSc, Project)

(All PublicationsIndex)

2020

  1. Schindar Ali.
    Test-based Fault Localization in the Context of Formal Verification: Implementation and Evaluation of the Tarantula Algorithm in CPAchecker.
    Bachelor's Thesis, LMU Munich, Software Systems Lab, 2020.
    [ Article ] [ Presentation ] Keyword(s): CPAchecker, Software Model Checking.
    [bibtex-entry]

  2. Moritz Beck.
    Solver-based Analysis of Memory Safety using Separation Logic.
    Master's Thesis, LMU Munich, Software Systems Lab, 2020.
    [ Article ] [ Presentation ] Keyword(s): CPAchecker, JavaSMT, Separation Logic, Software Model Checking.
    [bibtex-entry]

  3. Petros Isaakidis.
    Energy Consumption Prediction of Verification Work.
    Bachelor's Thesis, LMU Munich, Software Systems Lab, 2020.
    Keyword(s): CPAchecker, Benchmarking, Energy Measurement.
    [bibtex-entry]

  4. Angelos Kafounis.
    Fault Localization in Model Checking. Implementation and Evaluation of Fault-Localization Techniques with Distance Metrics.
    Bachelor's Thesis, LMU Munich, Software Systems Lab, 2020.
    [ Article ] Keyword(s): CPAchecker, Software Model Checking.
    [bibtex-entry]

  5. Matthias Kettl.
    Fault Localization for Formal Verification. An Implementation and Evaluation of Algorithms based on Error Invariants and UNSAT-cores.
    Bachelor's Thesis, LMU Munich, Software Systems Lab, 2020.
    [ Article ] [ Presentation ] Keyword(s): CPAchecker, Software Model Checking.
    [bibtex-entry]

  6. Adrian Leimeister.
    A Language Server and IDE Plugin for CPAchecker.
    Bachelor's Thesis, LMU Munich, Software Systems Lab, 2020.
    [ Article ] [ Presentation ] Keyword(s): CPAchecker.
    [bibtex-entry]

  7. Sonja Münchow.
    A Web Frontend For Visualization of Computation Steps and their Results in CPAchecker.
    Bachelor's Thesis, LMU Munich, Software Systems Lab, 2020.
    [ Article ] [ Presentation ] Keyword(s): CPAchecker.
    [bibtex-entry]

  8. Michael Obermeier.
    Extending the Framework JavaSMT with the SMT Solver Yices2.
    Bachelor's Thesis, LMU Munich, Software Systems Lab, 2020.
    [ Article ] [ Presentation ] Keyword(s): JavaSMT.
    [bibtex-entry]

  9. Alexander Ried.
    Design and Implementation of a Cluster-Based Approach for Software Verification.
    Bachelor's Thesis, LMU Munich, Software Systems Lab, 2020.
    Keyword(s): CPAchecker, BAM.
    [bibtex-entry]

2019

  1. Gregor Alexandru.
    Specifying Loops with Contracts.
    Bachelor's Thesis, LMU Munich, Software Systems Lab, 2019.
    [ Article ] [bibtex-entry]

  2. Daniel Baier.
    Integration des SMT-Solvers Boolector in das Framework JavaSMT und Evaluation mit CPAchecker.
    Bachelor's Thesis, LMU Munich, Software Systems Lab, 2019.
    [ Article ] [ Presentation ] Keyword(s): JavaSMT.
    [bibtex-entry]

  3. Laura Bschor.
    Modern Architecture and Improved UI for Tables of BenchExec.
    Bachelor's Thesis, LMU Munich, Software Systems Lab, 2019.
    [ Article ] [ Presentation ] Keyword(s): Benchmarking.
    [bibtex-entry]

  4. Thomas Bunk.
    LTL Software Model Checking in CPAchecker.
    Master's Thesis, LMU Munich, Software Systems Lab, 2019.
    [ Article ] [ Presentation ] Keyword(s): CPAchecker, Software Model Checking.
    [bibtex-entry]

  5. Raphael Hagl.
    Hybrid Testcase Generation with CPAchecker.
    Bachelor's Thesis, LMU Munich, Software Systems Lab, 2019.
    Keyword(s): CPAchecker, Software Model Checking.
    [bibtex-entry]

  6. Maximilian Hailer.
    Measuring and Optimizing Energy Consumption of Verification Work on Clusters.
    Bachelor's Thesis, LMU Munich, Software Systems Lab, 2019.
    [ Article ] [ Presentation ] Keyword(s): Benchmarking, Energy Measurement.
    [bibtex-entry]

  7. Stephan Holzner.
    Design und Implementierung einer parallelen BDD-Bibliothek.
    Master's Thesis, LMU Munich, Software Systems Lab, 2019.
    [ Article ] Keyword(s): BDD, Software Model Checking.
    [bibtex-entry]

  8. Alexander Koos.
    Implementation and Evaluation of a Framework for Canonization and Caching of SMT Formulae.
    Master's Thesis, LMU Munich, Software Systems Lab, 2019.
    Keyword(s): JavaSMT, Software Model Checking.
    [bibtex-entry]

  9. Andrea Kreppel.
    Implementation and Evaluation of Backwards Analyses in the Software-Verification Framework CPAchecker.
    Bachelor's Thesis, LMU Munich, Software Systems Lab, 2019.
    [ Article ] Keyword(s): CPAchecker, Software Model Checking, Search Strategy.
    [bibtex-entry]

  10. Michael Maier.
    SMT-Based Verification of ECMAScript Programs in CPAchecker.
    Master's Thesis, LMU Munich, Software Systems Lab, 2019.
    [ Article ] [ Presentation ] Keyword(s): CPAchecker, Software Model Checking.
    [bibtex-entry]

  11. Krutav Shah.
    Counterexample-Guided Abstraction Refinement for Interval Domain.
    Bachelor's Thesis, LMU Munich, Software Systems Lab, 2019.
    Keyword(s): CPAchecker, Software Model Checking.
    [bibtex-entry]

  12. Mirjam Trapp.
    Heuristics for Effective Predicate Refinement in CPAchecker.
    Master's Thesis, LMU Munich, Software Systems Lab, 2019.
    Keyword(s): CPAchecker, Software Model Checking.
    [bibtex-entry]

  13. Leonhard Volk.
    Bipartite Matching Problems: Algorithms and Properties.
    Bachelor's Thesis, LMU Munich, Software Systems Lab, 2019.
    [bibtex-entry]

  14. Maximilian Wiesholler.
    Correctness Witness Validation using Predicate Analysis.
    Bachelor's Thesis, LMU Munich, Software Systems Lab, 2019.
    [ Article ] [ Presentation ] Keyword(s): CPAchecker, Software Model Checking, Witness-Based Validation.
    [bibtex-entry]

2018

  1. Moritz Buhl.
    Application of Software Verification to OpenBSD Network Modules.
    Bachelor's Thesis, LMU Munich, Software Systems Lab, 2018.
    Keyword(s): CPAchecker, Software Model Checking.
    [bibtex-entry]

  2. Flutura Estler.
    Heuristics-Based Selection of Verification Configurations.
    Bachelor's Thesis, LMU Munich, Software Systems Lab, 2018.
    Keyword(s): CPAchecker, Software Model Checking.
    [bibtex-entry]

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

  4. Matthias Gerlach.
    Newton Refinement as Alternative to Craig Interpolation in CPAchecker.
    Bachelor's Thesis, LMU Munich, Software Systems Lab, 2018.
    [ Article ] [ Presentation ] Keyword(s): CPAchecker, Software Model Checking.
    [bibtex-entry]

  5. Johannes Knaut.
    Symbolic Heap Abstraction with Automatic Refinement.
    Master's Thesis, LMU Munich, Software Systems Lab, 2018.
    [ Article ] Keyword(s): CPAchecker, Software Model Checking.
    [bibtex-entry]

  6. Thomas Lemberger.
    Abstraction Refinement for Model Checking: Program Slicing + CEGAR.
    Master's Thesis, LMU Munich, Software Systems Lab, 2018.
    [ Article ] Keyword(s): CPAchecker, Software Model Checking.
    [bibtex-entry]

  7. 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): Cloud-Based Software Verification.
    [bibtex-entry]

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

  9. Balthasar Schuess.
    Flexible Online Job Scheduling in a Multi-User Environment.
    Bachelor's Thesis, LMU Munich, Software Systems Lab, 2018.
    Keyword(s): Cloud-Based Software Verification.
    [bibtex-entry]

  10. 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]

  11. Martin Spiessl.
    Configurable Software Verification based on Slicing Abstractions.
    Master's Thesis, LMU Munich, Software Systems Lab, 2018.
    [ Article ] 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.
    [ Article ] 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.
    [ Material ] [ Article ] 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.
    [ Material ] [ Article ] Keyword(s): Benchmarking.
    [bibtex-entry]

  5. Philipp Wendler.
    Towards Practical Predicate Analysis.
    PhD Thesis, University of Passau, Software Systems Lab, 2017.
    [ Material ] [ Article ] [ Presentation ] Keyword(s): Benchmarking, 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. G. Ernst.
    A Verified POSIX-Compliant Flash File System---Modular Verification Technology & Crash Tolerance.
    PhD Thesis, Augsburg University, Institute for Software and Systems Engineering, 2016.
    [ Material ] [ Article ] [bibtex-entry]

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

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

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

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

  6. 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]

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

2015

  1. BenchExec: Reliable Benchmarking and Resource Measurement, 2015.
    [ Material ] Keyword(s): Software Development Project.
    [bibtex-entry]

  2. JavaSMT: A Unified Interface for SMT Solvers in Java, 2015.
    [ Material ] Keyword(s): Software Development Project, JavaSMT.
    [bibtex-entry]

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

  4. Thomas Lemberger.
    Efficient Symbolic Execution using CEGAR over Two Abstract Domains.
    Bachelor's Thesis, University of Passau, Software Systems Lab, 2015.
    [ Article ] 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.
    [ Material ] 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.
    [ Article ] Keyword(s): Cloud-Based Software Verification.
    [bibtex-entry]

  3. Thomas Stieglmaier.
    Octagon-Based Software Verification with CPAchecker.
    Bachelor's Thesis, University of Passau, Software Systems Lab, 2014.
    [ Article ] 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.
    [ Article ] 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.
    [ Article ] 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. Peter Häring.
    A Comparative Study of Software Measures as Problem-Predictors.
    Master's Thesis, University of Passau, Software Systems Lab, 2012.
    Keyword(s): CPAchecker, Software Model Checking.
    [bibtex-entry]

  4. 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]

  5. Andreas Stahlbauer.
    Block-Encoding Strategies for Predicate Analysis: An Experimental Study.
    Master's Thesis, University of Passau, Software Systems Lab, 2012.
    Keyword(s): CPAchecker, Software Model Checking.
    [bibtex-entry]

2011

  1. Andra-Maria Babau.
    Modeling and Verification of Airport Security Processes using BPMN and Protocol Interfaces: A Case Study.
    Master's Thesis, University of Passau, Software Systems Lab, 2011.
    Keyword(s): CPAchecker, Software Model Checking.
    [bibtex-entry]

  2. Mehmet Erkan Keremoglu.
    Towards Scalable Software Analyisis Using Combinations and Conditions with CPAchecker.
    PhD Thesis, Simon Fraser University, Software Systems Lab, 2011.
    [ Article ] Keyword(s): CPAchecker, Software Model Checking.
    Now at Microsoft, Redmond, USA
    [bibtex-entry]

2010

  1. CheckDep: Tracking Software Dependencies, 2010.
    [ Material ] Keyword(s): Software Development Project, Structural Analysis and Comprehension.
    [bibtex-entry]

  2. DepDigger: Detecting Complex Low-Level Dependencies, 2010.
    [ Material ] Keyword(s): Software Development Project, Structural Analysis and Comprehension.
    [bibtex-entry]

  3. Dmitry Balzer.
    Werkzeugunterstützung für Verstehen und Monitoring von Software-Abhängigkeiten.
    Master's Thesis, University of Passau, Software Systems Lab, 2010.
    Keyword(s): CPAchecker, Software Model Checking.
    [bibtex-entry]

  4. Ashgan Fararooy.
    Performing Static Structure Analysis using Software Dependencies.
    Master's Thesis, Simon Fraser University, Software Systems Lab, 2010.
    Keyword(s): CPAchecker, Software Model Checking.
    [bibtex-entry]

  5. Grégory Théoduloz.
    Software Verification by Combining Program Analyses of Adjustable Precision.
    PhD Thesis, EPFL, MTC Lab, with Prof. Thomas Henzinger, 2010.
    [ Article ] Keyword(s): BLAST, Software Model Checking.
    [bibtex-entry]

  6. Philipp Wendler.
    Software Verification based on Adjustable Large-Block Encoding.
    Master's Thesis, University of Passau, Software Systems Lab, 2010.
    [ Article ] Keyword(s): CPAchecker, Software Model Checking.
    Won the NRW Young Scientist Award 2010 in Dynamic Intelligent Systems, received for the Faculty Award 2011 for best Master's thesis, and the yearly award of the Chamber of Industry and Commerce of Lower Bavaria (IHK Niederbayern) for an excellent Master's thesis
    [bibtex-entry]

  7. 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]

2009

  1. Damien Zufferey.
    Master's Thesis, EPFL, MTC Lab, with Prof. Thomas Henzinger2009.
    Keyword(s): BLAST, Software Model Checking.
    [bibtex-entry]

2008

  1. CSIsat: Interpolation for LA+EUF, 2008.
    [ Material ] Keyword(s): Software Development Project.
    [bibtex-entry]

2007

  1. CPAchecker: Configurable Software Verification, 2007.
    [ Material ] Keyword(s): Software Development Project, CPAchecker, Software Model Checking.
    [bibtex-entry]

2006

  1. Grégory Théoduloz.
    Integrating Shape Analysis into the Model Checker extscBlast.
    Master's Thesis, EPFL, MTC Lab, with Prof. Thomas Henzinger, 2006.
    Keyword(s): BLAST, Software Model Checking.
    Won the EPFL Unicible Award 2006 and the ELCA Informatique Prize
    [bibtex-entry]

2005

  1. CCVisu: Visual Clustering and Software-Structure Assessment, 2005.
    [ Material ] Keyword(s): Software Development Project, Structural Analysis and Comprehension.
    [bibtex-entry]

2004

  1. Chic: Checking Interface Compatibility, 2004.
    [ Material ] Keyword(s): Software Development Project, Interfaces for Component-Based Design.
    [bibtex-entry]

2003

  1. CrocoPat: Relational Programming (for Software-Structure Analysis), 2003.
    [ Material ] Keyword(s): Software Development Project, Structural Analysis and Comprehension.
    [bibtex-entry]

2002

  1. Blast: Model Checking of Software, 2002.
    [ Material ] Keyword(s): Software Development Project, Software Model Checking.
    [bibtex-entry]

2000

  1. Andreas Noack.
    BDD-basierte Verifikation von Echtzeitsystemen.
    Master's Thesis, BTU Cottbus, with Prof. Claus Lewerentz, 2000.
    Keyword(s): Formal Verification of Real-Time Systems.
    Won the BTU University Award 2000 for best Master’s thesis
    [bibtex-entry]

1998

  1. Rabbit: Verification of Real-Time Systems, 1998.
    [ Material ] Keyword(s): Software Development Project, Formal Verification of Real-Time Systems.
    [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: Sun Sep 27 12:34:20 2020


This document was translated from BibTEX by bibtex2html