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 2014

(All PublicationsIndex)

Articles in journal or book chapters

  1. Tofan B, G. Schellhorn, G. Ernst, J. Pfähler, and W. Reif.
    Compositional verification of a lock-free stack with RGITL.
    Electronic Communications of the Automated Verification of Critical Systems (EASST), 66, 2014.
    [bibtex-entry]

  2. Dirk Beyer, Marieke Huisman, Vladimir Klebanov, and Rosemary Monahan.
    Evaluating Software Verification Systems: Benchmarks and Competitions (Dagstuhl Reports 14171).
    Dagstuhl Reports, 4(4):1-19, 2014.
    [ Material ] [bibtex-entry]

  3. Dirk Beyer and Andreas Stahlbauer.
    BDD-Based Software Verification: Applications to Event-Condition-Action Systems.
    International Journal on Software Tools for Technology Transfer (STTT), 16(5):507--518, 2014.
    [ Material ] [ Article ] Keyword(s): CPAchecker, Software Model Checking.
    [bibtex-entry]

  4. Falk Howar, Malte Isberner, Maik Merten, Bernhard Steffen, Dirk Beyer, and Corina S. Pasareanu.
    Rigorous examination of reactive systems: The RERS challenges 2012 and 2013.
    International Journal on Software Tools for Technology Transfer (STTT), 16(5):457--464, 2014.
    [ Material ] [ Article ] [bibtex-entry]

  5. G. Schellhorn, B. Tofan, G. Ernst, J. Pfahler, and W. Reif.
    RGITL: A temporal logic framework for compositional reasoning about interleaved programs.
    Annals of Mathematics and Artificial Intelligence (AMAI), 71:1--44, 2014.
    [bibtex-entry]

Articles in conference or workshop proceedings

  1. Dirk Beyer.
    Status Report on Software Verification (Competition Summary SV-COMP 2014).
    In E. Abraham and K. Havelund, editors, Proceedings of the 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2014, Grenoble, France, April 5-13), LNCS 8413, pages 373-388, 2014.
    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, Georg Dresler, and Philipp Wendler.
    Software Verification in the Google App-Engine Cloud.
    In A. Biere and R. Bloem, editors, Proceedings of the 26th International Conference on Computer-Aided Verification (CAV 2014, Vienna, Austria, July 18-22), LNCS 8559, pages 327-333, 2014.
    Springer-Verlag, Heidelberg.
    [ Material ] [ Article ] Keyword(s): CPAchecker, Software Model Checking, Cloud-Based Software Verification.
    [Abstract] [bibtex-entry]

  3. Dirk Beyer, Andreas Holzer, Michael Tautschnig, and Helmut Veith.
    Reusing Information in Multi-Goal Reachability Analyses.
    In W. Hasselbring and N. C. Ehmke, editors, Tagungsband Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik (25. Februar - 28. Februar 2014, Kiel, Deutschland), LNI 227, pages 97--98, 2014.
    Gesellschaft für Informatik (GI).
    [ Material ] Keyword(s): CPAchecker, Software Model Checking.
    [bibtex-entry]

  4. Dirk Beyer and Peter Häring.
    A Formal Evaluation of DepDegree Based on Weyuker's Properties.
    In C. Roy, A. Begel, and L. Moonen, editors, Proceedings of the 22nd International Conference on Program Comprehension (ICPC 2014, Hyderabad, India, June 2-3), pages 258-261, 2014.
    ACM.
    [ Material ] [ Article ] Keyword(s): Structural Analysis and Comprehension.
    [Abstract] [bibtex-entry]

  5. Dirk Beyer, Stefan Löwe, Evgeny Novikov, Andreas Stahlbauer, and Philipp Wendler.
    Precision Reuse in CPAchecker.
    In W. Hasselbring and N. C. Ehmke, editors, Tagungsband Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik (25. Februar - 28. Februar 2014, Kiel, Deutschland), LNI 227, pages 41--42, 2014.
    Gesellschaft für Informatik (GI).
    [ Material ] Keyword(s): CPAchecker, Software Model Checking.
    [Abstract]
    This is a summary of a full article on this topic that appeared in Proc. ESEC/FSE 2013.
    [bibtex-entry]

  6. G. Ernst, J. Pfähler, G. Schellhorn, and W. Reif.
    Modular refinement for submachines of ASMs.
    In Proc. of Alloy, ASM, B, TLA, VDM, and Z (ABZ), volume 8477 of LNCS, pages 188--203, 2014.
    Springer.
    [ Article ] [bibtex-entry]

  7. Stefan Löwe, Mikhail U. Mandrykin, and Philipp Wendler.
    CPAchecker with Sequential Combination of Explicit-Value Analyses and Predicate Analyses (Competition Contribution).
    In E. Abraham and K. Havelund, editors, Proceedings of the 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2014, Grenoble, France, April 5-13), LNCS 8413, pages 392-394, 2014.
    Springer-Verlag, Heidelberg.
    [ Material ] [ Article ] Keyword(s): CPAchecker, Competition on Software Verification (SV-COMP), Software Model Checking.
    [Abstract]
    Won categories ControlFlow, MemorySafety, and Simple, and received one silver and one bronze medal in SV-COMP'14
    [bibtex-entry]

  8. G. Schellhorn, G. Ernst, J. Pfähler, D. Haneberg, and W. Reif.
    Development of a verified Flash file system.
    In Proc. of Alloy, ASM, B, TLA, VDM, and Z (ABZ), volume 8477 of LNCS, pages 9--24, 2014.
    Springer.
    Invited Paper.
    [ Article ] [bibtex-entry]

  9. Markus Schordan, Welf Löwe, and Dirk Beyer.
    Evaluation and Reproducibility of Program Analysis (Track Introduction).
    In T. Margaria and B. Steffen, editors, Proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2014, Corfu, Greece, October 8-11), LNCS 8803, pages 479-481, 2014.
    Springer-Verlag, Heidelberg.
    [ Material ] [bibtex-entry]

Internal reports

  1. Y. Bao, G. T. Leavens, and G. Ernst.
    Translating separation logic into dynamic frames using fine-grained region logic.
    Technical Report CS-TR-13-02a, University of Central Florida, 2014.
    [bibtex-entry]

  2. J. Pfähler, G. Ernst, G. Schellhorn, D. Haneberg, and W. Reif.
    Crash-safe refinement for a verified Flash file system.
    Technical Report 2014-02, University of Augsburg, 2014.
    [ Article ] [bibtex-entry]

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

  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]

(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