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 2019

(All PublicationsIndex)

Books and proceedings

  1. Dirk Beyer, Marieke Huisman, Fabrice Kordon, and Bernhard Steffen, editors.
    Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Part 3, LNCS 11429, 2019.
    Springer.
    [ Material ] [ Article ] [bibtex-entry]

  2. Dirk Beyer and Chantal Keller, editors.
    Proceedings of the 13th International Conference on Tests and Proofs (TAP), LNCS 11823, 2019.
    Springer.
    [ Material ] [ Article ] [bibtex-entry]

Articles in journal or book chapters

  1. Dirk Beyer, Stefan Löwe, and Philipp Wendler.
    Reliable Benchmarking: Requirements and Solutions.
    International Journal on Software Tools for Technology Transfer (STTT), 21(1):1--29, 2019.
    [ Material ] [ Article ] [ Presentation ] Keyword(s): Benchmarking.
    [Abstract]
    DOI: 10.1007/s10009-017-0469-y
    Publication appeared first online in November 2017
    BenchExec is available at: https://github.com/sosy-lab/benchexec
    [bibtex-entry]

Articles in conference or workshop proceedings

  1. E. Bartocci, D. Beyer, P. E. Black, G. Fedyukovich, H. Garavel, A. Hartmanns, M. Huisman, F. Kordon, J. Nagele, M. Sighireanu, B. Steffen, M. Suda, G. Sutcliffe, T. Weber, and A. Yamada.
    TOOLympics 2019: An Overview of Competitions in Formal Methods.
    In Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2019, Prague, Czech Republic, April 6-11), part 3, LNCS 11429, pages 3-24, 2019.
    Springer.
    [ Material ] [ Article ] [bibtex-entry]

  2. Dirk Beyer.
    A Data Set of Program Invariants and Error Paths.
    In Proceedings of the 2019 IEEE/ACM 16th International Conference on Mining Software Repositories (MSR 2019, Montreal, Canada, May 26-27), pages 111-115, 2019.
    IEEE.
    [ Material ] [ Article ] [bibtex-entry]

  3. Dirk Beyer.
    Automatic Verification of C and Java Programs: SV-COMP 2019.
    In Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2019, Prague, Czech Republic, April 6-11), part 3, LNCS 11429, pages 133-155, 2019.
    Springer.
    [ Material ] [ Article ] Keyword(s): Competition on Software Verification (SV-COMP), Competition on Software Verification (SV-COMP Report), Software Model Checking.
    [bibtex-entry]

  4. Dirk Beyer.
    International Competition on Software Testing (Test-Comp).
    In Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2019, Prague, Czech Republic, April 6-11), part 3, LNCS 11429, pages 167-175, 2019.
    Springer.
    [ Material ] [ Article ] Keyword(s): Competition on Software Testing (Test-Comp), Competition on Software Testing (Test-Comp Report), Software Testing.
    [bibtex-entry]

  5. Dirk Beyer and Marie-Christine Jakobs.
    CoVeriTest: Cooperative Verifier-Based Testing.
    In Proceedings of the 22nd International Conference on Fundamental Approaches to Software Engineering (FASE 2019, Prague, Czech Republic, April 6-11), LNCS 11424, pages 389-408, 2019.
    Springer.
    [ Material ] [ Article ] Keyword(s): CPAchecker, Software Model Checking, Software Testing.
    [bibtex-entry]

  6. Dirk Beyer, Marie-Christine Jakobs, Thomas Lemberger, and Heike Wehrheim.
    Combining Verifiers in Conditional Model Checking via Reducers.
    In S. Becker, I. Bogicevic, G. Herzwurm, and S. Wagner, editors, Proceedings of the Conference on Software Engineering and Software Management (SE/SWM 2019, Stuttgart, Germany, February 18-22), LNI P-292, pages 151--152, 2019.
    GI.
    [ Article ] [ Presentation ] [Abstract] [bibtex-entry]

  7. Dirk Beyer and Thomas Lemberger.
    Conditional Testing - Off-the-Shelf Combination of Test-Case Generators.
    In Yu-Fang Chen, Chih-Hong Cheng, and Javier Esparza, editors, Proceedings of the 17th International Symposium on Automated Technology for Verification and Analysis (ATVA 2019, Taipei, Taiwan, October 28-31), LNCS 11781, pages 189--208, 2019.
    Springer.
    [ Material ] [ Article ] [ Presentation ] Keyword(s): DFG-COOP, Software Testing.
    [bibtex-entry]

  8. Dirk Beyer and Thomas Lemberger.
    TestCov: Robust Test-Suite Execution and Coverage Measurement.
    In Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019, San Diego, CA, USA, November 11-15), pages 1074-1077, 2019.
    IEEE.
    [ Article ] [ Presentation ] Keyword(s): DFG-COOP, Software Testing.
    [bibtex-entry]

  9. G. Ernst, P. Arcaini, A. Donze, G. Fainekos, L. Mathesen, G. Pedrielli, S. Yaghoubi, Y. Yamagata, and Z. Zhang.
    ARCH-COMP19 Category Report: Results on the Falsification Benchmarks.
    In Proc. of Applied Verification of Continuous and Hybrid Systems (ARCH), volume 61 of EPiC, pages 129--140, 2019.
    EasyChair.
    [ Article ] [bibtex-entry]

  10. G. Ernst, M. Huisman, W. Mostowski, and M. Ulbrich.
    VerifyThis -- Verification Competition with a Human Factor.
    In Proc. of Tools and Algorithms for the Construction and Analysis of Systems (TACAS), volume 11429 of LNCS, 2019.
    Springer.
    [ Article ] [bibtex-entry]

  11. G. Ernst and T. Murray.
    SecCSL: Security Concurrent Separation Logic.
    In Proc. of Computer Aided Verification (CAV), volume 11562 of LNCS, pages 208--230, 2019.
    Springer.
    [ Article ] [bibtex-entry]

  12. G. Ernst, S. Sedwards, Z. Zhang, and I. Hasuo.
    Fast Falsification of Hybrid Systems using Probabilistically Adaptive Input.
    In Proc. of Quantitative Evaluation of Systems (QEST), 2019.
    Springer.
    To appear. [ Article ] [bibtex-entry]

  13. Rolf Hennicker, Alexander Knapp, Alexandre Madeira, and Felix Mindt.
    Behavioural and Abstractor Specifications for a Dynamic Logic with Binders and Silent Transitions.
    In Proceedings of the International Workshop on Data Learning and Inference (DALI 2019, San Sebastian, Spain, September 03-06), LCNS, 2019.
    Springer.
    (to appear).
    [ Article ] [Abstract] [bibtex-entry]

