C. Baier

Christel Baier, Bronis R. de Supinski, Matthias S. Müller, 2013, 2013 SC - International Conference for High Performance Computing, Networking, Storage and Analysis (SC).

On Model Checking Techniques for Randomized Distributed Systems

Christel Baier, C. Baier, 2010, IFM.

The Effect of Tossing Coins in Omega-Automata

Christel Baier, Nathalie Bertrand, Marcus Größer, 2009, CONCUR.

On Decision Problems for Probabilistic Büchi Automata

Christel Baier, Nathalie Bertrand, Marcus Größer, 2008, FoSSaCS.

Model Checking Probabilistic Systems

Christel Baier, Luca de Alfaro, Marta Z. Kwiatkowska, 2018, Handbook of Model Checking.

Genetic Algorithms for the Variable Ordering Problem of Binary Decision Diagrams

Christel Baier, Wolfgang Lenders, C. Baier, 2005, FOGA.

Maximizing the Conditional Expected Reward for Reaching the Goal

Christel Baier, Joachim Klein, Sascha Klüppelholz, 2017, TACAS.

PROBMELA: a modeling language for communicating probabilistic processes

Christel Baier, Frank Ciesinski, Marcus Größer, 2004, Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04..

Symbolic Model Checking for Probabilistic Processes

Christel Baier, Mark Ryan, Edmund M. Clarke, 1997, ICALP.

Reduction Methods on Probabilistic Control-flow Programs for Reliability Analysis pdf

Christel Baier, Klaus Janschek, Andrey Morozov, 2020, Proceedings of the 30th European Safety and Reliability Conference and 15th Probabilistic Safety Assessment and Management Conference.

Bisimulations, logics, and trace distributions for stochastic systems with rewards

Christel Baier, Daniel Gburek, C. Baier, 2018, HSCC.

Probabilistic Model Checking

Christel Baier, C. Baier, 2016, Dependable Software Systems Engineering.

Model checking for performability

Christel Baier, Joost-Pieter Katoen, Boudewijn R. Haverkort, 2013, Mathematical Structures in Computer Science.

Model Checking Linear-Time Properties of Probabilistic Systems

Christel Baier, Frank Ciesinski, Marcus Größer, 2009 .

On Reduction Criteria for Probabilistic Reward Models

Christel Baier, Frank Ciesinski, Marcus Größer, 2006, FSTTCS.

Trace Semantics for Stochastic Systems with Nondeterminism

Christel Baier, Verena Wolf, Mila E. Majster-Cederbaum, 2006, QAPL.

Bisimulation and Simulation Relations for Markov Chains

Christel Baier, Joost-Pieter Katoen, Holger Hermanns, 2006, APC 25.

Trace Machines for Observing Continuous-Time Markov Chains

Christel Baier, Verena Wolf, Mila E. Majster-Cederbaum, 2006, QAPL.

Partial Order Reduction for Probabilistic Branching Time

Christel Baier, Marcus Größer, Pedro R. D'Argenio, 2006, QAPL.

Partial Order Reduction for Markov Decision Processes: A Survey

Christel Baier, Marcus Größer, C. Baier, 2005, FMCO.

Comparative branching-time semantics for Markov chains

Christel Baier, Joost-Pieter Katoen, Holger Hermanns, 2005, Inf. Comput..

Model checking meets performance evaluation

Christel Baier, Joost-Pieter Katoen, Boudewijn R. Haverkort, 2005, PERV.

ProbMela and verification of Markov decision processes

Christel Baier, Frank Ciesinski, Marcus Größer, 2005, PERV.

Probabilistic Models for Reo Connector Circuits

Christel Baier, C. Baier, 2005, J. Univers. Comput. Sci..

Validation of Stochastic Systems: A Guide to Current Research (Lecture Notes in Computer Science)

Christel Baier, Holger Hermanns, Joost-Pieter Katoen, 2004 .

Partial order reduction for probabilistic systems

Christel Baier, Frank Ciesinski, Marcus Größer, 2004, First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings..

Validation of Stochastic Systems

Christel Baier, Joost-Pieter Katoen, Holger Hermanns, 2004, Lecture Notes in Computer Science.

Comparative Branching-Time Semantics

Christel Baier, Joost-Pieter Katoen, Holger Hermanns, 2003, CONCUR.

Model-Checking Algorithms for Continuous-Time Markov Chains

Christel Baier, Joost-Pieter Katoen, Boudewijn R. Haverkort, 2002, IEEE Trans. Software Eng..

