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 2011

(All PublicationsIndex)

Articles in conference or workshop proceedings

  1. Sven Apel and Dirk Beyer.
    Feature Cohesion in Software Product Lines: An Exploratory Study.
    In Proceedings of the 33rd International Conference on Software Engineering (ICSE 2011, Honolulu, HI, May 21-28), pages 421-430, 2011.
    ACM Press, New York (NY).
    [ Article ] Keyword(s): Structural Analysis and Comprehension.
    [Abstract] [bibtex-entry]

  2. Sven Apel, Hendrik Speidel, Philipp Wendler, Alexander von Rhein, and Dirk Beyer.
    Detection of Feature Interactions using Feature-Aware Verification.
    In Proceedings of the 26th International Conference on Automated Software Engineering (ASE 2011, Lawrence, KS, November 6-10), pages 372-375, 2011.
    IEEE.
    [ Material ] [ Article ] Keyword(s): Software Model Checking.
    [Abstract] [bibtex-entry]

  3. Dirk Beyer and M. Erkan Keremoglu.
    CPAchecker: A Tool for Configurable Software Verification.
    In G. Gopalakrishnan and S. Qadeer, editors, Proceedings of the 23rd International Conference on Computer Aided Verification (CAV 2011, Snowbird, UT, July 14-20), LNCS 6806, pages 184-190, 2011.
    Springer-Verlag, Heidelberg.
    [ Material ] [ Article ] Keyword(s): CPAchecker, Software Model Checking.
    [Abstract] [bibtex-entry]

  4. T. Bormer, M. Brockschmidt, D. Distefano, G. Ernst, J.-C. Filliâtre, R. Grigore, M. Huisman, V. Klebanov, C. Marché, R. Monahan, W. Mostowski, N. Polikarpova, C. Scheben, G. Schellhorn, B. Tofan, J. Tschannen, and M. Ulbrich.
    The COST IC0701 verification competition 2011.
    In Proc. of Formal Verification of Object-Oriented Software (FoVeOOS), volume 7421 of LNCS, pages 3--21, 2011.
    Springer.
    [bibtex-entry]

  5. G. Ernst, G. Schellhorn, and W. Reif.
    Verification of B+ trees: an experiment combining shape analysis and interactive theorem proving.
    In Proc. of Software Engineering and Formal Methods (SEFM), volume 7041 of LNCS, pages 188--203, 2011.
    Springer.
    [ Article ] [bibtex-entry]

  6. M. Junker, D. Haneberg, G. Schellhorn, W. Reif, and G. Ernst.
    Simulating a Flash File System with CoreASM and Eclipse.
    In Proc. of Dependable Software for Critical Infrastructures (DSCI), volume 192 of GI Lecture Notes in Informatics, 2011.
    Gesellschaft für Informatik.
    [bibtex-entry]

  7. G. Schellhorn, B. Tofan, G. Ernst, and W. Reif.
    Interleaved programs and rely-guarantee reasoning with ITL.
    In Proc. of Temporal Representation and Reasoning (TIME), pages 99--106, 2011.
    IEEE.
    [ Article ] [bibtex-entry]

Internal reports

  1. Sven Apel, Hendrik Speidel, Philipp Wendler, Alexander von Rhein, and Dirk Beyer.
    Feature-Aware Verification.
    Technical report MIP-1105, Department of Computer Science and Mathematics (FIM), University of Passau (PA), September 2011.
    [ Material ] [ Article ] Keyword(s): Software Model Checking.
    [Abstract]
    An abbreviated version of this article appeared in Proc. ASE 2011.
    [bibtex-entry]

  2. Dirk Beyer, Thomas A. Henzinger, M. Erkan Keremoglu, and Philipp Wendler.
    Conditional Model Checking.
    Technical report MIP-1107, Department of Computer Science and Mathematics (FIM), University of Passau (PA), September 2011.
    [ Material ] [ Article ] Keyword(s): CPAchecker, Software Model Checking.
    [Abstract]
    An abbreviated version of this article appeared in Proc. FSE 2012.
    [bibtex-entry]

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

  1. Andra-Maria Babau.
    Modeling and Verification of Airport Security Processes using BPMN and Protocol Interfaces: A Case Study.
    Master's Thesis, University of Passau, Software Systems Lab, 2011.
    Keyword(s): CPAchecker, Software Model Checking.
    [bibtex-entry]

  2. Mehmet Erkan Keremoglu.
    Towards Scalable Software Analyisis Using Combinations and Conditions with CPAchecker.
    PhD Thesis, Simon Fraser University, Software Systems Lab, 2011.
    [ Article ] Keyword(s): CPAchecker, Software Model Checking.
    Now at Microsoft, Redmond, USA
    [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