Projects per year
Fingerprint
The fingerprint consists of automatically generated concepts related to the associated persons. It is updated automatically, when new content is added.
- 1 Similar Profiles
Collaborations from the last five years
Dive into details by clicking on the dots.
Projects
- 2 Finished
-
BEO-COVID: Decision making tool based on evaluation and optimisation of models in 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
Project: Research
-
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
Project: Research
Research output
-
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. (eds.). p. 206-217 12 p. (Lecture Notes in Computer Science).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › 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, In: Decision Analytics Journal. 5, 100141.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile1 Citation (Scopus)36 Downloads (Pure) -
Importance Splitting in Uppaal
Larsen, K. G., Legay, A., Mikučionis, M. & Poulsen, D. B., 17 Oct 2022, Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022. Margaria, T. & Steffen, B. (eds.). p. 433-447 15 p. (Lecture Notes in Computer Science, Vol. 13703).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
1 Citation (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. (eds.). 1 ed. Springer, Vol. 13255. p. 134-151 18 p. (Lecture Notes in Computer Science, Vol. 13255).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
2 Citations (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. (eds.). Springer, p. 61-78 18 p. (Lecture Notes in Computer Science, Vol. 13255).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
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