Anders Mariegaard

According to our database1, Anders Mariegaard authored at least 7 papers between 2015 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Dependency graphs with applications to verification.
Int. J. Softw. Tools Technol. Transf., 2020

Verification of Multiplayer Stochastic Games via Abstract Dependency Graphs.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2020

2019
Symbolic Model Checking of Weighted PCTL Using Dependency Graphs.
Proceedings of the NASA Formal Methods - 11th International Symposium, 2019

2017
Symbolic Dependency Graphs for $$\text {PCTL}^{>}_{\le }$$ Model-Checking.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017

Energy Consumption Forecast of Photo-Voltaic Comfort Cooling Using UPPAAL Stratego.
Proceedings of the Models, Algorithms, Logics and Tools, 2017

2016
Weighted Branching Simulation Distance for Parametric Weighted Kripke Structures.
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.
Proceedings of the 2nd International Workshop on Synthesis of Complex Parameters, 2015


  Loading...