The Consistency of a Noninterleaving and an Interleaving Model for Full TCSP. - Christel Baier; Mila E. Majster-Cederbaum (FCT, 1991)

The Connection between an Event Structure Semantics and an Operational Semantics for TCSP. - Christel Baier; Mila E. Majster-Cederbaum (Acta Informatica, 1994)

Denotational Semantics in the CPO and Metric Approach. - Christel Baier; Mila E. Majster-Cederbaum (Theor. Comput. Sci., 1994)

A Categorical Characterization of Consistency Results. - Christel Baier; Mila E. Majster-Cederbaum (AMAST, 1996)

Polynomial Time Algorithms for Testing Probabilistic Bisimulation and Simulation. - Christel Baier (CAV, 1996)

Denotational Linear Time Semantics and Sequential Composition. - Christel Baier; Mila E. Majster-Cederbaum (Inf. Process. Lett., 1996)

Metric Completion versus Ideal Completion. - Mila E. Majster-Cederbaum; Christel Baier (Theor. Comput. Sci., 1996)

Weak Bisimulation for Fully Probabilistic Processes. - Christel Baier; Holger Hermanns (FBT, 1997)

Symbolic Model Checking for Probabilistic Processes. - Christel Baier; Edmund M. Clarke; Vasiliki Hartonas-Garmhausen; Marta Z. Kwiatkowska; Mark Ryan 001 (ICALP, 1997)

Automatic Verification of Liveness Properties of Randomized Systems. - Christel Baier; Marta Z. Kwiatkowska (PODC, 1997)

Metric Semantics from Partial Order Semantics. - Christel Baier; Mila E. Majster-Cederbaum (Acta Informatica, 1997)

Domain equations for probabilistic processes. - Christel Baier; Marta Z. Kwiatkowska (EXPRESS, 1997)

The Connection Between Initial and Unique Solutions of Domain Equations in the Partial Order and Metric Approach. - Christel Baier; Mila E. Majster-Cederbaum (Formal Aspects Comput., 1997)

How to Interpret and Establish Consistency Results for Semantics of Concurrent Programming Languages. - Christel Baier; Mila E. Majster-Cederbaum (Fundam. Informaticae, 1997)

Trees and Semantics. - Christel Baier (Theor. Comput. Sci., 1997)

Model Checking for a Probabilistic Branching Time Logic with Fairness. - Christel Baier; Marta Z. Kwiatkowska (Distributed Comput., 1998)

On the Semantic Foundations of Probabilistic Synchronous Reactive Programs. - Christel Baier; Edmund M. Clarke; Vasiliki Hartonas-Garmhausen (PROBMIV, 1998)

Preface. - Christel Baier; Michael Huth 001; Marta Z. Kwiatkowska; Mark Ryan 001 (PROBMIV, 1998)

Computing Probability Bounds for Linear Time Formulas over Concurrent Probabilistic Systems. - Christel Baier; Marta Z. Kwiatkowska; Gethin Norman (PROBMIV, 1998)

On the Verification of Qualitative Properties of Probabilistic Processes under Fairness Constraints. - Christel Baier; Marta Z. Kwiatkowska (Inf. Process. Lett., 1998)

Establishing Qualitative Properties for Probabilistic Lossy Channel Systems: An Algorithmic Approach. - Christel Baier; Bettina Engelen (ARTS, 1999)

Approximate Symbolic Model Checking of Continuous-Time Markov Chains. - Christel Baier; Joost-Pieter Katoen; Holger Hermanns (CONCUR, 1999)

Model Checking Continuous-Time Markov Chains by Transient Analysis. - Christel Baier; Boudewijn R. Haverkort; Holger Hermanns; Joost-Pieter Katoen (CAV, 2000)

Reasoning about Probabilistic Lossy Channel Systems. - Parosh Aziz Abdulla; Christel Baier; S. Purushothaman Iyer; Bengt Jonsson 001 (CONCUR, 2000)

Norm Functions for Probabilistic Bisimulations with Delays. - Christel Baier; Mariëlle Stoelinga (FoSSaCS, 2000)

On the Logical Characterisation of Performability Properties. - Christel Baier; Boudewijn R. Haverkort; Holger Hermanns; Joost-Pieter Katoen (ICALP, 2000)

