Christel Baier

发表

Model checking performability properties

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

Computing Conditional Probabilities: Implementation and Evaluation

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

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..

Probabilistic Models for Reo Connector Circuits

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

Simulating perfect channels with probabilistic lossy channels

Parosh Aziz Abdulla, Christel Baier, Bengt Jonsson, 2005, Inf. Comput..

Comparative Branching-Time Semantics

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

Alternating-Time Stream Logic for Multi-agent Systems

Christel Baier, Sascha Klüppelholz, 2008, COORDINATION.

Proceedings Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics Berlin, Germany, 4th September 2017 : Preface

Christel Baier, Ugo Montanari, Mohammad Reza Mousavi, 2017 .

Quantitative analysis of distributed randomized protocols

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

Energy-Utility Quantiles

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

Components in Probabilistic Systems: Suitable by Construction

Christel Baier, Sascha Klüppelholz, Holger Hermanns, 2020, ISoLA.

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.

Models and temporal logical specifications for timed component connectors

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

SOFSEM 2017: Theory and Practice of Computer Science - 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings

Christel Baier, Tiziana Margaria, Bernhard Steffen, 2017, SOFSEM.

Model Checking CSRL-Specified Performability Properties

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

Principles of model checking

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

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

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

Model Checking Markov Chains with Actions and State Labels

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

On the definability of concurrency and communication : event structures versus pomset classes

Christel Baier, Mila Majster-Cederbaum, 1992 .

Preface: Volume 22

Christel Baier, Michael Huth, Marta Kwiatkowska, 1999 .

Weak Bisimulation for Fully Probabilistic Processes

Christel Baier, Holger Hermanns, C. Baier, 1997, FBT.

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

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

Model checking for a probabilistic branching time logic with fairness

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

Approximate Symbolic Model Checking of Continuous-Time Markov Chains

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

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

Christel Baier, Joachim Klein, 2006, Theor. Comput. Sci..

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

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

Preface

Christel Baier, Alessandro Aldini, C. Baier, 2008, Electron. Notes Theor. Comput. Sci..

Farkas Certificates and Minimal Witnesses for Probabilistic Reachability Constraints

Christel Baier, Florian Funke, Simon Jantsch, 2020, TACAS.

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

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

Towards Automated Variant Selection for Heterogeneous Tiled Architectures

Christel Baier, Sascha Klüppelholz, Sascha Wunderlich, 2017, Models, Algorithms, Logics and Tools.

Model checking action- and state-labelled Markov chains

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

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.

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

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

On Topological Hierarchies of Temporal Properties

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

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

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

Maximizing the Conditional Expected Reward for Reaching the Goal

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

On the probabilistic bisimulation spectrum with silent moves

Christel Baier, Holger Hermanns, Pedro R. D’Argenio, 2020, Acta Informatica.

Computing Conditional Probabilities in Markovian Models Efficiently

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

From features to roles

Christel Baier, Clemens Dubslaff, Sascha Klüppelholz, 2020, SPLC.

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

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

Synthesis of Reo circuits

Christel Baier, Farhad Arbab, Marjan Sirjani, 2005 .

Theoretische Informatik - eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen

Christel Baier, Alexander Asteroth, Alexander Asteroth, 2002 .

A Uniform Framework for Modeling and Verifying Components and Connectors

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

Minimal witnesses for probabilistic timed automata pdf

Christel Baier, Florian Funke, Simon Jantsch, 2020, ATVA.

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

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

On Reduction Criteria for Probabilistic Reward Models

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

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

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

Reachability in Dynamical Systems with Rounding

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

A Hardware/Software Stack for Heterogeneous Systems

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

Model Checking with Formula-Dependent Abstract Models

Christel Baier, Alexander Asteroth, Ulrich Aßmann, 2001, CAV.

Proceedings of the International Workshop on Synthesis and Analysis of Component Connectors: in conjunction with the 6th ESEC/FSE joint meeting, SYANCO 2007, Dubrovnik, Croatia, September 3-4, 2007

