Personlig profil
Uddannelse (Akademiske kvalifikationer)
Computer Science and Engineering, Ph.D., Online Testing of Real-time Systems
1 aug. 2003 → 30 jun. 2010
Dimissionsdato: 25 jun. 2010
Emneord
- Arbejde og Arbejdsmarked
- embedded systems
- formal methods
- real-time systems
- software validation
- testing
- timed automata
Ekspertise relateret til FN’s Verdensmål
I 2015 blev FN's medlemslande enige om 17 Verdensmål til at bekæmpe fattigdom, beskytte planeten og sikre velstand for alle. Denne persons arbejde bidrager til følgende verdensmål:
-
Verdensmål 3 Sundhed og trivsel -
Verdensmål 11 Bæredygtige byer og lokalsamfund -
Verdensmål 13 Klimaindsats -
Verdensmål 14 Livet i havet
Fingerprint
- 1 Lignende profiler
Samarbejde i de sidste fem år
-
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. (Projektansøger), Schilling, C. (Projektkoordinator), Mikučionis, M. (CoI (co-investigator)), Larsen, K. G. (CoI (co-investigator)) & Kristjansen, M. (Projektdeltager)
01/01/2024 → 31/12/2027
Projekter: Projekt › Forskning
-
BEO-COVID: Beslutningsstøtte for Evaluering og Optimering i UPPAAL
Larsen, K. G. (PI (principal investigator)), Stoustrup, J. (CoPI), Jensen, P. G. (Projektdeltager), Mikučionis, M. (Projektdeltager), Jørgensen, K. Y. (Projektdeltager), Muniz Rodriguez, M. A. (Projektdeltager), Poulsen, D. B. (Projektdeltager) & Tschaikowski, M. (Projektdeltager)
27/04/2020 → 01/10/2020
Projekter: Projekt › Forskning
-
CRAFTERS: ConstRaint and Application driven Framework for Tailoring Embedded Real-time Systems
Skou, A. (Projektdeltager), Larsen, K. G. (Projektdeltager), Nielsen, B. (Projektdeltager), David, A. (Projektdeltager), Nyman, U. (Projektdeltager), Mikučionis, M. (Projektdeltager), Olsen, P. (Projektdeltager), Boudjadar, J. (Projektdeltager) & Kim, J. H. (Projektdeltager)
01/06/2012 → 30/09/2015
Projekter: Projekt › Forskning
-
MBAT: Model-based Analysis and Testing of Embedded Systems
Nielsen, B. (Projektdeltager), Larsen, K. G. (Projektdeltager), David, A. (Projektdeltager), Mikučionis, M. (Projektdeltager) & Skou, A. (Projektdeltager)
01/11/2011 → 31/10/2014
Projekter: Projekt › Forskning
-
GASICS: Games for Analysis and Synthesis of Interactive Computational Systems
Larsen, K. G. (Projektleder), David, A. (Projektdeltager), Skou, A. (Projektdeltager), Nielsen, B. (Projektdeltager), Mikučionis, M. (Projektdeltager) & Li, S. (Projektdeltager)
01/11/2008 → 31/10/2011
Projekter: Projekt › Forskning
Publikationer
-
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. (red.). Springer, s. 385-403 19 s. (Lecture Notes in Computer Science, Bind 12476).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
4 Link åbnes på en ny fane Citationer (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, I: Decision Analytics Journal. 5, 100141.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil8 Link åbnes på en ny fane Citationer (Scopus)209 Downloads (Pure) -
Data-Selective Online Battery Identification Using Extended Time Regular Expressions
Weinreich, N. A., Muniz Rodriguez, M. A., Mikučionis, M., Larsen, K. G. & Teodorescu, R., 2026, IFAC Publisher.Publikation: Working paper/Preprint › Preprint
-
Extended Timed Regular Expressions
Muniz Rodriguez, M. A., Mikučionis, M. & Larsen, K. G., 12 sep. 2025, Runtime Verification: 25th International Conference, RV 2025, Graz, Austria, September 15–19, 2025, Proceedings. Könighofer, B. & Torfah, H. (red.). Graz, Austria: Springer Nature, s. 233-251 18 s. (Lecture Notes in Computer Science (LNCS), Bind 16087).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › 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. (red.). Springer, s. 267-292 26 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 15261 LNCS).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review
1 Link åbnes på en ny fane Citationer (Scopus)
Forskningsdatasæt
-
DEIS-Tools/libprlearn: 1.0.8
Jensen, P. G. (Ophavsperson), Jørgensen, K. Y. (Ophavsperson) & Mikučionis, M. (Ophavsperson), Zenodo, 10 sep. 2021
DOI: 10.5281/zenodo.5499711, https://zenodo.org/record/5499711
Datasæt