Publications of year 1999

Articles in conference or workshop proceedings

  1. Dirk Beyer and Heinrich Rust. Concepts of Cottbus Timed Automata. In K. Spies and B. Schätz, editors, Tagungsband Formale Beschreibungstechniken für verteilte Systeme (FBT 1999, München, June 17-18), pages 27-34, 1999. Herbert Utz Verlag, München. [ PDF ] Keyword(s): Formal Verification of Real-Time Systems.
    Abstract:
    Today, many industrial production cells are controlled by software. Many such systems have to deal with requirements which the developer has to guarantee. Because of the complexity of the implementation one of the main problems for developing the software for reactive systems is to be sure that such properties are fulfilled. One way to handle the problems is to use formal methods: This means to develop a formal model which is used to prove the properties of the specification with tool support.
    There are many different methods to model such reactive systems. Some of these abstract from real-time aspects of the system. We chose a problem area where we have real-time requirements, for example the throughput of the modelled production cell. So we have to use formal methods which support models of real-time systems.
    Annotation:
    FBT 1999, München, June 17-18
    Katharina Spies and Bernhard Schätz, editors

    @InProceedings{FBT99,
    author = {Dirk Beyer and Heinrich Rust},
    title = {Concepts of {C}ottbus {T}imed {A}utomata},
    booktitle = {Tagungsband Formale Beschreibungstechniken f{\"u}r verteilte Systeme (FBT~1999, M{\"u}nchen, June 17-18)},
    year = {1999},
    pages = {27-34},
    editor = {K.~Spies and B.~Sch{\"a}tz},
    publisher = {Herbert Utz Verlag, M{\"u}nchen},
    isbn = {},
    keyword = {Formal Verification of Real-Time Systems},
    pdf = {https://www.sosy-lab.org/research/pub/1999-FBT.Concepts_of_Cottbus_Timed_Automata.pdf},
    abstract = { Today, many industrial production cells are controlled by software. Many such systems have to deal with requirements which the developer has to guarantee. Because of the complexity of the implementation one of the main problems for developing the software for reactive systems is to be sure that such properties are fulfilled. One way to handle the problems is to use formal methods: This means to develop a formal model which is used to prove the properties of the specification with tool support. 
    There are many different methods to model such reactive systems. Some of these abstract from real-time aspects of the system. We chose a problem area where we have real-time requirements, for example the throughput of the modelled production cell. So we have to use formal methods which support models of real-time systems. }, annote = {FBT 1999, München, June 17-18
    Katharina Spies and Bernhard Schätz, editors}, }

Internal reports

  1. Dirk Beyer and Heinrich Rust. A Formalism for Modular Modelling of Hybrid Systems. Technical report I-10/1999, Institute of Computer Science, Brandenburgische Technische Universität Cottbus, October 1999. Keyword(s): Formal Verification of Real-Time Systems.
    Annotation:
    See FSCBS01 [16] for proceedings version.

    @TechReport{TR10-BTU99,
    author = {Dirk Beyer and Heinrich Rust},
    title = {A Formalism for Modular Modelling of Hybrid Systems},
    institution ={Institute of Computer Science, Brandenburgische Technische Universit{\"a}t Cottbus},
    month = {October},
    year = {1999},
    number = {I-10/1999},
    keyword = {Formal Verification of Real-Time Systems},
    annote = {See FSCBS01 [16] for proceedings version.},
    
    }
    

  2. Dirk Beyer and Heinrich Rust. A Modular Hybrid Modelling Notation. Technical report I-03/1999, Institute of Computer Science, Brandenburgische Technische Universität Cottbus, February 1999. Keyword(s): Formal Verification of Real-Time Systems.
    Annotation:
    See TR10-BTU99 [04] for revised version.

    @TechReport{TR03-BTU99,
    author = {Dirk Beyer and Heinrich Rust},
    title = {A Modular Hybrid Modelling Notation},
    institution ={Institute of Computer Science, Brandenburgische Technische Universit{\"a}t Cottbus},
    month = {February},
    year = {1999},
    number = {I-03/1999},
    keyword = {Formal Verification of Real-Time Systems},
    annote = {See TR10-BTU99 [04] for revised version.},
    
    }
    




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: Mon Dec 18 14:34:44 2017


This document was translated from BibTEX by bibtex2html