Anders Mariegaard
Anders Mariegaard
Aalborg University, Department of Computer Science
Verified email at
Cited by
Cited by
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
Symbolic Dependency Graphs for Model-Checking
A Mariegaard, KG Larsen
International Conference on Formal Modeling and Analysis of Timed Systems …, 2017
Symbolic model checking of weighted PCTL using dependency graphs
M Claus Jensen, A Mariegaard, K Guldstrand Larsen
NASA Formal Methods Symposium, 298-315, 2019
Dependency graphs with applications to verification
S Enevoldsen, KG Larsen, A Mariegaard, J Srba
International Journal on Software Tools for Technology Transfer 22 (5), 635-654, 2020
Weighted branching simulation distance for parametric weighted kripke structures
L Foshammer, KG Larsen, A Mariegaard
arXiv preprint arXiv:1608.00657, 2016
Quantitative analysis of interval Markov chains
G Bacci, B Delahaye, KG Larsen, A Mariegaard
Model Checking, Synthesis, and Learning, 57-77, 2021
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
Verification of Multiplayer Stochastic Games via Abstract Dependency Graphs
S Enevoldsen, MC Jensen, KG Larsen, A Mariegaard, J Srba
International Symposium on Logic-Based Program Synthesis and Transformation …, 2020
Quantitative Systems: Efficient Reasoning Under Uncertainty
A Mariegaard
Energy Consumption Forecast of Photo-Voltaic Comfort Cooling Using UPPAAL Stratego
MK Agesen, S Enevoldsen, TL Guilly, A Mariegaard, P Olsen, A Skou
Models, Algorithms, Logics and Tools, 603-622, 2017
The system can't perform the operation now. Try again later.
Articles 1–10