Projects per year
Personal profile
Expertise related to UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
Education/Academic qualification
Computer Science and Engineering, Ph.D., Online Testing of Real-time Systems
1 Aug 2003 → 30 Jun 2010
Award Date: 25 Jun 2010
Keywords
- Work and Labour Market
- embedded systems
- formal methods
- real-time systems
- software validation
- testing
- timed automata
- program synthesis
- machine learning
- verification
- uppaal
- C++
- simulation
- Statistical Analysis
- statistical model-checking
Fingerprint
The fingerprint consists of automatically generated concepts related to the associated persons. It is updated automatically, when new content is added.
- 1 Similar Profiles
Collaborations from the last five years
Dive into details by clicking on the dots.
-
STORM_SAFE: Software reliability for critical infrastructures: Co-Development, Implementation and wider application of solutions in Pilot Infrastructures such as Storm Surge Barriers
Goorden, M. (Project Applicant), Schilling, C. (Project Coordinator), Mikučionis, M. (CoI), Larsen, K. G. (CoI) & Kristjansen, M. (Project Participant)
01/01/2024 → 31/12/2027
Project: Research
-
BEO-COVID: Decision making tool based on evaluation and optimisation of models in UPPAAL
Larsen, K. G. (PI), Stoustrup, J. (CoPI), Jensen, P. G. (Project Participant), Mikučionis, M. (Project Participant), Jørgensen, K. Y. (Project Participant), Muniz Rodriguez, M. A. (Project Participant), Poulsen, D. B. (Project Participant) & Tschaikowski, M. (Project Participant)
27/04/2020 → 01/10/2020
Project: Research
-
CRAFTERS: ConstRaint and Application driven Framework for Tailoring Embedded Real-time Systems
Skou, A. (Project Participant), Larsen, K. G. (Project Participant), Nielsen, B. (Project Participant), David, A. (Project Participant), Nyman, U. (Project Participant), Mikučionis, M. (Project Participant), Olsen, P. (Project Participant), Boudjadar, J. (Project Participant) & Kim, J. H. (Project Participant)
01/06/2012 → 30/09/2015
Project: Research
-
MBAT: Model-based Analysis and Testing of Embedded Systems
Nielsen, B. (Project Participant), Larsen, K. G. (Project Participant), David, A. (Project Participant), Mikučionis, M. (Project Participant) & Skou, A. (Project Participant)
01/11/2011 → 31/10/2014
Project: Research
-
GASICS: Games for Analysis and Synthesis of Interactive Computational Systems
Larsen, K. G. (Project Manager), David, A. (Project Participant), Skou, A. (Project Participant), Nielsen, B. (Project Participant), Mikučionis, M. (Project Participant) & Li, S. (Project Participant)
01/11/2008 → 31/10/2011
Project: Research
Research output
-
Fluid Model-Checking in UPPAAL for Covid-19
Jensen, P. G., Jørgensen, K. Y., Larsen, K. G., Mikučionis, M., Rodriguez, M. A. M. & Poulsen, D. B., 2020, Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer, p. 385-403 19 p. (Lecture Notes in Computer Science, Vol. 12476).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
4 Citations (Scopus) -
An investigation of safe and near-optimal strategies for prevention of Covid-19 exposure using stochastic hybrid models and machine learning
Bilgram, A., Jensen, P. G., Jørgensen, K. Y., Larsen, K. G., Mikučionis, M., Muñiz, M., Poulsen, D. B. & Taankvist, P., Dec 2022, In: Decision Analytics Journal. 5, 100141.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile7 Citations (Scopus)186 Downloads (Pure) -
Extended Timed Regular Expressions
Muniz Rodriguez, M. A., Mikučionis, M. & Larsen, K. G., 12 Sept 2025, Runtime Verification: 25th International Conference, RV 2025, Graz, Austria, September 15–19, 2025, Proceedings. Könighofer, B. & Torfah, H. (eds.). Graz, Austria: Springer Nature, p. 233-251 18 p. (Lecture Notes in Computer Science (LNCS), Vol. 16087).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
-
GPU Accelerating Statistical Model Checking for Extended Timed Automata
Bak, O. S., Christiansen, M. W. B., Eriksen, O. V., Feo-Arenis, S., Jensen, P. G., Jensen, M. D., Juozapaitis, S., Larsen, K. G., Mikučionis, M., Muñiz, M. & Windfeld, A., 2025, Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II. Jansen, N., Junges, S., Kaminski, B. L., Matheja, C., Noll, T., Quatmann, T., Stoelinga, M. & Volk, M. (eds.). Springer, p. 267-292 26 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 15261 LNCS).Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review
1 Citation (Scopus) -
Uppaal Coshy: Automatic Synthesis of Compact Shields for Hybrid Systems
Brorholt, A. H., Høeg-Petersen, A. H., Jensen, P. G., Larsen, K. G., Mikučionis, M., Schilling, C. & Wąsowski, A., 5 Nov 2025, Reachability Problems: 19th International Conference, RP 2025, Madrid, Spain, October 1–3, 2025, Proceedings. Ganty, P. & Mansutti, A. (eds.). Springer, p. 97-111 15 p. (Lecture Notes in Computer Science (LNCS), Vol. 16230).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Datasets
-
DEIS-Tools/libprlearn: 1.0.8
Jensen, P. G. (Creator), Jørgensen, K. Y. (Creator) & Mikučionis, M. (Creator), Zenodo, 10 Sept 2021
DOI: 10.5281/zenodo.5499711, https://zenodo.org/record/5499711
Dataset