Christel Baier

Q: What Schools Are Affiliated With Christel Baier

Christel Baier is affiliated with the following schools: University of Mannheim, University of Bonn, TU Dresden

Christel Baier's AcademicInfluence.com Rankings

Christel Baier

Computer Science

#3514

World Rank

#3687

Historical Rank

Theoretical Computer Science

#97

World Rank

#97

Historical Rank

Database

#4252

World Rank

#4422

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Why Is Christel Baier Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Christel Baier is a German theoretical computer scientist known for her work in model checking, temporal logic, and automata theory. She is a professor at TU Dresden, where she holds the chair for Algebraic and Logic Foundations of Computer Science in the Faculty of Computer Science. Baier is the editor-in-chief of Acta Informatica.

(See a Problem?)

Christel Baier's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Principles of model checking (2008) (4925)
Principles of Model Checking (Representation and Mind Series) (2008) (1132)
Model-Checking Algorithms for Continuous-Time Markov Chains (2002) (797)
Probabilistic ω-automata (2012) (446)
Modeling component connectors in Reo by constraint automata (2004) (358)
Approximate Symbolic Model Checking of Continuous-Time Markov Chains (1999) (289)
Model checking for a probabilistic branching time logic with fairness (1998) (240)
Symbolic Model Checking for Probabilistic Processes (1997) (199)
PROBMELA: a modeling language for communicating probabilistic processes (2004) (199)
Model Checking Continuous-Time Markov Chains by Transient Analysis (2000) (196)
Comparative branching-time semantics for Markov chains (2005) (176)
Weak Bisimulation for Fully Probabilistic Processes (1997) (168)
Deciding Bisimilarity and Similarity for Probabilistic Processes (2000) (137)
CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings (2006) (135)
Efficient Computation of Time-Bounded Reachability Probabilities in Uniform Continuous-Time Markov Decision Processes (2005) (135)
On the Logical Characterisation of Performability Properties (2000) (128)
LiQuor: A tool for Qualitative and Quantitative Linear Time analysis of Reactive Systems (2006) (111)
Model checking performability properties (2002) (97)
Performance evaluation and model checking join forces (2010) (95)
Controller Synthesis for Probabilistic Systems (2004) (94)
Validation of Stochastic Systems (2004) (90)
On Decision Problems for Probabilistic Büchi Automata (2008) (87)
Model Checking Markov Chains with Actions and State Labels (2007) (81)
Experiments with Deterministic ω-Automata for Formulas of Linear Temporal Logic (2005) (72)
Partial order reduction for probabilistic systems (2004) (69)
Partial Order Reduction for Probabilistic Branching Time (2006) (65)
Polynomial Time Algorithms for Testing Probabilistic Bisimulation and Simulation (1996) (64)
Models and temporal logics for timed component connectors (2004) (58)
Symbolic Model Checking for Channel-based Component Connectors (2007) (57)
Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes (2017) (55)
Model Checking Probabilistic Systems (2018) (55)
Recognizing /spl omega/-regular languages with probabilistic automata (2005) (54)
Models and temporal logical specifications for timed component connectors (2007) (54)
Domain equations for probabilistic processes (2000) (52)
On the Verification of Qualitative Properties of Probabilistic Processes under Fairness Constraints (1998) (51)
ProFeat: feature-oriented engineering for family-based probabilistic model checking (2017) (50)
Probabilistic and Topological Semantics for Timed Automata (2007) (49)
When Are Timed Automata Determinizable? (2009) (49)
Energy-Utility Quantiles (2014) (46)
Automated Performance and Dependability Evaluation Using Model Checking (2002) (44)
Stochastic Timed Automata (2014) (44)
Almost-Sure Model Checking of Infinite Paths in One-Clock Timed Automata (2008) (44)
Model checking action- and state-labelled Markov chains (2004) (43)
Denotational Semantics in the CPO and Metric Approach (1994) (42)
Rare-event verification for stochastic hybrid systems (2012) (41)
Establishing Qualitative Properties for Probabilistic Lossy Channel Systems: An Algorithmic Approach (1999) (41)
Experiments with deterministic omega-automata for formulas of linear temporal logic (2005) (41)
Probabilistic model checking for energy analysis in software product lines (2013) (41)
A Uniform Framework for Modeling and Verifying Components and Connectors (2009) (41)
Trace Machines for Observing Continuous-Time Markov Chains (2006) (41)
Computing Quantiles in Markov Reward Models (2013) (40)
Computing Conditional Probabilities in Markovian Models Efficiently (2014) (40)
Reduction Techniques for Model Checking Markov Decision Processes (2008) (40)
Metric Semantics for True Concurrent Real Time (1998) (40)
Some advances in tools and algorithms for the construction and analysis of systems (2017) (39)
Probabilistic Model Checking for Feature-Oriented Systems (2015) (39)
Probabilistic Models for Reo Connector Circuits (2005) (38)
Parametric Markov Chains: PCTL Complexity and Fraction-free Gaussian Elimination (2017) (38)
Reasoning about Probabilistic Lossy Channel Systems (2000) (37)
Genetic Algorithms for the Variable Ordering Problem of Binary Decision Diagrams (2005) (35)
Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata (2018) (34)
Validation of Stochastic Systems: A Guide to Current Research (Lecture Notes in Computer Science) (2004) (34)
Stochastic game logic (2007) (33)
Stochastic Reasoning About Channel-Based Component Connectors (2006) (33)
Model-Checking Algorithms for (2003) (33)
Trade-off analysis meets probabilistic model checking (2014) (33)
Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications (2005) (32)
Design and Verification of Systems with Exogenous Coordination Using Vereofy (2010) (32)
On Topological Hierarchies of Temporal Properties (1997) (31)
Weight monitoring with linear temporal logic: complexity and decidability (2014) (31)
Verifying nondeterministic probabilistic channel systems against ω-regular linear-time properties (2005) (29)
On Computing Fixpoints in Well-Structured Regular Model Checking, with Applications to Lossy Channel Systems (2006) (29)
Performability assessment by model checking of Markov reward models (2010) (29)
Simulation for Continuous-Time Markov Chains (2002) (28)
Markov Chains and Unambiguous Büchi Automata (2016) (27)
Family-Based Modeling and Analysis for Probabilistic Systems - Featuring ProFeat (2016) (25)
Norm Functions for Probabilistic Bisimulations with Delays (2000) (24)
Quantitative Analysis under Fairness Constraints (2009) (24)
Model Checking Linear-Time Properties of Probabilistic Systems (2009) (24)
Formal Verification for Components and Connectors (2009) (24)
Architecture and Advanced Electronics Pathways Toward Highly Adaptive Energy- Efficient Computing (2019) (24)
Model checking meets performance evaluation (2005) (24)
Model checking for performability (2013) (23)
Probabilistic Model Checking for Energy-Utility Analysis (2014) (22)
ProbMela and verification of Markov decision processes (2005) (22)
Checking Equivalence for Reo Networks (2008) (22)
On-the-Fly Stuttering in the Construction of Deterministic ω-Automata (2007) (21)
Metric semantics from partial order semantics (1997) (20)
Probabilistic weak simulation is decidable in polynomial time (2004) (20)
On-the-Fly Stuttering in the Construction of Deterministic omega -Automata (2007) (20)
On the computation of supremal sublanguages relevant to supervisory control (2012) (20)
Partial Order Reduction for Markov Decision Processes: A Survey (2005) (20)
Decision making improves sperm chemotaxis in the presence of noise (2017) (19)
Compositional Semantics of an Actor-Based Language Using Constraint Automata (2006) (19)
Advances in Symbolic Probabilistic Model Checking with PRISM (2016) (18)
Maximizing the Conditional Expected Reward for Reaching the Goal (2017) (18)
Simulating perfect channels with probabilistic lossy channels (2005) (17)
Distributed wait state tracking for runtime MPI deadlock detection (2013) (17)
Synthesis of Reo circuits from scenario-based interaction specifications (2011) (17)
Are Good-for-Games Automata Good for Probabilistic Model Checking? (2014) (17)
A Compositional Framework for Controller Synthesis (2011) (16)
Alternating-time stream logic for multi-agent systems (2008) (16)
A note on the attractor-property of infinite-state Markov chains (2006) (16)
Probabilistic Model Checking and Non-standard Multi-objective Reasoning (2014) (16)
Metric Completion versus Ideal Completion (1996) (15)
Comparative Branching-Time Semantics (2003) (15)
The Algebraic Mu-Calculus and MTBDDs (1998) (15)
Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes (2018) (15)
Reachability in continuous-time Markov reward decision processes (2008) (15)
The 10, 000 Facets of MDP Model Checking (2019) (14)
Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo (2010) (14)
Recurrence and Transience for Probabilistic Automata (2009) (13)
From Verification to Causality-based Explications (2021) (13)
Partially-shared zero-suppressed multi-terminal BDDs: concept, algorithms and applications (2010) (13)
Trace Semantics for Stochastic Systems with Nondeterminism (2006) (13)
Farkas Certificates and Minimal Witnesses for Probabilistic Reachability Constraints (2019) (13)
Synthesis of Reo Connectors for Strategies and Controllers (2014) (13)
Linear Time Logic and Deterministic omega-Automata (2005) (12)
Modeling and Verification of Components and Connectors (2011) (12)
On Reduction Criteria for Probabilistic Reward Models (2006) (12)
Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking (2014) (11)
Locks: Picking key methods for a scalable quantitative analysis (2015) (11)
Computing Probability Bounds for Linear Time Formulas over Concurrent Probabilistic Systems (1998) (11)
A Hardware/Software Stack for Heterogeneous Systems (2018) (11)
Symbolic Reasoning with Weighted and Normalized Decision Diagrams (2006) (11)
On Skolem-hardness and saturation points in Markov decision processes (2020) (10)
A uniform framework for weighted decision diagrams and its implementation (2008) (10)
On the Semantic Foundations of Probabilistic VERUS (1998) (10)
Probabilistic Automata over Infinite Words: Expressiveness, Efficiency, and Decidability (2009) (10)
Generating Compact MTBDD-Representations from ProbmelaSpecifications (2008) (10)
Waiting for Locks: How Long Does It Usually Take? (2012) (10)
Hierarchical Modeling and Formal Verification. An Industrial Case Study Using Reo and Vereofy (2011) (10)
The connection between an event structure semantics and an operational semantics forTCSP (1994) (10)
A hierarchical and modular control architecture for sequential behaviours (2015) (9)
Automatic verification of liveness properties of randomized systems (1997) (9)
Causality in Configurable Software Systems (2022) (9)
Generic Emptiness Check for Fun and Profit (2019) (8)
Energy-Utility Analysis of Probabilistic Systems with Exogenous Coordination (2018) (8)
The connection between initial and unique solutions of domain equations in the partial order and metric approach (1997) (8)
Ratio and Weight Quantiles (2015) (8)
How to Interpret and Establish Consistency Results for Semantics of Concurrent Programming Languages (1997) (8)
Model Checking with Formula-Dependent Abstract Models (2001) (8)
A hierarchical control architecture for sequential behaviours (2012) (7)
Model Checking pathCSL (2003) (7)
Probabilistic Model Checking (2016) (7)
Comparative Branching-Time Semantics for Markov Chains (Extended Abstract) (2003) (7)
Bisimulation and Simulation Relations for Markov Chains (2006) (7)
Synthesis of Reo Circuits from Scenario-based Specifications (2009) (7)
Static Partial Order Reduction for Probabilistic Concurrent Systems (2012) (6)
A Game-Theoretic Account of Responsibility Allocation (2021) (6)
A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select (2013) (6)
The Orbit Problem for Parametric Linear Dynamical Systems (2021) (6)
Reduction Methods on Probabilistic Control-flow Programs for Reliability Analysis (2020) (6)
Model Checking CSRL-Specified Performability Properties (2001) (6)
Breaking the Limits of Redundancy Systems Analysis (2019) (5)
Lab Conditions for Research on Explainable Automated Decisions (2020) (5)
Partial and Conditional Expectations in Markov Decision Processes with Integer Weights (2019) (5)
Modeling Role-Based Systems with Exogenous Coordination (2016) (5)
From verification to synthesis under cost-utility constraints (2018) (5)
Computing Probability Lower and Upper Bounds for LTL Formulae over Sequential and Concurrent Markov Chains (1999) (5)
Quantitative analysis of distributed randomized protocols (2005) (5)
Probabilistic causes in Markov chains (2021) (5)
From features to roles (2020) (5)
Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code (2012) (5)
Admissibility in Probabilistic Argumentation (2021) (5)
Experiments with Deterministic w-Automata for Formulas of Linear Temporal Logic (2006) (4)
Synthesis of Optimal Resilient Control Strategies (2017) (4)
Computing Conditional Probabilities: Implementation and Evaluation (2017) (4)
Probabilistic Acceptors for Languages over Infinite Words (2009) (4)
Compositional construction of most general controllers (2015) (4)
Distributed Reconfiguration of Maximal Independent Sets (2019) (4)
Components in Probabilistic Systems: Suitable by Construction (2020) (4)
From LTL to unambiguous Büchi automata via disambiguation of alternating automata (2019) (4)
Reachability in Dynamical Systems with Rounding (2020) (4)
Mean-payoff Optimization in Continuous-time Markov Chains with Parametric Alarms (2017) (4)
Proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems - Volume 9035 (2015) (4)
Tactile computing: Essential building blocks for the Tactile Internet (2021) (4)
Reasoning About Cost-Utility Constraints in Probabilistic Models (2015) (4)
ProFeat: feature-oriented engineering for family-based probabilistic model checking (2017) (4)
Consistent abstractions for the purpose of supervisory control (2013) (4)
A Probabilistic Semantics for Timed Automata (2008) (4)
Composition of Stochastic Transition Systems Based on Spans and Couplings (2016) (4)
Symbolic Verification of Communicating Systems with Probabilistic Message Losses: Liveness and Fairness (2006) (4)
The Effect of Tossing Coins in Omega-Automata (2009) (4)
Bisimulations, logics, and trace distributions for stochastic systems with rewards (2018) (3)
The Credo Methodology - (Extended Version) (2009) (3)
Quantitative Characterization of Reconfigurable Transistor Logic Gates (2020) (3)
Foundations of Software Science and Computation Structures (2018) (3)
Configuration of inter-process communication with probabilistic model checking (2019) (3)
From Verification to Causality-Based Explications (Invited Talk) (2021) (3)
Responsibility Attribution in Parameterized Markovian Models (2021) (3)
Formal Parameter Synthesis for Energy-Utility-Optimal Fault Tolerance (2018) (3)
Construction of a cms on a given cpo (1995) (3)
Model checking probabilistic systems against pushdown specifications (2012) (3)
Towards Automated Configuration of Systems with Non-Functional Constraints (2017) (3)
Determinization and Limit-determinization of Emerson-Lei automata (2021) (2)
Synthesis of Reo circuits (2005) (2)
Preface to the special issue on Probabilistic Model Checking (2013) (2)
Weighted Automata - Theory and Applications (2006) (2)
On the Semantic Foundations of Probabilistic Synchronous Reactive Programs (1998) (2)
A Tight Approximation for Submodular Maximization with Mixed Packing and Covering Constraints (2019) (2)
Towards Automated Variant Selection for Heterogeneous Tiled Architectures (2017) (2)
Minimal witnesses for probabilistic timed automata (2020) (2)
Responsibility and verification: Importance value in temporal logics (2021) (2)
Long-run Satisfaction of Path Properties (2019) (2)
Causality-Based Game Solving (2021) (2)
Performance Evaluation of Thermal-Constrained Scheduling Strategies in Multi-core Systems (2019) (2)
The Connection between Initial and Unique Solutions of Domain Equations in the CPO and Metric Approach (1997) (2)
Iterative Variable Reordering: Taming Huge System Families (2020) (2)
On probability-raising causality in Markov decision processes (2022) (2)
The Orchestration Stack: The Impossible Task of Designing Software for Unknown Future Post-CMOS Hardware (2016) (2)
Feed-forward control for a lithography/etch sequence (2000) (2)
Human-inspired models for tactile computing (2021) (1)
Syanco 2007: international workshop on synthesis and analysis of component connectors (2007) (1)
Multi-terminal decision diagrams: a data structure for numerical integration (1999) (1)
Quantitative Analysis of Randomized Distributed Systems and Probabilistic Automata (2013) (1)
Probabilistic Software Product Line Model Checking (2014) (1)
Quantitative Analysis of Communication Scenarios (2015) (1)
Switss: Computing Small Witnessing Subsystems (2020) (1)
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 (2017) (1)
Operational Causality - Necessarily Sufficient and Sufficiently Necessary (2022) (1)
Some advances in tools and algorithms for the construction and analysis of systems (2017) (1)
Markov Chains and Unambiguous Automata (2016) (1)
Trees and Semantics (1997) (1)
From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata (2022) (1)
Quantified Linear Temporal Logic over Probabilistic Systems with an Application to Vacuity Checking (2021) (1)
On Model Checking Techniques for Randomized Distributed Systems (2010) (1)
Denotational Linear Time Semantics and Sequential Composition (1996) (1)
Computing Conditional Probabilities in Markovian Models Efficiently ? Extended Version (2014) (1)
Special issue of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015) (2017) (1)
An efficient algorithm tocompute the minimal and maximal probabilities for timed reachability incontinuous-time Markov decision processes (2003) (1)
Büchi Objectives in Countable MDPs (2019) (1)
Greener Bits: Formal Analysis of Demand Response (2016) (1)
Solutions sets to systems of equations in hyperbolic groups are EDT0L in PSPACE (2019) (1)
On the Foundations of Cycles in Bayesian Networks (2023) (1)
Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications (2022) (1)
Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access (2023) (0)
Foundations of probability-raising causality in Markov decision processes (2022) (0)
Proceedings of SYANCO 2007 (2007) (0)
Markov Chains and Unambiguous B\"uchi Automata (2016) (0)
From Verification to Explanation (Track Introduction) (2020) (0)
Positivity-hardness results on Markov decision processes (2023) (0)
Witnessing subsystems for probabilistic systems with low tree width (2021) (0)
2 Büchi Objectives in Countable MDPs 1 Introduction (2019) (0)
SYANCO 2007: international workshop on synthesis and analysis of component connectors (2007) (0)
Delayed-Choice Semantics for Pomset Families and Message Sequence Graphs (2017) (0)
EATCS Fellows 2021 - Call for Nominations (2020) (0)
A Categorical Characterization of Consistency Results (1996) (0)
10031 Abstracts Collection - Quantitative Models: Expressiveness and Analysis (2010) (0)
The Consistency of a Noninterleaving and an Interleaving Model for Full TCSP (1991) (0)
The variance-penalized stochastic shortest path problem (2022) (0)
Preface: Volume 22 (1999) (0)
Technical Program Committee (2018) (0)
Effectiveness of Pre-computed Knowledge in Self-adaptation - A Robustness Study (2022) (0)
Magnifier: A Compositional Analysis Approach for Autonomous Traffic Control (2020) (0)
Proceedings Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics Berlin, Germany, 4th September 2017 : Preface (2017) (0)
46th International Colloquium on Automata, Languages, and Programming, ICALP 2019, July 9-12, 2019, Patras, Greece (2019) (0)
Static Partial Order Reductions for Probabilistic Systems (2011) (0)
Proceedings of the 17th international conference on Concurrency Theory (2006) (0)
International workshop on Synthesis and analysis of component connectors: in conjunction with the 6th ESEC/FSE joint meeting (2007) (0)
CONCUR 2006 [Concurrency Theory, 16th International Conference] (2006) (0)
Preface to the special issue on Probabilistic Model Checking (2013) (0)
2 Dynamic Ordered Sets with Approximate Queries , Approximate Heaps & Soft Heaps 1 (2019) (0)
A hierarchical and modular control architecture for sequential behaviours (2014) (0)
Metric Completion versus Ideal Completion [Extended Abstract] (1995) (0)
1 Title Quantitative Techniques for Dependable Distributed Systems ( QTDDS ) 2 Partners Country and Responsible Institutions and Participants Argentina (2008) (0)
Quantitative Models : Expressiveness and Analysis Dagstuhl Seminar (2010) (0)
Compositional construction of most general controllers (2015) (0)
On the probabilistic bisimulation spectrum with silent moves (2020) (0)
Validation of Continuous-Time Markov Systems (1999) (0)
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 (2007) (0)
Solving Systems of Polynomial Equations over GF ( 2 ) by a Parity-Counting Self-Reduction (2019) (0)
Preface (1998) (0)
On the definability of concurrency and communication : event structures versus pomset classes (1992) (0)
10031 Executive Summary - Quantitative Models: Expressiveness and Analysis (2010) (0)
, D 2017 , Ensuring the Reliability of Your Model Checker : Interval Iteration for Markov Decision Processes . in (2017) (0)
Special issue of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015) (2017) (0)
Formal Techniques for Distributed Objects, Components, and Systems (2018) (0)
CONCUR 2006 - Concurrency Theory: 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006 (Lecture Notes in Computer Science) (2006) (0)
Cost-Utility Analysis in Probabilistic Models (2016) (0)
Travel by women for women. (2005) (0)
Dynamic Ordered Sets with Approximate Queries, Approximate Heaps and Soft Heaps (2019) (0)
S Y ] 1 1 Ju l 2 01 7 Synthesis of Optimal Resilient Control Strategies ⋆ (0)
Interaction detection in configurable systems - A formal approach featuring roles (2022) (0)
Comparative Branching-Time Semantics for Markov Chains 3 and Continuous Stochastic (0)
Preface SOFSEM 2017: theory and practice of computer science (2017) (0)
The Algebraic Mu-Calculus and MTBDDsChristel (1998) (0)
Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata (2017) (0)
On the probabilistic bisimulation spectrum with silent moves (2020) (0)
A Categorical Characterization of Consistency (1996) (0)
A Probabilistic Semantics for (2008) (0)
From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata (2022) (0)
Special issue: CONCUR 2006 (2008) (0)
Optimal decision making for sperm chemotaxis in the presence of noise (2017) (0)
EATCS Fellows 2020 - Call for Nominations (2019) (0)

This paper list is powered by the following services:

Other Resources About Christel Baier

en.wikipedia.org

What Schools Are Affiliated With Christel Baier?

Christel Baier is affiliated with the following schools:

Christel Baier's Academic­Influence.com Rankings

Why Is Christel Baier Influential?

Christel Baier's Published Works

Published Works

Other Resources About Christel Baier

What Schools Are Affiliated With Christel Baier?

Christel Baier's AcademicInfluence.com Rankings