# Christel Baier

According to our database1, Christel Baier authored at least 183 papers between 1991 and 2018.

Collaborative distances :
• Dijkstra number2 of four.
• Erdős number3 of four.

Book
In proceedings
Article
PhD thesis
Other

## Bibliography

2018
Model Checking Probabilistic Systems.
Proceedings of the Handbook of Model Checking., 2018

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

Decision making improves sperm chemotaxis in the presence of noise.
PLoS Computational Biology, 2018

ProFeat: feature-oriented engineering for family-based probabilistic model checking.
Formal Asp. Comput., 2018

Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes.
CoRR, 2018

Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes.
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

Bisimulations, logics, and trace distributions for stochastic systems with rewards.
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

Energy-Utility Analysis of Probabilistic Systems with Exogenous Coordination.
Proceedings of the It's All About Coordination, 2018

2017
Some advances in tools and algorithms for the construction and analysis of systems.
STTT, 2017

Parametric Markov Chains: PCTL Complexity and Fraction-free Gaussian Elimination.
Proceedings of the Proceedings Eighth International Symposium on Games, 2017

Synthesis of Optimal Resilient Control Strategies.
CoRR, 2017

Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms.
CoRR, 2017

Maximizing the Conditional Expected Reward for Reaching the Goal.
CoRR, 2017

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

Maximizing the Conditional Expected Reward for Reaching the Goal.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Computing Conditional Probabilities: Implementation and Evaluation.
Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms.
Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017

Towards Automated Configuration of Systems with Non-Functional Constraints.
Proceedings of the 16th Workshop on Hot Topics in Operating Systems, 2017

Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes.
Proceedings of the Computer Aided Verification - 29th International Conference, 2017

Delayed-Choice Semantics for Pomset Families and Message Sequence Graphs.
Proceedings of the ModelEd, TestEd, TrustEd, 2017

Towards Automated Variant Selection for Heterogeneous Tiled Architectures.
Proceedings of the Models, Algorithms, Logics and Tools, 2017

Synthesis of Optimal Resilient Control Strategies.
Proceedings of the Automated Technology for Verification and Analysis, 2017

2016
Probabilistic Model Checking.
Proceedings of the Dependable Software Systems Engineering, 2016

Markov Chains and Unambiguous Büchi Automata.
CoRR, 2016

Cost-Utility Analysis in Probabilistic Models.
Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering, 2016

Advances in Symbolic Probabilistic Model Checking with PRISM.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Composition of Stochastic Transition Systems Based on Spans and Couplings.
Proceedings of the 43rd International Colloquium on Automata, Languages, and Programming, 2016

Family-Based Modeling and Analysis for Probabilistic Systems - Featuring ProFeat.
Proceedings of the Fundamental Approaches to Software Engineering, 2016

Markov Chains and Unambiguous Büchi Automata.
Proceedings of the Computer Aided Verification - 28th International Conference, 2016

Modeling Role-Based Systems with Exogenous Coordination.
Proceedings of the Theory and Practice of Formal Methods, 2016

Greener Bits: Formal Analysis of Demand Response.
Proceedings of the Automated Technology for Verification and Analysis, 2016

2015
Probabilistic Model Checking for Feature-Oriented Systems.
Trans. Aspect-Oriented Software Development, 2015

Locks: Picking key methods for a scalable quantitative analysis.
J. Comput. Syst. Sci., 2015

Compositional construction of most general controllers.
Acta Inf., 2015

Reasoning About Cost-Utility Constraints in Probabilistic Models.
Proceedings of the Reachability Problems - 9th International Workshop, 2015

Ratio and Weight Quantiles.
Proceedings of the Mathematical Foundations of Computer Science 2015, 2015

Quantitative Analysis of Communication Scenarios.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2015

2014
Synthesis of Reo Connectors for Strategies and Controllers.
Fundam. Inform., 2014

Stochastic Timed Automata.
Logical Methods in Computer Science, 2014

