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
    PDF

  2. Invited Lecture

    1. Fully Abstract Characterization of Probabilistic May Testing
      Bengt Jonsson, Wang Yi
      Pages 1-18

  3. Verification of Probabilistic System

    1. Quantitative Program Logic and Performance in Probabilistic Distributed Algorithms
      Annabelle K. McIver
      Pages 19-33
    2. Establishing Qualitative Properties for Probabilistic Lossy Channel Systems
      Christel Baier, Bettina Engelen
      Pages 34-52
    3. Root Contention in IEEE 1394
      Mariëlle Stoelinga, Frits Vaandrager
      Pages 53-74

  4. Model Checking Probabilistic Systems

    1. Automatic Verification of Real-Time Systems with Discrete Probability Distributions
      Marta Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston
      Pages 75-95
    2. ProbVerus: Probabilistic Symbolic Model Checking
      Vicky Hartonas-Garmhausen, Sergio Campos, Ed Clarke
      Pages 96-110

  5. Semantics of Probabilistic Process Calculi

    1. Process Algebra with Probabilistic Choice
      Suzana Andova
      Pages 111-129
    2. An Axiomatization of Probabilistic Testing
      Manuel Núñez
      Pages 130-150

  6. Invited Lecture

    1. Verification of Hybrid Systems
      Frits Vaandrager
      Pages 151-151
      PDF

  7. Semantics of Real-Time Processes

    1. A Parallel Operator for Real-Time Processes with Predicate Transformer Semantics
      Karl Lermer
      Pages 152-171
    2. Comparing the Efficiency of Asynchronous Systems
      Lars Jenner, Walter Vogler
      Pages 172-191

  8. Real-Time Compilation

    1. A Formal Model of Real-Time Program Compilation
      Karl Lermer, Colin Fidge
      Pages 192-210

  9. Stochastic Process Algebra

    1. Specifying Performance Measures for PEPA
      Graham Clark, Stephen Gilmore, Jane Hillston
      Pages 211-227
    2. Semi-numerical Solution of Stochastic Process Algebra Models
      Henrik C. Bohnenkamp, Boudewijn R. Haverkort
      Pages 228-243
    3. Bisimulation Algorithms for Stochastic Process Algebras and Their BDD-Based Implementation
      Holger Hermanns, Markus Siegle
      Pages 244-264

  10. Invited Lecture

    1. Probabilistic Linear-Time Model Checking: An Overview of the Automata-Theoretic Approach
      Moshe Y. Vardi
      Pages 265-276

  11. Modeling and Verification of Real-Time Systems

    1. Formal Verification of a Power Controller Using the Real-Time Model Checker Uppaal
      Klaus Havelund, Kim Guldstrand Larsen, Arne Skou
      Pages 277-298
    2. Verifying Progress in Timed Systems
      Stavros Tripakis
      Pages 299-314
    3. Proof Assistance for Real-Time Systems Using an Interactive Theorem Prover
      Paul Z. Kolano
      Pages 315-333

Other volumes

  1. Algebraic Methodology and Software Technology
    7th International Conference, AMAST’98 Amazonia, Brazil, January 4–8, 1999 Proceedings
  2. Formal Methods for Real-Time and Probabilistic Systems
    5th International AMAST Workshop, ARTS’99 Bamberg, Germany, May 26–28, 1999 Proceedings

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
  • Buy this book on publisher's site