Nathalie Bertrand (INRIA Rennes - Bretagne Atlantique)

Identifiers

• name variant Nathalie Bertrand (INRIA Rennes - Bretagne Atlantique) 0.60 · backfill

Papers (2)

1. Stochastic Timed Automata cs.LO · 2014 · author #1
2. Off-line test selection with test purposes for non-deterministic timed automata cs.FL · 2012 · author #1

Mentions

• 1410.2128 #1 · backfill · confidence 0.70 Nathalie Bertrand (INRIA Rennes - Bretagne Atlantique)
• 1207.6267 #1 · backfill · confidence 0.70 Nathalie Bertrand (INRIA Rennes - Bretagne Atlantique)

Frequent Coauthors

• Am\'elie Stainer (University of Rennes 1) 1 shared papers
• Christel Baier (Technische Universit\"at Dresden) 1 shared papers
• Marcin Jurdzinski (University of Warwick) 1 shared papers
• Marcus Groesser (Technische Universit\"at Dresden) 1 shared papers
• Moez Krichen (Institute of Computer Science 1 shared papers
• Multimedia 1 shared papers
• Patricia Bouyer (LSV & ENS Cachan) 1 shared papers
• Quentin Menet (Universit\'e de Mons) 1 shared papers
• Sfax) 1 shared papers
• Thierry J\'eron (INRIA Rennes - Bretagne Atlantique) 1 shared papers
• Thomas Brihaye (Universit\'e de Mons) 1 shared papers