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 2018

(All PublicationsIndex)

Books and proceedings

  1. Dirk Beyer and Marieke Huisman, editors.
    Proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Part 1, LNCS 10805, 2018.
    Springer.
    [ Material ] [ Article ] [bibtex-entry]

  2. Dirk Beyer and Marieke Huisman, editors.
    Proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Part 2, LNCS 10806, 2018.
    Springer.
    [ Material ] [ Article ] [bibtex-entry]

Articles in journal or book chapters

  1. Dirk Beyer, Sumit Gulwani, and David Schmidt.
    Combining Model Checking and Data-Flow Analysis.
    In E. M. Clarke, T. A. Henzinger, H. Veith, and R. Bloem, editors, Handbook on Model Checking, pages 493-540.
    Springer, 2018.
    [ Article ] [bibtex-entry]

  2. Marie-Christine Jakobs.
    Spontane Sicherheitsprüfung mittels individualisierter Programmzertifizierung oder Programmrestrukturierung.
    In S. Hölldobler, editor, Ausgezeichnete Informatikdissertationen 2017, volume D-18 of LNI, pages 91-100.
    Gesellschaft für Informatik (GI), 2018.
    [ Article ] Keyword(s): CPAchecker, Software Model Checking.
    [Abstract]
    This is a German summary of the dissertation On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring.
    [bibtex-entry]

  3. Philipp Wendler.
    Beiträge zu praktikabler Prädikatenanalyse.
    In S. Hölldobler, editor, Ausgezeichnete Informatikdissertationen 2017, volume D-18 of LNI, pages 261-270.
    Gesellschaft für Informatik (GI), 2018.
    [ Material ] [ Article ] [ Presentation ] Keyword(s): Benchmarking, CPAchecker, Software Model Checking.
    [Abstract]
    This is a German summary of the dissertation Towards Practical Predicate Analysis.
    [bibtex-entry]

  4. Y. Bao, G. T. Leavens, and G. Ernst.
    Unifying separation logic and region logic to allow interoperability.
    Formal Aspects of Computing, 30(3--4):381--441, 2018.
    [bibtex-entry]

  5. Dirk Beyer, Matthias Dangl, and Philipp Wendler.
    A Unifying View on SMT-Based Software Verification.
    Journal of Automated Reasoning, 60(3):299--335, 2018.
    [ Material ] [ Article ] [ Presentation ] Keyword(s): CPAchecker, Software Model Checking.
    [Abstract]
    DOI: 10.1007/s10817-017-9432-6
    Publication appeared first online in December 2017
    CPAchecker is available at: https://cpachecker.sosy-lab.org/
    [bibtex-entry]

  6. G. Schellhorn, G. Ernst, J. Pfähler, S. Bodenmüller, and W. Reif.
    Symbolic execution for a clash-free subset of ASMs.
    Science of Computer Programming (SCP), 158:21--40, 2018.
    [ Article ] [bibtex-entry]

  7. Z. Zhang, G. Ernst, S. Sedwards, P. Arcaini, and I. Hasuo.
    Two-Layered Falsification of Hybrid Systems Guided by Monte Carlo Tree Search.
    Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 37(11):2894--2905, 2018.
    [ Article ] [bibtex-entry]

