Sascha Wunderlich
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2014–2017
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | CAV | Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes. | Christel Baier, Joachim Klein, Linda Leuschner, David Parker, Sascha Wunderlich |
| 2017 | TACAS | Maximizing the Conditional Expected Reward for Reaching the Goal. | Christel Baier, Joachim Klein, Sascha Klppelholz, Sascha Wunderlich |
| 2016 | ATVA | Greener Bits: Formal Analysis of Demand Response. | Christel Baier, Sascha Klppelholz, Hermann de Meer, Florian Niedermeier, Sascha Wunderlich |
| 2014 | CSL | Weight monitoring with linear temporal logic: complexity and decidability. | Christel Baier, Joachim Klein, Sascha Klppelholz, Sascha Wunderlich |
| 2014 | FASE | Probabilistic Model Checking and Non-standard Multi-objective Reasoning. | Christel Baier, Clemens Dubslaff, Sascha Klppelholz, Marcus Daum, Joachim Klein, Steffen Mrcker, Sascha Wunderlich |