![]() | ![]() |
IRISA / INRIA Rennes, France
List of publications from the DBLP Bibliography Server - FAQother persons with the same name:
2009 | ||
---|---|---|
17 | EE | Nathalie Bertrand, Sophie Pinchinat, Jean-Baptiste Raclet: Refinement and Consistency of Timed Modal Specifications. LATA 2009: 152-163 |
16 | EE | Christel Baier, Nathalie Bertrand, Marcus Größer: Probabilistic Acceptors for Languages over Infinite Words. SOFSEM 2009: 19-33 |
2008 | ||
15 | EE | Christel Baier, Nathalie Bertrand, Marcus Größer: On Decision Problems for Probabilistic Büchi Automata. FoSSaCS 2008: 287-301 |
14 | 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 |
13 | EE | Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Nicolas Markey: Quantitative Model-Checking of One-Clock Timed Automata under Probabilistic Semantics. QEST 2008: 55-64 |
12 | EE | Nathalie Bertrand, Blaise Genest, Hugo Gimbert: Determinacy and Decidability of Reachability Games with Partial Observation on Both Sides CoRR abs/0811.3975: (2008) |
2007 | ||
11 | EE | Christel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Marcus Größer: Probabilistic and Topological Semantics for Timed Automata. FSTTCS 2007: 179-191 |
10 | EE | Christel Baier, Nathalie Bertrand, Ph. Schnoebelen: Verifying nondeterministic probabilistic channel systems against ω-regular linear-time properties. ACM Trans. Comput. Log. 9(1): (2007) |
2006 | ||
9 | EE | Christel Baier, Nathalie Bertrand, Ph. Schnoebelen: Symbolic Verification of Communicating Systems with Probabilistic Message Losses: Liveness and Fairness. FORTE 2006: 212-227 |
8 | 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 |
7 | 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) |
6 | EE | Nathalie Bertrand, Ph. Schnoebelen: A Short Visit to the STS Hierarchy. Electr. Notes Theor. Comput. Sci. 154(3): 59-69 (2006) |
5 | 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) |
2005 | ||
4 | EE | Christel Baier, Nathalie Bertrand, Ph. Schnoebelen: Verifying nondeterministic probabilistic channel systems against $\omega$-regular linear-time properties CoRR abs/cs/0511023: (2005) |
3 | EE | Parosh Aziz Abdulla, Nathalie Bertrand, Alexander Moshe Rabinovich, Ph. Schnoebelen: Verification of probabilistic systems with faulty communication. Inf. Comput. 202(2): 141-165 (2005) |
2004 | ||
2 | EE | Nathalie Bertrand, Irène Charon, Olivier Hudry, Antoine Lobstein: Identifying and locating-dominating codes on chains and cycles. Eur. J. Comb. 25(7): 969-987 (2004) |
2003 | ||
1 | EE | Nathalie Bertrand, Ph. Schnoebelen: Model Checking Lossy Channels Systems Is Probably Decidable. FoSSaCS 2003: 120-135 |
1 | Parosh Aziz Abdulla | [3] |
2 | Christel Baier | [4] [5] [7] [8] [9] [10] [11] [14] [15] [16] |
3 | Patricia Bouyer | [11] [13] [14] |
4 | Thomas Brihaye | [11] [13] [14] |
5 | Irène Charon | [2] |
6 | Blaise Genest | [12] |
7 | Hugo Gimbert | [12] |
8 | Marcus Größer | [11] [14] [15] [16] |
9 | Olivier Hudry | [2] |
10 | Antoine Lobstein | [2] |
11 | Nicolas Markey | [13] |
12 | Sophie Pinchinat | [17] |
13 | Alexander Moshe Rabinovich (Alexander Rabinovich) | [3] |
14 | Jean-Baptiste Raclet | [17] |
15 | Ph. Schnoebelen | [1] [3] [4] [5] [6] [7] [8] [9] [10] |