Nathalie Bertrand

Inria researcher

  • Home
  • Publications
  • Talks
  • Teaching
  • Misc

Contact information


  • Mail nathalie.bertrand@inria.fr

  • Address INRIA Rennes Bretagne-Atlantique
    Campus Universitaire de Beaulieu
    35042 Rennes cedex - France

  • Tel. +33 (0)2 99 84 22 81
  • Fax +33 (0)2 99 84 71 71


News & events

I am now back in Rennes after a sabbatical at University of Liverpool working with Sven Schewe.

QAPL'13
(Roma, March 2013)

MFCS'13
(Vienna, August 2013)

QEST'13
(Buenos Aeres, August 2013)

Links

Vertecs

IRISA

Inria

Research interests

I'm interested in model-checking, infinite state, probabilistic and timed systems.

Some projects I am/was involved in:

  • VACSIM Validation de la commande des systèmes critiques par couplage simulation et méthodes d'analyse formelle

  • STP Tournesol project on Probabilistic Timed Systems (2009-2011)
  • PIPS Procope project on Partial Information Probabilistic Systems (2008-2010)
  • TESTEC TEst des Systèmes Temps réel Embarqués Critiques (2008-2011)
  • COMBEST COMponent-Based Embedded Systems design Techniques (2008-2011)
  • ACI Persée (2003-2006)
  • VOSS II (2006-2007)

I defended my PhD thesis in October 2006 and spent a year at TU Dresden as a post-doc.