Sascha Klüppelholz

ORCID

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 32

Top Venues

CoRR

EPEW

Int. J. Softw. Tools Technol. Transf.

ATVA

Dresden University of Technology (PHD)

Education History

Dresden University of Technology

PHD

Publications

Christel Baier, Roxane van den Bossche, Sascha Klüppelholz, Johannes Lehmann, Jakob Piribauer
Backward Responsibility in Transition Systems Using General Power Indices. CoRR (2024)
Christel Baier, Roxane van den Bossche, Sascha Klüppelholz, Johannes Lehmann, Jakob Piribauer
Backward Responsibility in Transition Systems Using General Power Indices. AAAI (2024)
Christel Baier, Calvin Chau, Sascha Klüppelholz
Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes. CoRR (2024)
Tobias John, Simon Jantsch, Christel Baier, Sascha Klüppelholz
Correction to: From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata. Innov. Syst. Softw. Eng. 19 (2) (2023)
Max Korn, Julián Méndez, Sascha Klüppelholz, Ricardo Langner, Christel Baier, Raimund Dachselt
PMC-VIS: An Interactive Visualization Tool for Probabilistic Model Checking. SEFM (2023)
Philipp Chrszon, Christel Baier, Clemens Dubslaff, Sascha Klüppelholz
Interaction detection in configurable systems - A formal approach featuring roles. J. Syst. Softw. 196 (2023)
Tobias John, Simon Jantsch, Christel Baier, Sascha Klüppelholz
From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata. Innov. Syst. Softw. Eng. 18 (3) (2022)
Max Korn, Philipp Chrszon, Sascha Klüppelholz, Christel Baier, Sascha Wunderlich
Effectiveness of Pre-computed Knowledge in Self-adaptation - A Robustness Study. EPEW (2022)
Tobias John, Simon Jantsch, Christel Baier, Sascha Klüppelholz
Determinization and Limit-Determinization of Emerson-Lei Automata. ATVA (2021)
Tobias John, Simon Jantsch, Christel Baier, Sascha Klüppelholz
Determinization and Limit-determinization of Emerson-Lei automata. CoRR (2021)
Michael Raitza, Steffen Märcker, Jens Trommer, Andre Heinzig, Sascha Klüppelholz, Christel Baier, Akash Kumar
Quantitative Characterization of Reconfigurable Transistor Logic Gates. IEEE Access 8 (2020)
Philipp Chrszon, Christel Baier, Clemens Dubslaff, Sascha Klüppelholz
From features to roles. SPLC (A) (2020)
Christel Baier, Clemens Dubslaff, Holger Hermanns, Michaela Klauck, Sascha Klüppelholz, Maximilian A. Köhl
Components in Probabilistic Systems: Suitable by Construction. ISoLA (1) (2020)
Muhammad Usama Sardar, Clemens Dubslaff, Sascha Klüppelholz, Christel Baier, Akash Kumar
Performance Evaluation of Thermal-Constrained Scheduling Strategies in Multi-core Systems. EPEW (2019)
Linda Herrmann, Martin Küttler, Tobias Stumpf, Christel Baier, Hermann Härtig, Sascha Klüppelholz
Configuration of inter-process communication with probabilistic model checking. Int. J. Softw. Tools Technol. Transf. 21 (6) (2019)
Joachim Klein, Christel Baier, Philipp Chrszon, Marcus Daum, Clemens Dubslaff, Sascha Klüppelholz, Steffen Märcker, David Müller
Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata. Int. J. Softw. Tools Technol. Transf. 20 (2) (2018)
Linda Herrmann, Christel Baier, Christof Fetzer, Sascha Klüppelholz, Markus Napierkowski
Formal Parameter Synthesis for Energy-Utility-Optimal Fault Tolerance. EPEW (2018)
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
A Hardware/Software Stack for Heterogeneous Systems. IEEE Trans. Multi Scale Comput. Syst. 4 (3) (2018)
Philipp Chrszon, Clemens Dubslaff, Sascha Klüppelholz, Christel Baier
ProFeat: feature-oriented engineering for family-based probabilistic model checking. Formal Aspects Comput. 30 (1) (2018)
Christel Baier, Philipp Chrszon, Clemens Dubslaff, Joachim Klein, Sascha Klüppelholz
Energy-Utility Analysis of Probabilistic Systems with Exogenous Coordination. It's All About Coordination (2018)
Linda Leuschner, Martin Küttler, Tobias Stumpf, Christel Baier, Hermann Härtig, Sascha Klüppelholz
Towards Automated Configuration of Systems with Non-Functional Constraints. HotOS (2017)
Steffen Märcker, Christel Baier, Joachim Klein, Sascha Klüppelholz
Computing Conditional Probabilities: Implementation and Evaluation. SEFM (2017)
Christel Baier, Sascha Klüppelholz, Sascha Wunderlich
Towards Automated Variant Selection for Heterogeneous Tiled Architectures. Models, Algorithms, Logics and Tools (2017)
Christel Baier, Joachim Klein, Sascha Klüppelholz, Sascha Wunderlich
Maximizing the Conditional Expected Reward for Reaching the Goal. CoRR (2017)
Christel Baier, Joachim Klein, Sascha Klüppelholz, Sascha Wunderlich
Maximizing the Conditional Expected Reward for Reaching the Goal. TACAS (2) (2017)
Christel Baier, Stefan Kiefer, Joachim Klein, Sascha Klüppelholz, David Müller, James Worrell
Markov Chains and Unambiguous Büchi Automata. CAV (1) (2016)
Daniel Gburek, Christel Baier, Sascha Klüppelholz
Composition of Stochastic Transition Systems Based on Spans and Couplings. ICALP (2016)
Christel Baier, Sascha Klüppelholz, Hermann de Meer, Florian Niedermeier, Sascha Wunderlich
Greener Bits: Formal Analysis of Demand Response. ATVA (2016)
Philipp Chrszon, Clemens Dubslaff, Christel Baier, Joachim Klein, Sascha Klüppelholz
Modeling Role-Based Systems with Exogenous Coordination. Theory and Practice of Formal Methods (2016)
Christel Baier, Stefan Kiefer, Joachim Klein, Sascha Klüppelholz, David Müller, James Worrell
Markov Chains and Unambiguous Büchi Automata. CoRR (2016)
Joachim Klein, Christel Baier, Philipp Chrszon, Marcus Daum, Clemens Dubslaff, Sascha Klüppelholz, Steffen Märcker, David Müller
Advances in Symbolic Probabilistic Model Checking with PRISM. TACAS (2016)
Philipp Chrszon, Clemens Dubslaff, Sascha Klüppelholz, Christel Baier
Family-Based Modeling and Analysis for Probabilistic Systems - Featuring ProFeat. FASE (2016)
Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp
Locks: Picking key methods for a scalable quantitative analysis. J. Comput. Syst. Sci. 81 (1) (2015)
Clemens Dubslaff, Christel Baier, Sascha Klüppelholz
Probabilistic Model Checking for Feature-Oriented Systems. LNCS Trans. Aspect Oriented Softw. Dev. 12 (2015)
Joachim Klein, Christel Baier, Sascha Klüppelholz
Compositional construction of most general controllers. Acta Informatica 52 (4-5) (2015)
Christel Baier, Clemens Dubslaff, Sascha Klüppelholz
Trade-off analysis meets probabilistic model checking. CSL-LICS (2014)
Clemens Dubslaff, Sascha Klüppelholz, Christel Baier
Probabilistic model checking for energy analysis in software product lines. MODULARITY (2014)
Christel Baier, Clemens Dubslaff, Sascha Klüppelholz, Linda Leuschner
Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking. Petri Nets (2014)
Christel Baier, Clemens Dubslaff, Sascha Klüppelholz, Marcus Daum, Joachim Klein, Steffen Märcker, Sascha Wunderlich
Probabilistic Model Checking and Non-standard Multi-objective Reasoning. FASE (2014)
Christel Baier, Clemens Dubslaff, Joachim Klein, Sascha Klüppelholz, Sascha Wunderlich
Probabilistic Model Checking for Energy-Utility Analysis. Horizons of the Mind (2014)
Christel Baier, Joachim Klein, Sascha Klüppelholz, Sascha Wunderlich
Weight monitoring with linear temporal logic: complexity and decidability. CSL-LICS (2014)
Christel Baier, Joachim Klein, Sascha Klüppelholz
Synthesis of Reo Connectors for Strategies and Controllers. Fundam. Informaticae 130 (1) (2014)
Christel Baier, Marcus Daum, Clemens Dubslaff, Joachim Klein, Sascha Klüppelholz
Energy-Utility Quantiles. NASA Formal Methods (2014)
Christel Baier, Joachim Klein, Sascha Klüppelholz, Steffen Märcker
Computing Conditional Probabilities in Markovian Models Efficiently. TACAS (2014)
Joachim Klein, David Müller, Christel Baier, Sascha Klüppelholz
Are Good-for-Games Automata Good for Probabilistic Model Checking? LATA (2014)
Clemens Dubslaff, Sascha Klüppelholz, Christel Baier
Probabilistic Model Checking for Energy Analysis in Software Product Lines. CoRR (2013)
Christel Baier, Benjamin Engel, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp
A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select. NASA Formal Methods (2013)
Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp
Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code SSV (2012)
Sascha Klüppelholz
Formale Verifikation von exogenen Koodinationsmodellen. Ausgezeichnete Informatikdissertationen (2012)
Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp
Waiting for Locks: How Long Does It Usually Take? FMICS (2012)
Christel Baier, Joachim Klein, Sascha Klüppelholz
A Compositional Framework for Controller Synthesis. CONCUR (2011)
Christel Baier, Joachim Klein, Sascha Klüppelholz
Modeling and Verification of Components and Connectors. SFM (2011)
Joachim Klein, Sascha Klüppelholz, Andries Stam, Christel Baier
Hierarchical Modeling and Formal Verification. An Industrial Case Study Using Reo and Vereofy. FMICS (2011)
Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klüppelholz, Wolfgang Leister
Design and Verification of Systems with Exogenous Coordination Using Vereofy. ISoLA (2) (2010)
Sascha Klüppelholz, Christel Baier
Alternating-time stream logic for multi-agent systems. Sci. Comput. Program. 75 (6) (2010)
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
Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo. Electron. Notes Theor. Comput. Sci. 266 (2010)
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
The Credo Methodology - (Extended Version). FMCO (2009)
Sascha Klüppelholz, Christel Baier
Symbolic model checking for channel-based component connectors. Sci. Comput. Program. 74 (9) (2009)
Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klüppelholz
A Uniform Framework for Modeling and Verifying Components and Connectors. COORDINATION (2009)
Sascha Klüppelholz, Christel Baier
Alternating-Time Stream Logic for Multi-agent Systems. COORDINATION (2008)
Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klüppelholz
Formal Verification for Components and Connectors. FMCO (2008)
Sascha Klüppelholz, Christel Baier
Symbolic Model Checking for Channel-based Component Connectors. Electron. Notes Theor. Comput. Sci. 175 (2) (2007)

Sascha Klüppelholz.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Sascha Klüppelholz