On Topological Hierarchies of Temporal Properties. - Christel Baier; Marta Z. Kwiatkowska (Fundam. Informaticae, 2000)

Deciding Bisimilarity and Similarity for Probabilistic Processes. - Christel Baier; Bettina Engelen; Mila E. Majster-Cederbaum (J. Comput. Syst. Sci., 2000)

Model Checking with Formula-Dependent Abstract Models. - Alexander Asteroth; Christel Baier; Ulrich Aßmann (CAV, 2001)

Metric semantics for true concurrent real time. - Joost-Pieter Katoen; Christel Baier; Diego Latella (Theor. Comput. Sci., 2001)

Theoretische Informatik - eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen. - Alexander Asteroth; Christel Baier (Pearson Studium, 2002)

Simulation for Continuous-Time Markov Chains. - Christel Baier; Joost-Pieter Katoen; Holger Hermanns; Boudewijn R. Haverkort (CONCUR, 2002)

Model Checking Performability Properties. - Boudewijn R. Haverkort; Lucia Cloth; Holger Hermanns; Joost-Pieter Katoen; Christel Baier (DSN, 2002)

Automated Performance and Dependability Evaluation Using Model Checking. - Christel Baier; Boudewijn R. Haverkort; Holger Hermanns; Joost-Pieter Katoen (Performance, 2002)

Comparative Branching-Time Semantics. - Christel Baier; Holger Hermanns; Joost-Pieter Katoen; Verena Wolf (CONCUR, 2003)

Modeling Component Connectors in Reo by Constraint Automata: (Extended Abstract). - Farhad Arbab; Christel Baier; Jan J. M. M. Rutten; Marjan Sirjani (FOCLASA, 2003)

Model-Checking Algorithms for Continuous-Time Markov Chains. - Christel Baier; Boudewijn R. Haverkort; Holger Hermanns; Joost-Pieter Katoen (IEEE Trans. Software Eng., 2003)

Model Checking Action- and State-Labelled Markov Chains. - Christel Baier; Lucia Cloth; Boudewijn R. Haverkort; Matthias Kuntz; Markus Siegle (DSN, 2004)

Controller Synthesis for Probabilistic Systems. - Christel Baier; Marcus Größer; Martin Leucker; Benedikt Bollig; Frank Ciesinski (IFIP TCS, 2004)

PROBMELA: a modeling language for communicating probabilistic processes. - Christel Baier; Frank Ciesinski; Marcus Größer (MEMOCODE, 2004)

Partial Order Reduction for Probabilistic Systems. - Christel Baier; Marcus Größer; Frank Ciesinski (QEST, 2004)

Models and Temporal Logics for Timed Component Connectors. - Farhad Arbab; Christel Baier; Frank S. de Boer; Jan J. M. M. Rutten (SEFM, 2004)

Probabilistic weak simulation is decidable in polynomial time. - Christel Baier; Holger Hermanns; Joost-Pieter Katoen (Inf. Process. Lett., 2004)

Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications. - Farhad Arbab; Christel Baier; Frank S. de Boer; Jan J. M. M. Rutten; Marjan Sirjani (COORDINATION, 2005)

Partial Order Reduction for Markov Decision Processes: A Survey. - Marcus Größer; Christel Baier (FMCO, 2005)

Quantitative analysis of distributed randomized protocols. - Christel Baier; Frank Ciesinski; Marcus Größer (FMICS, 2005)

Genetic Algorithms for the Variable Ordering Problem of Binary Decision Diagrams. - Wolfgang Lenders; Christel Baier (FOGA, 2005)

Recognizing omega-regular Languages with Probabilistic Automata. - Christel Baier; Marcus Größer (LICS, 2005)

Experiments with Deterministic omega-Automata for Formulas of Linear Temporal Logic. - Joachim Klein 001; Christel Baier (CIAA, 2005)

Verifying nondeterministic probabilistic channel systems against $ omega$-regular linear-time properties - Christel Baier; Nathalie Bertrand 001; Philippe Schnoebelen (CoRR, 2005)

Partial Order Reduction for Probabilistic Branching Time. - Christel Baier; Pedro R. D'Argenio; Marcus Größer (QAPL, 2005)

Bisimulation and Simulation Relations for Markov Chains. - Christel Baier; Holger Hermanns; Joost-Pieter Katoen; Verena Wolf (APC 25, 2005)