Articles in conference or workshop proceedings

  1. Dirk Beyer and Matthias Dangl.
    Strategy Selection for Software Verification Based on Boolean Features: A Simple but Effective Approach.
    In T. Margaria and B. Steffen, editors, Proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2018, Part 2, Limassol, Cyprus, November 5-9), LNCS 11245, pages 144-159, 2018.
    Springer.
    [ Article ] [ Presentation ] Keyword(s): CPAchecker, Software Model Checking.
    [bibtex-entry]

  2. Dirk Beyer, Matthias Dangl, Thomas Lemberger, and Michael Tautschnig.
    Tests from Witnesses: Execution-Based Validation of Verification Results.
    In Catherine Dubois and Burkhart Wolff, editors, Proceedings of the 12th International Conference on Tests and Proofs (TAP 2018, Toulouse, France, June 27-29), LNCS 10889, pages 3-23, 2018.
    Springer.
    [ Material ] [ Article ] [ Presentation ] Keyword(s): CPAchecker, Software Model Checking, Witness-Based Validation, Witness-Based Validation (main).
    [Abstract] [bibtex-entry]

  3. Dirk Beyer and Karlheinz Friedberger.
    Domain-Independent Multi-threaded Software Model Checking.
    In Marianne Huchard, Christian Kästner, and Gordon Fraser, editors, Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, ASE 2018, Montpellier, France, September 3-7, 2018, pages 634-644, 2018.
    ACM.
    [ Material ] [ Article ] [ Presentation ] Keyword(s): CPAchecker, Software Model Checking, BAM.
    [Abstract] [bibtex-entry]

  4. Dirk Beyer and Karlheinz Friedberger.
    In-Place vs. Copy-on-Write CEGAR Refinement for Block Summarization with Caching.
    In T. Margaria and B. Steffen, editors, Proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2018, Part 2, Limassol, Cyprus, November 5-9), LNCS 11245, pages 197-215, 2018.
    Springer.
    [ Material ] [ Article ] [ Presentation ] Keyword(s): CPAchecker, Software Model Checking, BAM.
    [Abstract] [bibtex-entry]

  5. Dirk Beyer, Marie-Christine Jakobs, Thomas Lemberger, and Heike Wehrheim.
    Reducer-Based Construction of Conditional Verifiers.
    In Proceedings of the 40th International Conference on Software Engineering (ICSE 2018, Gothenburg, Sweden, May 27 - June 3), pages 1182-1193, 2018.
    ACM.
    [ Material ] [ Article ] [ Presentation ] Keyword(s): CPAchecker, Software Model Checking.
    [Abstract] [bibtex-entry]

  6. Dirk Beyer and Thomas Lemberger.
    CPA-SymExec: Efficient Symbolic Execution in CPAchecker.
    In Marianne Huchard, Christian Kästner, and Gordon Fraser, editors, Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering (ASE 2018, Montpellier, France, September 3-7), pages 900-903, 2018.
    ACM.
    [ Material ] [ Article ] [ Presentation ] Keyword(s): CPAchecker, Software Model Checking.
    [Abstract] [bibtex-entry]

  7. A. Dokhanchi, S. Yaghoubi, B. Hoxha, G. Fainekos, G. Ernst, Z. Zhang, P. Arcaini, I. Hasuo, and S. Sedwards.
    ARCH-COMP18 Category Report: Results on the Falsification Benchmarks.
    In Proc. of Applied Verification of Continuous and Hybrid Systems (ARCH), volume 54 of EPiC, pages 104--109, 2018.
    EasyChair.
    [ Article ] [bibtex-entry]

  8. G. Ernst, I. Hasuo, Z. Zhang, and S. Sedwards.
    Time-staging Enhancement of Hybrid System Falsification.
    In Proc. of Symbolic and Numerical Methods for Reachability Analysis (SNR), EPTCS, 2018.
    [ Article ] [bibtex-entry]

  9. A. Issa, T. Murray, and G. Ernst.
    In Search of Perfect Users: Towards Understanding the Usability of Converged Multi-Level Secure User Interfaces.
    In Proc. of Computer Human Interaction Australia (OzCHI), pages 572--576, 2018.
    ACM.
    Work in Progress Report. [ Article ] [bibtex-entry]

  10. Markus Schordan, Dirk Beyer, and Stephen F. Siegel.
    Evaluating Tools for Software Verification (Track Introduction).
    In T. Margaria and B. Steffen, editors, Proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2018, Limassol, Cyprus, November 5--9), Part 2, LNCS 11245, pages 139-143, 2018.
    Springer-Verlag, Heidelberg.
    [bibtex-entry]

  11. Z. Zhang, G. Ernst, I. Hasuo, and S. Sedwards.
    Time-staging Enhancement of Hybrid System Falsification (Abstract).
    In Proc. of Monitoring and Testing of Cyber-Physical Systems (MT-CPS), 2018.
    IEEE.
    [bibtex-entry]

Internal reports

  1. M. Huisman, R. Monahan, P. Müller, A. Paskevich, and G. Ernst.
    VerifyThis 2018: A Program Verification Competition.
    Technical report hal-01981937, Université Paris-Saclay, 2018.
    [ Material ] [ Article ] [bibtex-entry]

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

  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]

(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