Holger Hermanns

• Interactive Markov Chains
• Measurement, Modelling and Evaluation of Computing Systems
• Validation of stochastic systems
• Computer Aided Verification
• CONCUR 2006 - Concurrency Theory
• Lectures on Formal Methods and Performance Analysis
• Process Algebra and Probabilistic Methods : Performance Modeling and Verification
• Tools and Algorithms for the Construction and Analysis of Systems