List of Case Studies

Randomized Reachability Analysis in Uppaal: Fast Error Detection in Timed Systems, Kiviriga A., Larsen K.G., Nyman U. (2021). In: Lluch Lafuente A., Mavridou A. (eds) Formal Methods for Industrial Critical Systems. FMICS 2021. Lecture Notes in Computer Science, vol 12863. Springer, Cham. [DOI] [Springer]

Modeling and Analysis for Energy-Driven Computing using Statistical Model-Checking, Abdoulaye Gamatié, Gilles Sassatelli, Marius Mikučionis. Design, Automation and Test in Europe (DATE 2021), February 1, 2021.

Fluid Model-Checking in UPPAAL for Covid-19, Peter G. Jensen, Kenneth Y. Jørgensen, Kim G. Larsen, Marius Mikučionis, Marco Muñiz, and Danny B. Poulsen. Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies (ISoLA 2020), October 2020. Springer-Verlag Berlin Heidelberg.

Continuous-Time Models for System Design and Analysis, Rajeev Alur, Mirco Giacobbe, Thomas A. Henzinger, Kim G. Larsen, and Marius Mikučionis. In: Steffen, B., Woeginger, G. (eds) Computing and Software Science. Lecture Notes in Computer Science, vol 10000. Springer, Cham. doi:10.1007/978-3-319-91908-9_22

Schedulability of Herschel-Planck Revisited Using Statistical Model Checking, Alexandre David, Kim G. Larsen, Axel Legay and Marius Mikučionis. Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies (ISoLA 2012), October 2012, Springer-Verlag Berlin Heidelberg. ISBN 978-3-642-34032-1, 978-3-642-34031-4. [DOI]

Schedulability Analysis of Herschel/Planck Software Using Uppaal Marius Mikučionis, Kim G. Larsen and Brian Nielsen. Quasimodo Industrial Handbook, 2011.

Schedulability Analysis Using Uppaal: Herschel-Planck Case Study Marius Mikučionis, Kim Guldstrand Larsen, Jacob Illum Rasmussen, Brian Nielsen, Arne Skou, Palm Steen Ulrik, Jan Storbank Pedersen, Poul Hougaard. Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation (ISOLA 2010), October 2010, Springer-Verlag, ISBN 3-642-16560-5, 978-3-642-16560-3. [DOI]