Internal reports

  1. Dirk Beyer and Matthias Dangl.
    Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art.
    Technical report 1908.06271, arXiv/CoRR, August 2019.
    [ Article ] [bibtex-entry]

  2. Dirk Beyer and Heike Wehrheim.
    Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework.
    Technical report 1905.08505, arXiv/CoRR, May 2019.
    [ Article ] [bibtex-entry]

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

  1. Gregor Alexandru.
    Specifying Loops with Contracts.
    Bachelor's Thesis, LMU Munich, Software Systems Lab, 2019.
    [ Article ] [bibtex-entry]

  2. Daniel Baier.
    Integration des SMT-Solvers Boolector in das Framework JavaSMT und Evaluation mit CPAchecker.
    Bachelor's Thesis, LMU Munich, Software Systems Lab, 2019.
    [ Article ] [ Presentation ] Keyword(s): JavaSMT.
    [bibtex-entry]

  3. Laura Bschor.
    Modern Architecture and Improved UI for Tables of BenchExec.
    Bachelor's Thesis, LMU Munich, Software Systems Lab, 2019.
    [ Article ] [ Presentation ] Keyword(s): Benchmarking.
    [bibtex-entry]

  4. Thomas Bunk.
    LTL Software Model Checking in CPAchecker.
    Master's Thesis, LMU Munich, Software Systems Lab, 2019.
    [ Article ] [ Presentation ] Keyword(s): CPAchecker, Software Model Checking.
    [bibtex-entry]

  5. Raphael Hagl.
    Hybrid Testcase Generation with CPAchecker.
    Bachelor's Thesis, LMU Munich, Software Systems Lab, 2019.
    Keyword(s): CPAchecker, Software Model Checking.
    [bibtex-entry]

  6. Maximilian Hailer.
    Measuring and Optimizing Energy Consumption of Verification Work on Clusters.
    Bachelor's Thesis, LMU Munich, Software Systems Lab, 2019.
    [ Article ] [ Presentation ] Keyword(s): Benchmarking, Energy Measurement.
    [bibtex-entry]

  7. Stephan Holzner.
    Design und Implementierung einer parallelen BDD-Bibliothek.
    Master's Thesis, LMU Munich, Software Systems Lab, 2019.
    [ Article ] Keyword(s): BDD, Software Model Checking.
    [bibtex-entry]

  8. Alexander Koos.
    Implementation and Evaluation of a Framework for Canonization and Caching of SMT Formulae.
    Master's Thesis, LMU Munich, Software Systems Lab, 2019.
    Keyword(s): JavaSMT, Software Model Checking.
    [bibtex-entry]

  9. Andrea Kreppel.
    Implementation and Evaluation of Backwards Analyses in the Software-Verification Framework CPAchecker.
    Bachelor's Thesis, LMU Munich, Software Systems Lab, 2019.
    [ Article ] Keyword(s): CPAchecker, Software Model Checking, Search Strategy.
    [bibtex-entry]

  10. Michael Maier.
    SMT-Based Verification of ECMAScript Programs in CPAchecker.
    Master's Thesis, LMU Munich, Software Systems Lab, 2019.
    [ Article ] [ Presentation ] Keyword(s): CPAchecker, Software Model Checking.
    [bibtex-entry]

  11. Krutav Shah.
    Counterexample-Guided Abstraction Refinement for Interval Domain.
    Bachelor's Thesis, LMU Munich, Software Systems Lab, 2019.
    Keyword(s): CPAchecker, Software Model Checking.
    [bibtex-entry]

  12. Mirjam Trapp.
    Heuristics for Effective Predicate Refinement in CPAchecker.
    Master's Thesis, LMU Munich, Software Systems Lab, 2019.
    Keyword(s): CPAchecker, Software Model Checking.
    [bibtex-entry]

  13. Leonhard Volk.
    Bipartite Matching Problems: Algorithms and Properties.
    Bachelor's Thesis, LMU Munich, Software Systems Lab, 2019.
    [bibtex-entry]

  14. Maximilian Wiesholler.
    Correctness Witness Validation using Predicate Analysis.
    Bachelor's Thesis, LMU Munich, Software Systems Lab, 2019.
    [ Article ] [ Presentation ] Keyword(s): CPAchecker, Software Model Checking, Witness-Based Validation.
    [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