Follow
Sascha Wunderlich
Title
Cited by
Cited by
Year
Ensuring the reliability of your model checker: Interval iteration for Markov decision processes
C Baier, J Klein, L Leuschner, D Parker, S Wunderlich
International Conference on Computer Aided Verification, 160-180, 2017
862017
A hardware/software stack for heterogeneous systems
J Castrillon, M Lieber, S Klüppelholz, M Völp, N Asmussen, U Assmann, ...
IEEE Transactions on Multi-Scale Computing Systems 4 (3), 243-259, 2017
372017
Weight monitoring with linear temporal logic: complexity and decidability
C Baier, J Klein, S Klüppelholz, S Wunderlich
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014
362014
Probabilistic model checking for energy-utility analysis
C Baier, C Dubslaff, J Klein, S Klüppelholz, S Wunderlich
Horizons of the Mind. A Tribute to Prakash Panangaden: Essays Dedicated to …, 2014
312014
Maximizing the conditional expected reward for reaching the goal
C Baier, J Klein, S Klüppelholz, S Wunderlich
International Conference on Tools and Algorithms for the Construction and …, 2017
302017
Probabilistic model checking and non-standard multi-objective reasoning
C Baier, C Dubslaff, S Klüppelholz, M Daum, J Klein, S Märcker, ...
International Conference on Fundamental Approaches to Software Engineering, 1-16, 2014
282014
Greener bits: Formal analysis of demand response
C Baier, S Klüppelholz, H de Meer, F Niedermeier, S Wunderlich
International Symposium on Automated Technology for Verification and …, 2016
52016
Towards automated variant selection for heterogeneous tiled architectures
C Baier, S Klüppelholz, S Wunderlich
Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand …, 2017
42017
Effectiveness of pre-computed knowledge in self-adaptation-A robustness study
M Korn, P Chrszon, S Klüppelholz, C Baier, S Wunderlich
European Workshop on Performance Engineering, 19-34, 2022
12022
Probabilistic Model Checking for Temporal Logics in Weighted Structures
S Wunderlich
2024
The system can't perform the operation now. Try again later.
Articles 1–10