QEST 2011: Aachen, Germany

Mean-Field and Fluid Analysis

Invited Talk

Measurements

Stochastic Hybrid Systems

Model Checking

Tools

Invited Talk

Modeling and Security

Model Comparison and Analysis

Distributed Systems