Follow
Anders Mariegaard
Anders Mariegaard
Aalborg University, Department of Computer Science
Verified email at cs.aau.dk
Title
Cited by
Cited by
Year
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
142015
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
72020
Symbolic dependency graphs for model-checking
A Mariegaard, KG Larsen
International Conference on Formal Modeling and Analysis of Timed Systems …, 2017
72017
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
42021
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
42019
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
32022
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
22017
Weighted branching simulation distance for parametric weighted kripke structures
L Foshammer, KG Larsen, A Mariegaard
arXiv preprint arXiv:1608.00657, 2016
22016
AllSynth: A BDD-based approach for network update synthesis
KG Larsen, A Mariegaard, S Schmid, J Srba
Science of Computer Programming 230, 102992, 2023
12023
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
The system can't perform the operation now. Try again later.
Articles 1–12