Probabilistic Model Checking for Temporal Logics in Weighted Structures
PhD thesis, 2024
Effectiveness of Pre-computed Knowledge in Self-adaptation - A Robustness Study.
Proceedings of the Computer Performance Engineering - 18th European Workshop, 2022
Maximizing the Conditional Expected Reward for Reaching the Goal.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017
Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes.
Proceedings of the Computer Aided Verification - 29th International Conference, 2017
Towards Automated Variant Selection for Heterogeneous Tiled Architectures.
Proceedings of the Models, Algorithms, Logics and Tools, 2017
Greener Bits: Formal Analysis of Demand Response.
Proceedings of the Automated Technology for Verification and Analysis, 2016
Probabilistic Model Checking and Non-standard Multi-objective Reasoning.
Proceedings of the Fundamental Approaches to Software Engineering, 2014
Model Checking with Accumulated Weights.
Proceedings of the 8th Joint Workshop of the German Research Training Groups in Computer Science, 2014
Weight monitoring with linear temporal logic: complexity and decidability.
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014
Probabilistic Model Checking for Energy-Utility Analysis.
Proceedings of the Horizons of the Mind. A Tribute to Prakash Panangaden, 2014