Publications of year 2016

(All PublicationsIndex)

Articles in conference or workshop proceedings

  1. Sven Apel, Dirk Beyer, Vitaly Mordan, Vadim Mutilin, and and Andreas Stahlbauer.
    On-the-Fly Decomposition of Specifications in Software Model Checking.
    In T. Zimmermann, J. Cleland-Huang, and Z. Su, editors, Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE 2016, Seattle, WA, USA, November 13-18), pages 349-361, 2016.
    ACM.
    [ PDF ] [bibtex-entry]

  2. Dirk Beyer.
    Partial Verification and Intermediate Results as a Solution to Combine Automatic and Interactive Verification Techniques.
    In T. Margaria and B. Steffen, editors, 7th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2016, Part 1, Imperial, Corfu, Greece, October 10-14), LNCS 9952, pages 874-880, 2016.
    Springer.
    [bibtex-entry]

  3. Dirk Beyer.
    Reliable and Reproducible Competition Results with BenchExec and Witnesses (Report on SV-COMP 2016).
    In M. Chechik and J.-F. Raskin, editors, Proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2016, Eindhoven, The Netherlands, April 2-8), LNCS 9636, pages 887-904, 2016.
    Springer-Verlag, Heidelberg.
    [ Info ] [ PDF ] Keyword(s): SV-COMP, Software Model Checking.
    [bibtex-entry]

  4. Dirk Beyer and Matthias Dangl.
    SMT-based Software Model Checking: An Experimental Comparison of Four Algorithms.
    In Proc. VSTTE, LNCS 9971, pages 181--198, 2016.
    Springer.
    Keyword(s): CPAchecker, Software Model Checking.
    [bibtex-entry]

  5. Dirk Beyer and Matthias Dangl.
    Verification-Aided Debugging: An Interactive Web-Service for Exploring Error Witnesses.
    In S. Chaudhuri and A. Farzan, editors, 28th International Conference on Computer Aided Verification (CAV 2016, Part 2, Toronto, ON, Canada, July 17-23), LNCS 9780, pages 502-509, 2016.
    Springer.
    [ PDF ] [bibtex-entry]

  6. Dirk Beyer, Matthias Dangl, Daniel Dietsch, and Matthias Heizmann.
    Correctness Witnesses: Exchanging Verification Results Between Verifiers.
    In T. Zimmermann, J. Cleland-Huang, and Z. Su, editors, Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE 2016, Seattle, WA, USA, November 13-18), pages 326-337, 2016.
    ACM.
    [ PDF ] Keyword(s): CPAchecker, Software Model Checking.
    [bibtex-entry]

  7. Dirk Beyer, Matthias Dangl, Daniel Dietsch, Matthias Heizmann, and Andreas Stahlbauer.
    Witness Validation and Stepwise Testification across Software Verifiers.
    In J. Knoop and U. Zdun, editors, Tagungsband Software Engineering 2016, Fachtagung des GI-Fachbereichs Softwaretechnik (23.-26. Februar 2016, Wien, Österreich), LNI 252, pages 105-106, 2016.
    GI.
    Keyword(s): CPAchecker, Software Model Checking.
    [bibtex-entry]

  8. Dirk Beyer and Karlheinz Friedberger.
    A Light-Weight Approach for Verifying Multi-Threaded Programs with CPAchecker.
    In J. Bouda, L. Holìk, J. Kofron, J. Strejcek, and A. Rambousek, editors, Proceedings of the 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2016, Telc, Czechia, October 21-23), EPTCS 233, pages 61-71, 2016.
    ArXiV.
    [ PDF ] Keyword(s): CPAchecker, Software Model Checking.
    [bibtex-entry]

  9. Dirk Beyer and Thomas Lemberger.
    Symbolic Execution with CEGAR.
    In T. Margaria and B. Steffen, editors, 7th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2016, Part 1, Imperial, Corfu, Greece, October 10-14), LNCS 9952, pages 195-211, 2016.
    Springer.
    [ Info ] [ PDF ] Keyword(s): CPAchecker, Software Model Checking.
    [Abstract] [bibtex-entry]

  10. Karlheinz Friedberger.
    CPA-BAM: Block-Abstraction Memoization with Value Analysis and Predicate Analysis (Competition Contribution).
    In Marsha Chechik and Jean-François Raskin, editors, Proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2016, Eindhoven, The Netherlands, April 2-8), LNCS 9636, pages 912--915, 2016.
    Springer-Verlag, Heidelberg.
    [ Info ] Keyword(s): CPAchecker, SV-COMP, Software Model Checking.
    [bibtex-entry]

  11. Egor George Karpenkov, Karlheinz Friedberger, and Dirk Beyer.
    JavaSMT: A Unified Interface for SMT Solvers in Java.
    In Proc. VSTTE, LNCS 9971, pages 139--148, 2016.
    Springer.
    [bibtex-entry]

  12. Egor George Karpenkov, David Monniaux, and Philipp Wendler.
    Program Analysis with Local Policy Iteration.
    In Proceedings of the 17th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2016, St. Petersburg, FL, USA, January 17-19), LNCS 9583, pages 127--146, 2016.
    Springer-Verlag, Heidelberg.
    [ Info ] [ PDF ] Keyword(s): CPAchecker, Software Model Checking.
    [bibtex-entry]

  13. Malte Lochau, Johannes Bürdek, Stefan Bauregger, Andreas Holzer, Alexander von Rhein, Sven Apel, and Dirk Beyer.
    On Facilitating Reuse in Multi-goal Test-Suite Generation for Software Product Lines.
    In J. Knoop and U. Zdun, editors, Tagungsband Software Engineering 2016, Fachtagung des GI-Fachbereichs Softwaretechnik (23.-26. Februar 2016, Wien, Österreich), LNI 252, pages 81-82, 2016.
    GI.
    Keyword(s): CPAchecker, Software Model Checking.
    [bibtex-entry]

  14. Stefan Löwe.
    CPA-RefSel: CPAchecker with Refinement Selection (Competition Contribution).
    In Marsha Chechik and Jean-François Raskin, editors, Proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2016, Eindhoven, The Netherlands, April 2-8), LNCS 9636, pages 916--919, 2016.
    Springer-Verlag, Heidelberg.
    [ Info ] Keyword(s): CPAchecker, SV-COMP, Software Model Checking.
    Won category DeviceDriversLinux64 in SV-COMP'16
    [bibtex-entry]

  15. Markus Schordan, Dirk Beyer, and Jonas Lundberg.
    Evaluation and Reproducibility of Program Analysis and Verification (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 2016, Corfu, Greece, October 10--14), LNCS 9952, pages 191-194, 2016.
    Springer-Verlag, Heidelberg.
    [bibtex-entry]

