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 2000

(All PublicationsIndex)

Articles in conference or workshop proceedings

  1. Dirk Beyer, Claus Lewerentz, and Heinrich Rust.
    Modelling and Analysing a Railroad Crossing in a Modular Way.
    In S. Gnesi, I. Schieferdecker, and A. Rennoch, editors, Proceedings of the Fifth International ERCIM Workshop on Formal Methods for Industrial Critical Systems (FMICS 2000, Berlin, April 3-4), Berlin, pages 287-303, 2000.
    [ Article ] [ Presentation ] Keyword(s): Formal Verification of Real-Time Systems.
    [Abstract]
    FMICS 2000, Berlin, April 3-4
    Stefania Gnesi, Ina Schieferdecker, Axel Rennoch, editors
    Describes a case study for modeling and analysis using the DDM-based representation.
    [bibtex-entry]

  2. Dirk Beyer and Andreas Noack.
    BDD-basierte Verifikation von Realzeit-Systemen.
    In J. Grabowski and S. Heymer, editors, Tagungsband Formale Beschreibungstechniken für verteilte Systeme (FBT 2000, Lübeck, June 22-23), pages 79-89, 2000.
    Shaker Verlag, Aachen.
    [ Article ] Keyword(s): Formal Verification of Real-Time Systems.
    [Abstract]
    FBT 2000, Lübeck, June 22-23
    Jens Grabowski, Stefan Heymer, editors
    [bibtex-entry]

  3. Dirk Beyer and Heinrich Rust.
    A Tool for Modular Modelling and Verification of Hybrid Systems.
    In A. Crespo and J. Vila, editors, Proceedings of the 25th IFAC/IFIP Workshop on Real-Time Programming (WRTP 2000, Palma, May 17-19), pages 169-174, 2000.
    Elsevier Science, Oxford.
    Keyword(s): Formal Verification of Real-Time Systems.
    WRTP 2000, Palma, May 17-19
    Alfons Crespo, Joan Vila, editors
    Also as preprint: Proc. WRTP'00, pages 181-186, Valencia, 2000.
    The reference for the first version of the tool using the double decription method (DDM) for hybrid systems.
    [bibtex-entry]

  4. Dirk Beyer and Heinrich Rust.
    Modular Modelling and Verification with Cottbus Timed Automata.
    In C. Rattray and M. Sveda, editors, Proceedings of the IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems (FSCBS 2000, Edinburgh, April 6-7), Stirling, pages 17-24, 2000.
    Keyword(s): Formal Verification of Real-Time Systems.
    [Abstract]
    FSCBS 2000, Edinburgh, April 6-7
    Charles Rattray, Miroslav Sveda, editors
    [bibtex-entry]

Internal reports

  1. Dirk Beyer, Claus Lewerentz, and Frank Simon.
    Flattening Inheritance Structures -- OR -- Getting the Right Picture of Large OO-Systems.
    Technical report I-12/2000, Institute of Computer Science, Brandenburgische Technische Universität Cottbus, November 2000.
    [ Article ] Keyword(s): Structural Analysis and Comprehension.
    [Abstract] [bibtex-entry]

  2. Dirk Beyer and Andreas Noack.
    Efficient Verification of Real-Time Systems using BDDs.
    Technical report I-13/2000, Institute of Computer Science, Brandenburgische Technische Universität Cottbus, December 2000.
    Keyword(s): Formal Verification of Real-Time Systems.
    See FMICS01 [18] for proceedings version.
    [bibtex-entry]

  3. Frank Simon and Dirk Beyer.
    Considering Inheritance, Overriding, Overloading and Polymorphism for Measuring C++ Sources.
    Technical report I-04/2000, Institute of Computer Science, Brandenburgische Technische Universität Cottbus, May 2000.
    Keyword(s): Structural Analysis and Comprehension.
    See IWSM00 [12] for proceedings version.
    [bibtex-entry]

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

  1. Andreas Noack.
    BDD-basierte Verifikation von Echtzeitsystemen.
    Master's Thesis, BTU Cottbus, with Prof. Claus Lewerentz, 2000.
    Keyword(s): Formal Verification of Real-Time Systems.
    Won the BTU University Award 2000 for best Master’s thesis
    [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