Karen Godary-Dejean
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2004–2021
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | ICRA | A Fault Tolerant Control Architecture Based on Fault Trees for an Underwater Robot Executing Transect Missions. | Adrien Hereau, Karen Godary-Dejean, Jrmie Guiochet, Didier Crestani |
| 2013 | FMICS | Complex Digital System Design: A Methodology and Its Application to Medical Implants. | Hlne Leroux, Karen Godary-Dejean, David Andreu |
| 2011 | RTNS | Temporal bounds verication of the STIMAP protocol. | Karen Godary-Dejean, David Andreu, Romain Richard |
| 2010 | IROS | Global methodology in control architecture to improve mobile robot reliability. | Bastien Durand, Karen Godary-Dejean, Lionel Lapierre, Didier Crestani |
| 2004 | FDL | SDL and Timed Petri Nets versus UPPAAL for the validation of embedded architecture in automotive. | Karen Godary-Dejean, Isabelle Aug-Blum, Anne Mignotte |