Projekter pr. år
Personlig profil
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:
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
Fingerprint
Fingerprint er automatisk genererede koncepter, som stammer fra personprofilernes indhold. Det opdateres løbende med nye registreringer.
- 1 Lignende profiler
Samarbejde i de sidste fem år
Klik på punkterne for at se detaljerne.
-
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. (Projektdeltager), Schilling, C. (Projektdeltager), Mikučionis, M. (Projektdeltager) & Larsen, K. G. (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
3 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 adgangFil4 Citationer (Scopus)102 Downloads (Pure) -
Scalable Computation of Inter-Core Bounds Through Exact Abstractions
Foughali, M. A., Mikucionis, M. & Zhang, M., 2024, Proceedings - 2024 IEEE 48th Annual Computers, Software, and Applications Conference, COMPSAC 2024. Shahriar, H., Ohsaki, H., Sharmin, M., Towey, D., Majumder, A. J. A., Hori, Y., Yang, J.-J., Takemoto, M., Sakib, N., Banno, R. & Ahamed, S. I. (red.). IEEE (Institute of Electrical and Electronics Engineers), s. 61-70 10 s. (Proceedings - 2024 IEEE 48th Annual Computers, Software, and Applications Conference, COMPSAC 2024).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
-
Importance Splitting in Uppaal
Larsen, K. G., Legay, A., Mikučionis, M. & Poulsen, D. B., 17 okt. 2022, Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022. Margaria, T. & Steffen, B. (red.). s. 433-447 15 s. (Lecture Notes in Computer Science, Bind 13703).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
1 Citationer (Scopus) -
PlayingWORDLE with UPPAAL STRATEGO
Jensen, P. G., Larsen, K. G. & Mikučionis, M., 2022, A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday. Jansen, N., Stoelinga, M. & van den Bos, P. (red.). Springer, s. 283-305 23 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13560 LNCS).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review
1 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