Projekter pr. år
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.
Projekter
- 1 Afsluttet
-
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
Publikationer
-
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 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 adgangFil7 Citationer (Scopus)186 Downloads (Pure) -
An Integer Static Analysis for Better Extrapolation in Uppaal
Lund, S., van Diepen, J., Larsen, K. G., Muñiz, M., Jørgensen, T. R. & Andersen, T. S. D., 2021, Formal Modeling and Analysis of Timed Systems - 19th International Conference, FORMATS 2021, Proceedings. Dima, C. & Shirmohammadi, M. (red.). Springer, s. 84-99 16 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12860 LNCS).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
1 Citationer (Scopus) -
Online and Proactive Vehicle Rerouting with Uppaal Stratego
Bilgram, A., Ernstsen, E., Greve, P., Lahrmann, H., Larsen, K. G., Muñiz, M., Taankvist, P. & Pedersen, T., 1 nov. 2021, I: Transportation Research Record. 2675, 11, s. 13-22Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review
6 Citationer (Scopus)