Comparative Branching-Time Semantics for Markov Chains (Extended Abstract)

Christel Baier, Joost-Pieter Katoen, Holger Hermanns, 2003 .

Simulation for Continuous-Time Markov Chains

Christel Baier, Joost-Pieter Katoen, Boudewijn R. Haverkort, 2002, CONCUR.

Domain equations for probabilistic processes

Christel Baier, Marta Z. Kwiatkowska, C. Baier, 2000, Mathematical Structures in Computer Science.

Model Checking Continuous-Time Markov Chains by Transient Analysis

Christel Baier, Joost-Pieter Katoen, Boudewijn R. Haverkort, 2000, CAV.

Norm Functions for Probabilistic Bisimulations with Delays

Christel Baier, Mariëlle Stoelinga, C. Baier, 2000, FoSSaCS.

Model checking for a probabilistic branching time logic with fairness

Christel Baier, Marta Z. Kwiatkowska, C. Baier, 1998, Distributed Computing.

On the Verification of Qualitative Properties of Probabilistic Processes under Fairness Constraints

Christel Baier, Marta Z. Kwiatkowska, C. Baier, 1998, Inf. Process. Lett..

On the Semantic Foundations of Probabilistic Synchronous Reactive Programs

Christel Baier, Edmund M. Clarke, Vasiliki Hartonas-Garmhausen, 1998, PROBMIV.

Polynomial Time Algorithms for Testing Probabilistic Bisimulation and Simulation

Christel Baier, C. Baier, 1996, CAV.

Principles of Model Checking (Representation and Mind Series)

Christel Baier, Joost-Pieter Katoen, C. Baier, 2008 .

Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access

S. Kiebel, C. Baier, Clemens Dubslaff, 2023, NFM.

Probabilistic and Topological Semantics for Timed Automata

Christel Baier, Nathalie Bertrand, Patricia Bouyer, 2007, FSTTCS.

A Uniform Framework for Modeling and Verifying Components and Connectors

Christel Baier, Joachim Klein, Sascha Klüppelholz, 2009, COORDINATION.

Symbolic Model Checking for Channel-based Component Connectors

Christel Baier, Sascha Klüppelholz, C. Baier, 2007, FOCLASA.

Parametric Markov Chains: PCTL Complexity and Fraction-free Gaussian Elimination

Christel Baier, Joachim Klein, Lisa Hutschenreiter, 2017, GandALF.

Some advances in tools and algorithms for the construction and analysis of systems

Christel Baier, Cesare Tinelli, C. Tinelli, 2017, International Journal on Software Tools for Technology Transfer.

Iterative Variable Reordering: Taming Huge System Families pdf

Christel Baier, Klaus Janschek, Andrey Morozov, 2020, MARS@ETAPS.

Breaking the Limits of Redundancy Systems Analysis pdf

Christel Baier, Klaus Janschek, Kai Ding, 2019, Proceedings of the 29th European Safety and Reliability Conference (ESREL).

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

Christel Baier, Steffen Märcker, Joachim Klein, 2018, International Journal on Software Tools for Technology Transfer.

Advances in Symbolic Probabilistic Model Checking with PRISM

Christel Baier, Steffen Märcker, Joachim Klein, 2016, TACAS.

Probabilistic Model Checking for Feature-Oriented Systems

Christel Baier, Sascha Klüppelholz, Clemens Dubslaff, 2015, LNCS Trans. Aspect Oriented Softw. Dev..

Probabilistic model checking for energy analysis in software product lines

Christel Baier, Sascha Klüppelholz, Clemens Dubslaff, 2013, MODULARITY.

A uniform framework for weighted decision diagrams and its implementation

Christel Baier, Jörn Ossowski, C. Baier, 2008, International Journal on Software Tools for Technology Transfer.

Checking Equivalence for Reo Networks

Christel Baier, Tobias Blechmann, C. Baier, 2008, FACS.

Symbolic Reasoning with Weighted and Normalized Decision Diagrams

Christel Baier, Jörn Ossowski, C. Baier, 2006, Calculemus.

Automated Performance and Dependability Evaluation Using Model Checking

Christel Baier, Joost-Pieter Katoen, Boudewijn R. Haverkort, 2002, Performance.

Operational Causality - Necessarily Sufficient and Sufficiently Necessary

C. Baier, Florian Funke, Jakob Piribauer, 2022, A Journey from Process Algebra via Timed Automata to Model Learning.

