Sascha Wunderlich

12 papers B 2Journal 2Unranked 7
YearRankTypeTitle / Venue / Authors
2024 — —
Probabilistic Model Checking for Temporal Logics in Weighted Structures
Sascha Wunderlich
2022 — conf
Effectiveness of Pre-computed Knowledge in Self-adaptation - A Robustness Study.
EPEW
Max Korn, Philipp Chrszon, Sascha Klüppelholz, Christel Baier, Sascha Wunderlich
2018 J jnl
A Hardware/Software Stack for Heterogeneous Systems.
IEEE Trans. Multi Scale Comput. Syst.
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
2017 — conf
Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes.
CAV (1)
Christel Baier, Joachim Klein, Linda Leuschner, David Parker, Sascha Wunderlich
2017 — conf
Maximizing the Conditional Expected Reward for Reaching the Goal.
TACAS (2)
Christel Baier, Joachim Klein, Sascha Klüppelholz, Sascha Wunderlich
2017 J jnl
Maximizing the Conditional Expected Reward for Reaching the Goal.
CoRR
Christel Baier, Joachim Klein, Sascha Klüppelholz, Sascha Wunderlich
2017 — conf
Towards Automated Variant Selection for Heterogeneous Tiled Architectures.
Models, Algorithms, Logics and Tools
Christel Baier, Sascha Klüppelholz, Sascha Wunderlich
2016 B conf
Greener Bits: Formal Analysis of Demand Response.
ATVA
Christel Baier, Sascha Klüppelholz, Hermann de Meer, Florian Niedermeier, Sascha Wunderlich
2014 — conf
Model Checking with Accumulated Weights.
Joint Workshop of the German Research Training Groups in Computer Science
Sascha Wunderlich
2014 B conf
Probabilistic Model Checking and Non-standard Multi-objective Reasoning.
FASE
Christel Baier, Clemens Dubslaff, Sascha Klüppelholz, Marcus Daum, Joachim Klein, Steffen Märcker, Sascha Wunderlich
2014 — conf
Probabilistic Model Checking for Energy-Utility Analysis.
Horizons of the Mind
Christel Baier, Clemens Dubslaff, Joachim Klein, Sascha Klüppelholz, Sascha Wunderlich
2014 — conf
Weight monitoring with linear temporal logic: complexity and decidability.
CSL-LICS
Christel Baier, Joachim Klein, Sascha Klüppelholz, Sascha Wunderlich