Symbolic Reasoning with Weighted and Normalized Decision Diagrams. - Jörn Ossowski; Christel Baier (Calculemus, 2005)

Trace Machines for Observing Continuous-Time Markov Chains. - Verena Wolf; Christel Baier; Mila E. Majster-Cederbaum (QAPL, 2005)

Simulating perfect channels with probabilistic lossy channels. - Parosh Aziz Abdulla; Christel Baier; S. Purushothaman Iyer; Bengt Jonsson 001 (Inf. Comput., 2005)

Comparative branching-time semantics for Markov chains. - Christel Baier; Joost-Pieter Katoen; Holger Hermanns; Verena Wolf (Inf. Comput., 2005)

Probabilistic Models for Reo Connector Circuits. - Christel Baier (J. Univers. Comput. Sci., 2005)

ProbMela and verification of Markov decision processes. - Christel Baier; Frank Ciesinski; Marcus Größer (SIGMETRICS Perform. Evaluation Rev., 2005)

Model checking meets performance evaluation. - Christel Baier; Boudewijn R. Haverkort; Holger Hermanns; Joost-Pieter Katoen (SIGMETRICS Perform. Evaluation Rev., 2005)

Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes. - Christel Baier; Holger Hermanns; Joost-Pieter Katoen; Boudewijn R. Haverkort (Theor. Comput. Sci., 2005)

Stochastic Reasoning About Channel-Based Component Connectors. - Christel Baier; Verena Wolf (COORDINATION, 2006)

Compositional Semantics of an Actor-Based Language Using Constraint Automata. - Marjan Sirjani; Mohammad Mahdi Jaghoori; Christel Baier; Farhad Arbab (COORDINATION, 2006)

Symbolic Verification of Communicating Systems with Probabilistic Message Losses: Liveness and Fairness. - Christel Baier; Nathalie Bertrand 001; Philippe Schnoebelen (FORTE, 2006)

On Reduction Criteria for Probabilistic Reward Models. - Marcus Größer; Gethin Norman; Christel Baier; Frank Ciesinski; Marta Z. Kwiatkowska; David Parker 001 (FSTTCS, 2006)

On Computing Fixpoints in Well-Structured Regular Model Checking, with Applications to Lossy Channel Systems. - Christel Baier; Nathalie Bertrand 001; Philippe Schnoebelen (LPAR, 2006)

LiQuor: A tool for Qualitative and Quantitative Linear Time analysis of Reactive Systems. - Frank Ciesinski; Christel Baier (QEST, 2006)

Trace Semantics for Stochastic Systems with Nondeterminism. - Verena Wolf; Christel Baier; Mila E. Majster-Cederbaum (QAPL, 2006)

A note on the attractor-property of infinite-state Markov chains. - Christel Baier; Nathalie Bertrand 001; Philippe Schnoebelen (Inf. Process. Lett., 2006)

Modeling component connectors in Reo by constraint automata. - Christel Baier; Marjan Sirjani; Farhad Arbab; Jan J. M. M. Rutten (Sci. Comput. Program., 2006)

Experiments with deterministic omega-automata for formulas of linear temporal logic. - Joachim Klein 001; Christel Baier (Theor. Comput. Sci., 2006)

Probabilistic and Topological Semantics for Timed Automata. - Christel Baier; Nathalie Bertrand 001; Patricia Bouyer; Thomas Brihaye; Marcus Größer (FSTTCS, 2007)

Syanco 2007: international workshop on synthesis and analysis of component connectors. - Farhad Arbab; Christel Baier (ESEC/SIGSOFT FSE, 2007)

On-the-Fly Stuttering in the Construction of Deterministic omega -Automata. - Joachim Klein 001; Christel Baier (CIAA, 2007)

Checking Equivalence for Reo Networks. - Tobias Blechmann 001; Christel Baier (FACS, 2007)

Models and temporal logical specifications for timed component connectors. - Farhad Arbab; Christel Baier; Frank S. de Boer; Jan J. M. M. Rutten (Softw. Syst. Model., 2007)

Verifying nondeterministic probabilistic channel systems against ω-regular linear-time properties. - Christel Baier; Nathalie Bertrand 001; Philippe Schnoebelen (ACM Trans. Comput. Log., 2007)

