Formal Verification for Components and Connectors. - Christel Baier; Tobias Blechmann 001; Joachim Klein 001; Sascha Klüppelholz (FMCO, 2008)

A Uniform Framework for Modeling and Verifying Components and Connectors. - Christel Baier; Tobias Blechmann 001; Joachim Klein 001; Sascha Klüppelholz (COORDINATION, 2009)

The Credo Methodology - (Extended Version). - Immo Grabe; Mohammad Mahdi Jaghoori; Joachim Klein 001; Sascha Klüppelholz; Andries Stam; Christel Baier; Tobias Blechmann 001; Bernhard K. Aichernig; Frank S. de Boer; Andreas Griesmayer (FMCO, 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 001; Frank S. de Boer; Andreas Griesmayer; Einar Broch Johnsen; Joachim Klein 001; Sascha Klüppelholz; Marcel Kyas; Wolfgang Leister; et al. (TTSS, 2009)

Symbolic model checking for channel-based component connectors. - Sascha Klüppelholz; Christel Baier (Sci. Comput. Program., 2009)

Design and Verification of Systems with Exogenous Coordination Using Vereofy. - Christel Baier; Tobias Blechmann 001; Joachim Klein 001; Sascha Klüppelholz; Wolfgang Leister (ISoLA (2), 2010)

Alternating-time stream logic for multi-agent systems. - Sascha Klüppelholz; Christel Baier (Sci. Comput. Program., 2010)

A Compositional Framework for Controller Synthesis. - Christel Baier; Joachim Klein 001; Sascha Klüppelholz (CONCUR, 2011)

Hierarchical Modeling and Formal Verification. An Industrial Case Study Using Reo and Vereofy. - Joachim Klein 001; Sascha Klüppelholz; Andries Stam; Christel Baier (FMICS, 2011)

Modeling and Verification of Components and Connectors. - Christel Baier; Joachim Klein 001; Sascha Klüppelholz (SFM, 2011)

Verification of Branching-Time and Alternating-Time Properties for Exogenous Coordination Models. - Sascha Klüppelholz (2012)

Waiting for Locks: How Long Does It Usually Take? - Christel Baier; Marcus Daum; Benjamin Engel; Hermann Härtig; Joachim Klein 001; Sascha Klüppelholz; Steffen Märcker; Hendrik Tews; Marcus Völp (FMICS, 2012)

Formale Verifikation von exogenen Koodinationsmodellen. - Sascha Klüppelholz (Ausgezeichnete Informatikdissertationen, 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 001; Sascha Klüppelholz; Steffen Märcker; Hendrik Tews; Marcus Völp (SSV, 2012)

A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select. - Christel Baier; Benjamin Engel; Sascha Klüppelholz; Steffen Märcker; Hendrik Tews; Marcus Völp (NASA Formal Methods, 2013)

Probabilistic model checking for energy analysis in software product lines. - Clemens Dubslaff; Sascha Klüppelholz; Christel Baier (MODULARITY, 2014)

Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking. - Christel Baier; Clemens Dubslaff; Sascha Klüppelholz; Linda Leuschner (Petri Nets, 2014)

Probabilistic Model Checking for Energy-Utility Analysis. - Christel Baier; Clemens Dubslaff; Joachim Klein 001; Sascha Klüppelholz; Sascha Wunderlich (Horizons of the Mind, 2014)

Trade-off analysis meets probabilistic model checking. - Christel Baier; Clemens Dubslaff; Sascha Klüppelholz (CSL-LICS, 2014)

Weight monitoring with linear temporal logic: complexity and decidability. - Christel Baier; Joachim Klein 001; Sascha Klüppelholz; Sascha Wunderlich (CSL-LICS, 2014)

Probabilistic Model Checking and Non-standard Multi-objective Reasoning. - Christel Baier; Clemens Dubslaff; Sascha Klüppelholz; Marcus Daum; Joachim Klein 001; Steffen Märcker; Sascha Wunderlich (FASE, 2014)

Are Good-for-Games Automata Good for Probabilistic Model Checking? - Joachim Klein 001; David Müller 001; Christel Baier; Sascha Klüppelholz (LATA, 2014)

Energy-Utility Quantiles. - Christel Baier; Marcus Daum; Clemens Dubslaff; Joachim Klein 001; Sascha Klüppelholz (NASA Formal Methods, 2014)

Computing Conditional Probabilities in Markovian Models Efficiently. - Christel Baier; Joachim Klein 001; Sascha Klüppelholz; Steffen Märcker (TACAS, 2014)

Synthesis of Reo Connectors for Strategies and Controllers. - Christel Baier; Joachim Klein 001; Sascha Klüppelholz (Fundam. Informaticae, 2014)

Compositional construction of most general controllers. - Joachim Klein 001; Christel Baier; Sascha Klüppelholz (Acta Informatica, 2015)

Locks: Picking key methods for a scalable quantitative analysis. - Christel Baier; Marcus Daum; Benjamin Engel; Hermann Härtig; Joachim Klein 001; Sascha Klüppelholz; Steffen Märcker; Hendrik Tews; Marcus Völp (J. Comput. Syst. Sci., 2015)

Probabilistic Model Checking for Feature-Oriented Systems. - Clemens Dubslaff; Christel Baier; Sascha Klüppelholz (LNCS Trans. Aspect Oriented Softw. Dev., 2015)

Greener Bits: Formal Analysis of Demand Response. - Christel Baier; Sascha Klüppelholz; Hermann de Meer; Florian Niedermeier; Sascha Wunderlich (ATVA, 2016)

Modeling Role-Based Systems with Exogenous Coordination. - Philipp Chrszon; Clemens Dubslaff; Christel Baier; Joachim Klein 001; Sascha Klüppelholz (Theory and Practice of Formal Methods, 2016)

Markov Chains and Unambiguous Büchi Automata. - Christel Baier; Stefan Kiefer; Joachim Klein 001; Sascha Klüppelholz; David Müller 001; James Worrell 001 (CAV (1), 2016)

Family-Based Modeling and Analysis for Probabilistic Systems - Featuring ProFeat. - Philipp Chrszon; Clemens Dubslaff; Sascha Klüppelholz; Christel Baier (FASE, 2016)

Composition of Stochastic Transition Systems Based on Spans and Couplings. - Daniel Gburek; Christel Baier; Sascha Klüppelholz (ICALP, 2016)

Advances in Symbolic Probabilistic Model Checking with PRISM. - Joachim Klein 001; Christel Baier; Philipp Chrszon; Marcus Daum; Clemens Dubslaff; Sascha Klüppelholz; Steffen Märcker; David Müller 001 (TACAS, 2016)

Towards Automated Variant Selection for Heterogeneous Tiled Architectures. - Christel Baier; Sascha Klüppelholz; Sascha Wunderlich (Models, Algorithms, Logics and Tools, 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 (HotOS, 2017)

Computing Conditional Probabilities: Implementation and Evaluation. - Steffen Märcker; Christel Baier; Joachim Klein 001; Sascha Klüppelholz (SEFM, 2017)

Maximizing the Conditional Expected Reward for Reaching the Goal. - Christel Baier; Joachim Klein 001; Sascha Klüppelholz; Sascha Wunderlich (TACAS (2), 2017)

Energy-Utility Analysis of Probabilistic Systems with Exogenous Coordination. - Christel Baier; Philipp Chrszon; Clemens Dubslaff; Joachim Klein 001; Sascha Klüppelholz (It's All About Coordination, 2018)

Formal Parameter Synthesis for Energy-Utility-Optimal Fault Tolerance. - Linda Herrmann; Christel Baier; Christof Fetzer; Sascha Klüppelholz; Markus Napierkowski (EPEW, 2018)

ProFeat: feature-oriented engineering for family-based probabilistic model checking. - Philipp Chrszon; Clemens Dubslaff; Sascha Klüppelholz; Christel Baier (Formal Aspects Comput., 2018)

Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata. - Joachim Klein 001; Christel Baier; Philipp Chrszon; Marcus Daum; Clemens Dubslaff; Sascha Klüppelholz; Steffen Märcker; David Müller 001 (Int. J. Softw. Tools Technol. Transf., 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; et al. (IEEE Trans. Multi Scale Comput. Syst., 2018)

Performance Evaluation of Thermal-Constrained Scheduling Strategies in Multi-core Systems. - Muhammad Usama Sardar; Clemens Dubslaff; Sascha Klüppelholz; Christel Baier; Akash Kumar 001 (EPEW, 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)

Components in Probabilistic Systems: Suitable by Construction. - Christel Baier; Clemens Dubslaff; Holger Hermanns; Michaela Klauck; Sascha Klüppelholz; Maximilian A. Köhl (ISoLA (1), 2020)

From features to roles. - Philipp Chrszon; Christel Baier; Clemens Dubslaff; Sascha Klüppelholz (SPLC (A), 2020)

Quantitative Characterization of Reconfigurable Transistor Logic Gates. - Michael Raitza; Steffen Märcker; Jens Trommer; Andre Heinzig; Sascha Klüppelholz; Christel Baier; Akash Kumar 001 (IEEE Access, 2020)

Tooling, Data and Results for "Components in Probabilistic Systems: Suitable by Construction". - Christel Baier; Clemens Dubslaff; Holger Hermanns; Michaela Klauck; Sascha Klüppelholz; Maximilian A. Köhl (Zenodo, 2020)

From Features to Roles, Artifact (SPLC2020). - Philipp Chrszon; Christel Baier; Clemens Dubslaff; Sascha Klüppelholz (Zenodo, 2020)

Determinization and Limit-Determinization of Emerson-Lei Automata. - Tobias John; Simon Jantsch; Christel Baier; Sascha Klüppelholz (ATVA, 2021)

Effectiveness of Pre-computed Knowledge in Self-adaptation - A Robustness Study. - Max Korn; Philipp Chrszon; Sascha Klüppelholz; Christel Baier; Sascha Wunderlich (EPEW, 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)

Interaction Detection in Configurable Systems - A Formal Approach Featuring Roles, Artifact. - Philipp Chrszon; Christel Baier; Clemens Dubslaff; Sascha Klüppelholz (Zenodo, 2022)

PMC-VIS: An Interactive Visualization Tool for Probabilistic Model Checking. - Max Korn; Julián Méndez 001; Sascha Klüppelholz; Ricardo Langner; Christel Baier; Raimund Dachselt (SEFM, 2023)

Interaction detection in configurable systems - A formal approach featuring roles. - Philipp Chrszon; Christel Baier; Clemens Dubslaff; Sascha Klüppelholz (J. Syst. Softw., 2023)

Interactive Visualization Meets Probabilistic Model Checking Artifact. - Max Korn; Julián Méndez 001; Sascha Klüppelholz; Ricardo Langner; Christel Baier; Raimund Dachselt (Zenodo, 2023)

Interactive Visualization Meets Probabilistic Model Checking Artifact. - Max Korn; Julián Méndez 001; Sascha Klüppelholz; Ricardo Langner; Christel Baier; Raimund Dachselt (Zenodo, 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., 2023)

Backward Responsibility in Transition Systems Using General Power Indices. - Christel Baier; Roxane van den Bossche; Sascha Klüppelholz; Johannes Lehmann 001; Jakob Piribauer (AAAI, 2024)

Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes - QEST 2024 Artefact. - Christel Baier; Calvin Chau; Sascha Klüppelholz (Zenodo, 2024)

Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes - QEST 2024 Artefact. - Christel Baier; Calvin Chau; Sascha Klüppelholz (Zenodo, 2024)

Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes - QEST 2024 Artefact. - Christel Baier; Calvin Chau; Sascha Klüppelholz (Zenodo, 2024)

Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes - Artefact - PEVA. - Christel Baier; Calvin Chau; Sascha Klüppelholz (Zenodo, 2024)

Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes - Artefact - PEVA. - Christel Baier; Calvin Chau; Sascha Klüppelholz (Zenodo, 2024)

Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes - Artefact - PEVA. - Christel Baier; Calvin Chau; Sascha Klüppelholz (Zenodo, 2024)

Formal Quality Measures for Predictors in Markov Decision Processes. - Christel Baier; Sascha Klüppelholz; Jakob Piribauer; Robin Ziemek (AAAI, 2025)

Responsibility in Actor-Based Systems. - Christel Baier; Sascha Klüppelholz; Johannes Lehmann 001 (Rebeca for Actor Analysis in Action, 2025)

Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains. - Timm Spork; Christel Baier; Joost-Pieter Katoen; Sascha Klüppelholz; Jakob Piribauer (CAV (2), 2025)

Backward Responsibility in Transition Systems Beyond Safety. - Christel Baier; Rio Klatt; Sascha Klüppelholz; Johannes Lehmann 001 (FMICS, 2025)

Certificates and witnesses for multi-objective queries in Markov decision processes. - Christel Baier; Calvin Chau; Sascha Klüppelholz (Perform. Evaluation, 2025)

Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes - Artefact - PEVA. - Christel Baier; Calvin Chau; Sascha Klüppelholz (Zenodo, 2025)