Sascha Wunderlich

Dipl.-Math.

Sascha Wunderlich

Email	@
Office	Room APB/3007 Nöthnitzer Str. 46 01187 Dresden OSM

I am a doctoral student in the DFG Research Training Group QuantLA. I am researching at the chair of Christel Baier at the Institute for Theoretical Computer Science at TU Dresden.

My primary research interest is probabilistic model checking, especially for weighted Markovian models and specification languages with accumulation. I am also interested in applications for this and other formal methods, in particular in the context of the energy efficiency of systems.

Publications

dblp | Google Scholar

A Hardware/Software Stack for Heterogeneous Systems with Jerónimo Castrillón, Matthias Lieber, Sascha Klüppelholz, Marcus Völp, Nils Asmussen, Uwe Aßmann, Franz Baader, Christel Baier, Gerhard P. Fettweis, Jochen Fröhlich, Andrés Goens, Sebastian Haas, Dirk Habich, Hermann Härtig, Mattis Hasler, Immo Huismann, Tomas Karnagel, Sven Karol, Akash Kumar, Wolfgang Lehner, Linda Leuschner, Siqi Ling, Steffen Märcker, Christian Menard, Johannes Mey, Wolfgang E. Nagel, Benedikt Nöthen, Rafael Peñaloza, Michael Raitza, Jörg Stiller, Annett Ungethüm, Axel Voigt IEEE Trans. Multi-Scale Computing Systems 4(3), pages 243--259. 2018.
Towards Automated Variant Selection for Heterogeneous Tiled Architectures with Christel Baier, Sascha Klüppelholz Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday.
Lecture Notes in Computer Science 10460, pages 382--399. Springer, 2017.
Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes with Christel Baier, Joachim Klein, Linda Leuschner, David Parker Proc. of the 29th International Conference on Computer Aided Verification (CAV), Part I.
Lecture Notes in Computer Science 10426, pages 160--180. Springer, 2017.
Maximizing the Conditional Expected Reward for Reaching the Goal with Christel Baier, Joachim Klein, Sascha Klüppelholz Proc. of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS).
Lecture Notes in Computer Science 10206, pages 269--285. Springer, 2017.
Greener Bits: Formal Analysis of Demand Response with Christel Baier, Sascha Klüppelholz, Hermann de Meer, Florian Niedermeier Proc. of the 14th International Symposium on Automated Technology for Verification and Analysis (ATVA).
Lecture Notes in Computer Science 9938, pages 323--339. Springer, 2016.
Weight Monitoring with Linear Temporal Logic: Complexity and Decidability with Christel Baier, Joachim Klein, Sascha Klüppelholz Proc. of the 23rd Conference on Computer Science Logic and the 29th Symposium on Logic In Computer Science (CSL-LICS).
pages 11:1--11:10. ACM, 2014.
Probabilistic Model Checking for Energy-Utility Analysis with Christel Baier, Clemens Dubslaff, Joachim Klein, Sascha Klüppelholz Horizons of the Mind. A Tribute to Prakash Panangaden.
Lecture Notes in Computer Science 8464, pages 96--123. Springer, 2014.
Probabilistic Model Checking and Non-standard Multi-objective Reasoning with Christel Baier, Clemens Dubslaff, Sascha Klüppelholz, Marcus Daum, Joachim Klein, Steffen Märcker Proc. of the 17th International Conference on Fundamental Approaches to Software Engineering (FASE).
Lecture Notes in Computer Science 8411, pages 1--16. Springer, 2014.

Talks

Towards Automated Variant Selection for Heterogeneous Tiled Architectures
- QuantLA Workshop, Oberbärenburg, 2017-09-21.
Greener Bits: Formal Analysis of Demand Response
- ATVA, Chiba, 2016-10-18.
- QuantLA Workshop, Krippen, 2016-09-19.
Weight Monitoring and Probabilistic Model Checking
- Status talk, Dresden, 2015-09-30.
Greener Bits with Probabilistic Model Checking
- Formal Evaluation of Critical Infrastructures, Dagstuhl, 2015-12-08.
- QuantLA Workshop, Zeuthen, 2015-08-26.
Weight Monitoring with Linear Temporal Logic
- Joint Workshop of the German RTGs in CS, Dagstuhl, 2015-05-31.
- FFM, Aachen, 2015-02-25.
- QuantLA Workshop, Lohmen - Bastei, 2014-10-10.
- CSL-LICS, Vienna, 2014-07-18.
- QuantLA Doctoral Seminar, Dresden, 2014-05-13.
Beam Me Up! - LaTeX-Beamer For Those Who Already Know. With Daniel Borchmann
- QuantLA Doctoral Seminar, Dresden, 2013-11-19.
Towards a Framework for Value Accumulation in Model Checking.
- QuantLA Workshop, Tautewalde, 2013-09-07.
Games on a Class of Circulant Cayley Graphs.
- QuantLA Seminar, Dresden, 2013-04-16.
- Diploma defence talk, Dresden, 2013-01-17.

Theses

Games on a Class of Circular Cayley Graphs. Diploma thesis, TU Dresden, 2013-01-07.