Christel Baier, Farhad Arbab, F. Arbab, 2007, SYANCO.

Proceedings of the 17th international conference on Concurrency Theory

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

Controller Synthesis for Probabilistic Systems

Christel Baier, Benedikt Bollig, Frank Ciesinski, 2004, IFIP TCS.

Stochastic Reasoning About Channel-Based Component Connectors

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

Domain equations for probabilistic processes

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

International workshop on Synthesis and analysis of component connectors: in conjunction with the 6th ESEC/FSE joint meeting

Christel Baier, Farhad Arbab, 2007, FSE 2007.

Experiments with Deterministic w-Automata for Formulas of Linear Temporal Logic

Christel Baier, Joachim Klein, 2006 .

Formal Parameter Synthesis for Energy-Utility-Optimal Fault Tolerance

Christel Baier, Sascha Klüppelholz, Linda Herrmann, 2018, EPEW.

Automated Performance and Dependability Evaluation Using Model Checking

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

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

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

Modeling and Verification of Components and Connectors

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

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.

Model checking meets performance evaluation

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

Metric semantics for true concurrent real time

Christel Baier, Diego Latella, Joost-Pieter Katoen, 2001, Theor. Comput. Sci..

Generic Emptiness Check for Fun and Profit

Christel Baier, Joachim Klein, Alexandre Duret-Lutz, 2019, ATVA.

Trace Machines for Observing Continuous-Time Markov Chains

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

Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes

Christel Baier, Joost-Pieter Katoen, Boudewijn R. Haverkort, 2005, Theor. Comput. Sci..

Tools and Algorithms for the Construction and Analysis of Systems

Christel Baier, Cesare Tinelli, C. Tinelli, 2015, Lecture Notes in Computer Science.

A Compositional Framework for Controller Synthesis

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

Cost-Utility Analysis in Probabilistic Models

Christel Baier, 2016, 2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE).

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..

Preface

Christel Baier, Alessandra Di Pierro, 2009, Electron. Notes Theor. Comput. Sci..

Probabilistic weak simulation is decidable in polynomial time

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

10031 Abstracts Collection - Quantitative Models: Expressiveness and Analysis

Christel Baier, Kim G. Larsen, Paul Gastin, 2010, Quantitative Models: Expressiveness and Analysis.

Multi-terminal decision diagrams: a data structure for numerical integration

Christel Baier, Holger Hermanns, Joost P. Katoen, 1999 .

Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications

Christel Baier, Farhad Arbab, Frank S. de Boer, 2005, COORDINATION.

Generating Compact MTBDD-Representations from ProbmelaSpecifications

Christel Baier, Frank Ciesinski, Marcus Größer, 2008, SPIN.

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

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

Static Partial Order Reduction for Probabilistic Concurrent Systems

Christel Baier, Lars-Åke Fredlund, Álvaro Fernández Díaz, 2012, 2012 Ninth International Conference on Quantitative Evaluation of Systems.

Recurrence and Transience for Probabilistic Automata

Christel Baier, Marcus Größer, Mathieu Tracol, 2009, FSTTCS.

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

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

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).

Quantitative Analysis of Communication Scenarios

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

From verification to synthesis under cost-utility constraints

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

Proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems - Volume 9035

Christel Baier, Cesare Tinelli, C. Tinelli, 2015 .

Switss: Computing Small Witnessing Subsystems

Christel Baier, Florian Funke, Simon Jantsch, 2020, 2020 Formal Methods in Computer Aided Design (FMCAD).

Syanco 2007: international workshop on synthesis and analysis of component connectors

Christel Baier, Farhad Arbab, 2007, ESEC-FSE '07.

Locks: Picking key methods for a scalable quantitative analysis

Christel Baier, Hendrik Tews, Steffen Märcker, 2015, J. Comput. Syst. Sci..

ProbMela and verification of Markov decision processes

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

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

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

Quantitative Analysis under Fairness Constraints

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

Preface

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

Performability assessment by model checking of Markov reward models

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