Model Checking Markov Chains with Actions and State Labels. - Christel Baier; Lucia Cloth; Boudewijn R. Haverkort; Matthias Kuntz; Markus Siegle (IEEE Trans. Software Eng., 2007)

Principles of model checking. - Christel Baier; Joost-Pieter Katoen (MIT Press, 2008)

Reachability in continuous-time Markov reward decision processes. - Christel Baier; Boudewijn R. Haverkort; Holger Hermanns; Joost-Pieter Katoen (Logic and Automata, 2008)

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

On Decision Problems for Probabilistic Büchi Automata. - Christel Baier; Nathalie Bertrand 001; Marcus Größer (FoSSaCS, 2008)

Almost-Sure Model Checking of Infinite Paths in One-Clock Timed Automata. - Christel Baier; Nathalie Bertrand 001; Patricia Bouyer; Thomas Brihaye; Marcus Größer (LICS, 2008)

Reduction Techniques for Model Checking Markov Decision Processes. - Frank Ciesinski; Christel Baier; Marcus Größer; Joachim Klein 001 (QEST, 2008)

Generating Compact MTBDD-Representations from ProbmelaSpecifications. - Frank Ciesinski; Christel Baier; Marcus Größer; David Parker 001 (SPIN, 2008)

Preface. - Alessandro Aldini; Christel Baier (QAPL, 2008)

Synthesis of Reo Circuits from Scenario-based Specifications. - Farhad Arbab; Sun Meng; Christel Baier (FOCLASA@ICALP, 2008)

Special issue: CONCUR 2006. - Christel Baier; Holger Hermanns (Inf. Comput., 2008)

A uniform framework for weighted decision diagrams and its implementation. - Jörn Ossowski; Christel Baier (Int. J. Softw. Tools Technol. Transf., 2008)

Quantitative Analysis under Fairness Constraints. - Christel Baier; Marcus Größer; Frank Ciesinski (ATVA, 2009)

The Effect of Tossing Coins in Omega-Automata. - Christel Baier; Nathalie Bertrand 001; Marcus Größer (CONCUR, 2009)

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)

Recurrence and Transience for Probabilistic Automata. - Mathieu Tracol; Christel Baier; Marcus Größer (FSTTCS, 2009)

When Are Timed Automata Determinizable? - Christel Baier; Nathalie Bertrand 001; Patricia Bouyer; Thomas Brihaye (ICALP (2), 2009)

Probabilistic Acceptors for Languages over Infinite Words. - Christel Baier; Nathalie Bertrand 001; Marcus Größer (SOFSEM, 2009)

Probabilistic Automata over Infinite Words: Expressiveness, Efficiency, and Decidability - Christel Baier; Nathalie Bertrand 001; Marcus Größer (DCFS, 2009)

Preface. - Christel Baier; Alessandra Di Pierro (QAPL, 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)

10031 Abstracts Collection - Quantitative Models: Expressiveness and Analysis. - Christel Baier; Manfred Droste; Paul Gastin; Kim Guldstrand Larsen (Quantitative Models: Expressiveness and Analysis, 2010)

10031 Executive Summary - Quantitative Models: Expressiveness and Analysis. - Christel Baier; Manfred Droste; Paul Gastin; Kim Guldstrand Larsen (Quantitative Models: Expressiveness and Analysis, 2010)

On Model Checking Techniques for Randomized Distributed Systems. - Christel Baier (IFM, 2010)

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)

Performance evaluation and model checking join forces. - Christel Baier; Boudewijn R. Haverkort; Holger Hermanns; Joost-Pieter Katoen (Commun. ACM, 2010)

Performability assessment by model checking of Markov reward models. - Christel Baier; Lucia Cloth; Boudewijn R. Haverkort; Holger Hermanns; Joost-Pieter Katoen (Formal Methods Syst. Des., 2010)

Partially-shared zero-suppressed multi-terminal BDDs: concept, algorithms and applications. - Kai Lampka; Markus Siegle; Jörn Ossowski; Christel Baier (Formal Methods Syst. Des., 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)

Synthesis of Reo circuits from scenario-based interaction specifications. - Sun Meng; Farhad Arbab; Christel Baier (Sci. Comput. Program., 2011)

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)

Rare-event verification for stochastic hybrid systems. - Paolo Zuliani; Christel Baier; Edmund M. Clarke (HSCC, 2012)

Static Partial Order Reduction for Probabilistic Concurrent Systems. - Álvaro Fernández Díaz; Christel Baier; Clara Benac Earle; Lars-Åke Fredlund (QEST, 2012)

Stochastic game logic. - Christel Baier; Tomás Brázdil; Marcus Größer; Antonín Kucera 001 (Acta Informatica, 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)

Model checking probabilistic systems against pushdown specifications. - Clemens Dubslaff; Christel Baier; Manuela Berg (Inf. Process. Lett., 2012)

Probabilistic ω-automata. - Christel Baier; Marcus Größer; Nathalie Bertrand 001 (J. ACM, 2012)

Quantitative Analysis of Randomized Distributed Systems and Probabilistic Automata. - Christel Baier (CAI, 2013)

Computing Quantiles in Markov Reward Models. - Michael Ummels; Christel Baier (FoSSaCS, 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 (NASA Formal Methods, 2013)

Distributed wait state tracking for runtime MPI deadlock detection. - Tobias Hilbrich; Bronis R. de Supinski; Wolfgang E. Nagel; Joachim Protze; Christel Baier; Matthias S. Müller (SC, 2013)

Preface to the special issue on Probabilistic Model Checking. - Christel Baier; Marta Z. Kwiatkowska (Formal Methods Syst. Des., 2013)

Model checking for performability. - Christel Baier; Ernst Moritz Hahn; Boudewijn R. Haverkort; Holger Hermanns; Joost-Pieter Katoen (Math. Struct. Comput. Sci., 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)

Stochastic Timed Automata. - Nathalie Bertrand 001; Patricia Bouyer; Thomas Brihaye; Quentin Menet; Christel Baier; Marcus Größer; Marcin Jurdzinski (Log. Methods Comput. Sci., 2014)

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

Quantitative Analysis of Communication Scenarios. - Clemens Dubslaff; Christel Baier (FORMATS, 2015)

Ratio and Weight Quantiles. - Daniel Krähmann; Jana Schubert; Christel Baier; Clemens Dubslaff (MFCS (1), 2015)

Reasoning About Cost-Utility Constraints in Probabilistic Models. - Christel Baier (RP, 2015)

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)

Cost-Utility Analysis in Probabilistic Models. - Christel Baier (TASE, 2016)

Probabilistic Model Checking. - Christel Baier (Dependable Software Systems Engineering, 2016)

Synthesis of Optimal Resilient Control Strategies. - Christel Baier; Clemens Dubslaff; Lubos Korenciak; Antonín Kucera 001; Vojtech Rehák (ATVA, 2017)

Towards Automated Variant Selection for Heterogeneous Tiled Architectures. - Christel Baier; Sascha Klüppelholz; Sascha Wunderlich (Models, Algorithms, Logics and Tools, 2017)

Delayed-Choice Semantics for Pomset Families and Message Sequence Graphs. - Clemens Dubslaff; Christel Baier (ModelEd, TestEd, TrustEd, 2017)

Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes. - Christel Baier; Joachim Klein 001; Linda Leuschner; David Parker 001; Sascha Wunderlich (CAV (1), 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)

Special issue of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015). - Christel Baier; Cesare Tinelli (Acta Informatica, 2017)

Synthesis of Optimal Resilient Control Strategies. - Christel Baier; Clemens Dubslaff; Lubos Korenciak; Vojtech Rehák (CoRR, 2017)

Parametric Markov Chains: PCTL Complexity and Fraction-free Gaussian Elimination. - Lisa Hutschenreiter; Christel Baier; Joachim Klein 001 (GandALF, 2017)

Some advances in tools and algorithms for the construction and analysis of systems. - Christel Baier; Cesare Tinelli (Int. J. Softw. Tools Technol. Transf., 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)

Bisimulations, logics, and trace distributions for stochastic systems with rewards. - Daniel Gburek; Christel Baier (HSCC, 2018)

Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes. - Christel Baier; Nathalie Bertrand 001; Clemens Dubslaff; Daniel Gburek; Ocan Sankur (LICS, 2018)

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

Decision making improves sperm chemotaxis in the presence of noise. - Justus A. Kromer; Steffen Märcker; Steffen Lange; Christel Baier; Benjamin M. Friedrich (PLoS Comput. Biol., 2018)

From verification to synthesis under cost-utility constraints. - Christel Baier; Clemens Dubslaff (ACM SIGLOG News, 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)

Model Checking Probabilistic Systems. - Christel Baier; Luca de Alfaro; Vojtech Forejt; Marta Kwiatkowska (Handbook of Model Checking, 2018)

Generic Emptiness Check for Fun and Profit. - Christel Baier; Frantisek Blahoudek; Alexandre Duret-Lutz; Joachim Klein 001; David Müller 001; Jan Strejcek (ATVA, 2019)

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)

Partial and Conditional Expectations in Markov Decision Processes with Integer Weights. - Jakob Piribauer; Christel Baier (FoSSaCS, 2019)

Long-run Satisfaction of Path Properties. - Christel Baier; Nathalie Bertrand 001; Jakob Piribauer; Ocan Sankur (LICS, 2019)

Breaking the Limits of Redundancy Systems Analysis. - Clemens Dubslaff; Kai Ding 001; Andrey Morozov 001; Christel Baier; Klaus Janschek (CoRR, 2019)

EATCS Fellows 2020 - Call for Nominations. - Christel Baier; Mikolaj Bojanczyk; Mariangiola Dezani; Josep Díaz; Giuseppe F. Italiano (Bull. EATCS, 2019)

Architecture and Advanced Electronics Pathways Toward Highly Adaptive Energy- Efficient Computing. - Gerhard P. Fettweis; Meik Dorpinghaus; Jerónimo Castrillón; Akash Kumar 001; Christel Baier; Karlheinz Bock; Frank Ellinger; Andreas Fery; Frank H. P. Fitzek; Hermann Härtig; Kambiz Jamshidi; Thomas Kissinger; et al. (Proc. IEEE, 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)

Mean-payoff Optimization in Continuous-time Markov Chains with Parametric Alarms. - Christel Baier; Clemens Dubslaff; Lubos Korenciak; Antonín Kucera 001; Vojtech Rehák (ACM Trans. Model. Comput. Simul., 2019)

The 10, 000 Facets of MDP Model Checking. - Christel Baier; Holger Hermanns; Joost-Pieter Katoen (Computing and Software Science, 2019)

Minimal Witnesses for Probabilistic Timed Automata. - Simon Jantsch; Florian Funke 002; Christel Baier (ATVA, 2020)

Switss: Computing Small Witnessing Subsystems. - Simon Jantsch; Hans Harder; Florian Funke 002; Christel Baier (FMCAD, 2020)

Reachability in Dynamical Systems with Rounding. - Christel Baier; Florian Funke 002; Simon Jantsch; Toghrul Karimov; Engel Lefaucheux; Joël Ouaknine; Amaury Pouly; David Purser; Markus A. Whiteland (FSTTCS, 2020)

On Skolem-Hardness and Saturation Points in Markov Decision Processes. - Jakob Piribauer; Christel Baier (ICALP, 2020)

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 Verification to Explanation (Track Introduction). - Christel Baier; Holger Hermanns (ISoLA (4), 2020)

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

Farkas Certificates and Minimal Witnesses for Probabilistic Reachability Constraints. - Florian Funke 002; Simon Jantsch; Christel Baier (TACAS (1), 2020)

Lab Conditions for Research on Explainable Automated Decisions. - Christel Baier; Maria Christakis; Timo P. Gros; David Groß; Stefan Gumhold; Holger Hermanns; Jörg Hoffmann 001; Michaela Klauck (TAILOR, 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)

On the probabilistic bisimulation spectrum with silent moves. - Christel Baier; Pedro R. D'Argenio; Holger Hermanns (Acta Informatica, 2020)

Reduction Methods on Probabilistic Control-flow Programs for Reliability Analysis. - Clemens Dubslaff; Andrey Morozov 001; Christel Baier; Klaus Janschek (CoRR, 2020)

Iterative Variable Reordering: Taming Huge System Families. - Clemens Dubslaff; Andrey Morozov 001; Christel Baier; Klaus Janschek (MARS@ETAPS, 2020)

