Projects per year
Fingerprint
- 13 Similar Profiles
Network
Projects
- 1 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
Research output
-
ADTLang: A Programming Language Approach to Attack Defense Trees
Hansen, R. R., Larsen, K. G., Legay, A. B. E., Jensen, P. G. & Poulsen, D. B., 7 Jan 2021, In: International Journal on Software Tools for Technology Transfer. 23, 1, p. 89-104 16 p.Research output: Contribution to journal › Journal article › Research › peer-review
-
Optimization of Power-to-Heat Flexibility for Residential Buildings in Response to Day-Ahead Electricity Price
Golmohammadi, H., Larsen, K. G., Jensen, P. G. & Riaz, I., 1 Feb 2021, In: Energy and Buildings. 232, 110665.Research output: Contribution to journal › Journal article › Research › peer-review
-
AalWiNes: A fast and quantitative what-if analysis tool for MPLS networks
Jensen, P. G., Kristiansen, D., Schmid, S., Schou, M. K., Schrenk, B. C. & Srba, J., 23 Nov 2020, In: CoNEXT 2020 - Proceedings of the 16th International Conference on Emerging Networking EXperiments and Technologies. p. 474-481 8 p.Research output: Contribution to journal › Conference article in Journal › Research › peer-review
-
Approximating Euclidean by Imprecise Markov Decision Processes
Jaeger, M., Bacci, G., Bacci, G., Larsen, K. G. & Jensen, P. G., 2020, International Symposium on Leveraging Applications of Formal Methods (ISoLA 2020). Margaria, T. & Steffen, B. (eds.). LNCS: Springer, Vol. 12476. p. 275-289 15 p. (Lecture Notes in Computer Science).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Open Access1 Citation (Scopus) -
Fluid Model-Checking in UPPAAL for Covid-19
Jensen, P. G., Jørgensen, K. Y., Larsen, K. G., Mikučionis, M., Rodriguez, M. A. M. & Poulsen, D. B., 2020, (Accepted/In press) 9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation. Margaria, T. & Steffen, B. (eds.). Vol. 12476. p. 385-403Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Press / Media
-
Kunstig intelligens forbedrer virtuelle tests
27/06/2019
3 items of Media coverage
Press/Media: Press / Media
-
Dansk forskning kan hjælpe med at forudsige, hvordan kunstig intelligens reagerer i kritiske situationer
21/06/2019
3 items of Media coverage
Press/Media: Press / Media
-