Formal Methods for Real-Time and Probabilistic Systems

5th International AMAST Workshop, ARTS’99 Bamberg, Germany, May 26–28, 1999 Proceedings

  • Joost-Pieter Katoen
Conference proceedings ARTS 1999

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1601)

Table of contents

  1. Front Matter
    Pages I-X
  2. Invited Lecture

  3. Verification of Probabilistic System

    1. Mariëlle Stoelinga, Frits Vaandrager
      Pages 53-74
  4. Model Checking Probabilistic Systems

    1. Marta Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston
      Pages 75-95
    2. Vicky Hartonas-Garmhausen, Sergio Campos, Ed Clarke
      Pages 96-110
  5. Semantics of Probabilistic Process Calculi

    1. Suzana Andova
      Pages 111-129
    2. Manuel Núñez
      Pages 130-150
  6. Invited Lecture

    1. Frits Vaandrager
      Pages 151-151
  7. Semantics of Real-Time Processes

  8. Real-Time Compilation

    1. Karl Lermer, Colin Fidge
      Pages 192-210
  9. Stochastic Process Algebra

    1. Graham Clark, Stephen Gilmore, Jane Hillston
      Pages 211-227
    2. Henrik C. Bohnenkamp, Boudewijn R. Haverkort
      Pages 228-243
  10. Invited Lecture

  11. Modeling and Verification of Real-Time Systems

About these proceedings

Keywords

Formal Methods Formal Verification Hybrid Systems Probabilistic Systems Real-Time Systems formal method model checking modeling real-time semantics verification

Editors and affiliations

  • Joost-Pieter Katoen
    • 1
    • 2
  1. 1.Lehrstuhl für InformatikUniversity of Erlangen-NürnbergErlangenGermany
  2. 2.Formal Methods and Tools GroupUniversity of TwenteEnschedeThe Netherlands

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-48778-6
  • Copyright Information Springer-Verlag Berlin Heidelberg 1999
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-66010-1
  • Online ISBN 978-3-540-48778-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Electronics
Telecommunications
Biotechnology