EATCS Fellows 2021 - Call for Nominations. - Christel Baier; Mikolaj Bojanczyk; Mariangiola Dezani; Josep Díaz; Giuseppe F. Italiano (Bull. EATCS, 2020)

Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination. - Christel Baier; Christian Hensel; Lisa Hutschenreiter; Sebastian Junges; Joost-Pieter Katoen; Joachim Klein 001 (Inf. Comput., 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)

Responsibility Attribution in Parameterized Markovian Models. - Christel Baier; Florian Funke 002; Rupak Majumdar (AAAI, 2021)

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

Causality-Based Game Solving. - Christel Baier; Norine Coenen; Bernd Finkbeiner; Florian Funke 002; Simon Jantsch; Julian Siber (CAV (1), 2021)

The Orbit Problem for Parametric Linear Dynamical Systems. - Christel Baier; Florian Funke 002; Simon Jantsch; Toghrul Karimov; Engel Lefaucheux; Florian Luca; Joël Ouaknine; David Purser; Markus A. Whiteland; James Worrell 001 (CONCUR, 2021)

Quantified Linear Temporal Logic over Probabilistic Systems with an Application to Vacuity Checking. - Jakob Piribauer; Christel Baier; Nathalie Bertrand 001; Ocan Sankur (CONCUR, 2021)

From Verification to Causality-Based Explications (Invited Talk). - Christel Baier; Clemens Dubslaff; Florian Funke 002; Simon Jantsch; Rupak Majumdar; Jakob Piribauer; Robin Ziemek (ICALP, 2021)

A Game-Theoretic Account of Responsibility Allocation. - Christel Baier; Florian Funke 002; Rupak Majumdar (IJCAI, 2021)

Responsibility and verification: Importance value in temporal logics. - Corto Mascle; Christel Baier; Florian Funke 002; Simon Jantsch; Stefan Kiefer (LICS, 2021)

The Orbit Problem for Parametric Linear Dynamical Systems. - Christel Baier; Florian Funke 002; Simon Jantsch; Engel Lefaucheux; Florian Luca; Joël Ouaknine; David Purser; Markus A. Whiteland; James Worrell 001 (CoRR, 2021)

From Verification to Causality-based Explications. - Christel Baier; Clemens Dubslaff; Florian Funke 002; Simon Jantsch; Rupak Majumdar; Jakob Piribauer; Robin Ziemek (CoRR, 2021)

Witnessing Subsystems for Probabilistic Systems with Low Tree Width. - Simon Jantsch; Jakob Piribauer; Christel Baier (GandALF, 2021)

From LTL to unambiguous Büchi automata via disambiguation of alternating automata. - Simon Jantsch; David Müller 001; Christel Baier; Joachim Klein 001 (Formal Methods Syst. Des., 2021)

Operational Causality - Necessarily Sufficient and Sufficiently Necessary. - Christel Baier; Clemens Dubslaff; Florian Funke 002; Simon Jantsch; Jakob Piribauer; Robin Ziemek (A Journey from Process Algebra via Timed Automata to Model Learning, 2022)

On the Foundations of Cycles in Bayesian Networks. - Christel Baier; Clemens Dubslaff; Holger Hermanns; Nikolai Käfer (Principles of Systems Design, 2022)

Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications. - Christel Baier; Florian Funke 002; Simon Jantsch; Toghrul Karimov; Engel Lefaucheux; Joël Ouaknine; David Purser; Markus A. Whiteland; James Worrell 001 (CONCUR, 2022)

Effectiveness of Pre-computed Knowledge in Self-adaptation - A Robustness Study. - Max Korn; Philipp Chrszon; Sascha Klüppelholz; Christel Baier; Sascha Wunderlich (EPEW, 2022)

On probability-raising causality in Markov decision processes. - Christel Baier; Florian Funke 002; Jakob Piribauer; Robin Ziemek (FoSSaCS, 2022)

The Variance-Penalized Stochastic Shortest Path Problem. - Jakob Piribauer; Ocan Sankur; Christel Baier (ICALP, 2022)

Causality in Configurable Software Systems. - Clemens Dubslaff; Kallistos Weis; Christel Baier; Sven Apel (ICSE, 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)

Probabilistic causes in Markov chains. - Robin Ziemek; Jakob Piribauer; Florian Funke 002; Simon Jantsch; Christel Baier (Innov. Syst. Softw. Eng., 2022)