On Model Checking Techniques for Randomized Distributed Systems

Christel Baier, C. Baier, 2010, IFM.

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

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

Comparative branching-time semantics for Markov chains

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

Advances in Symbolic Probabilistic Model Checking with PRISM

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

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

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

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.

On Topological Hierarchies of Temporal Properties

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

Waiting for Locks: How Long Does It Usually Take?

Christel Baier, Hendrik Tews, Steffen Märcker, 2012, FMICS.

Trees and Semantics

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

Synthesis of Reo Circuits from Scenario-based Specifications

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

Formal Techniques for Distributed Objects, Components, and Systems

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

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.

Compositional Semantics of an Actor-Based Language Using Constraint Automata

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

Modeling Role-Based Systems with Exogenous Coordination

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

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

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

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

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

Probabilistic Model Checking and Non-standard Multi-objective Reasoning

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

Reasoning About Cost-Utility Constraints in Probabilistic Models

Christel Baier, 2015, RP.

Christel Baier, Mila E. Majster-Cederbaum, Bettina Engelen, 2000, J. Comput. Syst. Sci..

Probabilistic Model Checking for Energy-Utility Analysis

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

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 .

Computing Probability Bounds for Linear Time Formulas over Concurrent Probabilistic Systems

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

Quantitative Characterization of Reconfigurable Transistor Logic Gates

Christel Baier, Sascha Klüppelholz, Jens Trommer, 2020, IEEE Access.

Denotational Semantics in the CPO and Metric Approach

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

Metric completion versus ideal completion

Christel Baier, Mila E. Majster-Cederbaum, 1995, STRICT.

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

Christel Baier, Hendrik Tews, Steffen Märcker, 2012, SSV.

Modeling component connectors in Reo by constraint automata

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

Metric Completion versus Ideal Completion

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

Performance evaluation and model checking join forces

Christel Baier, Joost-Pieter Katoen, Boudewijn R. Haverkort, 2010, Commun. ACM.

The 10, 000 Facets of MDP Model Checking

Christel Baier, Joost-Pieter Katoen, Holger Hermanns, 2019, Computing and Software Science.

How to Interpret and Establish Consistency Results for Semantics of Concurrent Programming Languages

Christel Baier, Mila E. Majster-Cederbaum, C. Baier, 1997, Fundam. Informaticae.

Synthesis of Reo circuits from scenario-based interaction specifications

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

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.

Compositional construction of most general controllers

Christel Baier, Joachim Klein, Sascha Klüppelholz, 2015, Acta Informatica.

Towards Automated Configuration of Systems with Non-Functional Constraints

Christel Baier, Sascha Klüppelholz, Hermann Härtig, 2017, HotOS.

Probabilistic Model Checking for Feature-Oriented Systems

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

Preface SOFSEM 2017: theory and practice of computer science

Christel Baier, Johann Eder, Mike Hinchey, 2017 .

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.

The Credo Methodology - (Extended Version)

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

On the Semantic Foundations of Probabilistic Synchronous Reactive Programs

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

Weighted Automata - Theory and Applications

Christel Baier, J. Gruska, J. Albert, 2006 .

Norm Functions for Probabilistic Bisimulations with Delays

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

Reduction Techniques for Model Checking Markov Decision Processes

Christel Baier, Joachim Klein, Frank Ciesinski, 2008, 2008 Fifth International Conference on Quantitative Evaluation of Systems.

Model-Checking Algorithms for

Christel Baier, Joost-Pieter Katoen, Boudewijn R. Haverkort, 2003 .

Foundations of Software Science and Computation Structures

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

Metric semantics from partial order semantics

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

Probabilistic Model Checking

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

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

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

Genetic Algorithms for the Variable Ordering Problem of Binary Decision Diagrams

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

Symbolic Model Checking for Probabilistic Processes

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

Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking

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

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).

Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms pdf

Christel Baier, Vojtech Rehák, Antonín Kucera, 2017, QEST.

