Sascha Wunderlich

According to our database, Sascha Wunderlich authored at least 11 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Probabilistic Model Checking for Temporal Logics in Weighted Structures

Sascha Wunderlich

PhD thesis, 2024

2022

Effectiveness of Pre-computed Knowledge in Self-adaptation - A Robustness Study.

Max Korn, Philipp Chrszon, Sascha Klüppelholz, Christel Baier, Sascha Wunderlich

Proceedings of the Computer Performance Engineering - 18th European Workshop, 2022

2018

A Hardware/Software Stack for Heterogeneous Systems.

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, Sascha Wunderlich

IEEE Trans. Multi Scale Comput. Syst., 2018

2017

Maximizing the Conditional Expected Reward for Reaching the Goal.

Christel Baier, Joachim Klein, Sascha Klüppelholz, Sascha Wunderlich

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.

Christel Baier, Joachim Klein, Linda Leuschner, David Parker, Sascha Wunderlich

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

Towards Automated Variant Selection for Heterogeneous Tiled Architectures.

Christel Baier, Sascha Klüppelholz, Sascha Wunderlich

Proceedings of the Models, Algorithms, Logics and Tools, 2017

2016

Greener Bits: Formal Analysis of Demand Response.

Christel Baier, Sascha Klüppelholz, Hermann de Meer, Florian Niedermeier, Sascha Wunderlich

Proceedings of the Automated Technology for Verification and Analysis, 2016

2014

Probabilistic Model Checking and Non-standard Multi-objective Reasoning.

Christel Baier, Clemens Dubslaff, Sascha Klüppelholz, Marcus Daum, Joachim Klein, Steffen Märcker, Sascha Wunderlich

Proceedings of the Fundamental Approaches to Software Engineering, 2014

Model Checking with Accumulated Weights.

Sascha Wunderlich

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.

Christel Baier, Joachim Klein, Sascha Klüppelholz, Sascha Wunderlich

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.

Christel Baier, Clemens Dubslaff, Joachim Klein, Sascha Klüppelholz, Sascha Wunderlich

Proceedings of the Horizons of the Mind. A Tribute to Prakash Panangaden, 2014