Admissibility in Probabilistic Argumentation. - Nikolai Käfer; Christel Baier; Martin Diller; Clemens Dubslaff; Sarah Alice Gaggl; Holger Hermanns (J. Artif. Intell. Res., 2022)

Magnifier: A Compositional Analysis Approach for Autonomous Traffic Control. - Maryam Bagheri 001; Marjan Sirjani; Ehsan Khamespanah; Christel Baier; Ali Movaghar 001 (IEEE Trans. Software Eng., 2022)

FeatCause - Sources and Data. - Clemens Dubslaff; Kallistos Weis; Christel Baier; Sven Apel (Zenodo, 2022)

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

A Unifying Formal Approach to Importance Values in Boolean Functions. - Hans Harder; Simon Jantsch; Christel Baier; Clemens Dubslaff (IJCAI, 2023)

More for Less: Safe Policy Improvement with Stronger Performance Guarantees. - Patrick Wienhöft; Marnix Suilen; Thiago D. Simão; Clemens Dubslaff; Christel Baier; Nils Jansen 001 (IJCAI, 2023)

Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access. - Christel Baier; Clemens Dubslaff; Patrick Wienhöft; Stefan J. Kiebel (NFM, 2023)

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)

Towards a Formal Account on Negative Latency. - Clemens Dubslaff; Jonas Schulz; Patrick Wienhöft; Christel Baier; Frank H. P. Fitzek; Stefan J. Kiebel; Johannes Lehmann 001 (AISoLA, 2023)

Counterfactual Causality for Reachability and Safety based on Distance Functions. - Julie Parreaux; Jakob Piribauer; Christel Baier (GandALF, 2023)

Markov chains and unambiguous automata. - Christel Baier; Stefan Kiefer; Joachim Klein 001; David Müller 001; James Worrell 001 (J. Comput. Syst. Sci., 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)

FeatCause - Sources and Data. - Clemens Dubslaff; Kallistos Weis; Christel Baier; Sven Apel (Zenodo, 2023)

Verification Column. - Christel Baier (ACM SIGLOG News, 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)

Model Checking Markov Chains as Distribution Transformers. - Rajab Aghamov; Christel Baier; Toghrul Karimov; Joris Nieuwveld; Joël Ouaknine; Jakob Piribauer; Mihir Vahanwala (Principles of Verification (2), 2024)

Risk-Averse Optimization of Total Rewards in Markovian Models Using Deviation Measures. - Christel Baier; Jakob Piribauer; Maximilian Starke (CONCUR, 2024)

A Spectrum of Approximate Probabilistic Bisimulations. - Timm Spork; Christel Baier; Joost-Pieter Katoen; Jakob Piribauer; Tim Quatmann (CONCUR, 2024)

Linear dynamical systems with continuous weight functions. - Rajab Aghamov; Christel Baier; Toghrul Karimov; Joël Ouaknine; Jakob Piribauer (HSCC, 2024)

Entropic risk for turn-based stochastic games. - Christel Baier; Krishnendu Chatterjee; Tobias Meggendorfer; Jakob Piribauer (Inf. Comput., 2024)

Foundations of probability-raising causality in Markov decision processes. - Christel Baier; Jakob Piribauer; Robin Ziemek (Log. Methods Comput. Sci., 2024)

Positivity-hardness results on Markov decision processes. - Jakob Piribauer; Christel Baier (TheoretiCS, 2024)

Feature causality. - Clemens Dubslaff; Kallistos Weis; Christel Baier; Sven Apel (J. Syst. Softw., 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)

Linear Temporal Logic with Standpoint Modalities (Invited Talk). - Christel Baier (CONCUR, 2025)

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

When to Sample from Feature Diagrams? - Nikolai Käfer; Sven Apel; Christel Baier; Clemens Dubslaff; Holger Hermanns (VaMoS, 2025)

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

Model Checking Linear Temporal Logic with Standpoint Modalities. - Rajab Aghamov; Christel Baier; Toghrul Karimov; Rupak Majumdar; Joël Ouaknine; Jakob Piribauer; Timm Spork (CoRR, 2025)

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

Multiplicative Rewards in Markovian Models. - Christel Baier; Krishnendu Chatterjee; Tobias Meggendorfer; Jakob Piribauer (CoRR, 2025)