Theses (PhD, MSc, BSc, Project)

  1. Stephan Lukasczyk.
    Unbounded Heap Support for CPAchecker's Predicate Analysis Using SMT Arrays.
    Bachelor's Thesis, University of Passau, Software Systems Lab, 2016.
    [ Info ] Keyword(s): CPAchecker, Software Model Checking.
    [bibtex-entry]

  2. Magdalena Murr.
    Towards Understandable CPAchecker Counterexamples.
    Bachelor's Thesis, University of Passau, Software Systems Lab, 2016.
    [ PDF ] Keyword(s): CPAchecker, Software Model Checking.
    [bibtex-entry]

  3. Sebastian Ott.
    Implementing a Termination Analysis using Configurable Software Analysis.
    Master's Thesis, University of Passau, Software Systems Lab, 2016.
    [ PDF ] Keyword(s): CPAchecker, Software Model Checking.
    [bibtex-entry]

  4. Thomas Stieglmaier.
    Augmenting Predicate Analysis with Auxiliary Invariants.
    Master's Thesis, University of Passau, Software Systems Lab, 2016.
    [ Info ] [ PDF ] Keyword(s): CPAchecker, Software Model Checking.
    [bibtex-entry]

  5. Maximilian Syri.
    Verification of Concurrent Programs by CFA Sequentialization.
    Bachelor's Thesis, University of Passau, Software Systems Lab, 2016.
    Keyword(s): CPAchecker, Software Model Checking.
    [bibtex-entry]

  6. Stefan Weinzierl.
    Configurable Pointer-Alias Analysis in CPAchecker.
    Bachelor's Thesis, University of Passau, Software Systems Lab, 2016.
    [ PDF ] 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: Fri Oct 19 18:49:29 2018


This document was translated from BibTEX by bibtex2html