Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings /
| Corporate Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Conference Proceeding eBook |
| Language: | English |
| Published: |
New York :
Springer,
[1999]
|
| Series: | Lecture notes in computer science ;
1601. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Table of Contents:
- Fully Abstract Characterization of Probabilistic May Testing / Bengt Jonsson and Wang Yi
- Quantitative Program Logic and Performance in Probabilistic Distributed Algorithms / Annabelle K. McIver
- Establishing Qualitative Properties for Probabilistic Lossy Channel Systems: An Algorithmic Approach / Christel Baier and Bettina Engelen
- Root Contention in IEEE 1394 / Marielle Stoelinga and Frits Vaandrager
- Automatic Verification of Real-Time Systems with Discrete Probability Distributions / Marta Kwiatkowska, Gethin Norman and Roberto Segala / [et al.]
- ProbVerus: Probabilistic Symbolic Model Checking / Vicky Hartonas-Garmhausen, Sergio Campos and Ed Clarke
- Process Algebra with Probabilistic Choice / Suzana Andova
- An Axiomatization of Probabilistic Testing / Manuel Nunez
- Verification of Hybrid Systems / Frits Vaandrager
- A Parallel Operator for Real-Time Processes with Predicate Transformer Semantics / Karl Lermer
- Comparing the Efficiency of Asynchronous Systems / Lars Jenner and Walter Vogler
- A Formal Model of Real-Time Program Compilation / Karl Lermer and Colin Fidge
- Specifying Performance Measures for PEPA / Graham Clark, Stephen Gilmore and Jane Hillston
- Semi-numerical Solution of Stochastic Process Algebra Models / Henrik C. Bohnenkamp and Boudewijn R. Haverkort
- Bisimulation Algorithms for Stochastic Process Algebras and Their BDD-Based Implementation / Holger Hermanns and Markus Siegle
- Probabilistic Linear-Time Model Checking: An Overview of the Automata-Theoretic Approach / Moshe Y. Vardi
- Formal Verification of a Power Controller Using the Real-Time Model Checker Uppaal / Klaus Havelund, Kim G. Larsen and Arne Skou
- Verifying Progress in Timed Systems / Stavros Tripakis
- Proof Assistance for Real-Time Systems Using an Interactive Theorem Prover / Paul Z. Kolano
- Modelling Timeouts without Timelocks / Howard Bowman.