Christel Baier (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

121		Christel Baier, Marcus Größer, Nathalie Bertrand: Probabilistic ω-automata. J. ACM 59(1): 1 (2012)
108		Christel Baier, Nathalie Bertrand, Marcus Größer: The Effect of Tossing Coins in Omega-Automata. CONCUR 2009: 15-29
106		Christel Baier, Nathalie Bertrand, Marcus Größer: Probabilistic Automata over Infinite Words: Expressiveness, Efficiency, and Decidability DCFS 2009: 3-16
103		Christel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye: When Are Timed Automata Determinizable? ICALP (2) 2009: 43-54
102		Christel Baier, Nathalie Bertrand, Marcus Größer: Probabilistic Acceptors for Languages over Infinite Words. SOFSEM 2009: 19-33
95		Christel Baier, Nathalie Bertrand, Marcus Größer: On Decision Problems for Probabilistic Büchi Automata. FoSSaCS 2008: 287-301
94		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
82		Christel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Marcus Größer: Probabilistic and Topological Semantics for Timed Automata. FSTTCS 2007: 179-191
80		Christel Baier, Nathalie Bertrand, Ph. Schnoebelen: Verifying nondeterministic probabilistic channel systems against ω-regular linear-time properties. ACM Trans. Comput. Log. 9(1): (2007)
73		Christel Baier, Nathalie Bertrand, Ph. Schnoebelen: Symbolic Verification of Communicating Systems with Probabilistic Message Losses: Liveness and Fairness. FORTE 2006: 212-227
71		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		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)
63		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)
55		Christel Baier, Nathalie Bertrand, Ph. Schnoebelen: Verifying nondeterministic probabilistic channel systems against $\omega$-regular linear-time properties CoRR abs/cs/0511023: (2005)

Selection of 14 from 124 records - Christel Baier has 65 coauthors

Last update 2012-09-10 CET by the DBLP Team — Content released under the ODC-BY 1.0 license — See also our legal information page