Michaela Klauck

Michaela Klauck

Universität des Saarlandes - Saarbrücken / Germany
Natural Sciences / Mathematical Sciences
AD Scientific Index ID: 4575310
Saarland University
person_outline Michaela Klauck's MOST POPULAR ARTICLES
1-) The quantitative verification benchmark set International Conference on Tools and Algorithms for the Construction and …, 2019
2-) The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models: (QComp 2019 Competition Report) International Conference on Tools and Algorithms for the Construction and …, 2019
3-) On correctness, precision, and performance in quantitative verification: QComp 2020 competition report International symposium on leveraging applications of formal methods, 216-241, 2020
4-) Deep statistical model checking Formal Techniques for Distributed Objects, Components, and Systems: 40th …, 2020
5-) Towards dynamic dependable systems through evidence-based continuous certification Leveraging Applications of Formal Methods, Verification and Validation …, 2020