Anders Mariegaard

11 papers C 1Misc 1Journal 3Unranked 6
YearRankTypeTitle / Venue / Authors
2023 J jnl
AllSynth: A BDD-based approach for network update synthesis.
Sci. Comput. Program.
Kim G. Larsen, Anders Mariegaard, Stefan Schmid, Jirí Srba
2023 J jnl
Energy Consumption Optimization in Radio Access Networks (ECO-RAN).
CoRR
Anders Mariegaard, Kim G. Larsen, Marco Muñiz, Thomas Dyhre Nielsen
2022 Misc conf
AllSynth: Transiently Correct Network Update Synthesis Accounting for Operator Preferences.
TASE
Kim Guldstrand Larsen, Anders Mariegaard, Stefan Schmid, Jirí Srba
2021 — conf
Quantitative Analysis of Interval Markov Chains.
Model Checking, Synthesis, and Learning
Giovanni Bacci, Benoît Delahaye, Kim G. Larsen, Anders Mariegaard
2020 J jnl
Dependency graphs with applications to verification.
Int. J. Softw. Tools Technol. Transf.
Søren Enevoldsen, Kim G. Larsen, Anders Mariegaard, Jirí Srba
2020 C conf
Verification of Multiplayer Stochastic Games via Abstract Dependency Graphs.
LOPSTR
Søren Enevoldsen, Mathias Claus Jensen, Kim Guldstrand Larsen, Anders Mariegaard, Jirí Srba
2019 — conf
Symbolic Model Checking of Weighted PCTL Using Dependency Graphs.
NFM
Mathias Claus Jensen, Anders Mariegaard, Kim Guldstrand Larsen
2017 — conf
Energy Consumption Forecast of Photo-Voltaic Comfort Cooling Using UPPAAL Stratego.
Models, Algorithms, Logics and Tools
Mads Kronborg Agesen, Søren Enevoldsen, Thibaut Le Guilly, Anders Mariegaard, Petur Olsen, Arne Skou
2017 — conf
Symbolic Dependency Graphs for $$\text {PCTL}^{>}_{\le }$$ Model-Checking.
FORMATS
Anders Mariegaard, Kim Guldstrand Larsen
2016 — conf
Weighted Branching Simulation Distance for Parametric Weighted Kripke Structures.
Cassting/SynCoP
Louise Foshammer, Kim Guldstrand Larsen, Anders Mariegaard
2015 — conf
Parametric Verification of Weighted Systems.
SynCoP
Peter Christoffersen, Mikkel Hansen, Anders Mariegaard, Julian Trier Ringsmose, Kim Guldstrand Larsen, Radu Mardare