| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Clemens Dubslaff, Christel Baier, Manuela Berg |
Model checking probabilistic systems against pushdown specifications.  |
Inf. Process. Lett.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Marcus Größer, Nathalie Bertrand |
Probabilistic ω-automata. |
J. ACM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Zuliani, Christel Baier, Edmund M. Clarke |
Rare-event verification for stochastic hybrid systems. |
HSCC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sun Meng, Farhad Arbab, Christel Baier |
Synthesis of Reo circuits from scenario-based interaction specifications. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Joachim Klein, Sascha Klüppelholz |
A Compositional Framework for Controller Synthesis. |
CONCUR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Joachim Klein, Sascha Klüppelholz, Andries Stam, Christel Baier |
Hierarchical Modeling and Formal Verification. An Industrial Case Study Using Reo and Vereofy. |
FMICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Joachim Klein, Sascha Klüppelholz |
Modeling and Verification of Components and Connectors. |
SFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sascha Klüppelholz, Christel Baier |
Alternating-time stream logic for multi-agent systems. |
Sci. Comput. Program. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Immo Grabe, Mohammad Mahdi Jaghoori, Bernhard K. Aichernig, Christel Baier, Tobias Blechmann, Frank S. de Boer, Andreas Griesmayer, Einar Broch Johnsen, Joachim Klein, Sascha Klüppelholz, Marcel Kyas, Wolfgang Leister, Rudolf Schlatte, Andries Stam, Martin Steffen, Simon Tschirner, Liang Xuedong, Wang Yi |
Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen |
Performance evaluation and model checking join forces. |
Commun. ACM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Lampka, Markus Siegle, Jörn Ossowski, Christel Baier |
Partially-shared zero-suppressed multi-terminal BDDs: concept, algorithms and applications. |
Formal Methods in System Design |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen |
Performability assessment by model checking of Markov reward models. |
Formal Methods in System Design |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier |
On Model Checking Techniques for Randomized Distributed Systems. |
IFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klüppelholz, Wolfgang Leister |
Design and Verification of Systems with Exogenous Coordination Using Vereofy. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sascha Klüppelholz, Christel Baier |
Symbolic model checking for channel-based component connectors. |
Sci. Comput. Program. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Alessandra Di Pierro |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Farhad Arbab, Sun Meng, Christel Baier |
Synthesis of Reo Circuits from Scenario-based Specifications. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Nathalie Bertrand, Marcus Größer |
Probabilistic Automata over Infinite Words: Expressiveness, Efficiency, and Decidability |
DCFS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Nathalie Bertrand, Marcus Größer |
The Effect of Tossing Coins in Omega-Automata. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye |
When Are Timed Automata Determinizable? |
ICALP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klüppelholz |
A Uniform Framework for Modeling and Verifying Components and Connectors. |
COORDINATION |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Marcus Größer, Frank Ciesinski |
Quantitative Analysis under Fairness Constraints. |
ATVA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Immo Grabe, Mohammad Mahdi Jaghoori, Joachim Klein, Sascha Klüppelholz, Andries Stam, Christel Baier, Tobias Blechmann, Bernhard K. Aichernig, Frank S. de Boer, Andreas Griesmayer |
The Credo Methodology - (Extended Version). |
FMCO |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Nathalie Bertrand, Marcus Größer |
Probabilistic Acceptors for Languages over Infinite Words. |
SOFSEM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathieu Tracol, Christel Baier, Marcus Größer |
Recurrence and Transience for Probabilistic Automata. |
FSTTCS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Holger Hermanns |
Special issue: CONCUR 2006. |
Inf. Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Blechmann, Christel Baier |
Checking Equivalence for Reo Networks. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Aldini, Christel Baier |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörn Ossowski, Christel Baier |
A uniform framework for weighted decision diagrams and its implementation. |
STTT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Joost-Pieter Katoen |
Principles of model checking. |
|
2008 |
RDF |
|
| 1 | Sascha Klüppelholz, Christel Baier |
Alternating-Time Stream Logic for Multi-agent Systems. |
COORDINATION |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klüppelholz |
Formal Verification for Components and Connectors. |
FMCO |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Ciesinski, Christel Baier, Marcus Größer, David Parker |
Generating Compact MTBDD-Representations from ProbmelaSpecifications. |
SPIN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen |
Reachability in continuous-time Markov reward decision processes. |
Logic and Automata |
2008 |
DBLP BibTeX RDF |
|
| 1 | Frank Ciesinski, Christel Baier, Marcus Größer, Joachim Klein |
Reduction Techniques for Model Checking Markov Decision Processes. |
QEST |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Nathalie Bertrand, Marcus Größer |
On Decision Problems for Probabilistic Büchi Automata. |
FoSSaCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2007 |
DBLP DOI BibTeX RDF |
1998 ACM Computing Classsification C.2.4, D.1.3, D.2.4, D.2.6, D.2.11, D.2.13, D.3.2, D.3.3, F.1.2, F.3.1, F.3.3, F.3.2 |
| 1 | Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Matthias Kuntz, Markus Siegle |
Model Checking Markov Chains with Actions and State Labels. |
IEEE Trans. Software Eng. |
2007 |
DBLP DOI BibTeX RDF |
model checking, Markov processes, automata, Protocol verification, performance of systems |
| 1 | Sascha Klüppelholz, Christel Baier |
Symbolic Model Checking for Channel-based Component Connectors. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Nathalie Bertrand, Ph. Schnoebelen |
Verifying nondeterministic probabilistic channel systems against ω-regular linear-time properties. |
ACM Trans. Comput. Log. |
2007 |
DBLP DOI BibTeX RDF |
lossy channels, probabilistic models, Communication protocols, Markov decision processes |
| 1 | Christel Baier, Tomás Brázdil, Marcus Größer, Antonín Kucera |
Stochastic Game Logic. |
QEST |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Farhad Arbab, Christel Baier |
Syanco 2007: international workshop on synthesis and analysis of component connectors. |
ESEC/SIGSOFT FSE |
2007 |
DBLP DOI BibTeX RDF |
component connectors, coordination, synthesis, analysis, reo |
| 1 | Farhad Arbab, Christel Baier |
SYANCO 2007: international workshop on synthesis and analysis of component connectors. |
ESEC/SIGSOFT FSE (Companion) |
2007 |
DBLP DOI BibTeX RDF |
component connectors, coordination, synthesis, analysis, Reo |
| 1 | Farhad Arbab, Christel Baier (eds.) |
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 |
SYANCO |
2007 |
DBLP BibTeX RDF |
|
| 1 | Joachim Klein, Christel Baier |
On-the-Fly Stuttering in the Construction of Deterministic omega -Automata. |
CIAA |
2007 |
DBLP DOI BibTeX RDF |
Rabin, ?-automaton, determinization, LTL, deterministic, stuttering |
| 1 | Christel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Marcus Größer |
Probabilistic and Topological Semantics for Timed Automata. |
FSTTCS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Nathalie Bertrand, Ph. Schnoebelen |
A note on the attractor-property of infinite-state Markov chains. |
Inf. Process. Lett. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Marjan Sirjani, Farhad Arbab, Jan J. M. M. Rutten |
Modeling component connectors in Reo by constraint automata. |
Sci. Comput. Program. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Joachim Klein, Christel Baier |
Experiments with deterministic omega-automata for formulas of linear temporal logic. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Holger Hermanns, Joost-Pieter Katoen, Verena Wolf |
Bisimulation and Simulation Relations for Markov Chains. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Verena Wolf, Christel Baier, Mila E. Majster-Cederbaum |
Trace Machines for Observing Continuous-Time Markov Chains. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörn Ossowski, Christel Baier |
Symbolic Reasoning with Weighted and Normalized Decision Diagrams. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Verena Wolf, Christel Baier, Mila E. Majster-Cederbaum |
Trace Semantics for Stochastic Systems with Nondeterminism. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Pedro R. D'Argenio, Marcus Größer |
Partial Order Reduction for Probabilistic Branching Time. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Nathalie Bertrand, Ph. Schnoebelen |
On computing fixpoints in well-structured regular model checking, with applications to lossy channel systems |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Christel Baier, Holger Hermanns (eds.) |
CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings |
CONCUR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Christel Baier, Nathalie Bertrand, Ph. Schnoebelen |
Symbolic Verification of Communicating Systems with Probabilistic Message Losses: Liveness and Fairness. |
FORTE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Nathalie Bertrand, Ph. Schnoebelen |
On Computing Fixpoints in Well-Structured Regular Model Checking, with Applications to Lossy Channel Systems. |
LPAR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Marjan Sirjani, Mohammad Mahdi Jaghoori, Christel Baier, Farhad Arbab |
Compositional Semantics of an Actor-Based Language Using Constraint Automata. |
COORDINATION |
2006 |
DBLP DOI BibTeX RDF |
Rebeca, Compositional semantics, Reo, Constraint Automata, actor model |
| 1 | Christel Baier, Verena Wolf |
Stochastic Reasoning About Channel-Based Component Connectors. |
COORDINATION |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Ciesinski, Christel Baier |
LiQuor: A tool for Qualitative and Quantitative Linear Time analysis of Reactive Systems. |
QEST |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcus Größer, Gethin Norman, Christel Baier, Frank Ciesinski, Marta Z. Kwiatkowska, David Parker |
On Reduction Criteria for Probabilistic Reward Models. |
FSTTCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Joost-Pieter Katoen, Holger Hermanns, Verena Wolf |
Comparative branching-time semantics for Markov chains. |
Inf. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Christel Baier, S. Purushothaman Iyer, Bengt Jonsson |
Simulating perfect channels with probabilistic lossy channels. |
Inf. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier |
Probabilistic Models for Reo Connector Circuits. |
J. UCS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Christel Baier, Nathalie Bertrand, Ph. Schnoebelen |
Verifying nondeterministic probabilistic channel systems against $\omega$-regular linear-time properties |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen |
Model checking meets performance evaluation. |
SIGMETRICS Performance Evaluation Review |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Frank Ciesinski, Marcus Größer |
ProbMela and verification of Markov decision processes. |
SIGMETRICS Performance Evaluation Review |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcus Größer, Christel Baier |
Partial Order Reduction for Markov Decision Processes: A Survey. |
FMCO |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Lenders, Christel Baier |
Genetic Algorithms for the Variable Ordering Problem of Binary Decision Diagrams. |
FOGA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Marcus Größer |
Recognizing omega-regular Languages with Probabilistic Automata. |
LICS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Joachim Klein, Christel Baier |
Experiments with Deterministic omega-Automata for Formulas of Linear Temporal Logic. |
CIAA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Holger Hermanns, Joost-Pieter Katoen |
Probabilistic weak simulation is decidable in polynomial time. |
Inf. Process. Lett. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Farhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten |
Models and Temporal Logics for Timed Component Connectors. |
SEFM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Frank Ciesinski, Marcus Größer |
PROBMELA: a modeling language for communicating probabilistic processes. |
MEMOCODE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle (eds.) |
Validation of Stochastic Systems - A Guide to Current Research |
Validation of Stochastic Systems |
2004 |
DBLP BibTeX RDF |
|
| 1 | Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Matthias Kuntz, Markus Siegle |
Model Checking Action- and State-Labelled Markov Chains. |
DSN |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Marcus Größer, Martin Leucker, Benedikt Bollig, Frank Ciesinski |
Controller Synthesis for Probabilistic Systems. |
IFIP TCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Christel Baier, Marcus Größer, Frank Ciesinski |
Partial Order Reduction for Probabilistic Systems. |
QEST |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen |
Model-Checking Algorithms for Continuous-Time Markov Chains. |
IEEE Trans. Software Eng. |
2003 |
DBLP DOI BibTeX RDF |
model checking, temporal logic, transient analysis, uniformization, Continuous-time Markov chain, steady-state analysis, lumping |
| 1 | Christel Baier, Holger Hermanns, Joost-Pieter Katoen, Verena Wolf |
Comparative Branching-Time Semantics. |
CONCUR |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Asteroth, Christel Baier |
Theoretische Informatik - eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen. |
|
2002 |
RDF |
|
| 1 | Christel Baier, Joost-Pieter Katoen, Holger Hermanns, Boudewijn R. Haverkort |
Simulation for Continuous-Time Markov Chains. |
CONCUR |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Boudewijn R. Haverkort, Lucia Cloth, Holger Hermanns, Joost-Pieter Katoen, Christel Baier |
Model Checking Performability Properties. |
DSN |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen |
Automated Performance and Dependability Evaluation Using Model Checking. |
Performance |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost-Pieter Katoen, Christel Baier, Diego Latella |
Metric semantics for true concurrent real time. |
Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Asteroth, Christel Baier, Ulrich Aßmann |
Model Checking with Formula-Dependent Abstract Models. |
CAV |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Marta Z. Kwiatkowska |
Domain equations for probabilistic processes. |
Mathematical Structures in Computer Science |
2000 |
DBLP BibTeX RDF |
|
| 1 | Christel Baier, Marta Z. Kwiatkowska |
On Topological Hierarchies of Temporal Properties. |
Fundam. Inform. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Bettina Engelen, Mila E. Majster-Cederbaum |
Deciding Bisimilarity and Similarity for Probabilistic Processes. |
J. Comput. Syst. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Christel Baier, S. Purushothaman Iyer, Bengt Jonsson |
Reasoning about Probabilistic Lossy Channel Systems. |
CONCUR |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen |
On the Logical Characterisation of Performability Properties. |
ICALP |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen |
Model Checking Continuous-Time Markov Chains by Transient Analysis. |
CAV |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Mariëlle Stoelinga |
Norm Functions for Probabilistic Bisimulations with Delays. |
FoSSaCS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Michael Huth, Marta Z. Kwiatkowska, Mark Ryan |
Preface. |
Electr. Notes Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")