Skip to main content
SpringerLink
Log in
Book cover

Formal Methods for Real-Time and Probabilistic Systems

5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, Proceedings

  • Conference proceedings
  • © 1999

Overview

Editors:
  1. Joost-Pieter Katoen

    1. Lehrstuhl für Informatik, University of Erlangen-Nürnberg, Erlangen, Germany
      Formal Methods and Tools Group, University of Twente, Enschede, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Included in the following conference series:

Conference proceedings info: ARTS 1999.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (20 papers)

  1. Front Matter

    Pages I-X
    Download chapter 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

  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

  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
Back to top

Keywords

Editors and Affiliations

  • Lehrstuhl für Informatik, University of Erlangen-Nürnberg, Erlangen, Germany

    Joost-Pieter Katoen

  • Formal Methods and Tools Group, University of Twente, Enschede, The Netherlands

    Joost-Pieter Katoen

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation