Sascha Klüppelholz

According to our database, Sascha Klüppelholz authored at least 55 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Backward Responsibility in Transition Systems Using General Power Indices.

Christel Baier, Roxane van den Bossche, Sascha Klüppelholz, Johannes Lehmann, Jakob Piribauer

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Correction to: From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata.

Tobias John, Simon Jantsch, Christel Baier, Sascha Klüppelholz

Innov. Syst. Softw. Eng., June, 2023

Interaction detection in configurable systems - A formal approach featuring roles.

Philipp Chrszon, Christel Baier, Clemens Dubslaff, Sascha Klüppelholz

J. Syst. Softw., 2023

PMC-VIS: An Interactive Visualization Tool for Probabilistic Model Checking.

Max Korn, Julián Méndez, Sascha Klüppelholz, Ricardo Langner, Christel Baier, Raimund Dachselt

Proceedings of the Software Engineering and Formal Methods - 21st International Conference, 2023

2022

From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata.

Tobias John, Simon Jantsch, Christel Baier, Sascha Klüppelholz

Innov. Syst. Softw. Eng., 2022

Effectiveness of Pre-computed Knowledge in Self-adaptation - A Robustness Study.

Max Korn, Philipp Chrszon, Sascha Klüppelholz, Christel Baier, Sascha Wunderlich

Proceedings of the Computer Performance Engineering - 18th European Workshop, 2022

2021

Determinization and Limit-Determinization of Emerson-Lei Automata.

Tobias John, Simon Jantsch, Christel Baier, Sascha Klüppelholz

Proceedings of the Automated Technology for Verification and Analysis, 2021

2020

Quantitative Characterization of Reconfigurable Transistor Logic Gates.

Michael Raitza, Steffen Märcker, Jens Trommer, Andre Heinzig, Sascha Klüppelholz, Christel Baier, Akash Kumar

IEEE Access, 2020

From features to roles.

Philipp Chrszon, Christel Baier, Clemens Dubslaff, Sascha Klüppelholz

Proceedings of the SPLC '20: 24th ACM International Systems and Software Product Line Conference, 2020

Components in Probabilistic Systems: Suitable by Construction.

Christel Baier, Clemens Dubslaff, Holger Hermanns, Michaela Klauck, Sascha Klüppelholz, Maximilian A. Köhl

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020

2019

Configuration of inter-process communication with probabilistic model checking.

Linda Herrmann, Martin Küttler, Tobias Stumpf, Christel Baier, Hermann Härtig, Sascha Klüppelholz

Int. J. Softw. Tools Technol. Transf., 2019

Performance Evaluation of Thermal-Constrained Scheduling Strategies in Multi-core Systems.

Muhammad Usama Sardar, Clemens Dubslaff, Sascha Klüppelholz, Christel Baier, Akash Kumar

Proceedings of the Computer Performance Engineering - 16th European Workshop, 2019

2018

A Hardware/Software Stack for Heterogeneous Systems.

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

IEEE Trans. Multi Scale Comput. Syst., 2018

Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata.

Joachim Klein, Christel Baier, Philipp Chrszon, Marcus Daum, Clemens Dubslaff, Sascha Klüppelholz, Steffen Märcker, David Müller

Int. J. Softw. Tools Technol. Transf., 2018

ProFeat: feature-oriented engineering for family-based probabilistic model checking.

Philipp Chrszon, Clemens Dubslaff, Sascha Klüppelholz, Christel Baier

Formal Aspects Comput., 2018

Formal Parameter Synthesis for Energy-Utility-Optimal Fault Tolerance.

Linda Herrmann, Christel Baier, Christof Fetzer, Sascha Klüppelholz, Markus Napierkowski

Proceedings of the Computer Performance Engineering - 15th European Workshop, 2018

Energy-Utility Analysis of Probabilistic Systems with Exogenous Coordination.

Christel Baier, Philipp Chrszon, Clemens Dubslaff, Joachim Klein, Sascha Klüppelholz

Proceedings of the It's All About Coordination, 2018

2017

Maximizing the Conditional Expected Reward for Reaching the Goal.

Christel Baier, Joachim Klein, Sascha Klüppelholz, Sascha Wunderlich

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Computing Conditional Probabilities: Implementation and Evaluation.

Steffen Märcker, Christel Baier, Joachim Klein, Sascha Klüppelholz

Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

Towards Automated Configuration of Systems with Non-Functional Constraints.

Linda Leuschner, Martin Küttler, Tobias Stumpf, Christel Baier, Hermann Härtig, Sascha Klüppelholz

Proceedings of the 16th Workshop on Hot Topics in Operating Systems, 2017

Towards Automated Variant Selection for Heterogeneous Tiled Architectures.

Christel Baier, Sascha Klüppelholz, Sascha Wunderlich

Proceedings of the Models, Algorithms, Logics and Tools, 2017

2016

Advances in Symbolic Probabilistic Model Checking with PRISM.

Joachim Klein, Christel Baier, Philipp Chrszon, Marcus Daum, Clemens Dubslaff, Sascha Klüppelholz, Steffen Märcker, David Müller

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Composition of Stochastic Transition Systems Based on Spans and Couplings.

Daniel Gburek, Christel Baier, Sascha Klüppelholz

Proceedings of the 43rd International Colloquium on Automata, Languages, and Programming, 2016

Family-Based Modeling and Analysis for Probabilistic Systems - Featuring ProFeat.

