5. ARTS 1999: Bamberg, Germany

Invited Lecture

Verification of Probabilistic Systems

Model Checking Probabilistic Systems

Semantics of Probabilistic Process Calculi

Invited Lecture

Semantics of Real-Time Processes

Real-Time Compilation

Stochastic Process Algebra

Invited Lecture

Modeling and Verification of Real-Time Systems