Nathalie Bertrand

IRISA / INRIA Rennes, France

other persons with the same name:

• Nathalie Bertrand - Hydro Quebec Research Institute, Canada

	2012
29		Nathalie Bertrand, John Fearnley, Sven Schewe: Bounded Satisfiability for PCTL CoRR abs/1204.0469: (2012)
28		Christel Baier, Marcus Größer, Nathalie Bertrand: Probabilistic ω-automata. J. ACM 59(1): 1 (2012)
	2011
27		Nathalie Bertrand, Amélie Stainer, Thierry Jéron, Moez Krichen: A Game Approach to Determinize Timed Automata. FOSSACS 2011: 245-259
26		Nathalie Bertrand, Blaise Genest: Minimal Disclosure in Partially Observable Markov Decision Processes. FSTTCS 2011: 411-422
25		Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Amélie Stainer: Emptiness and Universality Problems in Timed Automata with Positive Frequency. ICALP (2) 2011: 246-257
24		Nathalie Bertrand, Thierry Jéron, Amélie Stainer, Moez Krichen: Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata. TACAS 2011: 96-111
	2010
23		Nathalie Bertrand, Christophe Morvan: Probabilistic regular graphs INFINITY 2010: 77-90
	2009
22		Christel Baier, Nathalie Bertrand, Marcus Größer: The Effect of Tossing Coins in Omega-Automata. CONCUR 2009: 15-29
21		Christel Baier, Nathalie Bertrand, Marcus Größer: Probabilistic Automata over Infinite Words: Expressiveness, Efficiency, and Decidability DCFS 2009: 3-16
20		Christel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye: When Are Timed Automata Determinizable? ICALP (2) 2009: 43-54
19		Nathalie Bertrand, Axel Legay, Sophie Pinchinat, Jean-Baptiste Raclet: A Compositional Approach on Modal Specifications for Timed Systems. ICFEM 2009: 679-697
18		Nathalie Bertrand, Sophie Pinchinat, Jean-Baptiste Raclet: Refinement and Consistency of Timed Modal Specifications. LATA 2009: 152-163
17		Nathalie Bertrand, Blaise Genest, Hugo Gimbert: Qualitative Determinacy and Decidability of Stochastic Games with Signals. LICS 2009: 319-328
16		Christel Baier, Nathalie Bertrand, Marcus Größer: Probabilistic Acceptors for Languages over Infinite Words. SOFSEM 2009: 19-33
	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] [20] [21] [22] [28]
3	Patricia Bouyer (Patricia Bouyer-Decitre)	[11] [13] [14] [20] [25]
4	Thomas Brihaye	[11] [13] [14] [20] [25]
5	Irène Charon	[2]
6	John Fearnley	[29]
7	Blaise Genest	[12] [17] [26]
8	Hugo Gimbert	[12] [17]
9	Marcus Größer	[11] [14] [15] [16] [21] [22] [28]
10	Olivier Hudry	[2]
11	Thierry Jéron	[24] [27]
12	Moez Krichen	[24] [27]
13	Axel Legay	[19]
14	Antoine Lobstein	[2]
15	Nicolas Markey	[13]
16	Christophe Morvan	[23]
17	Sophie Pinchinat	[18] [19]
18	Alexander Moshe Rabinovich (Alexander Rabinovich)	[3]
19	Jean-Baptiste Raclet	[18] [19]
20	Sven Schewe	[29]
21	Ph. Schnoebelen (Philippe Schnoebelen)	[1] [3] [4] [5] [6] [7] [8] [9] [10]
22	Amélie Stainer	[24] [25] [27]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page