default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSascha Klüppelholz
Person information
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c42]Christel Baier
, Roxane van den Bossche, Sascha Klüppelholz, Johannes Lehmann, Jakob Piribauer:
Backward Responsibility in Transition Systems Using General Power Indices. AAAI 2024: 20320-20327- [c41]Christel Baier, Calvin Chau, Sascha Klüppelholz:
Certificates and Witnesses for Multi-objective Queries in Markov Decision Processes. QEST+FORMATS 2024: 1-18 - [i6]Christel Baier, Roxane van den Bossche, Sascha Klüppelholz, Johannes Lehmann, Jakob Piribauer:
Backward Responsibility in Transition Systems Using General Power Indices. CoRR abs/2402.01539 (2024) - [i5]Christel Baier, Calvin Chau, Sascha Klüppelholz:
Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes. CoRR abs/2406.08175 (2024) - 2023
- [j14]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): 227-229 (2023) - [j13]Philipp Chrszon, Christel Baier, Clemens Dubslaff, Sascha Klüppelholz:
Interaction detection in configurable systems - A formal approach featuring roles. J. Syst. Softw. 196: 111556 (2023) - [c40]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: 361-375 - 2022
- [j12]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): 385-403 (2022) - [c39]Max Korn, Philipp Chrszon, Sascha Klüppelholz, Christel Baier, Sascha Wunderlich:
Effectiveness of Pre-computed Knowledge in Self-adaptation - A Robustness Study. EPEW 2022: 19-34 - [d3]Philipp Chrszon, Christel Baier, Clemens Dubslaff, Sascha Klüppelholz:
Interaction Detection in Configurable Systems - A Formal Approach Featuring Roles, Artifact. Zenodo, 2022
- 2021
- [c38]Tobias John, Simon Jantsch, Christel Baier, Sascha Klüppelholz:
Determinization and Limit-Determinization of Emerson-Lei Automata. ATVA 2021: 15-31 - [i4]Tobias John, Simon Jantsch, Christel Baier, Sascha Klüppelholz:
Determinization and Limit-determinization of Emerson-Lei automata. CoRR abs/2106.15892 (2021) - 2020
- [j11]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: 112598-112614 (2020) - [c37]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: 240-261 - [c36]Philipp Chrszon, Christel Baier, Clemens Dubslaff, Sascha Klüppelholz:
From features to roles. SPLC (A) 2020: 19:1-19:11 - [d2]Christel Baier, Clemens Dubslaff, Holger Hermanns, Michaela Klauck, Sascha Klüppelholz, Maximilian A. Köhl:
Tooling, Data and Results for "Components in Probabilistic Systems: Suitable by Construction". Zenodo, 2020 - [d1]Philipp Chrszon, Christel Baier, Clemens Dubslaff, Sascha Klüppelholz:
From Features to Roles, Artifact (SPLC2020). Zenodo, 2020
2010 – 2019
- 2019
- [j10]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): 651-666 (2019) - [c35]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: 133-147 - 2018
- [j9]Philipp Chrszon, Clemens Dubslaff, Sascha Klüppelholz, Christel Baier:
ProFeat: feature-oriented engineering for family-based probabilistic model checking. Formal Aspects Comput. 30(1): 45-75 (2018) - [j8]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): 179-194 (2018) - [j7]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): 243-259 (2018) - [c34]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: 38-56 - [c33]Linda Herrmann, Christel Baier, Christof Fetzer, Sascha Klüppelholz, Markus Napierkowski:
Formal Parameter Synthesis for Energy-Utility-Optimal Fault Tolerance. EPEW 2018: 78-93 - 2017
- [c32]Christel Baier, Sascha Klüppelholz, Sascha Wunderlich:
Towards Automated Variant Selection for Heterogeneous Tiled Architectures. Models, Algorithms, Logics and Tools 2017: 382-399 - [c31]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: 111-117 - [c30]Steffen Märcker, Christel Baier, Joachim Klein, Sascha Klüppelholz:
Computing Conditional Probabilities: Implementation and Evaluation. SEFM 2017: 349-366 - [c29]Christel Baier, Joachim Klein, Sascha Klüppelholz, Sascha Wunderlich:
Maximizing the Conditional Expected Reward for Reaching the Goal. TACAS (2) 2017: 269-285 - [i3]Christel Baier, Joachim Klein, Sascha Klüppelholz, Sascha Wunderlich:
Maximizing the Conditional Expected Reward for Reaching the Goal. CoRR abs/1701.05389 (2017) - 2016
- [c28]Christel Baier, Sascha Klüppelholz, Hermann de Meer, Florian Niedermeier, Sascha Wunderlich:
Greener Bits: Formal Analysis of Demand Response. ATVA 2016: 323-339 - [c27]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: 122-139 - [c26]Christel Baier, Stefan Kiefer, Joachim Klein, Sascha Klüppelholz, David Müller, James Worrell:
Markov Chains and Unambiguous Büchi Automata. CAV (1) 2016: 23-42 - [c25]Philipp Chrszon, Clemens Dubslaff, Sascha Klüppelholz, Christel Baier:
Family-Based Modeling and Analysis for Probabilistic Systems - Featuring ProFeat. FASE 2016: 287-304 - [c24]Daniel Gburek, Christel Baier, Sascha Klüppelholz:
Composition of Stochastic Transition Systems Based on Spans and Couplings. ICALP 2016: 102:1-102:15 - [c23]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: 349-366 - [i2]Christel Baier, Stefan Kiefer, Joachim Klein, Sascha Klüppelholz, David Müller, James Worrell:
Markov Chains and Unambiguous Büchi Automata. CoRR abs/1605.00950 (2016) - 2015
- [j6]Joachim Klein, Christel Baier, Sascha Klüppelholz:
Compositional construction of most general controllers. Acta Informatica 52(4-5): 443-482 (2015) - [j5]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): 258-287 (2015) - [j4]Clemens Dubslaff, Christel Baier, Sascha Klüppelholz:
Probabilistic Model Checking for Feature-Oriented Systems. LNCS Trans. Aspect Oriented Softw. Dev. 12: 180-220 (2015) - 2014
- [j3]Christel Baier, Joachim Klein, Sascha Klüppelholz:
Synthesis of Reo Connectors for Strategies and Controllers. Fundam. Informaticae 130(1): 1-20 (2014) - [c22]Clemens Dubslaff, Sascha Klüppelholz, Christel Baier:
Probabilistic model checking for energy analysis in software product lines. MODULARITY 2014: 169-180 - [c21]Christel Baier, Clemens Dubslaff, Sascha Klüppelholz, Linda Leuschner:
Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking. Petri Nets 2014: 20-39 - [c20]Christel Baier, Clemens Dubslaff, Joachim Klein, Sascha Klüppelholz, Sascha Wunderlich:
Probabilistic Model Checking for Energy-Utility Analysis. Horizons of the Mind 2014: 96-123 - [c19]Christel Baier, Clemens Dubslaff, Sascha Klüppelholz:
Trade-off analysis meets probabilistic model checking. CSL-LICS 2014: 1:1-1:10 - [c18]Christel Baier, Joachim Klein, Sascha Klüppelholz, Sascha Wunderlich:
Weight monitoring with linear temporal logic: complexity and decidability. CSL-LICS 2014: 11:1-11:10 - [c17]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: 1-16 - [c16]Joachim Klein, David Müller, Christel Baier, Sascha Klüppelholz:
Are Good-for-Games Automata Good for Probabilistic Model Checking? LATA 2014: 453-465 - [c15]Christel Baier, Marcus Daum, Clemens Dubslaff, Joachim Klein, Sascha Klüppelholz:
Energy-Utility Quantiles. NASA Formal Methods 2014: 285-299 - [c14]Christel Baier, Joachim Klein, Sascha Klüppelholz, Steffen Märcker:
Computing Conditional Probabilities in Markovian Models Efficiently. TACAS 2014: 515-530 - 2013
- [c13]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: 307-321 - [i1]Clemens Dubslaff, Sascha Klüppelholz, Christel Baier:
Probabilistic Model Checking for Energy Analysis in Software Product Lines. CoRR abs/1312.7758 (2013) - 2012
- [b1]Sascha Klüppelholz:
Verification of Branching-Time and Alternating-Time Properties for Exogenous Coordination Models. Dresden University of Technology, 2012, pp. I-VIII, 1-164 - [c12]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: 47-62 - [c11]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: 156-166 - [p1]Sascha Klüppelholz:
Formale Verifikation von exogenen Koodinationsmodellen. Ausgezeichnete Informatikdissertationen 2012: 171-180 - 2011
- [c10]Christel Baier, Joachim Klein, Sascha Klüppelholz:
A Compositional Framework for Controller Synthesis. CONCUR 2011: 512-527 - [c9]Joachim Klein, Sascha Klüppelholz, Andries Stam, Christel Baier:
Hierarchical Modeling and Formal Verification. An Industrial Case Study Using Reo and Vereofy. FMICS 2011: 228-243 - [c8]Christel Baier, Joachim Klein, Sascha Klüppelholz:
Modeling and Verification of Components and Connectors. SFM 2011: 114-147 - 2010
- [j2]Sascha Klüppelholz, Christel Baier:
Alternating-time stream logic for multi-agent systems. Sci. Comput. Program. 75(6): 398-425 (2010) - [c7]Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klüppelholz, Wolfgang Leister:
Design and Verification of Systems with Exogenous Coordination Using Vereofy. ISoLA (2) 2010: 97-111
2000 – 2009
- 2009
- [j1]Sascha Klüppelholz, Christel Baier:
Symbolic model checking for channel-based component connectors. Sci. Comput. Program. 74(9): 688-701 (2009) - [c6]Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klüppelholz:
A Uniform Framework for Modeling and Verifying Components and Connectors. COORDINATION 2009: 247-267 - [c5]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: 41-69 - [c4]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. TTSS 2009: 33-48 - 2008
- [c3]Sascha Klüppelholz, Christel Baier:
Alternating-Time Stream Logic for Multi-agent Systems. COORDINATION 2008: 184-198 - [c2]Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klüppelholz:
Formal Verification for Components and Connectors. FMCO 2008: 82-101 - 2006
- [c1]Sascha Klüppelholz, Christel Baier:
Symbolic Model Checking for Channel-based Component Connectors. FOCLASA 2006: 19-37
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-30 21:30 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