Computing Conditional Probabilities in Markovian Models Efficiently.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

Energy-Utility Quantiles.
Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014

Are Good-for-Games Automata Good for Probabilistic Model Checking?
Proceedings of the Language and Automata Theory and Applications, 2014

Probabilistic Model Checking and Non-standard Multi-objective Reasoning.
Proceedings of the Fundamental Approaches to Software Engineering, 2014

Weight monitoring with linear temporal logic: complexity and decidability.
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014

Trade-off analysis meets probabilistic model checking.
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014

Probabilistic Model Checking for Energy-Utility Analysis.
Proceedings of the Horizons of the Mind. A Tribute to Prakash Panangaden, 2014

Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2014

Probabilistic model checking for energy analysis in software product lines.
Proceedings of the 13th International Conference on Modularity, 2014

2013
Model checking for performability.
Mathematical Structures in Computer Science, 2013

Preface to the special issue on Probabilistic Model Checking.
Formal Methods in System Design, 2013

Computing Quantiles in Markov Reward Models
CoRR, 2013

Probabilistic Model Checking for Energy Analysis in Software Product Lines.
CoRR, 2013

Distributed wait state tracking for runtime MPI deadlock detection.
Proceedings of the International Conference for High Performance Computing, 2013

A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select.
Proceedings of the NASA Formal Methods, 2013

Computing Quantiles in Markov Reward Models.
Proceedings of the Foundations of Software Science and Computation Structures, 2013

Quantitative Analysis of Randomized Distributed Systems and Probabilistic Automata.
Proceedings of the Algebraic Informatics - 5th International Conference, 2013

2012
Probabilistic ω-automata.
J. ACM, 2012

Model checking probabilistic systems against pushdown specifications.
Inf. Process. Lett., 2012

Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code
Proceedings of the Proceedings Seventh Conference on Systems Software Verification, 2012

Stochastic game logic.
Acta Inf., 2012

Static Partial Order Reduction for Probabilistic Concurrent Systems.
Proceedings of the Ninth International Conference on Quantitative Evaluation of Systems, 2012

Rare-event verification for stochastic hybrid systems.
Proceedings of the Hybrid Systems: Computation and Control (part of CPS Week 2012), 2012

Waiting for Locks: How Long Does It Usually Take?
Proceedings of the Formal Methods for Industrial Critical Systems, 2012

2011
Synthesis of Reo circuits from scenario-based interaction specifications.
Sci. Comput. Program., 2011

Modeling and Verification of Components and Connectors.
Proceedings of the Formal Methods for Eternal Networked Software Systems, 2011

Hierarchical Modeling and Formal Verification. An Industrial Case Study Using Reo and Vereofy.
Proceedings of the Formal Methods for Industrial Critical Systems, 2011

A Compositional Framework for Controller Synthesis.
Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011

2010
Alternating-time stream logic for multi-agent systems.
Sci. Comput. Program., 2010

Partially-shared zero-suppressed multi-terminal BDDs: concept, algorithms and applications.
Formal Methods in System Design, 2010

Performability assessment by model checking of Markov reward models.
Formal Methods in System Design, 2010

Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo.
Electr. Notes Theor. Comput. Sci., 2010

Performance evaluation and model checking join forces.
Commun. ACM, 2010

Design and Verification of Systems with Exogenous Coordination Using Vereofy.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

On Model Checking Techniques for Randomized Distributed Systems.
Proceedings of the Integrated Formal Methods - 8th International Conference, 2010

10031 Executive Summary - Quantitative Models: Expressiveness and Analysis.
Proceedings of the Quantitative Models: Expressiveness and Analysis, 17.01. - 22.01.2010, 2010

10031 Abstracts Collection - Quantitative Models: Expressiveness and Analysis.
Proceedings of the Quantitative Models: Expressiveness and Analysis, 17.01. - 22.01.2010, 2010

2009
Symbolic model checking for channel-based component connectors.
Sci. Comput. Program., 2009

