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 2006

(All PublicationsIndex)

Articles in conference or workshop proceedings

  1. Basil Becker, Dirk Beyer, Holger Giese, Florian Klein, and Daniela Schilling.
    Symbolic Invariant Verification for Systems with Dynamic Structural Adaptation.
    In Proceedings of the 28th ACM/IEEE International Conference on Software Engineering (ICSE 2006, Shanghai, May 20-28), pages 72-81, 2006.
    ACM Press, New York (NY).
    [ Article ] Keyword(s): Software Model Checking.
    [Abstract]
    ICSE 2006, Shanghai, May 20-28,
    © 2006 ACM
    Online: https://doi.org/10.1145/1134297
    [bibtex-entry]

  2. Dirk Beyer.
    Co-Change Visualization Applied to PostgreSQL and ArgoUML.
    In Proceedings of the Third International Workshop on Mining Software Repositories (MSR 2006, Shanghai, May 22-23), pages 165-166, 2006.
    ACM Press.
    [ Material ] [ Article ] Keyword(s): Structural Analysis and Comprehension.
    [Abstract] [bibtex-entry]

  3. Dirk Beyer.
    Relational Programming with CrocoPat.
    In Proceedings of the 28th ACM/IEEE International Conference on Software Engineering (ICSE 2006, Shanghai, May 20-28), pages 807-810, 2006.
    ACM Press, New York (NY).
    [ Material ] [ Article ] Keyword(s): Structural Analysis and Comprehension.
    [Abstract]
    ICSE 2006, Shanghai, May 20-28,
    © 2006 ACM
    CrocoPat is available at: http://www.sosy-lab.org/~dbeyer/CrocoPat/
    [bibtex-entry]

  4. Dirk Beyer and Ahmed E. Hassan.
    Animated Visualization of Software History using Evolution Storyboards.
    In Proceedings of the 13th IEEE Working Conference on Reverse Engineering (WCRE 2006, Benevento, October 23-27), pages 199-208, 2006.
    IEEE Computer Society Press, Los Alamitos (CA).
    [ Article ] Keyword(s): Structural Analysis and Comprehension.
    [Abstract] [bibtex-entry]

  5. Dirk Beyer and Ahmed E. Hassan.
    Evolution Storyboards: Visualization of Software Structure Dynamics.
    In Proceedings of the 14th IEEE International Conference on Program Comprehension (ICPC 2006, Athens, June 14-16), pages 248-251, 2006.
    IEEE Computer Society Press, Los Alamitos (CA).
    [ Article ] Keyword(s): Structural Analysis and Comprehension.
    [Abstract] [bibtex-entry]

  6. Dirk Beyer, Thomas A. Henzinger, and Grégory Théoduloz.
    Lazy Shape Analysis.
    In T. Ball and R.B. Jones, editors, Proceedings of the 18th International Conference on Computer Aided Verification (CAV 2006, Seattle, WA, August 17-20), LNCS 4144, pages 532-546, 2006.
    Springer-Verlag, Heidelberg.
    [ Material ] [ Article ] Keyword(s): BLAST, Software Model Checking.
    [Abstract]
    CAV 2006, Seattle, WA, August 17-20,
    Thomas Ball, Robert B. Jones, editors.
    © 2006 Springer-Verlag
    Online: https://doi.org/10.1007/11817963_48
    An extended version of this paper appeared in Proc. Dagstuhl Seminar 06081, IBFI Schloss Dagstuhl, 2006:
    http://drops.dagstuhl.de/portals/06081/
    Supplementary material: http://www.sosy-lab.org/~dbeyer/blast_sa/
    [bibtex-entry]

  7. Alain Wegmann, Lam-Son Le, Lotfi Hussami, and Dirk Beyer.
    A Tool for Verified Design using Alloy for Specification and CrocoPat for Verification.
    In D. Jackson and P. Zave, editors, Proceedings of the First Alloy Workshop (ALLOY 2006, Portland, OR, November 6), 2006.
    [ Article ] Keyword(s): Structural Analysis and Comprehension.
    [Abstract] [bibtex-entry]

Internal reports

  1. Dirk Beyer, Thomas A. Henzinger, Rupak Majumdar, and Andrey Rybalchenko.
    Path Invariants.
    Technical report MTC-REPORT-2006-003, School of Computer and Communication Sciences (IC), Ecole Polytechnique Fédérale de Lausanne (EPFL), December 2006.
    [ Material ] [ Article ] Keyword(s): Software Model Checking.
    [Abstract] [bibtex-entry]

  2. Dirk Beyer, Thomas A. Henzinger, and Vasu Singh.
    Three Algorithms for Interface Synthesis: A Comparative Study.
    Technical report MTC-REPORT-2006-001, School of Computer and Communication Sciences (IC), Ecole Polytechnique Fédérale de Lausanne (EPFL), May 2006.
    [ Material ] [ Article ] Keyword(s): Interfaces for Component-Based Design, Software Model Checking.
    [Abstract] [bibtex-entry]

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

  1. Grégory Théoduloz.
    Integrating Shape Analysis into the Model Checker extscBlast.
    Master's Thesis, EPFL, MTC Lab, with Prof. Thomas Henzinger, 2006.
    Keyword(s): BLAST, Software Model Checking.
    Won the EPFL Unicible Award 2006 and the ELCA Informatique Prize
    [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