| Parametric verification of weighted systems P Christoffersen, M Hansen, A Mariegaard, JT Ringsmose, KG Larsen, ... 2nd International Workshop on Synthesis of Complex Parameters, SynCoP 2015 …, 2015 | 14 | 2015 |
| Dependency graphs with applications to verification S Enevoldsen, KG Larsen, A Mariegaard, J Srba International Journal on Software Tools for Technology Transfer 22, 635-654, 2020 | 7 | 2020 |
| Symbolic dependency graphs for model-checking A Mariegaard, KG Larsen International Conference on Formal Modeling and Analysis of Timed Systems …, 2017 | 7 | 2017 |
| Allsynth: transiently correct network update synthesis accounting for operator preferences KG Larsen, A Mariegaard, S Schmid, J Srba International Symposium on Theoretical Aspects of Software Engineering, 344-362, 2022 | 4 | 2022 |
| Quantitative analysis of interval Markov chains G Bacci, B Delahaye, KG Larsen, A Mariegaard Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson …, 2021 | 4 | 2021 |
| Symbolic model checking of weighted PCTL using dependency graphs M Claus Jensen, A Mariegaard, K Guldstrand Larsen NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX …, 2019 | 4 | 2019 |
| AllSynth: A BDD-based approach for network update synthesis KG Larsen, A Mariegaard, S Schmid, J Srba Science of Computer Programming 230, 102992, 2023 | 2 | 2023 |
| Energy consumption forecast of photo-voltaic comfort cooling using UPPAAL Stratego MK Agesen, S Enevoldsen, T Le Guilly, A Mariegaard, P Olsen, A Skou Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand …, 2017 | 2 | 2017 |
| Weighted branching simulation distance for parametric weighted kripke structures L Foshammer, KG Larsen, A Mariegaard arXiv preprint arXiv:1608.00657, 2016 | 2 | 2016 |
| Energy Consumption Optimization in Radio Access Networks (ECO-RAN) A Mariegaard, KG Larsen, M Muniz, TD Nielsen arXiv preprint arXiv:2304.00277, 2023 | | 2023 |
| Verification of Multiplayer Stochastic Games via Abstract Dependency Graphs S Enevoldsen, MC Jensen, KG Larsen, A Mariegaard, J Srba Logic-Based Program Synthesis and Transformation: 30th International …, 2021 | | 2021 |
| Quantitative Systems: Efficient Reasoning Under Uncertainty A Mariegaard | | 2020 |
Kim G. LarsenDirector, Professor Aalborg UniversityVerified email at cs.aau.dk
