Sascha Wunderlich
Sascha Wunderlich
Bestätigte E-Mail-Adresse bei tu-dresden.de - Startseite
TitelZitiert vonJahr
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
222014
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, 96-123, 2014
162014
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
92017
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
92014
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
72017
A hardware/software stack for heterogeneous systems
J Castrillon, M Lieber, S Klüppelholz, M Voelp, N Asmussen, U Assmann, ...
IEEE Transactions on Multi-Scale Computing Systems 4 (3), 243-259, 2018
52018
Towards Automated Variant Selection for Heterogeneous Tiled Architectures
C Baier, S Klüppelholz, S Wunderlich
Models, Algorithms, Logics and Tools, 382-399, 2017
22017
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
22016
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–8