Nathalie Bertrand

IRISA / INRIA Rennes, France

other persons with the same name:

• Nathalie Bertrand - Hydro Quebec Research Institute, Canada

	2009
20		Christel Baier, Nathalie Bertrand, Marcus Größer: The Effect of Tossing Coins in Omega-Automata. CONCUR 2009: 15-29
19		Christel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye: When Are Timed Automata Determinizable? ICALP (2) 2009: 43-54
18		Nathalie Bertrand, Sophie Pinchinat, Jean-Baptiste Raclet: Refinement and Consistency of Timed Modal Specifications. LATA 2009: 152-163
17		Christel Baier, Nathalie Bertrand, Marcus Größer: Probabilistic Acceptors for Languages over Infinite Words. SOFSEM 2009: 19-33
16		Christel Baier, Nathalie Bertrand, Marcus Größer: Probabilistic Automata over Infinite Words: Expressiveness, Efficiency, and Decidability CoRR abs/0907.4760: (2009)
	2008
15		Christel Baier, Nathalie Bertrand, Marcus Größer: On Decision Problems for Probabilistic Büchi Automata. FoSSaCS 2008: 287-301
14		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		Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Nicolas Markey: Quantitative Model-Checking of One-Clock Timed Automata under Probabilistic Semantics. QEST 2008: 55-64
12		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		Christel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Marcus Größer: Probabilistic and Topological Semantics for Timed Automata. FSTTCS 2007: 179-191
10		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		Christel Baier, Nathalie Bertrand, Ph. Schnoebelen: Symbolic Verification of Communicating Systems with Probabilistic Message Losses: Liveness and Fairness. FORTE 2006: 212-227
8		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		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		Nathalie Bertrand, Ph. Schnoebelen: A Short Visit to the STS Hierarchy. Electr. Notes Theor. Comput. Sci. 154(3): 59-69 (2006)
5		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		Christel Baier, Nathalie Bertrand, Ph. Schnoebelen: Verifying nondeterministic probabilistic channel systems against $\omega$-regular linear-time properties CoRR abs/cs/0511023: (2005)
3		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		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		Nathalie Bertrand, Ph. Schnoebelen: Model Checking Lossy Channels Systems Is Probably Decidable. FoSSaCS 2003: 120-135

Coauthor Index

1	Parosh Aziz Abdulla	[3]
2	Christel Baier	[4] [5] [7] [8] [9] [10] [11] [14] [15] [16] [17] [19] [20]
3	Patricia Bouyer	[11] [13] [14] [19]
4	Thomas Brihaye	[11] [13] [14] [19]
5	Irène Charon	[2]
6	Blaise Genest	[12]
7	Hugo Gimbert	[12]
8	Marcus Größer	[11] [14] [15] [16] [17] [20]
9	Olivier Hudry	[2]
10	Antoine Lobstein	[2]
11	Nicolas Markey	[13]
12	Sophie Pinchinat	[18]
13	Alexander Moshe Rabinovich (Alexander Rabinovich)	[3]
14	Jean-Baptiste Raclet	[18]
15	Ph. Schnoebelen	[1] [3] [4] [5] [6] [7] [8] [9] [10]

Colors in the list of coauthors