Anders Mariegaard

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 11

Top Topics

Verification Method

Dependency Graphs

Energy Consumption

Top Venues

Int. J. Softw. Tools Technol. Transf.

Cassting/SynCoP

Publications

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