Philipp Chrszon, Clemens Dubslaff, Sascha Klüppelholz, Christel Baier

Proceedings of the Fundamental Approaches to Software Engineering, 2016

Markov Chains and Unambiguous Büchi Automata.

Christel Baier, Stefan Kiefer, Joachim Klein, Sascha Klüppelholz, David Müller, James Worrell

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

Modeling Role-Based Systems with Exogenous Coordination.

Philipp Chrszon, Clemens Dubslaff, Christel Baier, Joachim Klein, Sascha Klüppelholz

Proceedings of the Theory and Practice of Formal Methods, 2016

Greener Bits: Formal Analysis of Demand Response.

Christel Baier, Sascha Klüppelholz, Hermann de Meer, Florian Niedermeier, Sascha Wunderlich

Proceedings of the Automated Technology for Verification and Analysis, 2016

2015

Probabilistic Model Checking for Feature-Oriented Systems.

Clemens Dubslaff, Christel Baier, Sascha Klüppelholz

LNCS Trans. Aspect Oriented Softw. Dev., 2015

Locks: Picking key methods for a scalable quantitative analysis.

Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp

J. Comput. Syst. Sci., 2015

Compositional construction of most general controllers.

Joachim Klein, Christel Baier, Sascha Klüppelholz

Acta Informatica, 2015

2014

Synthesis of Reo Connectors for Strategies and Controllers.

Christel Baier, Joachim Klein, Sascha Klüppelholz

Fundam. Informaticae, 2014

Computing Conditional Probabilities in Markovian Models Efficiently.

Christel Baier, Joachim Klein, Sascha Klüppelholz, Steffen Märcker

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

Energy-Utility Quantiles.

Christel Baier, Marcus Daum, Clemens Dubslaff, Joachim Klein, Sascha Klüppelholz

Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014

Are Good-for-Games Automata Good for Probabilistic Model Checking?

Joachim Klein, David Müller, Christel Baier, Sascha Klüppelholz

Proceedings of the Language and Automata Theory and Applications, 2014

Probabilistic Model Checking and Non-standard Multi-objective Reasoning.

Christel Baier, Clemens Dubslaff, Sascha Klüppelholz, Marcus Daum, Joachim Klein, Steffen Märcker, Sascha Wunderlich

Proceedings of the Fundamental Approaches to Software Engineering, 2014

Weight monitoring with linear temporal logic: complexity and decidability.

Christel Baier, Joachim Klein, Sascha Klüppelholz, Sascha Wunderlich

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014

Trade-off analysis meets probabilistic model checking.

Christel Baier, Clemens Dubslaff, Sascha Klüppelholz

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014

Probabilistic Model Checking for Energy-Utility Analysis.

Christel Baier, Clemens Dubslaff, Joachim Klein, Sascha Klüppelholz, Sascha Wunderlich

Proceedings of the Horizons of the Mind. A Tribute to Prakash Panangaden, 2014

Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking.

Christel Baier, Clemens Dubslaff, Sascha Klüppelholz, Linda Leuschner

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2014

Probabilistic model checking for energy analysis in software product lines.

Clemens Dubslaff, Sascha Klüppelholz, Christel Baier

Proceedings of the 13th International Conference on Modularity, 2014

2013

A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select.

Christel Baier, Benjamin Engel, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp

Proceedings of the NASA Formal Methods, 2013

2012

Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code

Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp

Proceedings of the Proceedings Seventh Conference on Systems Software Verification, 2012

Formale Verifikation von exogenen Koodinationsmodellen.

Sascha Klüppelholz

Proceedings of the Ausgezeichnete Informatikdissertationen 2012, 2012

Waiting for Locks: How Long Does It Usually Take?

Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp

Proceedings of the Formal Methods for Industrial Critical Systems, 2012

Verification of Branching-Time and Alternating-Time Properties for Exogenous Coordination Models.

Sascha Klüppelholz

PhD thesis, 2012

2011

Modeling and Verification of Components and Connectors.

Christel Baier, Joachim Klein, Sascha Klüppelholz

Proceedings of the Formal Methods for Eternal Networked Software Systems, 2011

Hierarchical Modeling and Formal Verification. An Industrial Case Study Using Reo and Vereofy.

Joachim Klein, Sascha Klüppelholz, Andries Stam, Christel Baier

Proceedings of the Formal Methods for Industrial Critical Systems, 2011

A Compositional Framework for Controller Synthesis.

Christel Baier, Joachim Klein, Sascha Klüppelholz

Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011

2010

Alternating-time stream logic for multi-agent systems.

Sascha Klüppelholz, Christel Baier

Sci. Comput. Program., 2010

Design and Verification of Systems with Exogenous Coordination Using Vereofy.

Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klüppelholz, Wolfgang Leister

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

2009

Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo.

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

Proceedings of the 3rd International Workshop on Harnessing Theories for Tool Support in Software, 2009

The Credo Methodology - (Extended Version).

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

Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009

A Uniform Framework for Modeling and Verifying Components and Connectors.

Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klüppelholz

Proceedings of the Coordination Models and Languages, 11th International Conference, 2009

2008

Formal Verification for Components and Connectors.

Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klüppelholz

Proceedings of the Formal Methods for Components and Objects, 7th International Symposium, 2008

2006

Symbolic Model Checking for Channel-based Component Connectors.

Sascha Klüppelholz, Christel Baier

Proceedings of the Fifth International Workshop on the Foundations of Coordination Languages and Software Architectures, 2006