# Christel Baier

According to our database1, Christel Baier authored at least 203 papers between 1991 and 2021.

Collaborative distances:

Book
In proceedings
Article
PhD thesis
Other

## Bibliography

2021
Determinization and Limit-determinization of Emerson-Lei automata.
CoRR, 2021

From Verification to Causality-based Explications.
CoRR, 2021

A Game-Theoretic Account of Responsibility Allocation.
CoRR, 2021

Probabilistic causes in Markov chains.
CoRR, 2021

The Orbit Problem for Parametric Linear Dynamical Systems.
CoRR, 2021

Responsibility and verification: Importance value in temporal logics.
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

From Verification to Causality-Based Explications (Invited Talk).
Proceedings of the 48th International Colloquium on Automata, Languages, and Programming, 2021

Causality-Based Game Solving.
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

Responsibility Attribution in Parameterized Markovian Models.
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020
Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination.
Inf. Comput., 2020

EATCS Fellows 2021 - Call for Nominations.
Bull. EATCS, 2020

Iterative Variable Reordering: Taming Huge System Families.
Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems, 2020

Reduction Methods on Probabilistic Control-flow Programs for Reliability Analysis.
CoRR, 2020

On the probabilistic bisimulation spectrum with silent moves.
Acta Informatica, 2020

Quantitative Characterization of Reconfigurable Transistor Logic Gates.
IEEE Access, 2020

Lab Conditions for Research on Explainable Automated Decisions.
Proceedings of the Trustworthy AI - Integrating Learning, Optimization and Reasoning, 2020

Farkas Certificates and Minimal Witnesses for Probabilistic Reachability Constraints.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

From features to roles.
Proceedings of the SPLC '20: 24th ACM International Systems and Software Product Line Conference, 2020

Components in Probabilistic Systems: Suitable by Construction.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020

On Skolem-Hardness and Saturation Points in Markov Decision Processes.
Proceedings of the 47th International Colloquium on Automata, Languages, and Programming, 2020

Reachability in Dynamical Systems with Rounding.
Proceedings of the 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2020

Switss: Computing Small Witnessing Subsystems.
Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

Minimal Witnesses for Probabilistic Timed Automata.
Proceedings of the Automated Technology for Verification and Analysis, 2020

2019
The 10, 000 Facets of MDP Model Checking.
Proceedings of the Computing and Software Science - State of the Art and Perspectives, 2019

Mean-payoff Optimization in Continuous-time Markov Chains with Parametric Alarms.
ACM Trans. Model. Comput. Simul., 2019

Configuration of inter-process communication with probabilistic model checking.
Int. J. Softw. Tools Technol. Transf., 2019

Proc. IEEE, 2019

EATCS Fellows 2020 - Call for Nominations.
Bull. EATCS, 2019

Breaking the Limits of Redundancy Systems Analysis.
CoRR, 2019

Long-run Satisfaction of Path Properties.
Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

Partial and Conditional Expectations in Markov Decision Processes with Integer Weights.
Proceedings of the Foundations of Software Science and Computation Structures, 2019

From LTL to Unambiguous Büchi Automata via Disambiguation of Alternating Automata.
Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

Performance Evaluation of Thermal-Constrained Scheduling Strategies in Multi-core Systems.
Proceedings of the Computer Performance Engineering - 16th European Workshop, 2019

Generic Emptiness Check for Fun and Profit.
Proceedings of the Automated Technology for Verification and Analysis, 2019

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

A Hardware/Software Stack for Heterogeneous Systems.
IEEE Trans. Multi Scale Comput. Syst., 2018

Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata.
Int. J. Softw. Tools Technol. Transf., 2018

From verification to synthesis under cost-utility constraints.
ACM SIGLOG News, 2018

Decision making improves sperm chemotaxis in the presence of noise.
PLoS Comput. Biol., 2018

ProFeat: feature-oriented engineering for family-based probabilistic model checking.
Formal Aspects Comput., 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

Formal Parameter Synthesis for Energy-Utility-Optimal Fault Tolerance.
Proceedings of the Computer Performance Engineering - 15th European Workshop, 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.
Int. J. Softw. Tools Technol. Transf., 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

Special issue of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015).
Acta Informatica, 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

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

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.
LNCS Trans. Aspect Oriented Softw. Dev., 2015

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

Compositional construction of most general controllers.
Acta Informatica, 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. Informaticae, 2014

Stochastic Timed Automata.
Log. Methods Comput. Sci., 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.
Math. Struct. Comput. Sci., 2013

Preface to the special issue on Probabilistic Model Checking.
Formal Methods Syst. Des., 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 Informatica, 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 Syst. Des., 2010

Performability assessment by model checking of Markov reward models.
Formal Methods Syst. Des., 2010

Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo.
Electron. 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
Preface.
Electron. Notes Theor. Comput. Sci., 2009

Synthesis of Reo Circuits from Scenario-based Specifications.
Electron. 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.
Int. J. Softw. Tools Technol. Transf., 2008

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

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

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

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.
Softw. Syst. Model., 2007

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

On-the-Fly Stuttering in the Construction of Deterministic <i>omega</i> -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

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 <i>omega</i>-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.
Electron. Notes Theor. Comput. Sci., 2006

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

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

Partial Order Reduction for Probabilistic Branching Time.
Electron. Notes Theor. Comput. Sci., 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 Perform. Evaluation Rev., 2005

ProbMela and verification of Markov decision processes.
SIGMETRICS Perform. Evaluation Rev., 2005

Probabilistic Models for Reo Connector Circuits.
J. Univers. Comput. Sci., 2005

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

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

Symbolic Reasoning with Weighted and Normalized Decision Diagrams.
Proceedings of the 12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, 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).
Electron. Notes Theor. Comput. Sci., 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
Deciding Bisimilarity and Similarity for Probabilistic Processes.
J. Comput. Syst. Sci., 2000

On Topological Hierarchies of Temporal Properties.
Fundam. Informaticae, 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.
Electron. Notes Theor. Comput. Sci., 1999

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

On the Semantic Foundations of Probabilistic Synchronous Reactive Programs.
Electron. 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 Comput., 1998

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

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

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

Domain equations for probabilistic processes.
Proceedings of the International Workshop on Expressiveness in Concurrency, 1997

Metric Semantics from Partial Order Semantics.
Acta Informatica, 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 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

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 Informatica, 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