Projects per year
Fingerprint
- 1 Similar Profiles
Collaborations from the last five years
Projects
- 2 Finished
-
BEO-COVID: Decision making tool based on evaluation and optimisation of models in UPPAAL
Larsen, K. G. (PI), Stoustrup, J. (CoPI), Jensen, P. G. (Project Participant), Mikučionis, M. (Project Participant), Jørgensen, K. Y. (Project Participant), Muniz Rodriguez, M. A. (Project Participant), Poulsen, D. B. (Project Participant) & Tschaikowski, M. (Project Participant)
27/04/2020 → 01/10/2020
Project: Research
-
IDEA4CPS: Foundations for Cyber-Physical Sytems
Larsen, K. G. (Project Licensee), Skou, A. (Project Participant), Nielsen, B. (Project Participant), Bulychev, P. (Project Participant), Ravn, A. P. (Project Participant) & Poulsen, D. B. (Project Participant)
01/04/2011 → 30/04/2015
Project: Research
Research output
-
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. (eds.). 1 ed. Springer, Vol. 15403. p. 22-34 13 p. (Lecture Notes in Computer Science, Vol. 15403).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
-
Leveraging Large Language Models for Actionable Course Evaluation Student Feedback to Lecturers
Zhang, M., Lindsay, E., Thorbensen, F. B., Poulsen, D. B. & Bjerva, J., Sept 2024, Proceedings of the 52nd Annual Conference of the European Society for Engineering Education (SEFI). European Society for Engineering Education, p. 1-10Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Open AccessFile -
Modelling and Analysis of DTLS: Power Consumption and Attacks
Gehlert, L. B., Jørgensen, M. P. H., Koch, C. B., Møller, T., Rusbjerg, S. K., Bøgedal, T. W., Poulsen, D. B., Hansen, R. R. & Lux, D., 2024, Formal Methods for Industrial Critical Systems: 29th International Conference, FMICS 2024, Milan, Italy, September 9–11, 2024, Proceedings. Haxthausen, A. E. & Serwe, W. (eds.). Springer, p. 136-151 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14952 LNCS).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
-
Statistical Analysis of the Impact of Bit-Flips in Security Critical Code
Bøgedal, T. W., Hansen, R. R., Larsen, K. G., Legay, A. & Poulsen, D. B., Dec 2024, Bridging the Gap Between AI and Reality : Second International Conference, AISoLA 2024, Crete, Greece, October 30 – November 3, 2024, Proceedings. 1 ed. Springer, p. 379-397 (Lecture Notes in Computer Science, Vol. 15217).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
-
Refinement of Systems with an Attacker Focus
Larsen, K. G., Legay, A. & Poulsen, D. B., 2023, Formal Methods for Industrial Critical Systems: 28th International Conference, FMICS 2023, Proceedings. Cimatti, A. & Titolo, L. (eds.). Springer Nature Switzerland AG, p. 96-112 17 p. (Lecture Notes in Computer Science; No. 14290).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
1 Citation (Scopus)
Datasets
-
Evaluation Artifacts for: Solving String Theories involving Regular Membership Predicates Using SAT
Kulczynski, M. (Creator), Lotz, K. (Creator), Nowotka, D. (Creator) & Poulsen, D. B. (Creator), Zenodo, 2022
DOI: 10.5281/zenodo.6384326, https://zenodo.org/record/6384326
Dataset
-
Software Artifact for the paper "ADTLang: A Programming Language Approach to Attack-Defense Trees"
Hansen, R. R. (Creator), Larsen, K. G. (Creator), Legay, A. (Creator), Jensen, P. G. (Creator) & Poulsen, D. B. (Creator), Zenodo, 2019
DOI: 10.5281/zenodo.3534293, https://zenodo.org/record/3534293
Dataset