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
- 2 Afsluttet
-
BEO-COVID: Beslutningsstøtte for Evaluering og Optimering i UPPAAL
Larsen, K. G., Stoustrup, J., Jensen, P. G., Mikucionis, M., Jørgensen, K. Y., Rodriguez, M. A. M., Poulsen, D. B. & Tschaikowski, M.
27/04/2020 → 01/10/2020
Projekter: Projekt › Forskning
-
IDEA4CPS: Foundations for Cyber-Physical Sytems
Larsen, K. G., Skou, A., Nielsen, B., Bulychev, P., Ravn, A. P. & Poulsen, D. B.
01/04/2011 → 30/04/2015
Projekter: Projekt › Forskning
Publikationer
-
Verified Verifying: SMT-LIB for Strings in Isabelle
Lotz, K., Kulczynski, M., Nowotka, D., Poulsen, D. B. & Schlichtkrull, A., 10 aug. 2023, Implementation and Application of Automata - 27th International Conference, CIAA 2023, Proceedings. Nagy, B. & Nagy, B. (red.). s. 206-217 12 s. (Lecture Notes in Computer Science).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
-
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 adgangFil1 Citationer (Scopus)36 Downloads (Pure) -
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) -
Solving String Theories Involving Regular Membership Predicates Using SAT
Kulczynski, M., Lotz, K., Nowotka, D. & Poulsen, D. B., 23 aug. 2022, Model Checking Software, SPIN 2022: 28th International Symposium, SPIN 2022, Proceedings. Legunsen, O. & Rosu, G. (red.). 1 udg. Springer, Bind 13255. s. 134-151 18 s. (Lecture Notes in Computer Science, Bind 13255).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
2 Citationer (Scopus) -
Statistical Model Checking for Probabilistic Hyperproperties of Real-Valued Signals
Arora, S., Hansen, R. R., Larsen, K. G., Legay, A. & Poulsen, D. B., 23 aug. 2022, Model Checking Software, SPIN 2022: 28th International Symposium, SPIN 2022, Proceedings. Legunsen, O. & Rosu, G. (red.). Springer, s. 61-78 18 s. (Lecture Notes in Computer Science, Bind 13255).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Forskningsdatasæt
-
Evaluation Artifacts for: Solving String Theories involving Regular Membership Predicates Using SAT
Kulczynski, M. (Ophavsperson), Lotz, K. (Ophavsperson), Nowotka, D. (Ophavsperson) & Poulsen, D. B. (Ophavsperson), Zenodo, 2022
DOI: 10.5281/zenodo.6384326, https://zenodo.org/record/6384326
Datasæt
-
Software Artifact for the paper "ADTLang: A Programming Language Approach to Attack-Defense Trees"
Hansen, R. R. (Ophavsperson), Larsen, K. G. (Ophavsperson), Legay, A. (Ophavsperson), Jensen, P. G. (Ophavsperson) & Poulsen, D. B. (Ophavsperson), Zenodo, 2019
DOI: 10.5281/zenodo.3534293, https://zenodo.org/record/3534293
Datasæt