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 2007

(All PublicationsIndex)

Articles in journal or book chapters

  1. Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, and Rupak Majumdar.
    The Software Model Checker Blast: Applications to Software Engineering.
    International Journal on Software Tools for Technology Transfer (STTT), 9(5-6):505-525, 2007. Invited to special issue of selected papers from FASE 2004/05.
    [ Article ] [ Presentation ] Keyword(s): Software Model Checking, BLAST, Software Model Checking.
    [Abstract] [bibtex-entry]

Articles in conference or workshop proceedings

  1. Dirk Beyer, Arindam Chakrabarti, Thomas A. Henzinger, and Sanjit A. Seshia.
    An Application of Web-Service Interfaces.
    In Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007, Salt Lake City, UT, July 9-13), pages 831-838, 2007.
    IEEE Computer Society Press, Los Alamitos (CA).
    [ Article ] Keyword(s): Interfaces for Component-Based Design.
    [Abstract] [bibtex-entry]

  2. Dirk Beyer, Thomas A. Henzinger, Rupak Majumdar, and Andrey Rybalchenko.
    Invariant Synthesis for Combined Theories.
    In B. Cook and A. Podelski, editors, Proceedings of the Eighth International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2007, Nice, January 14-16), LNCS 4349, pages 378-394, 2007.
    Springer-Verlag, Heidelberg.
    [ Article ] Keyword(s): BLAST, Software Model Checking.
    [Abstract]
    VMCAI 2007, Nice, January 14-16,
    Byron Cook and Andreas Podelski, editors.
    © 2007 Springer-Verlag
    Online: https://doi.org/10.1007/978-3-540-69738-1_27
    [bibtex-entry]

  3. Dirk Beyer, Thomas A. Henzinger, Rupak Majumdar, and Andrey Rybalchenko.
    Path Invariants.
    In Proceedings of the 2007 ACM Conference on Programming Language Design and Implementation (PLDI 2007, San Diego, CA, June 10-13), pages 300-309, 2007.
    ACM Press, New York (NY).
    [ Article ] Keyword(s): BLAST, Software Model Checking.
    [Abstract]
    PLDI 2007, San Diego, CA, June 10-13,
    © 2007 ACM
    Online: https://doi.org/10.1145/1250734.1250769
    Video: https://www.youtube.com/watch?v=vUN0n23zVuw
    [bibtex-entry]

  4. Dirk Beyer, Thomas A. Henzinger, and Vasu Singh.
    Algorithms for Interface Synthesis.
    In W. Damm and H. Hermanns, editors, Proceedings of the 19th International Conference on Computer Aided Verification (CAV 2007, Berlin, July 3-7), LNCS 4590, pages 4-19, 2007.
    Springer-Verlag, Heidelberg.
    [ Article ] Keyword(s): Interfaces for Component-Based Design, Software Model Checking.
    [Abstract]
    CAV 2007, Berlin, July 3-7,
    Werner Damm, Holger Hermanns, editors.
    © 2007 Springer-Verlag
    Online: https://doi.org/10.1007/978-3-540-73368-3_4
    [bibtex-entry]

  5. Dirk Beyer, Thomas A. Henzinger, and Grégory Théoduloz.
    Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis.
    In W. Damm and H. Hermanns, editors, Proceedings of the 19th International Conference on Computer Aided Verification (CAV 2007, Berlin, July 3-7), LNCS 4590, pages 504-518, 2007.
    Springer-Verlag, Heidelberg.
    [ Article ] [ Presentation ] Keyword(s): BLAST, Software Model Checking.
    [Abstract]
    CAV 2007, Berlin, July 3-7,
    Werner Damm, Holger Hermanns, editors.
    © 2007 Springer-Verlag
    Online: https://doi.org/10.1007/978-3-540-73368-3_51
    [bibtex-entry]

Internal reports

  1. Dirk Beyer, Arindam Chakrabarti, and Thomas A. Henzinger.
    An Interface Formalism for Web Services.
    Technical report MTC-REPORT-2007-002, School of Computer and Communication Sciences (IC), Ecole Polytechnique Fédérale de Lausanne (EPFL), December 2007.
    [ Material ] [ Article ] Keyword(s): Interfaces for Component-Based Design.
    [Abstract]
    A preliminary version of this paper was presented at the First International Workshop on Foundations of Interface Technologies (FIT 2005, San Francisco, CA, August 21).
    Online: http://infoscience.epfl.ch/search?recid=114605&ln=en
    [bibtex-entry]

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

  1. CPAchecker: Configurable Software Verification, 2007.
    [ Material ] Keyword(s): Software Development Project, 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: Wed Feb 24 15:19:20 2021


This document was translated from BibTEX by bibtex2html