mariëlle stoelinga

Formal Modeling and Analysis of Timed Systems

This book constitutes the refereed proceedings of the 17th International Conference on Formal Mod...

Quantitative Evaluation of Systems

This book constitutes the thoroughly refereed proceedings of the 10th International Conference on...

Formal Methods for Industrial Critical Systems

This book constitutes the proceedings of the 17th International Workshop on Formal Methods for In...

Stochastic Model Checking

The use of stochastic models in computer science is wide spread, for instance in performance mode...

Principles of Verification: Cycling the Probabilistic Landscape

This Festschrift is dedicated to Joost-Pieter Katoen in recognition of his outstanding research, ...

Principles of Verification: Cycling the Probabilistic Landscape

This Festschrift is dedicated to Joost-Pieter Katoen in recognition of his outstanding research, ...

Principles of Verification: Cycling the Probabilistic Landscape

Formal Methods for Industrial Critical Systems

This book constitutes the proceedings of the 17th International Workshop on Formal Methods for In...

Quantitative Evaluation of Systems

This book constitutes the thoroughly refereed proceedings of the 10th International Conference on...

Stochastic Model Checking

The use of stochastic models in computer science is wide spread, for instance in performance mode...

Formal Modeling and Analysis of Timed Systems

This book constitutes the refereed proceedings of the 17th International Conference on Formal ...

Fundamental Approaches to Software Engineering

This open access book constitutes the proceedings of the 24th International Conference on Fundame...