Preface.
Electr. Notes Theor. Comput. Sci., 2009

Synthesis of Reo Circuits from Scenario-based Specifications.
Electr. Notes Theor. Comput. Sci., 2009

Probabilistic Automata over Infinite Words: Expressiveness, Efficiency, and Decidability
Proceedings of the Proceedings Eleventh International Workshop on Descriptional Complexity of Formal Systems, 2009

Probabilistic Acceptors for Languages over Infinite Words.
Proceedings of the SOFSEM 2009: Theory and Practice of Computer Science, 2009

When Are Timed Automata Determinizable?
Proceedings of the Automata, Languages and Programming, 36th Internatilonal Colloquium, 2009

Recurrence and Transience for Probabilistic Automata.
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2009

The Credo Methodology - (Extended Version).
Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009

A Uniform Framework for Modeling and Verifying Components and Connectors.
Proceedings of the Coordination Models and Languages, 11th International Conference, 2009

The Effect of Tossing Coins in Omega-Automata.
Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

Quantitative Analysis under Fairness Constraints.
Proceedings of the Automated Technology for Verification and Analysis, 2009

2008
A uniform framework for weighted decision diagrams and its implementation.
STTT, 2008

Special issue: CONCUR 2006.
Inf. Comput., 2008

Checking Equivalence for Reo Networks.
Electr. Notes Theor. Comput. Sci., 2008

Preface.
Electr. Notes Theor. Comput. Sci., 2008

Generating Compact MTBDD-Representations from ProbmelaSpecifications.
Proceedings of the Model Checking Software, 2008

Reduction Techniques for Model Checking Markov Decision Processes.
Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008

Almost-Sure Model Checking of Infinite Paths in One-Clock Timed Automata.
Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, 2008

On Decision Problems for Probabilistic Büchi Automata.
Proceedings of the Foundations of Software Science and Computational Structures, 2008

Formal Verification for Components and Connectors.
Proceedings of the Formal Methods for Components and Objects, 7th International Symposium, 2008

Alternating-Time Stream Logic for Multi-agent Systems.
Proceedings of the Coordination Models and Languages, 10th International Conference, 2008

Reachability in continuous-time Markov reward decision processes.
Proceedings of the Logic and Automata: History and Perspectives [in Honor of Wolfgang Thomas]., 2008

Principles of model checking.
MIT Press, ISBN: 978-0-262-02649-9, 2008

2007
Model Checking Markov Chains with Actions and State Labels.
IEEE Trans. Software Eng., 2007

Verifying nondeterministic probabilistic channel systems against ω-regular linear-time properties.
ACM Trans. Comput. Log., 2007

Models and temporal logical specifications for timed component connectors.
Software and System Modeling, 2007

Symbolic Model Checking for Channel-based Component Connectors.
Electr. Notes Theor. Comput. Sci., 2007

On-the-Fly Stuttering in the Construction of Deterministic omega -Automata.
Proceedings of the Implementation and Application of Automata, 2007

SYANCO 2007: international workshop on synthesis and analysis of component connectors.
Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

Syanco 2007: international workshop on synthesis and analysis of component connectors.
Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

Stochastic Game Logic.
Proceedings of the Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 2007

Probabilistic and Topological Semantics for Timed Automata.
Proceedings of the FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 2007

2006
Experiments with deterministic omega-automata for formulas of linear temporal logic.
Theor. Comput. Sci., 2006

Modeling component connectors in Reo by constraint automata.
Sci. Comput. Program., 2006

A note on the attractor-property of infinite-state Markov chains.
Inf. Process. Lett., 2006

Trace Semantics for Stochastic Systems with Nondeterminism.
Electr. Notes Theor. Comput. Sci., 2006

Trace Machines for Observing Continuous-Time Markov Chains.
Electr. Notes Theor. Comput. Sci., 2006

Symbolic Reasoning with Weighted and Normalized Decision Diagrams.
Electr. Notes Theor. Comput. Sci., 2006

