Anders Mariegaard

According to our database, Anders Mariegaard authored at least 11 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

AllSynth: A BDD-based approach for network update synthesis.

Kim G. Larsen, Anders Mariegaard, Stefan Schmid, Jirí Srba

Sci. Comput. Program., August, 2023

Energy Consumption Optimization in Radio Access Networks (ECO-RAN).

Anders Mariegaard, Kim G. Larsen, Marco Muñiz, Thomas Dyhre Nielsen

CoRR, 2023

2022

AllSynth: Transiently Correct Network Update Synthesis Accounting for Operator Preferences.

Kim Guldstrand Larsen, Anders Mariegaard, Stefan Schmid, Jirí Srba

Proceedings of the Theoretical Aspects of Software Engineering, 2022

2021

Quantitative Analysis of Interval Markov Chains.

Giovanni Bacci, Benoît Delahaye, Kim G. Larsen, Anders Mariegaard

Proceedings of the Model Checking, Synthesis, and Learning, 2021

2020

Dependency graphs with applications to verification.

Søren Enevoldsen, Kim G. Larsen, Anders Mariegaard, Jirí Srba

Int. J. Softw. Tools Technol. Transf., 2020

Verification of Multiplayer Stochastic Games via Abstract Dependency Graphs.

Søren Enevoldsen, Mathias Claus Jensen, Kim Guldstrand Larsen, Anders Mariegaard, Jirí Srba

Proceedings of the Logic-Based Program Synthesis and Transformation, 2020

2019

Symbolic Model Checking of Weighted PCTL Using Dependency Graphs.

Mathias Claus Jensen, Anders Mariegaard, Kim Guldstrand Larsen

Proceedings of the NASA Formal Methods - 11th International Symposium, 2019

2017

Symbolic Dependency Graphs for $$\text {PCTL}^{>}_{\le }$$ Model-Checking.

Anders Mariegaard, Kim Guldstrand Larsen

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017

Energy Consumption Forecast of Photo-Voltaic Comfort Cooling Using UPPAAL Stratego.

Mads Kronborg Agesen, Søren Enevoldsen, Thibaut Le Guilly, Anders Mariegaard, Petur Olsen, Arne Skou

Proceedings of the Models, Algorithms, Logics and Tools, 2017

2016

Weighted Branching Simulation Distance for Parametric Weighted Kripke Structures.

Louise Foshammer, Kim Guldstrand Larsen, Anders Mariegaard

Proceedings of the Proceedings Cassting Workshop on Games for the Synthesis of Complex Systems and 3rd International Workshop on Synthesis of Complex Parameters, 2016

2015

Parametric Verification of Weighted Systems.

Peter Christoffersen, Mikkel Hansen, Anders Mariegaard, Julian Trier Ringsmose, Kim Guldstrand Larsen, Radu Mardare

Proceedings of the 2nd International Workshop on Synthesis of Complex Parameters, 2015