Jane Hillston

Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

Formal Methods for Performance Evaluation