SDL and Timed Petri Nets versus UPPAAL for the validation of embedded architecture in automotive. - Karen Godary-Dejean; Isabelle Augé-Blum; Anne Mignotte (FDL, 2004)

Temporal Bounds for TTA: Validation. - Karen Godary-Dejean; Isabelle Augé-Blum; Anne Mignotte (DIPES, 2004)

Global methodology in control architecture to improve mobile robot reliability. - Bastien Durand; Karen Godary-Dejean; Lionel Lapierre; Didier Crestani (IROS, 2010)

Temporal bounds verication of the STIMAP protocol. - Karen Godary-Dejean; David Andreu 001; Romain Richard (RTNS, 2011)

Complex Digital System Design: A Methodology and Its Application to Medical Implants. - Hélène Leroux; Karen Godary-Dejean; David Andreu 001 (FMICS, 2013)

Formal Validation of a Deterministic MAC Protocol. - Karen Godary-Dejean; David Andreu 001 (ACM Trans. Embed. Comput. Syst., 2013)

Automatic Handling of Conflicts in Synchronous Interpreted Time Petri Nets Implementation. - Hélène Leroux; Karen Godary-Dejean; Guillaume Coppey; David Andreu 001 (ISVLSI, 2014)

Integrating Implementation Properties in Analysis of Petri Nets Handling Exceptions. - Hélène Leroux; Karen Godary-Dejean; David Andreu 001 (WODES, 2014)

Enhancing fault tolerance of autonomous mobile robots. - Didier Crestani; Karen Godary-Dejean; Lionel Lapierre (Robotics Auton. Syst., 2015)

Handling Exceptions in Petri Net-Based Digital Architecture: From Formalism to Implementation on FPGAs. - Hélène Leroux; David Andreu 001; Karen Godary-Dejean (IEEE Trans. Ind. Informatics, 2015)

Toward Performance Guarantee for Autonomous Mobile Robotic Mission: An Approach for Hardware and Software Resources Management. - Lotfi Jaiem; Lionel Lapierre; Karen Godary-Dejean; Didier Crestani (TAROS, 2016)

Formal Method for Mission Controller Generation of a Mobile Robot. - Silvain Louis; Karen Godary-Dejean; Lionel Lapierre; Thomas Claverie; Sébastien Villéger (TAROS, 2017)

Testing an Underwater Robot Executing Transect Missions in Mayotte. - Adrien Hereau; Karen Godary-Dejean; Jérémie Guiochet; Clément Robert; Thomas Claverie; Didier Crestani (TAROS, 2020)

Model-checking precision agriculture logistics: the case of the differential harvest. - Rim Saddem-Yagoubi; Olivier Naud; Karen Godary-Dejean; Didier Crestani (Discret. Event Dyn. Syst., 2020)

A Fault Tolerant Control Architecture Based on Fault Trees for an Underwater Robot Executing Transect Missions. - Adrien Hereau; Karen Godary-Dejean; Jérémie Guiochet; Didier Crestani (ICRA, 2021)

Autonomous Decision-Making With Incomplete Information and Safety Rules Based on Non-Monotonic Reasoning. - José Luis Vilchis Medina; Karen Godary-Dejean; Charles Lesire (IEEE Robotics Autom. Lett., 2021)

SkiNet, A Petri Net Generation Tool for the Verification of Skillset-based Autonomous Systems. - Baptiste Pelletier; Charles Lesire; David Doose; Karen Godary-Dejean; Charles Dramé-Maigné (FMAS/ASYDE@SEFM, 2022)

Interpreted synchronous extension of time Petri nets. - Karen Godary-Dejean; Hélène Leroux; David Andreu 001 (Discret. Event Dyn. Syst., 2022)

Processus de prise de décision des systèmes autonomes ; Conception et validation de contrôleurs fiables. - Karen Godary-Dejean (2024)

IntelliMove: Enhancing Robotic Planning with Semantic Mapping. - Fama Ngom; Huaxi (Yulin) Zhang; Lei Zhang 200; Karen Godary-Dejean; Marianne Huchard (TAROS (1), 2024)

Performance Guarantee for Autonomous Robotic Missions using Resource Management: The PANORAMA Approach. - Philippe Lambert; Karen Godary-Dejean; Lionel Lapierre; Lotfi Jaiem; Didier Crestani (J. Intell. Robotic Syst., 2024)

SkiNet: A User-Oriented Tool for Petri Net-Based Analysis of Robotic Skills. - Baptiste Pelletier; Charles Lesire; Karen Godary-Dejean (Petri Nets, 2025)

A formal framework for the specification and verification of robotic skills composition for autonomous behaviors. - Baptiste Pelletier; Charles Lesire; Karen Godary-Dejean (Robotics Auton. Syst., 2025)