Stochastic Timed Automata

Christel Baier, Nathalie Bertrand, Patricia Bouyer, 2014, Log. Methods Comput. Sci..

Human-inspired models for tactile computing

Christel Baier, Stefan J. Kiebel, Clemens Dubslaff, 2021 .

On Skolem-hardness and saturation points in Markov decision processes pdf

Christel Baier, Jakob Piribauer, C. Baier, 2020, ICALP.

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

Christel Baier, Andries Stam, Joachim Klein, 2011, FMICS.

Modeling component connectors in Reo by constraint automata

Christel Baier, Farhad Arbab, Jan J. M. M. Rutten, 2004, Sci. Comput. Program..

Farkas Certificates and Minimal Witnesses for Probabilistic Reachability Constraints

C. Baier, Florian Funke, Simon Jantsch, 2019, TACAS.

From LTL to unambiguous Büchi automata via disambiguation of alternating automata

Christel Baier, Joachim Klein, David Müller, 2019, Formal Methods in System Design.

From verification to synthesis under cost-utility constraints

Christel Baier, Clemens Dubslaff, C. Baier, 2018, SIGL.

Markov Chains and Unambiguous Büchi Automata pdf

Christel Baier, James Worrell, Joachim Klein, 2016, CAV.

Markov chains and unambiguous automata

C. Baier, Joachim Klein, J. Worrell, 2016, J. Comput. Syst. Sci..

Weight monitoring with linear temporal logic: complexity and decidability

Christel Baier, Joachim Klein, Sascha Klüppelholz, 2014, CSL-LICS.

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

Christel Baier, Joachim Klein, Sascha Klüppelholz, 2014, LATA.

Quantitative Analysis of Randomized Distributed Systems and Probabilistic Automata

Christel Baier, C. Baier, 2013, CAI.

Model checking probabilistic systems against pushdown specifications

Christel Baier, Clemens Dubslaff, Manuela Berg, 2012, Inf. Process. Lett..

Modeling and Verification of Components and Connectors

Christel Baier, Joachim Klein, Sascha Klüppelholz, 2011, SFM.

Design and Verification of Systems with Exogenous Coordination Using Vereofy

Christel Baier, Wolfgang Leister, Joachim Klein, 2010, ISoLA.

Formal Verification for Components and Connectors

Christel Baier, Joachim Klein, Sascha Klüppelholz, 2009, FMCO.

Probabilistic Automata over Infinite Words: Expressiveness, Efficiency, and Decidability

Christel Baier, Nathalie Bertrand, Marcus Größer, 2009, DCFS.

Probabilistic Acceptors for Languages over Infinite Words

Christel Baier, Nathalie Bertrand, Marcus Größer, 2009, SOFSEM.

On-the-Fly Stuttering in the Construction of Deterministic omega -Automata

Christel Baier, Joachim Klein, C. Baier, 2007, CIAA.

LiQuor: A tool for Qualitative and Quantitative Linear Time analysis of Reactive Systems

Christel Baier, Frank Ciesinski, C. Baier, 2006, Third International Conference on the Quantitative Evaluation of Systems - (QEST'06).

Quantitative analysis of distributed randomized protocols

Christel Baier, Frank Ciesinski, Marcus Groesser, 2005, FMICS '05.

Recognizing /spl omega/-regular languages with probabilistic automata

Christel Baier, Marcus Größer, C. Baier, 2005, 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05).

Establishing Qualitative Properties for Probabilistic Lossy Channel Systems: An Algorithmic Approach

Christel Baier, Bettina Engelen, C. Baier, 1999, ARTS.

Quantified Linear Temporal Logic over Probabilistic Systems with an Application to Vacuity Checking

Christel Baier, Nathalie Bertrand, Ocan Sankur, 2021, CONCUR.

A Probabilistic Semantics for Timed Automata

Christel Baier, Nathalie Bertrand, Patricia Bouyer, 2008 .

A Probabilistic Semantics for

Christel Baier, Nathalie Bertrand, Patricia Bouyer, 2008 .

On-the-Fly Stuttering in the Construction of Deterministic ω-Automata

Christel Baier, Joachim Klein, C. Baier, 2007 .

Linear Time Logic and Deterministic omega-Automata

Christel Baier, Joachim Klein, C. Baier, 2005 .

Computing Probability Bounds for Linear Time Formulas over Concurrent Probabilistic Systems

