Sascha Klüppelholz

79 papers A* 3A 3B 9C 6Journal 27Unranked 28
YearRankTypeTitle / Venue / Authors
2026 — conf
Concurrent Permissive Strategy Templates.
TACAS (1)
Ashwani Anand, Christel Baier, Calvin Chau, Sascha Klüppelholz, Ali Mirzaei, Satya Prakash Nayak, Anne-Kathrin Schmuck
2026 J jnl
Concurrent Permissive Strategy Templates.
CoRR
Ashwani Anand, Christel Baier, Calvin Chau, Sascha Klüppelholz, Ali Mirzaei, Satya Prakash Nayak, Anne-Kathrin Schmuck
2025 — conf
Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains.
CAV (2)
Timm Spork, Christel Baier, Joost-Pieter Katoen, Sascha Klüppelholz, Jakob Piribauer
2025 J jnl
Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains.
CoRR
Timm Spork, Christel Baier, Joost-Pieter Katoen, Sascha Klüppelholz, Jakob Piribauer
2025 C conf
Backward Responsibility in Transition Systems Beyond Safety.
FMICS
Christel Baier, Rio Klatt, Sascha Klüppelholz, Johannes Lehmann
2025 J jnl
Backward Responsibility in Transition Systems Beyond Safety.
CoRR
Christel Baier, Rio Klatt, Sascha Klüppelholz, Johannes Lehmann
2025 B conf
Certificates and Witnesses for Multi-objective ømega-Regular Queries in Markov Decision Processes.
SEFM
Christel Baier, Calvin Chau, Volodymyr Drobitko, Simon Jantsch, Sascha Klüppelholz
2025 J jnl
Certificates and Witnesses for Multi-objective ω-regular Queries in Markov Decision Processes.
CoRR
Christel Baier, Calvin Chau, Volodymyr Drobitko, Simon Jantsch, Sascha Klüppelholz
2025 J jnl
Certificates and witnesses for multi-objective queries in Markov decision processes.
Perform. Evaluation
Christel Baier, Calvin Chau, Sascha Klüppelholz
2025 A* conf
Formal Quality Measures for Predictors in Markov Decision Processes.
AAAI
Christel Baier, Sascha Klüppelholz, Jakob Piribauer, Robin Ziemek
2025 — ed.
Principles of Formal Quantitative Analysis - Essays Dedicated to Christel Baier on the Occasion of Her 60th Birthday
Principles of Formal Quantitative Analysis
Nathalie Bertrand, Clemens Dubslaff, Sascha Klüppelholz
2025 — conf
Responsibility in Actor-Based Systems.
Rebeca for Actor Analysis in Action
Christel Baier, Sascha Klüppelholz, Johannes Lehmann
2025 — conf
Stop Gambling! It Just Takes Too Long.
Principles of Formal Quantitative Analysis
Sascha Klüppelholz, Jakob Piribauer
2024 A* conf
Backward Responsibility in Transition Systems Using General Power Indices.
AAAI
Christel Baier, Roxane van den Bossche, Sascha Klüppelholz, Johannes Lehmann, Jakob Piribauer
2024 J jnl
Backward Responsibility in Transition Systems Using General Power Indices.
CoRR
Christel Baier, Roxane van den Bossche, Sascha Klüppelholz, Johannes Lehmann, Jakob Piribauer
2024 J jnl
Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes.
CoRR
Christel Baier, Calvin Chau, Sascha Klüppelholz
2024 — conf
Certificates and Witnesses for Multi-objective Queries in Markov Decision Processes.
QEST+FORMATS
Christel Baier, Calvin Chau, Sascha Klüppelholz
2024 J jnl
Formal Quality Measures for Predictors in Markov Decision Processes.
CoRR
Christel Baier, Sascha Klüppelholz, Jakob Piribauer, Robin Ziemek
2024 J jnl
Responsibility in Actor-Based Systems.
CoRR
Christel Baier, Sascha Klüppelholz, Johannes Lehmann
2023 J jnl
Correction to: From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata.
Innov. Syst. Softw. Eng.
Tobias John, Simon Jantsch, Christel Baier, Sascha Klüppelholz
2023 J jnl
Interaction detection in configurable systems - A formal approach featuring roles.
J. Syst. Softw.
Philipp Chrszon, Christel Baier, Clemens Dubslaff, Sascha Klüppelholz
2023 B conf
PMC-VIS: An Interactive Visualization Tool for Probabilistic Model Checking.
SEFM
Max Korn, Julián Méndez, Sascha Klüppelholz, Ricardo Langner, Christel Baier, Raimund Dachselt
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
2022 J jnl
From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata.
Innov. Syst. Softw. Eng.
Tobias John, Simon Jantsch, Christel Baier, Sascha Klüppelholz
2021 B conf
Determinization and Limit-Determinization of Emerson-Lei Automata.
ATVA
Tobias John, Simon Jantsch, Christel Baier, Sascha Klüppelholz
2021 J jnl
Determinization and Limit-determinization of Emerson-Lei automata.
CoRR
Tobias John, Simon Jantsch, Christel Baier, Sascha Klüppelholz
2020 — conf
Components in Probabilistic Systems: Suitable by Construction.
ISoLA (1)
Christel Baier, Clemens Dubslaff, Holger Hermanns, Michaela Klauck, Sascha Klüppelholz, Maximilian A. Köhl
2020 — conf
From features to roles.
SPLC (A)
Philipp Chrszon, Christel Baier, Clemens Dubslaff, Sascha Klüppelholz
2020 J jnl
Quantitative Characterization of Reconfigurable Transistor Logic Gates.
IEEE Access
Michael Raitza, Steffen Märcker, Jens Trommer, Andre Heinzig, Sascha Klüppelholz, Christel Baier, Akash Kumar
2019 J jnl
Configuration of inter-process communication with probabilistic model checking.
Int. J. Softw. Tools Technol. Transf.
Linda Herrmann, Martin Küttler, Tobias Stumpf, Christel Baier, Hermann Härtig, Sascha Klüppelholz
2019 — conf
Performance Evaluation of Thermal-Constrained Scheduling Strategies in Multi-core Systems.
EPEW
Muhammad Usama Sardar, Clemens Dubslaff, Sascha Klüppelholz, Christel Baier, Akash Kumar
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
2018 J jnl
Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata.
Int. J. Softw. Tools Technol. Transf.
Joachim Klein, Christel Baier, Philipp Chrszon, Marcus Daum, Clemens Dubslaff, Sascha Klüppelholz, Steffen Märcker, David Müller
2018 — conf
Energy-Utility Analysis of Probabilistic Systems with Exogenous Coordination.
It's All About Coordination
Christel Baier, Philipp Chrszon, Clemens Dubslaff, Joachim Klein, Sascha Klüppelholz
2018 — conf
Formal Parameter Synthesis for Energy-Utility-Optimal Fault Tolerance.
EPEW
Linda Herrmann, Christel Baier, Christof Fetzer, Sascha Klüppelholz, Markus Napierkowski
2018 J jnl
ProFeat: feature-oriented engineering for family-based probabilistic model checking.
Formal Aspects Comput.
Philipp Chrszon, Clemens Dubslaff, Sascha Klüppelholz, Christel Baier
2017 B conf
Computing Conditional Probabilities: Implementation and Evaluation.
SEFM
Steffen Märcker, Christel Baier, Joachim Klein, Sascha Klüppelholz
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 A conf
Towards Automated Configuration of Systems with Non-Functional Constraints.
HotOS
Linda Leuschner, Martin Küttler, Tobias Stumpf, Christel Baier, Hermann Härtig, Sascha Klüppelholz
2017 — conf
Towards Automated Variant Selection for Heterogeneous Tiled Architectures.
Models, Algorithms, Logics and Tools
Christel Baier, Sascha Klüppelholz, Sascha Wunderlich
2016 A conf
Advances in Symbolic Probabilistic Model Checking with PRISM.
TACAS
Joachim Klein, Christel Baier, Philipp Chrszon, Marcus Daum, Clemens Dubslaff, Sascha Klüppelholz, Steffen Märcker, David Müller
2016 A* conf
Composition of Stochastic Transition Systems Based on Spans and Couplings.
ICALP
Daniel Gburek, Christel Baier, Sascha Klüppelholz
2016 B conf
Family-Based Modeling and Analysis for Probabilistic Systems - Featuring ProFeat.
FASE
Philipp Chrszon, Clemens Dubslaff, Sascha Klüppelholz, Christel Baier
2016 B conf
Greener Bits: Formal Analysis of Demand Response.
ATVA
Christel Baier, Sascha Klüppelholz, Hermann de Meer, Florian Niedermeier, Sascha Wunderlich
2016 — conf
Markov Chains and Unambiguous Büchi Automata.
CAV (1)
Christel Baier, Stefan Kiefer, Joachim Klein, Sascha Klüppelholz, David Müller, James Worrell
2016 J jnl
Markov Chains and Unambiguous Büchi Automata.
CoRR
Christel Baier, Stefan Kiefer, Joachim Klein, Sascha Klüppelholz, David Müller, James Worrell
2016 — conf
Modeling Role-Based Systems with Exogenous Coordination.
Theory and Practice of Formal Methods
Philipp Chrszon, Clemens Dubslaff, Christel Baier, Joachim Klein, Sascha Klüppelholz
2015 J jnl
Compositional construction of most general controllers.
Acta Informatica
Joachim Klein, Christel Baier, Sascha Klüppelholz
2015 J jnl
Locks: Picking key methods for a scalable quantitative analysis.
J. Comput. Syst. Sci.
Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp
2015 J jnl
Probabilistic Model Checking for Feature-Oriented Systems.
LNCS Trans. Aspect Oriented Softw. Dev.
Clemens Dubslaff, Christel Baier, Sascha Klüppelholz
2014 C conf
Are Good-for-Games Automata Good for Probabilistic Model Checking?
LATA
Joachim Klein, David Müller, Christel Baier, Sascha Klüppelholz
2014 A conf
Computing Conditional Probabilities in Markovian Models Efficiently.
TACAS
Christel Baier, Joachim Klein, Sascha Klüppelholz, Steffen Märcker
2014 B conf
Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking.
Petri Nets
Christel Baier, Clemens Dubslaff, Sascha Klüppelholz, Linda Leuschner
2014 — conf
Energy-Utility Quantiles.
NASA Formal Methods
Christel Baier, Marcus Daum, Clemens Dubslaff, Joachim Klein, Sascha Klüppelholz
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
Probabilistic model checking for energy analysis in software product lines.
MODULARITY
Clemens Dubslaff, Sascha Klüppelholz, Christel Baier
2014 J jnl
Synthesis of Reo Connectors for Strategies and Controllers.
Fundam. Informaticae
Christel Baier, Joachim Klein, Sascha Klüppelholz
2014 — conf
Trade-off analysis meets probabilistic model checking.
CSL-LICS
Christel Baier, Clemens Dubslaff, Sascha Klüppelholz
2014 — conf
Weight monitoring with linear temporal logic: complexity and decidability.
CSL-LICS
Christel Baier, Joachim Klein, Sascha Klüppelholz, Sascha Wunderlich
2013 — conf
A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select.
NASA Formal Methods
Christel Baier, Benjamin Engel, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp
2013 J jnl
Probabilistic Model Checking for Energy Analysis in Software Product Lines.
CoRR
Clemens Dubslaff, Sascha Klüppelholz, Christel Baier
2012 — conf
Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code
SSV
Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp
2012 — ch.
Formale Verifikation von exogenen Koodinationsmodellen.
Ausgezeichnete Informatikdissertationen
Sascha Klüppelholz
2012 — —
Verification of Branching-Time and Alternating-Time Properties for Exogenous Coordination Models.
Sascha Klüppelholz
2012 C conf
Waiting for Locks: How Long Does It Usually Take?
FMICS
Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp
2011 B conf
A Compositional Framework for Controller Synthesis.
CONCUR
Christel Baier, Joachim Klein, Sascha Klüppelholz
2011 C conf
Hierarchical Modeling and Formal Verification. An Industrial Case Study Using Reo and Vereofy.
FMICS
Joachim Klein, Sascha Klüppelholz, Andries Stam, Christel Baier
2011 — conf
Modeling and Verification of Components and Connectors.
SFM
Christel Baier, Joachim Klein, Sascha Klüppelholz
2010 J jnl
Alternating-time stream logic for multi-agent systems.
Sci. Comput. Program.
Sascha Klüppelholz, Christel Baier
2010 — conf
Design and Verification of Systems with Exogenous Coordination Using Vereofy.
ISoLA (2)
Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klüppelholz, Wolfgang Leister
2009 C conf
A Uniform Framework for Modeling and Verifying Components and Connectors.
COORDINATION
Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klüppelholz
2009 — conf
Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo.
TTSS
Immo Grabe, Mohammad Mahdi Jaghoori, Bernhard K. Aichernig, Christel Baier, Tobias Blechmann, Frank S. de Boer, Andreas Griesmayer, Einar Broch Johnsen, Joachim Klein, Sascha Klüppelholz, Marcel Kyas, Wolfgang Leister, Rudolf Schlatte, Andries Stam, Martin Steffen, Simon Tschirner, Liang Xuedong, Wang Yi
2009 J jnl
Symbolic model checking for channel-based component connectors.
Sci. Comput. Program.
Sascha Klüppelholz, Christel Baier
2009 — conf
The Credo Methodology - (Extended Version).
FMCO
Immo Grabe, Mohammad Mahdi Jaghoori, Joachim Klein, Sascha Klüppelholz, Andries Stam, Christel Baier, Tobias Blechmann, Bernhard K. Aichernig, Frank S. de Boer, Andreas Griesmayer
2008 C conf
Alternating-Time Stream Logic for Multi-agent Systems.
COORDINATION
Sascha Klüppelholz, Christel Baier
2008 — conf
Formal Verification for Components and Connectors.
FMCO
Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klüppelholz
2006 — conf
Symbolic Model Checking for Channel-based Component Connectors.
FOCLASA
Sascha Klüppelholz, Christel Baier