Karen Godary-Dejean

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 9

Top Topics

Autonomous Robotic

Top Venues

Discret. Event Dyn. Syst.

IEEE Robotics Autom. Lett.

Publications

Philippe Lambert, Karen Godary-Dejean, Lionel Lapierre, Lotfi Jaiem, Didier Crestani
Performance Guarantee for Autonomous Robotic Missions using Resource Management: The PANORAMA Approach. J. Intell. Robotic Syst. 110 (2) (2024)
Baptiste Pelletier, Charles Lesire, David Doose, Karen Godary-Dejean, Charles Dramé-Maigné
SkiNet, A Petri Net Generation Tool for the Verification of Skillset-based Autonomous Systems. FMAS/ASYDE@SEFM (2022)
Karen Godary-Dejean, Hélène Leroux, David Andreu
Interpreted synchronous extension of time Petri nets. Discret. Event Dyn. Syst. 32 (1) (2022)
Adrien Hereau, Karen Godary-Dejean, Jérémie Guiochet, Didier Crestani
A Fault Tolerant Control Architecture Based on Fault Trees for an Underwater Robot Executing Transect Missions. ICRA (2021)
José Luis Vilchis Medina, Karen Godary-Dejean, Charles Lesire
Autonomous Decision-Making With Incomplete Information and Safety Rules Based on Non-Monotonic Reasoning. IEEE Robotics Autom. Lett. 6 (4) (2021)
Adrien Hereau, Karen Godary-Dejean, Jérémie Guiochet, Clément Robert, Thomas Claverie, Didier Crestani
Testing an Underwater Robot Executing Transect Missions in Mayotte. TAROS (2020)
Rim Saddem-Yagoubi, Olivier Naud, Karen Godary-Dejean, Didier Crestani
Model-checking precision agriculture logistics: the case of the differential harvest. Discret. Event Dyn. Syst. 30 (4) (2020)
Silvain Louis, Karen Godary-Dejean, Lionel Lapierre, Thomas Claverie, Sébastien Villéger
Formal Method for Mission Controller Generation of a Mobile Robot. TAROS (2017)
Lotfi Jaiem, Lionel Lapierre, Karen Godary-Dejean, Didier Crestani
Toward Performance Guarantee for Autonomous Mobile Robotic Mission: An Approach for Hardware and Software Resources Management. TAROS (2016)
Didier Crestani, Karen Godary-Dejean, Lionel Lapierre
Enhancing fault tolerance of autonomous mobile robots. Robotics Auton. Syst. 68 (2015)
Hélène Leroux, David Andreu, Karen Godary-Dejean
Handling Exceptions in Petri Net-Based Digital Architecture: From Formalism to Implementation on FPGAs. IEEE Trans. Ind. Informatics 11 (4) (2015)
Hélène Leroux, Karen Godary-Dejean, Guillaume Coppey, David Andreu
Automatic Handling of Conflicts in Synchronous Interpreted Time Petri Nets Implementation. ISVLSI (2014)
Hélène Leroux, Karen Godary-Dejean, David Andreu
Integrating Implementation Properties in Analysis of Petri Nets Handling Exceptions. WODES (2014)
Karen Godary-Dejean, David Andreu
Formal Validation of a Deterministic MAC Protocol. ACM Trans. Embed. Comput. Syst. 12 (1) (2013)
Hélène Leroux, Karen Godary-Dejean, David Andreu
Complex Digital System Design: A Methodology and Its Application to Medical Implants. FMICS (2013)
Karen Godary-Dejean, David Andreu, Romain Richard
Temporal bounds verication of the STIMAP protocol. RTNS (2011)
Bastien Durand, Karen Godary-Dejean, Lionel Lapierre, Didier Crestani
Global methodology in control architecture to improve mobile robot reliability. IROS (2010)