Christel Baier, Marta Z. Kwiatkowska, Gethin Norman, 1998, PROBMIV.

Trees and Semantics

Christel Baier, C. Baier, 1997, Theor. Comput. Sci..

Metric Completion versus Ideal Completion

Christel Baier, Mila E. Majster-Cederbaum, C. Baier, 1996, Theor. Comput. Sci..

A Categorical Characterization of Consistency Results

Christel Baier, Mila E. Majster-Cederbaum, C. Baier, 1996, AMAST.

The connection between an event structure semantics and an operational semantics forTCSP

Christel Baier, Mila E. Majster-Cederbaum, C. Baier, 1994, Acta Informatica.

The Consistency of a Noninterleaving and an Interleaving Model for Full TCSP

Christel Baier, Mila E. Majster-Cederbaum, C. Baier, 1991, FCT.

Responsibility and verification: Importance value in temporal logics

C. Baier, Florian Funke, S. Kiefer, 2021, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).

Foundations of probability-raising causality in Markov decision processes

C. Baier, Jakob Piribauer, Robin Ziemek, 2022, arXiv.org.

On probability-raising causality in Markov decision processes

Christel Baier, Florian Funke, Jakob Piribauer, 2022, FoSSaCS.

Probabilistic causes in Markov chains

C. Baier, Florian Funke, Jakob Piribauer, 2021, Innovations in Systems and Software Engineering.

A Game-Theoretic Account of Responsibility Allocation pdf

Christel Baier, Rupak Majumdar, Florian Funke, 2021, IJCAI.

Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes

Christel Baier, Nathalie Bertrand, Ocan Sankur, 2018, LICS.

Computing Conditional Probabilities in Markovian Models Efficiently

Christel Baier, Steffen Märcker, Joachim Klein, 2014, TACAS.

Quantitative Analysis under Fairness Constraints

Christel Baier, Frank Ciesinski, Marcus Größer, 2009, ATVA.

From Verification to Causality-Based Explications (Invited Talk)

Christel Baier, Rupak Majumdar, Clemens Dubslaff, 2021, ICALP.

Performability assessment by model checking of Markov reward models

Christel Baier, Joost-Pieter Katoen, Boudewijn R. Haverkort, 2010, Formal Methods Syst. Des..

Synthesis of Reo circuits from scenario-based interaction specifications

Christel Baier, Farhad Arbab, Sun Meng, 2011, Sci. Comput. Program..

Synthesis of Reo Circuits from Scenario-based Specifications

Christel Baier, Farhad Arbab, Sun Meng, 2009, FOCLASA@ICALP.

Special issue of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015)

Christel Baier, Cesare Tinelli, C. Tinelli, 2017, Acta Informatica.

Efficient Computation of Time-Bounded Reachability Probabilities in Uniform Continuous-Time Markov Decision Processes

Christel Baier, Joost-Pieter Katoen, Boudewijn R. Haverkort, 2005, TACAS.

Partial and Conditional Expectations in Markov Decision Processes with Integer Weights pdf

Christel Baier, Jakob Piribauer, C. Baier, 2019, FoSSaCS.

Model Checking Markov Chains with Actions and State Labels

Christel Baier, Matthias Kuntz, Boudewijn R. Haverkort, 2007, IEEE Transactions on Software Engineering.

Model checking performability properties

Christel Baier, Joost-Pieter Katoen, Boudewijn R. Haverkort, 2002, Proceedings International Conference on Dependable Systems and Networks.

Responsibility Attribution in Parameterized Markovian Models

Christel Baier, Rupak Majumdar, Florian Funke, 2021, AAAI.

Causality in Configurable Software Systems

C. Baier, S. Apel, Clemens Dubslaff, 2022, 2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE).

Causality-Based Game Solving

Christel Baier, Bernd Finkbeiner, Florian Funke, 2021, CAV.

Some advances in tools and algorithms for the construction and analysis of systems

C. Tinelli, C. Baier, 2017, International Journal on Software Tools for Technology Transfer.

Computing Conditional Probabilities: Implementation and Evaluation

Christel Baier, Steffen Märcker, Joachim Klein, 2017, SEFM.

Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking

Christel Baier, Sascha Klüppelholz, Clemens Dubslaff, 2014, Petri Nets.

Probabilistic Model Checking and Non-standard Multi-objective Reasoning

Christel Baier, Steffen Märcker, Joachim Klein, 2014, FASE.

Experiments with deterministic omega-automata for formulas of linear temporal logic

