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. (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
-
IDEA4CPS: Foundations for Cyber-Physical Sytems
Larsen, K. G. (Bevillingshaver), Skou, A. (Projektdeltager), Nielsen, B. (Projektdeltager), Bulychev, P. (Projektdeltager), Ravn, A. P. (Projektdeltager) & Poulsen, D. B. (Projektdeltager)
01/04/2011 → 30/04/2015
Projekter: Projekt › Forskning
Publikationer
-
Building a Modular Platform for Model Checking Glitch Attacks in RISC-V Programs.
Brandhøj, A. K., Bøgedal, T. W., Hansen, R. R., Larsen, K. G. & Poulsen, D. B., 2025, Formal Methods for Industrial Critical Systems: 30th International Conference, FMICS 2025, Aarhus, Denmark, August 27–28, 2025, Proceedings. Remke, A. & Steffen, B. (red.). Springer, s. 280-296 17 s. (Lecture Notes in Computer Science (LNCS), Bind 16040).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
-
Certainty in Formalising SMT-LIB for Strings in Isabelle
Lotz, K., Kulczynski, M., Nowotka, D., Poulsen, D. B. & Schlichtkrull, A., 29 mar. 2025, (Accepteret/In press) I: International Journal of Foundations of Computer Science.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
-
SMTQuery: Analysing SMT-LIB String Benchmarks
Kulczynski, M., Lotz, K., Manea, F., Poulsen, D. B. & Sarnighausen-Cahn, P., 2025, Formal Methods: Foundations and Applications - 27th Brazilian Symposium, SBMF 2024, Proceedings. C. Nogueira, S. & Teodorov, C. (red.). Springer, s. 22-34 13 s. (Lecture Notes in Computer Science, Bind 15403).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
-
DropShadow: Hypercontracts in Go
Brandhøj, A. K., Dieu, D. T. T., Vesteraa, K., Poulsen, D. B., Hansen, R. R. & Larsen, K. G., nov. 2024, 35th Nordic Workshop on Programming Theory (NWPT).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning
-
Leveraging Large Language Models for Actionable Course Evaluation Student Feedback to Lecturers
Zhang, M., Lindsay, E., Thorbensen, F. B., Poulsen, D. B. & Bjerva, J., sep. 2024, Proceedings of the 52nd Annual Conference of the European Society for Engineering Education (SEFI). Société européenne pour la formation des ingénieurs (SEFI), s. 1089-1098Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgangFil95 Downloads (Pure)
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