| 2009 |
|---|
| 95 | EE | Christel Baier,
Nathalie Bertrand,
Marcus Größer:
Probabilistic Acceptors for Languages over Infinite Words.
SOFSEM 2009: 19-33 |
| 2008 |
|---|
| 94 | EE | Sascha Klüppelholz,
Christel Baier:
Alternating-Time Stream Logic for Multi-agent Systems.
COORDINATION 2008: 184-198 |
| 93 | EE | Christel Baier,
Nathalie Bertrand,
Marcus Größer:
On Decision Problems for Probabilistic Büchi Automata.
FoSSaCS 2008: 287-301 |
| 92 | EE | Christel Baier,
Nathalie Bertrand,
Patricia Bouyer,
Thomas Brihaye,
Marcus Größer:
Almost-Sure Model Checking of Infinite Paths in One-Clock Timed Automata.
LICS 2008: 217-226 |
| 91 | EE | Frank Ciesinski,
Christel Baier,
Marcus Größer,
Joachim Klein:
Reduction Techniques for Model Checking Markov Decision Processes.
QEST 2008: 45-54 |
| 90 | EE | Frank Ciesinski,
Christel Baier,
Marcus Größer,
David Parker:
Generating Compact MTBDD-Representations from ProbmelaSpecifications.
SPIN 2008: 60-76 |
| 89 | EE | Tobias Blechmann,
Christel Baier:
Checking Equivalence for Reo Networks.
Electr. Notes Theor. Comput. Sci. 215: 209-226 (2008) |
| 88 | EE | Alessandro Aldini,
Christel Baier:
Preface.
Electr. Notes Theor. Comput. Sci. 220(3): 1-3 (2008) |
| 87 | EE | Christel Baier,
Holger Hermanns:
Special issue: CONCUR 2006.
Inf. Comput. 206(5): 491 (2008) |
| 86 | EE | Jörn Ossowski,
Christel Baier:
A uniform framework for weighted decision diagrams and its implementation.
STTT 10(5): 425-441 (2008) |
| 2007 |
|---|
| 85 | | Farhad Arbab,
Christel Baier:
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
ACM 2007 |
| 84 | EE | Joachim Klein,
Christel Baier:
On-the-Fly Stuttering in the Construction of Deterministic omega -Automata.
CIAA 2007: 51-61 |
| 83 | EE | Farhad Arbab,
Christel Baier:
Syanco 2007: international workshop on synthesis and analysis of component connectors.
ESEC/SIGSOFT FSE 2007: 607-608 |
| 82 | EE | Farhad Arbab,
Christel Baier:
SYANCO 2007: international workshop on synthesis and analysis of component connectors.
ESEC/SIGSOFT FSE (Companion) 2007: 607-608 |
| 81 | EE | Christel Baier,
Nathalie Bertrand,
Patricia Bouyer,
Thomas Brihaye,
Marcus Größer:
Probabilistic and Topological Semantics for Timed Automata.
FSTTCS 2007: 179-191 |
| 80 | EE | Christel Baier,
Tomás Brázdil,
Marcus Größer,
Antonín Kucera:
Stochastic Game Logic.
QEST 2007: 227-236 |
| 79 | EE | Christel Baier,
Nathalie Bertrand,
Ph. Schnoebelen:
Verifying nondeterministic probabilistic channel systems against ω-regular linear-time properties.
ACM Trans. Comput. Log. 9(1): (2007) |
| 78 | EE | Sascha Klüppelholz,
Christel Baier:
Symbolic Model Checking for Channel-based Component Connectors.
Electr. Notes Theor. Comput. Sci. 175(2): 19-37 (2007) |
| 77 | EE | Christel Baier,
Lucia Cloth,
Boudewijn R. Haverkort,
Matthias Kuntz,
Markus Siegle:
Model Checking Markov Chains with Actions and State Labels.
IEEE Trans. Software Eng. 33(4): 209-224 (2007) |
| 76 | EE | Farhad Arbab,
Christel Baier,
Frank S. de Boer,
Jan J. M. M. Rutten:
Models and temporal logical specifications for timed component connectors.
Software and System Modeling 6(1): 59-82 (2007) |
| 2006 |
|---|
| 75 | | Christel Baier,
Holger Hermanns:
CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings
Springer 2006 |
| 74 | EE | Christel Baier,
Verena Wolf:
Stochastic Reasoning About Channel-Based Component Connectors.
COORDINATION 2006: 1-15 |
| 73 | EE | Marjan Sirjani,
Mohammad Mahdi Jaghoori,
Christel Baier,
Farhad Arbab:
Compositional Semantics of an Actor-Based Language Using Constraint Automata.
COORDINATION 2006: 281-297 |
| 72 | EE | Christel Baier,
Nathalie Bertrand,
Ph. Schnoebelen:
Symbolic Verification of Communicating Systems with Probabilistic Message Losses: Liveness and Fairness.
FORTE 2006: 212-227 |
| 71 | EE | Marcus Größer,
Gethin Norman,
Christel Baier,
Frank Ciesinski,
Marta Z. Kwiatkowska,
David Parker:
On Reduction Criteria for Probabilistic Reward Models.
FSTTCS 2006: 309-320 |
| 70 | EE | Christel Baier,
Nathalie Bertrand,
Ph. Schnoebelen:
On Computing Fixpoints in Well-Structured Regular Model Checking, with Applications to Lossy Channel Systems.
LPAR 2006: 347-361 |
| 69 | EE | Frank Ciesinski,
Christel Baier:
LiQuor: A tool for Qualitative and Quantitative Linear Time analysis of Reactive Systems.
QEST 2006: 131-132 |
| 68 | EE | Christel Baier,
Nathalie Bertrand,
Ph. Schnoebelen:
On computing fixpoints in well-structured regular model checking, with applications to lossy channel systems
CoRR abs/cs/0606091: (2006) |
| 67 | EE | Jörn Ossowski,
Christel Baier:
Symbolic Reasoning with Weighted and Normalized Decision Diagrams.
Electr. Notes Theor. Comput. Sci. 151(1): 39-56 (2006) |
| 66 | EE | Verena Wolf,
Christel Baier,
Mila E. Majster-Cederbaum:
Trace Machines for Observing Continuous-Time Markov Chains.
Electr. Notes Theor. Comput. Sci. 153(2): 259-277 (2006) |
| 65 | EE | Christel Baier,
Pedro R. D'Argenio,
Marcus Größer:
Partial Order Reduction for Probabilistic Branching Time.
Electr. Notes Theor. Comput. Sci. 153(2): 97-116 (2006) |
| 64 | EE | Christel Baier,
Holger Hermanns,
Joost-Pieter Katoen,
Verena Wolf:
Bisimulation and Simulation Relations for Markov Chains.
Electr. Notes Theor. Comput. Sci. 162: 73-78 (2006) |
| 63 | EE | Verena Wolf,
Christel Baier,
Mila E. Majster-Cederbaum:
Trace Semantics for Stochastic Systems with Nondeterminism.
Electr. Notes Theor. Comput. Sci. 164(3): 187-204 (2006) |
| 62 | EE | Christel Baier,
Nathalie Bertrand,
Ph. Schnoebelen:
A note on the attractor-property of infinite-state Markov chains.
Inf. Process. Lett. 97(2): 58-63 (2006) |
| 61 | EE | Christel Baier,
Marjan Sirjani,
Farhad Arbab,
Jan J. M. M. Rutten:
Modeling component connectors in Reo by constraint automata.
Sci. Comput. Program. 61(2): 75-113 (2006) |
| 60 | EE | Joachim Klein,
Christel Baier:
Experiments with deterministic omega-automata for formulas of linear temporal logic.
Theor. Comput. Sci. 363(2): 182-195 (2006) |
| 2005 |
|---|
| 59 | EE | Joachim Klein,
Christel Baier:
Experiments with Deterministic omega-Automata for Formulas of Linear Temporal Logic.
CIAA 2005: 199-212 |
| 58 | EE | Farhad Arbab,
Christel Baier,
Frank S. de Boer,
Jan J. M. M. Rutten,
Marjan Sirjani:
Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications.
COORDINATION 2005: 236-251 |
| 57 | EE | Marcus Größer,
Christel Baier:
Partial Order Reduction for Markov Decision Processes: A Survey.
FMCO 2005: 408-427 |
| 56 | EE | Wolfgang Lenders,
Christel Baier:
Genetic Algorithms for the Variable Ordering Problem of Binary Decision Diagrams.
FOGA 2005: 1-20 |
| 55 | EE | Christel Baier,
Marcus Größer:
Recognizing omega-regular Languages with Probabilistic Automata.
LICS 2005: 137-146 |
| 54 | EE | Christel Baier,
Nathalie Bertrand,
Ph. Schnoebelen:
Verifying nondeterministic probabilistic channel systems against $\omega$-regular linear-time properties
CoRR abs/cs/0511023: (2005) |
| 53 | EE | Parosh Aziz Abdulla,
Christel Baier,
S. Purushothaman Iyer,
Bengt Jonsson:
Simulating perfect channels with probabilistic lossy channels.
Inf. Comput. 197(1-2): 22-40 (2005) |
| 52 | EE | Christel Baier,
Joost-Pieter Katoen,
Holger Hermanns,
Verena Wolf:
Comparative branching-time semantics for Markov chains.
Inf. Comput. 200(2): 149-214 (2005) |
| 51 | EE | Christel Baier:
Probabilistic Models for Reo Connector Circuits.
J. UCS 11(10): 1718-1748 (2005) |
| 50 | EE | Christel Baier,
Boudewijn R. Haverkort,
Holger Hermanns,
Joost-Pieter Katoen:
Model checking meets performance evaluation.
SIGMETRICS Performance Evaluation Review 32(4): 10-15 (2005) |
| 49 | EE | Christel Baier,
Frank Ciesinski,
Marcus Größer:
ProbMela and verification of Markov decision processes.
SIGMETRICS Performance Evaluation Review 32(4): 22-27 (2005) |
| 48 | EE | Christel Baier,
Holger Hermanns,
Joost-Pieter Katoen,
Boudewijn R. Haverkort:
Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes.
Theor. Comput. Sci. 345(1): 2-26 (2005) |
| 2004 |
|---|
| 47 | | Christel Baier,
Boudewijn R. Haverkort,
Holger Hermanns,
Joost-Pieter Katoen,
Markus Siegle:
Validation of Stochastic Systems - A Guide to Current Research
Springer 2004 |
| 46 | EE | Christel Baier,
Lucia Cloth,
Boudewijn R. Haverkort,
Matthias Kuntz,
Markus Siegle:
Model Checking Action- and State-Labelled Markov Chains.
DSN 2004: 701-710 |
| 45 | | Christel Baier,
Marcus Größer,
Martin Leucker,
Benedikt Bollig,
Frank Ciesinski:
Controller Synthesis for Probabilistic Systems.
IFIP TCS 2004: 493-506 |
| 44 | EE | Christel Baier,
Frank Ciesinski,
Marcus Größer:
PROBMELA: a modeling language for communicating probabilistic processes.
MEMOCODE 2004: 57-66 |
| 43 | EE | Christel Baier,
Marcus Größer,
Frank Ciesinski:
Partial Order Reduction for Probabilistic Systems.
QEST 2004: 230-239 |
| 42 | EE | Farhad Arbab,
Christel Baier,
Frank S. de Boer,
Jan J. M. M. Rutten:
Models and Temporal Logics for Timed Component Connectors.
SEFM 2004: 198-207 |
| 41 | EE | Christel Baier,
Boudewijn R. Haverkort,
Holger Hermanns,
Joost-Pieter Katoen:
Efficient Computation of Time-Bounded Reachability Probabilities in Uniform Continuous-Time Markov Decision Processes.
TACAS 2004: 61-76 |
| 40 | EE | Farhad Arbab,
Christel Baier,
Jan J. M. M. Rutten,
Marjan Sirjani:
Modeling Component Connectors in Reo by Constraint Automata: (Extended Abstract).
Electr. Notes Theor. Comput. Sci. 97: 25-46 (2004) |
| 39 | EE | Christel Baier,
Holger Hermanns,
Joost-Pieter Katoen:
Probabilistic weak simulation is decidable in polynomial time.
Inf. Process. Lett. 89(3): 123-130 (2004) |
| 2003 |
|---|
| 38 | EE | Christel Baier,
Holger Hermanns,
Joost-Pieter Katoen,
Verena Wolf:
Comparative Branching-Time Semantics.
CONCUR 2003: 482-497 |
| 37 | EE | Christel Baier,
Boudewijn R. Haverkort,
Holger Hermanns,
Joost-Pieter Katoen:
Model-Checking Algorithms for Continuous-Time Markov Chains.
IEEE Trans. Software Eng. 29(6): 524-541 (2003) |
| 2002 |
|---|
| 36 | EE | Christel Baier,
Joost-Pieter Katoen,
Holger Hermanns,
Boudewijn R. Haverkort:
Simulation for Continuous-Time Markov Chains.
CONCUR 2002: 338-354 |
| 35 | EE | Boudewijn R. Haverkort,
Lucia Cloth,
Holger Hermanns,
Joost-Pieter Katoen,
Christel Baier:
Model Checking Performability Properties.
DSN 2002: 103-112 |
| 34 | EE | Christel Baier,
Boudewijn R. Haverkort,
Holger Hermanns,
Joost-Pieter Katoen:
Automated Performance and Dependability Evaluation Using Model Checking.
Performance 2002: 261-289 |
| 2001 |
|---|
| 33 | EE | Alexander Asteroth,
Christel Baier,
Ulrich Aßmann:
Model Checking with Formula-Dependent Abstract Models.
CAV 2001: 155-168 |
| 32 | EE | Joost-Pieter Katoen,
Christel Baier,
Diego Latella:
Metric semantics for true concurrent real time.
Theor. Comput. Sci. 254(1-2): 501-542 (2001) |
| 2000 |
|---|
| 31 | | Christel Baier,
Boudewijn R. Haverkort,
Holger Hermanns,
Joost-Pieter Katoen:
Model Checking Continuous-Time Markov Chains by Transient Analysis.
CAV 2000: 358-372 |
| 30 | EE | Parosh Aziz Abdulla,
Christel Baier,
S. Purushothaman Iyer,
Bengt Jonsson:
Reasoning about Probabilistic Lossy Channel Systems.
CONCUR 2000: 320-333 |
| 29 | EE | Christel Baier,
Mariëlle Stoelinga:
Norm Functions for Probabilistic Bisimulations with Delays.
FoSSaCS 2000: 1-16 |
| 28 | EE | Christel Baier,
Boudewijn R. Haverkort,
Holger Hermanns,
Joost-Pieter Katoen:
On the Logical Characterisation of Performability Properties.
ICALP 2000: 780-792 |
| 27 | | Christel Baier,
Marta Z. Kwiatkowska:
On Topological Hierarchies of Temporal Properties.
Fundam. Inform. 41(3): 259-294 (2000) |
| 26 | | Christel Baier,
Bettina Engelen,
Mila E. Majster-Cederbaum:
Deciding Bisimilarity and Similarity for Probabilistic Processes.
J. Comput. Syst. Sci. 60(1): 187-231 (2000) |
| 25 | | Christel Baier,
Marta Z. Kwiatkowska:
Domain equations for probabilistic processes.
Mathematical Structures in Computer Science 10(6): 665-717 (2000) |
| 1999 |
|---|
| 24 | EE | Christel Baier,
Bettina Engelen:
Establishing Qualitative Properties for Probabilistic Lossy Channel Systems: An Algorithmic Approach.
ARTS 1999: 34-52 |
| 23 | EE | Christel Baier,
Joost-Pieter Katoen,
Holger Hermanns:
Approximate Symbolic Model Checking of Continuous-Time Markov Chains.
CONCUR 1999: 146-161 |
| 22 | EE | Christel Baier,
Marta Z. Kwiatkowska,
Gethin Norman:
Computing Probability Bounds for Linear Time Formulas over Concurrent Probabilistic Systems.
Electr. Notes Theor. Comput. Sci. 22: (1999) |
| 21 | EE | Christel Baier,
Edmund M. Clarke,
Vasilili Hartonas-Garmhausen:
On the Semantic Foundations of Probabilistic Synchronous Reactive Programs.
Electr. Notes Theor. Comput. Sci. 22: (1999) |
| 20 | EE | Christel Baier,
Michael Huth,
Marta Z. Kwiatkowska,
Mark Ryan:
Preface.
Electr. Notes Theor. Comput. Sci. 22: (1999) |
| 1998 |
|---|
| 19 | EE | Christel Baier,
Joost-Pieter Katoen,
Diego Latella:
Metric Semantics for True Concurrent Real Time.
ICALP 1998: 568-579 |
| 18 | EE | Christel Baier,
Marta Z. Kwiatkowska:
Model Checking for a Probabilistic Branching Time Logic with Fairness.
Distributed Computing 11(3): 125-155 (1998) |
| 17 | EE | Christel Baier,
Marta Z. Kwiatkowska:
On the Verification of Qualitative Properties of Probabilistic Processes under Fairness Constraints.
Inf. Process. Lett. 66(2): 71-79 (1998) |
| 1997 |
|---|
| 16 | | Christel Baier,
Holger Hermanns:
Weak Bisimulation for Fully Probabilistic Processes.
CAV 1997: 119-130 |
| 15 | | Christel Baier,
Holger Hermanns:
Weak Bisimulation for Fully Probabilistic Processes.
FBT 1997: 59-68 |
| 14 | | Christel Baier,
Edmund M. Clarke,
Vassili Hartonas-Garmhausen,
Marta Z. Kwiatkowska,
Mark Ryan:
Symbolic Model Checking for Probabilistic Processes.
ICALP 1997: 430-440 |
| 13 | | Christel Baier,
Marta Z. Kwiatkowska:
Automatic Verification of Liveness Properties of Randomized Systems.
PODC 1997: 295 |
| 12 | EE | Christel Baier,
Mila E. Majster-Cederbaum:
Metric Semantics from Partial Order Semantics.
Acta Inf. 34(9): 701-735 (1997) |
| 11 | EE | Christel Baier,
Marta Z. Kwiatkowska:
Domain equations for probabilistic processes.
Electr. Notes Theor. Comput. Sci. 7: (1997) |
| 10 | | Christel Baier,
Mila E. Majster-Cederbaum:
The Connection Between Initial and Unique Solutions of Domain Equations in the Partial Order and Metric Approach.
Formal Asp. Comput. 9(4): 425-445 (1997) |
| 9 | | Christel Baier,
Mila E. Majster-Cederbaum:
How to Interpret and Establish Consistency Results for Semantics of Concurrent Programming Languages.
Fundam. Inform. 29(3): 225-256 (1997) |
| 8 | EE | Christel Baier:
Trees and Semantics.
Theor. Comput. Sci. 179(1-2): 217-250 (1997) |
| 1996 |
|---|
| 7 | | Christel Baier,
Mila E. Majster-Cederbaum:
A Categorical Characterization of Consistency Results.
AMAST 1996: 473-486 |
| 6 | | Christel Baier:
Polynomial Time Algorithms for Testing Probabilistic Bisimulation and Simulation.
CAV 1996: 50-61 |
| 5 | EE | Christel Baier,
Mila E. Majster-Cederbaum:
Denotational Linear Time Semantics and Sequential Composition.
Inf. Process. Lett. 59(3): 135-143 (1996) |
| 4 | EE | Mila E. Majster-Cederbaum,
Christel Baier:
Metric Completion versus Ideal Completion.
Theor. Comput. Sci. 170(1-2): 145-171 (1996) |
| 1994 |
|---|
| 3 | | Christel Baier,
Mila E. Majster-Cederbaum:
The Connection between an Event Structure Semantics and an Operational Semantics for TCSP.
Acta Inf. 31(1): 81-104 (1994) |
| 2 | | Christel Baier,
Mila E. Majster-Cederbaum:
Denotational Semantics in the CPO and Metric Approach.
Theor. Comput. Sci. 135(2): 171-220 (1994) |
| 1991 |
|---|
| 1 | | Christel Baier,
Mila E. Majster-Cederbaum:
The Consistency of a Noninterleaving and an Interleaving Model for Full TCSP.
FCT 1991: 105-120 |