Christel Baier, Joachim Klein, C. Baier, 2005, Theor. Comput. Sci..

Probabilistic Model Checking for Energy-Utility Analysis

Christel Baier, Joachim Klein, Sascha Klüppelholz, 2014, Horizons of the Mind.

Architecture and Advanced Electronics Pathways Toward Highly Adaptive Energy- Efficient Computing

Christel Baier, Frank Ellinger, Wolfgang Lehner, 2019, Proceedings of the IEEE.

A Hardware/Software Stack for Heterogeneous Systems

Gerhard Fettweis, Christel Baier, Wolfgang Lehner, 2018, IEEE Transactions on Multi-Scale Computing Systems.

Approximate Symbolic Model Checking of Continuous-Time Markov Chains

Christel Baier, Joost-Pieter Katoen, Holger Hermanns, 1999, CONCUR.

Trade-off analysis meets probabilistic model checking

Christel Baier, Sascha Klüppelholz, Clemens Dubslaff, 2014, CSL-LICS.

Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes

Christel Baier, Joachim Klein, David Parker, 2017, CAV.

Energy-Utility Quantiles

Christel Baier, Joachim Klein, Sascha Klüppelholz, 2014, NASA Formal Methods.

Positivity-hardness results on Markov decision processes

C. Baier, Jakob Piribauer, 2023, ArXiv.

Computing Quantiles in Markov Reward Models

Christel Baier, Michael Ummels, C. Baier, 2013, FoSSaCS.

Configuration of inter-process communication with probabilistic model checking

Christel Baier, Sascha Klüppelholz, Hermann Härtig, 2019, International Journal on Software Tools for Technology Transfer.

Metric semantics from partial order semantics

Christel Baier, Mila E. Majster-Cederbaum, C. Baier, 1997, Acta Informatica.

Denotational Linear Time Semantics and Sequential Composition

Christel Baier, Mila E. Majster-Cederbaum, C. Baier, 1996, Inf. Process. Lett..

Composition of Stochastic Transition Systems Based on Spans and Couplings

Christel Baier, Sascha Klüppelholz, Daniel Gburek, 2016, ICALP.

Proceedings of the 17th international conference on Concurrency Theory

Christel Baier, Holger Hermanns, C. Baier, 2006 .

Formal Techniques for Distributed Objects, Components, and Systems

Christel Baier, Luís Caires, Luís Caires, 2018, Lecture Notes in Computer Science.

Preface

Christel Baier, Mark Ryan, Marta Z. Kwiatkowska, 1998, PROBMIV.

Denotational Semantics in the CPO and Metric Approach

Christel Baier, Mila E. Majster-Cederbaum, C. Baier, 1994, Theor. Comput. Sci..

The Orchestration Stack: The Impossible Task of Designing Software for Unknown Future Post-CMOS Hardware

Gerhard Fettweis, Christel Baier, Wolfgang Lehner, 2016 .

Synthesis of Optimal Resilient Control Strategies

C. Baier, A. Kucera, V. Rehák, 2017, ATVA.

Probabilistic weak simulation is decidable in polynomial time

Christel Baier, Joost-Pieter Katoen, Holger Hermanns, 2004, Inf. Process. Lett..

Energy-Utility Analysis of Probabilistic Systems with Exogenous Coordination

Christel Baier, Joachim Klein, Sascha Klüppelholz, 2018, It's All About Coordination.

Decision making improves sperm chemotaxis in the presence of noise

Christel Baier, Steffen Märcker, Steffen Lange, 2017, PLoS Comput. Biol..

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

Christel Baier, Wang Yi, Bernhard K. Aichernig, 2010, TTSS.

The Credo Methodology - (Extended Version)

Christel Baier, Bernhard K. Aichernig, Frank S. de Boer, 2009, FMCO.

Alternating-time stream logic for multi-agent systems

Christel Baier, Sascha Klüppelholz, C. Baier, 2008, Sci. Comput. Program..

Models and temporal logical specifications for timed component connectors

Christel Baier, Farhad Arbab, Frank S. de Boer, 2007, Software & Systems Modeling.

Compositional Semantics of an Actor-Based Language Using Constraint Automata

Christel Baier, Farhad Arbab, Mohammad Mahdi Jaghoori, 2006, COORDINATION.

Stochastic Reasoning About Channel-Based Component Connectors

Christel Baier, Verena Wolf, C. Baier, 2006, COORDINATION.

Models and temporal logics for timed component connectors

