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 2004

(All PublicationsIndex)

Articles in conference or workshop proceedings

  1. Dirk Beyer, Adam J. Chlipala, Thomas A. Henzinger, Ranjit Jhala, and Rupak Majumdar.
    Generating Tests from Counterexamples.
    In Proceedings of the 26th IEEE International Conference on Software Engineering (ICSE 2004, Edinburgh, May 26-28), pages 326-335, 2004.
    IEEE Computer Society Press, Los Alamitos (CA).
    [ Article ] Keyword(s): BLAST, Software Model Checking.
    [Abstract] [bibtex-entry]

  2. Dirk Beyer, Adam J. Chlipala, Thomas A. Henzinger, Ranjit Jhala, and Rupak Majumdar.
    The Blast Query Language for Software Verification.
    In R. Giacobazzi, editor, Proceedings of the 11th International Static Analysis Symposium (SAS 2004, Verona, August 26-28), LNCS 3148, pages 2-18, 2004.
    Springer-Verlag, Heidelberg.
    [ Article ] Keyword(s): BLAST, Software Model Checking.
    [Abstract]
    SAS 2004, Verona, August 26-28,
    Roberto Giacobazzi, editor.
    © 2006 Springer-Verlag
    Online: https://doi.org/10.1007/b99688
    [bibtex-entry]

  3. Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, and Rupak Majumdar.
    An Eclipse Plug-in for Model Checking.
    In Proceedings of the 12th IEEE International Workshop on Program Comprehension (IWPC 2004, Bari, June 24-26), pages 251-255, 2004.
    IEEE Computer Society Press, Los Alamitos (CA).
    [ Article ] Keyword(s): BLAST, Software Model Checking.
    [Abstract]
    IWPC 2004, Bari, June 24-26
    Online: https://doi.org/10.1109/WPC.2004.1311069
    [bibtex-entry]

Internal reports

  1. Dirk Beyer and Andreas Noack.
    CrocoPat 2.1 Introduction and Reference Manual.
    Technical report UCB//CSD-04-1338, Computer Science Division (EECS), University of California, Berkeley, July 2004.
    Also: The Computing Research Repository (CoRR), cs.PL/0409009, September 2004.
    [ Material ] [ Article ] Keyword(s): Structural Analysis and Comprehension.
    [Abstract]
    Online: http://sunsite.berkeley.edu/TechRepPages/CSD-04-1338
    A tutorial and user's guide for CrocoPat, defines and explains the syntax and semantics of the extended language.
    CrocoPat is available at: http://www.sosy-lab.org/~dbeyer/CrocoPat/
    [bibtex-entry]

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

  1. Chic: Checking Interface Compatibility, 2004.
    [ Material ] Keyword(s): Software Development Project, Interfaces for Component-Based Design.
    [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