Journal article published at Science of Computer Programming:
"Synthesizing Safe Policies under Probabilistic Constraints with Reinforcement Learning and Bayesian Model Checking" (and 2 more papers)

Publications of year 2020

(All PublicationsIndex)

Books and proceedings

  1. Dirk Beyer and Damien Zufferey, editors.
    Proceedings of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI), LNCS 11990, 2020.
    Springer.
    [ Material ] [ Article ] [bibtex-entry]

Articles in journal or book chapters

  1. Thomas Lemberger.
    Plain random test generation with PRTest.
    International Journal on Software Tools for Technology Transfer (STTT), 2020.
    [ Article ] [ Presentation ] Keyword(s): Software Testing.
    [Abstract]
    DOI: https://doi.org/10.1007/s10009-020-00568-x
    Publication appeared first online in July 2020.
    PRTest is available at: https://gitlab.com/sosy-lab/software/prtest
    [bibtex-entry]

Articles in conference or workshop proceedings

  1. Dirk Beyer.
    Advances in Automatic Software Verification: SV-COMP 2020.
    In Proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2020, Dublin, Ireland, April 25-30), part 2, LNCS 12079, pages 347-367, 2020.
    Springer.
    [ Material ] [ Article ] Keyword(s): Competition on Software Verification (SV-COMP), Competition on Software Verification (SV-COMP Report), Software Model Checking.
    [Abstract] [bibtex-entry]

  2. Dirk Beyer.
    Second Competition on Software Testing: Test-Comp 2020.
    In Proceedings of the 22nd International Conference on Fundamental Approaches to Software Engineering (FASE 2020, Dublin, Ireland, April 25-30), LNCS 12076, pages 505-519, 2020.
    Springer.
    [ Material ] [ Article ] Keyword(s): Competition on Software Testing (Test-Comp), Competition on Software Testing (Test-Comp Report), Software Testing.
    [Abstract] [bibtex-entry]

  3. Dirk Beyer and Matthias Dangl.
    Software Verification with PDR: An Implementation of the State of the Art.
    In Proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2020, Dublin, Ireland, April 25-30), part 1, LNCS 12078, pages 3-21, 2020.
    Springer.
    [ Material ] [ Article ] Keyword(s): Software Model Checking.
    [Abstract] [bibtex-entry]

  4. Dirk Beyer and Karlheinz Friedberger.
    Domain-Independent Interprocedural Program Analysis using Block-Abstraction Memoization.
    In M. Cohen P. Devanbu and T. Zimmermann, editors, Proceedings of the 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2020, Virtual Event, USA, November 8-13), pages 50-62, 2020.
    ACM.
    [ Article ] Keyword(s): DFG-CONVEY, CPAchecker, Software Model Checking.
    [bibtex-entry]

  5. Dirk Beyer and Karlheinz Friedberger.
    Violation Witnesses and Result Validation for Multi-Threaded Programs.
    In T. Margaria and B. Steffen, editors, Proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2020, Part 1, Rhodos, Greece, October 26-30), LNCS 12476, pages 449-470, 2020.
    Springer.
    [ Material ] [ Article ] Keyword(s): DFG-CONVEY, CPAchecker, Software Model Checking, Witness-Based Validation, Witness-Based Validation (main).
    [Abstract] [bibtex-entry]

  6. Dirk Beyer and Marie-Christine Jakobs.
    Cooperative Test-Case Generation with Verifiers.
    In M. Felderer, W. Hasselbring, R. Rabiser, and R. Jung, editors, Proceedings of the Conference on Software Engineering (SE 2020, Innsbruck, Austria, February 24-28), LNI P-300, pages 107--108, 2020.
    GI.
    [Abstract] [bibtex-entry]

  7. Dirk Beyer and Marie-Christine Jakobs.
    FRed: Conditional Model Checking via Reducers and Folders.
    In F. d. Boer and A. Cerone, editors, Proceedings of the 18th International Conference on Software Engineering and Formal Methods (SEFM 2020, Virtual, Netherlands, September 14-18), LNCS 12310, pages 113--132, 2020.
    Springer.
    [ Material ] [ Article ] Keyword(s): DFG-COOP, CPAchecker, Software Model Checking.
    [Abstract] [bibtex-entry]

  8. Dirk Beyer, Marie-Christine Jakobs, and Thomas Lemberger.
    Difference Verification with Conditions.
    In F. d. Boer and A. Cerone, editors, Proceedings of the 18th International Conference on Software Engineering and Formal Methods (SEFM 2020, Virtual, Netherlands, September 14-18), LNCS 12310, pages 133--154, 2020.
    Springer.
    [ Material ] [ Article ] [ Presentation ] Keyword(s): DFG-CONVEY, DFG-COOP, CPAchecker, Software Model Checking.
    [Abstract] [bibtex-entry]

  9. Dirk Beyer and Sudeep Kanav.
    An Interface Theory for Program Verification.
    In T. Margaria and B. Steffen, editors, Proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2020, Part 1, Rhodos, Greece, October 26-30), LNCS 12476, pages 168-186, 2020.
    Springer.
    [ Article ] Keyword(s): DFG-CONVEY, CPAchecker, Software Model Checking, Interfaces for Component-Based Design.
    [Abstract] [bibtex-entry]

  10. Dirk Beyer and Martin Spiessl.
    MetaVal: Witness Validation via Verification.
    In S. K. Lahiri and C. Wang, editors, Proceedings of the 32nd International Conference on Computer Aided Verification (CAV 2020, Virtual, USA, July 21-24), part 2, LNCS 12225, pages 165-177, 2020.
    Springer.
    [ Material ] [ Article ] Keyword(s): DFG-CONVEY, CPAchecker, Software Model Checking, Witness-Based Validation, Witness-Based Validation (main).
    [Abstract] [bibtex-entry]

  11. Dirk Beyer and Heike Wehrheim.
    Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework.
    In T. Margaria and B. Steffen, editors, Proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2020, Part 1, Rhodos, Greece, October 26-30), LNCS 12476, pages 143-167, 2020.
    Springer.
    [ Article ] Keyword(s): DFG-COOP, CPAchecker, Software Model Checking.
    [Abstract] [bibtex-entry]

  12. Dirk Beyer and Philipp Wendler.
    CPU Energy Meter: A Tool for Energy-Aware Algorithms Engineering.
    In Proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2020, Dublin, Ireland, April 25-30), part 2, LNCS 12079, pages 126-133, 2020.
    Springer.
    [ Material ] [ Article ] Keyword(s): Benchmarking.
    [Abstract] [bibtex-entry]

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

  1. Amena Abdulla.
    Reale Anforderungen für die Software-Analyse.
    Bachelor's Thesis, LMU Munich, Software Systems Lab, 2020.
    [bibtex-entry]

  2. Yannick Adams.
    Domain Types for Predicate Analysis in CPAchecker.
    Bachelor's Thesis, LMU Munich, Software Systems Lab, 2020.
    Keyword(s): CPAchecker, Software Model Checking.
    [bibtex-entry]

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

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

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

  6. 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 ] [ Presentation ] Keyword(s): CPAchecker, Software Model Checking.
    [bibtex-entry]

  7. 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.
    Won the LMU research award for excellent students (LMU Forschungspreis f{\"u}r exzellente Studierende) of LMU Munich
    [bibtex-entry]

  8. Vladyslav Kolesnykov.
    SMT-based Model Checking of Concurrent Programs.
    Bachelor's Thesis, LMU Munich, Software Systems Lab, 2020.
    [ Article ] Keyword(s): CPAchecker, Software Model Checking.
    [bibtex-entry]

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

  10. Simon Lund.
    Code Complexity Measures in Software Engineering: A Systematic Comparison and Evaluation on Software-Component Level.
    Bachelor's Thesis, LMU Munich, Software Systems Lab, 2020.
    [ Article ] [bibtex-entry]

  11. Sven Massard.
    Improve Analysis of Java Programs in CPAchecker.
    Bachelor's Thesis, LMU Munich, Software Systems Lab, 2020.
    Keyword(s): CPAchecker, Software Model Checking.
    [bibtex-entry]

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

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

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

  15. Frederic Schönberger.
    Converting Test Goals to Condition Automata.
    Bachelor's Thesis, LMU Munich, Software Systems Lab, 2020.
    [ Article ] [ Presentation ] Keyword(s): CPAchecker, Software Model Checking.
    [bibtex-entry]

  16. Jakob Selberg.
    Automatic Generation of Test Harnesses for Pointer-based C Programs. Implementation of a Pointer-Tracking Analysis and Harness-Generation Engine in the Formal Verification Framework CPAchecker.
    Bachelor's Thesis, LMU Munich, Software Systems Lab, 2020.
    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: Wed Feb 24 15:19:20 2021


This document was translated from BibTEX by bibtex2html