Christel Baier, Farhad Arbab, Frank S. de Boer, 2004, Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004..

Modeling Role-Based Systems with Exogenous Coordination

Christel Baier, Joachim Klein, Sascha Klüppelholz, 2016, Theory and Practice of Formal Methods.

Synthesis of Reo Connectors for Strategies and Controllers

Christel Baier, Joachim Klein, Sascha Klüppelholz, 2014, Fundam. Informaticae.

An efficient algorithm tocompute the minimal and maximal probabilities for timed reachability incontinuous-time Markov decision processes

Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, 2003 .

On Topological Hierarchies of Temporal Properties

Christel Baier, Marta Z. Kwiatkowska, C. Baier, 1997, Fundamenta Informaticae.

On Topological Hierarchies of Temporal Properties

Christel Baier, Marta Z. Kwiatkowska, C. Baier, 1997, Fundam. Informaticae.

CONCUR 2006 - Concurrency Theory: 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006 (Lecture Notes in Computer Science)

Christel Baier, Holger Hermanns, C. Baier, 2006 .

On the Foundations of Cycles in Bayesian Networks

C. Baier, H. Hermanns, Clemens Dubslaff, 2023, Principles of Systems Design.

Performance evaluation and model checking join forces

C. Baier, J. Katoen, H. Hermanns, 2010, Commun. ACM.

More for Less: Safe Policy Improvement With Stronger Performance Guarantees

C. Baier, N. Jansen, Clemens Dubslaff, 2023, IJCAI.

Almost-Sure Model Checking of Infinite Paths in One-Clock Timed Automata

Christel Baier, Nathalie Bertrand, Patricia Bouyer, 2008, 2008 23rd Annual IEEE Symposium on Logic in Computer Science.

A note on the attractor-property of infinite-state Markov chains

Christel Baier, Nathalie Bertrand, Philippe Schnoebelen, 2006, Inf. Process. Lett..

Verifying nondeterministic probabilistic channel systems against ω-regular linear-time properties

Christel Baier, Nathalie Bertrand, Philippe Schnoebelen, 2005, TOCL.

Reasoning about Probabilistic Lossy Channel Systems

Parosh Aziz Abdulla, Christel Baier, Bengt Jonsson, 2000, CONCUR.

On Computing Fixpoints in Well-Structured Regular Model Checking, with Applications to Lossy Channel Systems

Christel Baier, Nathalie Bertrand, Philippe Schnoebelen, 2006, LPAR.

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

Christel Baier, Clemens Dubslaff, Akash Kumar, 2019, EPEW.

Foundations of Software Science and Computation Structures

Christel Baier, Ugo Dal Lago, C. Baier, 2018, Lecture Notes in Computer Science.

Principles of model checking

C. Baier, J. Katoen, 2008 .

Reachability in Dynamical Systems with Rounding

Christel Baier, Amaury Pouly, Markus A. Whiteland, 2020, FSTTCS.

Delayed-Choice Semantics for Pomset Families and Message Sequence Graphs

Christel Baier, Clemens Dubslaff, C. Baier, 2017, ModelEd, TestEd, TrustEd.

Quantitative Analysis of Communication Scenarios

Christel Baier, Clemens Dubslaff, C. Baier, 2015, FORMATS.

The connection between initial and unique solutions of domain equations in the partial order and metric approach

Christel Baier, Mila E. Majster-Cederbaum, C. Baier, 1997, Formal Aspects of Computing.

Probabilistic causes in Markov chains

Christel Baier, Florian Funke, Simon Jantsch, 2021, Innovations in Systems and Software Engineering.

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

Christel Baier, Sascha Klüppelholz, Clemens Dubslaff, 2017, Formal Aspects of Computing.

CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings

Christel Baier, Holger Hermanns, C. Baier, 2006, CONCUR.

Metric Semantics for True Concurrent Real Time

Christel Baier, Diego Latella, Joost-Pieter Katoen, 1998, ICALP.

On the Logical Characterisation of Performability Properties

Christel Baier, Joost-Pieter Katoen, Boudewijn R. Haverkort, 2000, ICALP.

Model checking action- and state-labelled Markov chains

Christel Baier, Matthias Kuntz, Boudewijn R. Haverkort, 2004, International Conference on Dependable Systems and Networks, 2004.

Greener Bits: Formal Analysis of Demand Response

C. Baier, Sascha Klüppelholz, Sascha Wunderlich, 2016, ATVA.