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 2012

(All PublicationsIndex)

Books and proceedings

  1. Dirk Beyer, Arie van Deursen, and Michael W. Godfrey, editors.
    Proceedings of the 20th IEEE International Conference on Program Comprehension, 2012.
    IEEE.
    [ Material ] [ Article ] [bibtex-entry]

Articles in conference or workshop proceedings

  1. Dirk Beyer.
    Competition on Software Verification (SV-COMP).
    In C. Flanagan and B. König, editors, Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2012, Tallinn, Estonia, March 27-30), LNCS 7214, pages 504--524, 2012.
    Springer-Verlag, Heidelberg.
    [ 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, Thomas A. Henzinger, M. Erkan Keremoglu, and Philipp Wendler.
    Conditional Model Checking: A Technique to Pass Information between Verifiers.
    In Tevfik Bultan and Martin Robillard, editors, Proceedings of the 20th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2012, Cary, NC, November 10-17), 2012.
    ACM.
    [ Material ] [ Article ] Keyword(s): CPAchecker, Software Model Checking.
    [Abstract] [bibtex-entry]

  3. Dirk Beyer and Alexander K. Petrenko.
    Linux Driver Verification.
    In T. Margaria and B. Steffen, editors, Proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2012, Part II, Heraklion, Crete, October 15-18), LNCS 7610, pages 1-6, 2012.
    Springer-Verlag, Heidelberg.
    [ Article ] Keyword(s): Software Model Checking.
    [bibtex-entry]

  4. Dirk Beyer and Philipp Wendler.
    Algorithms for Software Model Checking: Predicate Abstraction vs. IMPACT.
    In Gianpiero Cabodi and Satnam Singh, editors, Proceedings of the 12th International Conference on Formal Methods in Computer-Aided Design (FMCAD 2012, Cambrige, UK, October 22-25), pages 106-113, 2012.
    FMCAD.
    [ Material ] [ Article ] Keyword(s): CPAchecker, Software Model Checking.
    [Abstract] [bibtex-entry]

  5. G. Ernst, G. Schellhorn, D. Haneberg, J. Pfähler, and W. Reif.
    A formal model of a Virtual Filesystem Switch.
    In Proc. of Software and Systems Modeling (SSV), volume 102 of EPTCS, pages 33--45, 2012.
    [ Article ] [bibtex-entry]

  6. Falk Howar, Malte Isberner, Maik Merten, Bernhard Steffen, and Dirk Beyer.
    The RERS Grey-Box Challenge 2012: Analysis of Event-Condition-Action Systems.
    In T. Margaria and B. Steffen, editors, Proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2012, Part I, Heraklion, Crete, October 15-18), LNCS 7609, pages 608-614, 2012.
    Springer-Verlag, Heidelberg.
    [ Article ] Keyword(s): Software Model Checking.
    [bibtex-entry]

  7. Stefan Löwe and Philipp Wendler.
    CPAchecker with Adjustable Predicate Analysis (Competition Contribution).
    In C. Flanagan and B. König, editors, Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2012, Tallinn, Estonia, March 27-30), LNCS 7214, pages 528--530, 2012.
    Springer-Verlag, Heidelberg.
    [ Material ] [ Article ] Keyword(s): CPAchecker, Competition on Software Verification (SV-COMP), Software Model Checking.
    [Abstract]
    Won category ControlFlowInteger and received one silver and two bronze medals in SV-COMP'12
    [bibtex-entry]

Internal reports

  1. Dirk Beyer and Stefan Löwe.
    Explicit-Value Analysis Based on CEGAR and Interpolation.
    Technical report MIP-1205, Department of Computer Science and Mathematics (FIM), University of Passau (PA), December 2012.
    [ Article ] Keyword(s): CPAchecker, Software Model Checking.
    [bibtex-entry]

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

  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]

(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