Bisimulation and Simulation Relations for Markov Chains.
Electr. Notes Theor. Comput. Sci., 2006

Partial Order Reduction for Probabilistic Branching Time.
Electr. Notes Theor. Comput. Sci., 2006

On computing fixpoints in well-structured regular model checking, with applications to lossy channel systems
CoRR, 2006

LiQuor: A tool for Qualitative and Quantitative Linear Time analysis of Reactive Systems.
Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006

On Computing Fixpoints in Well-Structured Regular Model Checking, with Applications to Lossy Channel Systems.
Proceedings of the Logic for Programming, 2006

On Reduction Criteria for Probabilistic Reward Models.
Proceedings of the FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, 2006

Symbolic Verification of Communicating Systems with Probabilistic Message Losses: Liveness and Fairness.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006

Compositional Semantics of an Actor-Based Language Using Constraint Automata.
Proceedings of the Coordination Models and Languages, 8th International Conference, 2006

Stochastic Reasoning About Channel-Based Component Connectors.
Proceedings of the Coordination Models and Languages, 8th International Conference, 2006

2005
Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes.
Theor. Comput. Sci., 2005

Model checking meets performance evaluation.
SIGMETRICS Performance Evaluation Review, 2005

ProbMela and verification of Markov decision processes.
SIGMETRICS Performance Evaluation Review, 2005

Probabilistic Models for Reo Connector Circuits.
J. UCS, 2005

Comparative branching-time semantics for Markov chains.
Inf. Comput., 2005

Simulating perfect channels with probabilistic lossy channels.
Inf. Comput., 2005

Verifying nondeterministic probabilistic channel systems against $\omega$-regular linear-time properties
CoRR, 2005

Experiments with Deterministic omega-Automata for Formulas of Linear Temporal Logic.
Proceedings of the Implementation and Application of Automata, 2005

Recognizing omega-regular Languages with Probabilistic Automata.
Proceedings of the 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 2005

Genetic Algorithms for the Variable Ordering Problem of Binary Decision Diagrams.
Proceedings of the Foundations of Genetic Algorithms, 8th International Workshop, 2005

Partial Order Reduction for Markov Decision Processes: A Survey.
Proceedings of the Formal Methods for Components and Objects, 4th International Symposium, 2005

Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications.
Proceedings of the Coordination Models and Languages, 7th International Conference, 2005

2004
Probabilistic weak simulation is decidable in polynomial time.
Inf. Process. Lett., 2004

Modeling Component Connectors in Reo by Constraint Automata: (Extended Abstract).
Electr. Notes Theor. Comput. Sci., 2004

Efficient Computation of Time-Bounded Reachability Probabilities in Uniform Continuous-Time Markov Decision Processes.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004

Models and Temporal Logics for Timed Component Connectors.
Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

Partial Order Reduction for Probabilistic Systems.
Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004

PROBMELA: a modeling language for communicating probabilistic processes.
Proceedings of the 2nd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2004), 2004

Controller Synthesis for Probabilistic Systems.
Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004

Model Checking Action- and State-Labelled Markov Chains.
Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004

2003
Model-Checking Algorithms for Continuous-Time Markov Chains.
IEEE Trans. Software Eng., 2003

Comparative Branching-Time Semantics.
Proceedings of the CONCUR 2003, 2003

2002
Automated Performance and Dependability Evaluation Using Model Checking.
Proceedings of the Performance Evaluation of Complex Systems: Techniques and Tools, 2002

Model Checking Performability Properties.
Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

Simulation for Continuous-Time Markov Chains.
Proceedings of the CONCUR 2002, 2002

Theoretische Informatik - eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen.
Pearson Studium, ISBN: 978-3-8273-7033-4, 2002

2001
Metric semantics for true concurrent real time.
Theor. Comput. Sci., 2001

Model Checking with Formula-Dependent Abstract Models.
Proceedings of the Computer Aided Verification, 13th International Conference, 2001