Distributed wait state tracking for runtime MPI deadlock detection

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

Probabilistic and Topological Semantics for Timed Automata

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

Probabilistic model checking for energy analysis in software product lines

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

Model checking probabilistic systems against pushdown specifications

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

Symbolic Model Checking for Channel-based Component Connectors

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

Energy-Utility Analysis of Probabilistic Systems with Exogenous Coordination

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

Stochastic Timed Automata

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

10031 Executive Summary - Quantitative Models: Expressiveness and Analysis

Christel Baier, Kim G. Larsen, Paul Gastin, 2010, Quantitative Models: Expressiveness and Analysis.

Simulation for Continuous-Time Markov Chains

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

Decision making improves sperm chemotaxis in the presence of noise

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

Principles of Model Checking (Representation and Mind Series)

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

Magnifier: A Compositional Analysis Approach for Autonomous Traffic Control

Christel Baier, Ehsan Khamespanah, Ali Movaghar, 2020, IEEE Transactions on Software Engineering.

Reachability in continuous-time Markov reward decision processes

Christel Baier, Joost-Pieter Katoen, Boudewijn R. Haverkort, 2008, Logic and Automata.

A Probabilistic Semantics for Timed Automata

Christel Baier, Nathalie Bertrand, Patricia Bouyer, 2008 .

Ratio and Weight Quantiles

Christel Baier, Clemens Dubslaff, Jana Schubert, 2015, MFCS.

Markov Chains and Unambiguous Büchi Automata pdf

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

On the Logical Characterisation of Performability Properties

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

Validation of Continuous-Time Markov Systems

Christel Baier, Ed Brinksma, Kim Guldstrand Larsen, 1999 .

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

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

Synthesis of Optimal Resilient Control Strategies pdf

Christel Baier, Clemens Dubslaff, Vojtěch Řehák, 2017, ATVA.

Modeling Component Connectors in Reo by Constraint Automata: (Extended Abstract)

Christel Baier, Farhad Arbab, Jan J. M. M. Rutten, 2004, Electron. Notes Theor. Comput. Sci..

The Effect of Tossing Coins in Omega-Automata

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

46th International Colloquium on Automata, Languages, and Programming, ICALP 2019, July 9-12, 2019, Patras, Greece

Christel Baier, Ioannis Chatzigiannakis, Paola Flocchini, 2019, ICALP.

Synthesis of Reo Connectors for Strategies and Controllers

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

Validation of Stochastic Systems

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

When Are Timed Automata Determinizable?

Christel Baier, Nathalie Bertrand, Patricia Bouyer, 2009, ICALP.

Stochastic Game Logic

Christel Baier, Tomás Brázdil, Marcus Größer, 2007, QEST.

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).

Alternating-time stream logic for multi-agent systems

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

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

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

Model-Checking Algorithms for Continuous-Time Markov Chains

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

Weight monitoring with linear temporal logic: complexity and decidability

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

Automatic verification of liveness properties of randomized systems

Christel Baier, Marta Z. Kwiatkowska, 1997, PODC '97.

Denotational Linear Time Semantics and Sequential Composition

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

Model Checking pathCSL

Christel Baier, Lucia Cloth, Holger Hermanns, 2003 .

Partial Order Reduction for Probabilistic Branching Time

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

Metric Semantics for True Concurrent Real Time

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

Probabilistic Acceptors for Languages over Infinite Words

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

Model checking for performability

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

Symbolic model checking for channel-based component connectors

Christel Baier, Sascha Klüppelholz, 2009, Sci. Comput. Program..

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

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

Partially-shared zero-suppressed multi-terminal BDDs: concept, algorithms and applications

Christel Baier, Markus Siegle, Kai Lampka, 2010, Formal Methods Syst. Des..

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 .

Special issue: CONCUR 2006

Christel Baier, Holger Hermanns, C. Baier, 2008, Inf. Comput..

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

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

On Decision Problems for Probabilistic Büchi Automata

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

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

Christel Baier, Hendrik Tews, Steffen Märcker, 2013, NASA Formal Methods.

