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 2003

(All PublicationsIndex)

Articles in journal or book chapters

  1. Dirk Beyer.
    Formale Verifikation von Realzeit-Systemen mittels Cottbus Timed Automata (Zusammenfassung).
    Softwaretechnik-Trends, 23(2):4, May 2003.
    Summary of dissertation
    [bibtex-entry]

Articles in conference or workshop proceedings

  1. Dirk Beyer and Claus Lewerentz.
    CrocoPat: Efficient Pattern Analysis in Object-Oriented Programs.
    In Proceedings of the 11th IEEE International Workshop on Program Comprehension (IWPC 2003, Portland, OR, May 10-11), pages 294-295, 2003.
    IEEE Computer Society Press, Los Alamitos (CA).
    [ Material ] [ Article ] Keyword(s): Structural Analysis and Comprehension.
    [Abstract]
    IWPC 2003, Portland, OR, May 10-11
    Introduction of a BDD-based tool for pattern analysis and a short overview of the main features of CrocoPat.
    [bibtex-entry]

  2. Dirk Beyer, Claus Lewerentz, and Andreas Noack.
    Rabbit: A Tool for BDD-Based Verification of Real-Time Systems.
    In W. A. Hunt and F. Somenzi, editors, Proceedings of the 15th International Conference on Computer Aided Verification (CAV 2003, Boulder, CO, July 8-12), LNCS 2725, pages 122-125, 2003.
    Springer-Verlag, Heidelberg.
    [ Article ] Keyword(s): Formal Verification of Real-Time Systems.
    [Abstract]
    CAV 2003, Boulder, CO, July 8-12,
    Warren A. Hunt Jr., Fabio Somenzi, editors.
    © 2006 Springer-Verlag
    Online: http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2725&spage=122
    A description of the BDD-based tool's main features.
    [bibtex-entry]

  3. Dirk Beyer and Andreas Noack.
    Can Decision Diagrams Overcome State Space Explosion in Real-Time Verification?.
    In H. König, M. Heiner, and A. Wolisz, editors, Proceedings of the 23rd IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2003, Berlin, September 29 - October 2), LNCS 2767, pages 193-208, 2003.
    Springer-Verlag, Heidelberg.
    [ Article ] Keyword(s): Formal Verification of Real-Time Systems.
    [Abstract]
    FORTE 2003, Berlin, September 29 - October 2
    Hartmut König, Monika Heiner, Adam Wolisz, editors.
    © 2006 Springer-Verlag
    Online: https://doi.org/10.1007/11965
    Analysis of the efficiency of binary decision diagrams (BDDs) and clock difference diagrams (CDDs) in the verification of timed automata. Analytical and empirical complexity results for three communication protocols.
    [bibtex-entry]

  4. Dirk Beyer, Andreas Noack, and Claus Lewerentz.
    Simple and Efficient Relational Querying of Software Structures.
    In Proceedings of the Tenth IEEE Working Conference on Reverse Engineering (WCRE 2003, Victoria, BC, November 13-16), pages 216-225, 2003.
    IEEE Computer Society Press, Los Alamitos (CA).
    [ Material ] [ Article ] Keyword(s): Structural Analysis and Comprehension.
    [Abstract]
    WCRE 2003, Victoria, BC, November 13-16
    CrocoPat's concepts, an introduction to the BDD-based implementation, software analysis applications, and performance measurements.
    Online: https://doi.org/10.1109/WCRE.2003.1287252
    [bibtex-entry]

Internal reports

  1. Dirk Beyer and Claus Lewerentz.
    CrocoPat: A Tool for Efficient Pattern Recognition in Large Object-Oriented Programs.
    Technical report I-04/2003, Institute of Computer Science, Brandenburgische Technische Universität Cottbus, January 2003.
    [ Article ] Keyword(s): Structural Analysis and Comprehension.
    See WCRE03 [27] for proceedings version.
    [bibtex-entry]

  2. Dirk Beyer and Andreas Noack.
    A Comparative Study of Decision Diagrams for Real-Time Verification.
    Technical report I-03/2003, Institute of Computer Science, Brandenburgische Technische Universität Cottbus, January 2003.
    Keyword(s): Formal Verification of Real-Time Systems.
    See FORTE03 [26] for proceedings version.
    [bibtex-entry]

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

  1. CrocoPat: Relational Programming (for Software-Structure Analysis), 2003.
    [ Material ] Keyword(s): Software Development Project, Structural Analysis and Comprehension.
    [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