2000
Domain equations for probabilistic processes.
Mathematical Structures in Computer Science, 2000

Deciding Bisimilarity and Similarity for Probabilistic Processes.
J. Comput. Syst. Sci., 2000

On Topological Hierarchies of Temporal Properties.
Fundam. Inform., 2000

On the Logical Characterisation of Performability Properties.
Proceedings of the Automata, Languages and Programming, 27th International Colloquium, 2000

Norm Functions for Probabilistic Bisimulations with Delays.
Proceedings of the Foundations of Software Science and Computation Structures, 2000

Reasoning about Probabilistic Lossy Channel Systems.
Proceedings of the CONCUR 2000, 2000

Model Checking Continuous-Time Markov Chains by Transient Analysis.
Proceedings of the Computer Aided Verification, 12th International Conference, 2000

1999
Computing Probability Bounds for Linear Time Formulas over Concurrent Probabilistic Systems.
Electr. Notes Theor. Comput. Sci., 1999

Preface.
Electr. Notes Theor. Comput. Sci., 1999

On the Semantic Foundations of Probabilistic Synchronous Reactive Programs.
Electr. Notes Theor. Comput. Sci., 1999

Approximate Symbolic Model Checking of Continuous-Time Markov Chains.
Proceedings of the CONCUR '99: Concurrency Theory, 1999

Establishing Qualitative Properties for Probabilistic Lossy Channel Systems: An Algorithmic Approach.
Proceedings of the Formal Methods for Real-Time and Probabilistic Systems, 1999

1998
On the Verification of Qualitative Properties of Probabilistic Processes under Fairness Constraints.
Inf. Process. Lett., 1998

Model Checking for a Probabilistic Branching Time Logic with Fairness.
Distributed Computing, 1998

Metric Semantics for True Concurrent Real Time.
Proceedings of the Automata, Languages and Programming, 25th International Colloquium, 1998

1997
Trees and Semantics.
Theor. Comput. Sci., 1997

How to Interpret and Establish Consistency Results for Semantics of Concurrent Programming Languages.
Fundam. Inform., 1997

The Connection Between Initial and Unique Solutions of Domain Equations in the Partial Order and Metric Approach.
Formal Asp. Comput., 1997

Domain equations for probabilistic processes.
Electr. Notes Theor. Comput. Sci., 1997

Metric Semantics from Partial Order Semantics.
Acta Inf., 1997

Automatic Verification of Liveness Properties of Randomized Systems.
Proceedings of the Sixteenth Annual ACM Symposium on Principles of Distributed Computing, 1997

Symbolic Model Checking for Probabilistic Processes.
Proceedings of the Automata, Languages and Programming, 24th International Colloquium, 1997

Weak Bisimulation for Fully Probabilistic Processes.
Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1997

Weak Bisimulation for Fully Probabilistic Processes.
Proceedings of the Computer Aided Verification, 9th International Conference, 1997

1996
Metric Completion versus Ideal Completion.
Theor. Comput. Sci., 1996

Denotational Linear Time Semantics and Sequential Composition.
Inf. Process. Lett., 1996

On topological hierarchies of temporal properties.
Proceedings of the Partial Order Methods in Verification, Proceedings of a DIMACS Workshop, 1996

Polynomial Time Algorithms for Testing Probabilistic Bisimulation and Simulation.
Proceedings of the Computer Aided Verification, 8th International Conference, 1996

A Categorical Characterization of Consistency Results.
Proceedings of the Algebraic Methodology and Software Technology, 1996

1994
Denotational Semantics in the CPO and Metric Approach.
Theor. Comput. Sci., 1994

The Connection between an Event Structure Semantics and an Operational Semantics for TCSP.
Acta Inf., 1994

1991
The Consistency of a Noninterleaving and an Interleaving Model for Full TCSP.
Proceedings of the Fundamentals of Computation Theory, 8th International Symposium, 1991