Stochastic game logic

Christel Baier, Tomás Brázdil, Marcus Größer, 2007, Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007).

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

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

Polynomial Time Algorithms for Testing Probabilistic Bisimulation and Simulation

Christel Baier, C. Baier, 1996, CAV.

Optimal decision making for sperm chemotaxis in the presence of noise

Christel Baier, Steffen Märcker, Steffen Lange, 2017 .

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

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

Checking Equivalence for Reo Networks

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

Reasoning about Probabilistic Lossy Channel Systems

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

Model Checking Linear-Time Properties of Probabilistic Systems

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

Composition of Stochastic Transition Systems Based on Spans and Couplings

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

Formal Verification for Components and Connectors

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

Long-run Satisfaction of Path Properties

Christel Baier, Ocan Sankur, Nathalie Bertrand, 2019, 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).

Delayed-Choice Semantics for Pomset Families and Message Sequence Graphs

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

Bisimulation and Simulation Relations for Markov Chains

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

Trade-off analysis meets probabilistic model checking

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

Computing Quantiles in Markov Reward Models

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

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..

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.

Quantitative Analysis of Randomized Distributed Systems and Probabilistic Automata

Christel Baier, C. Baier, 2013, CAI.

Rare-event verification for stochastic hybrid systems

Christel Baier, Edmund M. Clarke, Paolo Zuliani, 2012, HSCC '12.

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

Christel Baier, Sascha Klüppelholz, Clemens Dubslaff, 2016, FASE.

Model Checking Continuous-Time Markov Chains by Transient Analysis

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

Greener Bits: Formal Analysis of Demand Response

Christel Baier, Hermann de Meer, Sascha Klüppelholz, 2016, ATVA.

A Categorical Characterization of Consistency Results

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

Partial Order Reduction for Markov Decision Processes: A Survey

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

Design and Verification of Systems with Exogenous Coordination Using Vereofy

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

Preface to the special issue on Probabilistic Model Checking

Christel Baier, Marta Z. Kwiatkowska, C. Baier, 2013, Formal Methods in System Design.

The Algebraic Mu-Calculus and MTBDDs

Christel Baier, Edmund M. Clarke, E. Clarke, 1998 .

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

Gerhard Fettweis, Christel Baier, Wolfgang Lehner, 2016 .

Symbolic Reasoning with Weighted and Normalized Decision Diagrams

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

EATCS Fellows 2020 - Call for Nominations

Christel Baier, Giuseppe F. Italiano, Josep Díaz, 2019, Bull. EATCS.

Model Checking Probabilistic Systems

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

Probabilistic ω-automata

Christel Baier, Nathalie Bertrand, Marcus Größer, 2012, JACM.

A Probabilistic Semantics for

Christel Baier, Nathalie Bertrand, Patricia Bouyer, 2008 .

Trace Semantics for Stochastic Systems with Nondeterminism

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

Mean-payoff Optimization in Continuous-time Markov Chains with Parametric Alarms

Christel Baier, Clemens Dubslaff, Vojtěch Řehák, 2019, ACM Trans. Model. Comput. Simul..

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

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

Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination

Christel Baier, Sebastian Junges, Joost-Pieter Katoen, 2020, Inf. Comput..

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.

From Verification to Causality-Based Explications (Invited Talk)

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

Responsibility Attribution in Parameterized Markovian Models

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

Admissibility in Probabilistic Argumentation

Christel Baier, Martin Diller, Holger Hermanns, 2021, KR.

Witnessing subsystems for probabilistic systems with low tree width pdf

Christel Baier, Simon Jantsch, Jakob Piribauer, 2021, Electronic Proceedings in Theoretical Computer Science.

Determinization and Limit-determinization of Emerson-Lei automata

Christel Baier, Sascha Klüppelholz, Simon Jantsch, 2021, ATVA.

Causality in Configurable Software Systems pdf

Christel Baier, Sven Apel, Clemens Dubslaff, 2022, ArXiv.