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 2015

(All PublicationsIndex)

Articles in journal or book chapters

  1. G. Ernst, J. Pfähler, G. Schellhorn, D. Haneberg, and W. Reif.
    KIV---Overview and VerifyThis competition.
    Software Tools for Technology Transfer (STTT), 17(6):677--694, 2015.
    [bibtex-entry]

  2. G. Ernst, G. Schellhorn, and W. Reif.
    Verification of B+ trees by integration of shape analysis and interactive theorem proving.
    Software & Systems Modeling (SoSyM), 14(1):27--44, 2015.
    [bibtex-entry]

Articles in conference or workshop proceedings

  1. Y. Bao, G. T. Leavens, and G. Ernst.
    Conditional effects in fine-grained region logic.
    In Proc. of Formal Techniques for Java-like Programs (FTfJP), 2015.
    ACM.
    [bibtex-entry]

  2. Dirk Beyer.
    Software Verification and Verifiable Witnesses (Report on SV-COMP 2015).
    In C. Baier and C. Tinelli, editors, Proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015, London, UK, April 13-17), LNCS 9035, pages 401-416, 2015.
    Springer-Verlag, Heidelberg.
    [ Material ] [ Article ] Keyword(s): Competition on Software Verification (SV-COMP), Competition on Software Verification (SV-COMP Report), Software Model Checking, Witness-Based Validation.
    [bibtex-entry]

  3. Dirk Beyer, Matthias Dangl, Daniel Dietsch, Matthias Heizmann, and Andreas Stahlbauer.
    Witness Validation and Stepwise Testification across Software Verifiers.
    In E. Di Nitto, M. Harman, and P. Heymans, editors, Proceedings of the 2015 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on Foundations of Software Engineering (ESEC/FSE 2015, Bergamo, Italy, August 31 - September 4), pages 721-733, 2015.
    ACM, New York.
    [ Article ] Keyword(s): CPAchecker, Software Model Checking, Witness-Based Validation, Witness-Based Validation (main).
    [bibtex-entry]

  4. Dirk Beyer, Matthias Dangl, and Philipp Wendler.
    Boosting k-Induction with Continuously-Refined Invariants.
    In D. Kröning and C. S. Pasareanu, editors, Proceedings of the 27th International Conference on Computer Aided Verification (CAV 2015, San Francisco, CA, USA, July 18-24), LNCS 9206, pages 622-640, 2015.
    Springer-Verlag, Heidelberg.
    [ Material ] [ Article ] Keyword(s): CPAchecker, Software Model Checking.
    [Abstract] [bibtex-entry]

  5. Dirk Beyer and Stefan Löwe.
    Interpolation for Value Analysis.
    In U. Assmann, B. Demuth, T. Spitta, G. Püschel, and R. Kaiser, editors, Tagungsband Software Engineering 2015, Fachtagung des GI-Fachbereichs Softwaretechnik (17. März - 20. März 2015, Dresden, Deutschland), LNI 239, pages 73-74, 2015.
    Gesellschaft für Informatik (GI).
    Keyword(s): CPAchecker, Software Model Checking.
    [bibtex-entry]

  6. Dirk Beyer, Stefan Löwe, and Philipp Wendler.
    Benchmarking and Resource Measurement.
    In B. Fischer and J. Geldenhuys, editors, Proceedings of the 22nd International Symposium on Model Checking of Software (SPIN 2015, Stellenbosch, South Africa, August 24-26), LNCS 9232, pages 160-178, 2015.
    Springer-Verlag, Heidelberg.
    [ Material ] [ Article ] Keyword(s): Benchmarking.
    [Abstract]
    An extended version of this article appeared in STTT.
    [bibtex-entry]

  7. Dirk Beyer, Stefan Löwe, and Philipp Wendler.
    Refinement Selection.
    In B. Fischer and J. Geldenhuys, editors, Proceedings of the 22nd International Symposium on Model Checking of Software (SPIN 2015, Stellenbosch, South Africa, August 24-26), LNCS 9232, pages 20-38, 2015.
    Springer-Verlag, Heidelberg.
    [ Material ] [ Article ] Keyword(s): CPAchecker, Software Model Checking.
    [Abstract] [bibtex-entry]

  8. Dirk Beyer, Stefan Löwe, and Philipp Wendler.
    Sliced Path Prefixes: An Effective Method to Enable Refinement Selection.
    In S. Graf and M. Viswanathan, editors, Proceedings of the 35th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2015, Grenoble, France, June 2-4), LNCS 9039, pages 228-243, 2015.
    Springer-Verlag, Heidelberg.
    [ Material ] [ Article ] Keyword(s): CPAchecker, Software Model Checking.
    [Abstract] [bibtex-entry]

  9. Johannes Bürdek, Malte Lochau, Stefan Bauregger, Andreas Holzer, Alexander von Rhein, Sven Apel, and Dirk Beyer.
    Facilitating Reuse in Multi-Goal Test-Suite Generation for Software Product Lines.
    In A. Egyed and I. Schaefer, editors, Proceedings of the 18th International Conference on Fundamental Approaches to Software Engineering (FASE 2015, London, UK, April 13-15), LNCS 9033, pages 84-99, 2015.
    Springer-Verlag, Heidelberg.
    [ Material ] [ Article ] Keyword(s): CPAchecker, Software Model Checking, Software Testing.
    [bibtex-entry]

  10. Matthias Dangl, Stefan Löwe, and Philipp Wendler.
    CPAchecker with Support for Recursive Programs and Floating-Point Arithmetic (Competition Contribution).
    In C. Baier and C. Tinelli, editors, Proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015, London, UK, April 13-17), LNCS 9035, pages 423--425, 2015.
    Springer-Verlag, Heidelberg.
    [ Material ] [ Article ] Keyword(s): CPAchecker, Competition on Software Verification (SV-COMP), Software Model Checking.
    [Abstract]
    Won categories ControlFlow, MemorySafety, and Overall, and received three silver and two bronze medals in SV-COMP'15
    [bibtex-entry]

  11. G. Ernst, J. Pfähler, G. Schellhorn, and W. Reif.
    Inside a verified Flash file system: transactions & garbage collection.
    In Proc. of Verified Software: Theories, Tools, Experiments (VSTTE), volume 9593 of LNCS, pages 73--93, 2015.
    Springer.
    [ Article ] [bibtex-entry]

  12. Alexander von Rhein, Alexander Grebhahn, Sven Apel, Norbert Siegmund, Dirk Beyer, and Thorsten Berger.
    Presence-Condition Simplification in Highly Configurable Systems.
    In A. Bertolino, G. Canfora, and S. Elbaum, editors, Proceedings of the 37th International Conference on Software Engineering (ICSE 2015, Florence, Italy, May 16-24), pages 178-188, 2015.
    IEEE.
    [ Article ] Keyword(s): Software Model Checking.
    [bibtex-entry]

Internal reports

  1. Dirk Beyer, Matthias Dangl, and Philipp Wendler.
    Combining k-Induction with Continuously-Refined Invariants.
    Technical report MIP-1503, Department of Computer Science and Mathematics (FIM), University of Passau (PA), January 2015.
    [ Material ] [ Article ] Keyword(s): CPAchecker, Software Model Checking.
    An abbreviated version of this article appeared in Proc. CAV 2015.
    [bibtex-entry]

  2. Dirk Beyer, Stefan Löwe, and Philipp Wendler.
    Domain-Type-Guided Refinement Selection Based on Sliced Path Prefixes.
    Technical report MIP-1501, Department of Computer Science and Mathematics (FIM), University of Passau (PA), January 2015.
    [ Material ] [ Article ] Keyword(s): CPAchecker, Software Model Checking.
    Extended publications based on this article appeared in Proc. FORTE 2015 and Proc. SPIN 2015.
    [bibtex-entry]

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

  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]

(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