Sascha Klppelholz
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
30
Venues
15
Active years
2008–2026
Best venue rank
A*
Where they publish
Papers
30 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CONCUR | Probabilistic Model Checking via Families of Deterministic and Unambiguous Finite Automata. | Christel Baier, Sascha Klppelholz, Timm Spork |
| 2026 | TACAS | Concurrent Permissive Strategy Templates. | Ashwani Anand, Christel Baier, Calvin Chau, Sascha Klppelholz, Ali Mirzaei, Satya Prakash Nayak, Anne-Kathrin Schmuck |
| 2025 | AAAI | Formal Quality Measures for Predictors in Markov Decision Processes. | Christel Baier, Sascha Klppelholz, Jakob Piribauer, Robin Ziemek |
| 2025 | CAV | Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains. | Timm Spork, Christel Baier, Joost-Pieter Katoen, Sascha Klppelholz, Jakob Piribauer |
| 2025 | FMICS | Backward Responsibility in Transition Systems Beyond Safety. | Christel Baier, Rio Klatt, Sascha Klppelholz, Johannes Lehmann |
| 2025 | SEFM | Certificates and Witnesses for Multi-objective ω-Regular Queries in Markov Decision Processes. | Christel Baier, Calvin Chau, Volodymyr Drobitko, Simon Jantsch, Sascha Klppelholz |
| 2024 | AAAI | Backward Responsibility in Transition Systems Using General Power Indices. | Christel Baier, Roxane van den Bossche, Sascha Klppelholz, Johannes Lehmann, Jakob Piribauer |
| 2023 | SEFM | PMC-VIS: An Interactive Visualization Tool for Probabilistic Model Checking. | Max Korn, Julin Mndez, Sascha Klppelholz, Ricardo Langner, Christel Baier, Raimund Dachselt |
| 2021 | ATVA | Determinization and Limit-Determinization of Emerson-Lei Automata. | Tobias John, Simon Jantsch, Christel Baier, Sascha Klppelholz |
| 2020 | ISoLA | Components in Probabilistic Systems: Suitable by Construction. | Christel Baier, Clemens Dubslaff, Holger Hermanns, Michaela Klauck, Sascha Klppelholz, Maximilian A. Khl |
| 2020 | SPLC | From features to roles. | Philipp Chrszon, Christel Baier, Clemens Dubslaff, Sascha Klppelholz |
| 2017 | HotOS | Towards Automated Configuration of Systems with Non-Functional Constraints. | Linda Leuschner, Martin Kttler, Tobias Stumpf, Christel Baier, Hermann Hrtig, Sascha Klppelholz |
| 2017 | SEFM | Computing Conditional Probabilities: Implementation and Evaluation. | Steffen Mrcker, Christel Baier, Joachim Klein, Sascha Klppelholz |
| 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 |
| 2016 | CAV | Markov Chains and Unambiguous Bchi Automata. | Christel Baier, Stefan Kiefer, Joachim Klein, Sascha Klppelholz, David Mller, James Worrell |
| 2016 | FASE | Family-Based Modeling and Analysis for Probabilistic Systems - Featuring ProFeat. | Philipp Chrszon, Clemens Dubslaff, Sascha Klppelholz, Christel Baier |
| 2016 | ICALP | Composition of Stochastic Transition Systems Based on Spans and Couplings. | Daniel Gburek, Christel Baier, Sascha Klppelholz |
| 2016 | TACAS | Advances in Symbolic Probabilistic Model Checking with PRISM. | Joachim Klein, Christel Baier, Philipp Chrszon, Marcus Daum, Clemens Dubslaff, Sascha Klppelholz, Steffen Mrcker, David Mller |
| 2014 | CSL | Trade-off analysis meets probabilistic model checking. | Christel Baier, Clemens Dubslaff, Sascha Klppelholz |
| 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 |
| 2014 | LATA | Are Good-for-Games Automata Good for Probabilistic Model Checking? | Joachim Klein, David Mller, Christel Baier, Sascha Klppelholz |
| 2014 | TACAS | Computing Conditional Probabilities in Markovian Models Efficiently. | Christel Baier, Joachim Klein, Sascha Klppelholz, Steffen Mrcker |
| 2012 | FMICS | Waiting for Locks: How Long Does It Usually Take? | Christel Baier, Marcus Daum, Benjamin Engel, Hermann Hrtig, Joachim Klein, Sascha Klppelholz, Steffen Mrcker, Hendrik Tews, Marcus Vlp |
| 2011 | CONCUR | A Compositional Framework for Controller Synthesis. | Christel Baier, Joachim Klein, Sascha Klppelholz |
| 2011 | FMICS | Hierarchical Modeling and Formal Verification. An Industrial Case Study Using Reo and Vereofy. | Joachim Klein, Sascha Klppelholz, Andries Stam, Christel Baier |
| 2010 | ISoLA | Design and Verification of Systems with Exogenous Coordination Using Vereofy. | Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klppelholz, Wolfgang Leister |
| 2009 | Coordination | A Uniform Framework for Modeling and Verifying Components and Connectors. | Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klppelholz |
| 2008 | Coordination | Alternating-Time Stream Logic for Multi-agent Systems. | Sascha Klppelholz, Christel Baier |