5. ARTS 1999:
Bamberg, Germany
Invited Lecture
Verification of Probabilistic Systems
Annabelle McIver:
Quantitative Program Logic and Performance in Probabilistic Distributed Algorithms.
19-33
Model Checking Probabilistic Systems
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
Semantics of Real-Time Processes
Karl Lermer:
A Parallel Operator for Real-Time Processes with Predicate Transformer Semantics.
152-171
Real-Time Compilation
Stochastic Process Algebra
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
Paul Z. Kolano:
Proof Assistance for Real-Time Systems Using an Interactive Theorem Prover.
315-333
data released under the ODC-BY 1.0 license
