5. ARTS 1999: Bamberg, Germany

Joost-Pieter Katoen (Ed.): Formal Methods for Real-Time and Probabilistic Systems, 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999. Proceedings. Lecture Notes in Computer Science 1601 Springer 1999, ISBN 3-540-66010-0

Invited Lecture

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

Verification of Probabilistic Systems

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

Model Checking Probabilistic Systems

Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston:
Automatic Verification of Real-Time Systems with Discrete Probability Distributions. 75-95
Vicky Hartonas-Garmhausen, Sérgio Vale Aguiar Campos, Edmund M. Clarke:
ProbVerus: Probabilistic Symbolic Model Checking. 96-110

Semantics of Probabilistic Process Calculi

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

Invited Lecture

Frits W. Vaandrager:
Verification of Hybrid Systems (abstract). 151

Semantics of Real-Time Processes

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

Real-Time Compilation

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

Stochastic Process Algebra

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

Invited Lecture

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

Modeling and Verification of Real-Time Systems

Klaus Havelund, Kim Guldstrand Larsen, Arne Skou:
Formal Verification of a Power Controller Using the Real-Time Model Checker UPPAAL. 277-298
Stavros Tripakis:
Verifying Progress in Timed Systems. 299-314
Paul Z. Kolano:
Proof Assistance for Real-Time Systems Using an Interactive Theorem Prover. 315-333
Howard Bowman:
Modelling Timeouts without Timelocks. 334-353

Last update Sat May 25 23:57:50 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page