Karen Godary-Dejean

According to our database, Karen Godary-Dejean authored at least 19 papers between 2004 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

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., June, 2024

2022

Interpreted synchronous extension of time Petri nets.

Karen Godary-Dejean, Hélène Leroux, David Andreu

Discret. Event Dyn. Syst., 2022

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é

Proceedings of the Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE), 2022

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

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

Proceedings of the IEEE International Conference on Robotics and Automation, 2021

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

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

Proceedings of the Towards Autonomous Robotic Systems - 21st Annual Conference, 2020

2017

Formal Method for Mission Controller Generation of a Mobile Robot.

Silvain Louis, Karen Godary-Dejean, Lionel Lapierre, Thomas Claverie, Sébastien Villéger

Proceedings of the Towards Autonomous Robotic Systems - 18th Annual Conference, 2017

2016

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

Proceedings of the Towards Autonomous Robotic Systems - 17th Annual Conference, 2016

2015

Handling Exceptions in Petri Net-Based Digital Architecture: From Formalism to Implementation on FPGAs.

Hélène Leroux, David Andreu, Karen Godary-Dejean

IEEE Trans. Ind. Informatics, 2015

Enhancing fault tolerance of autonomous mobile robots.

Didier Crestani, Karen Godary-Dejean, Lionel Lapierre

Robotics Auton. Syst., 2015

2014

Integrating Implementation Properties in Analysis of Petri Nets Handling Exceptions.

Hélène Leroux, Karen Godary-Dejean, David Andreu

Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

Automatic Handling of Conflicts in Synchronous Interpreted Time Petri Nets Implementation.

Hélène Leroux, Karen Godary-Dejean, Guillaume Coppey, David Andreu

Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2014

2013

Formal Validation of a Deterministic MAC Protocol.

Karen Godary-Dejean, David Andreu

ACM Trans. Embed. Comput. Syst., 2013

Complex Digital System Design: A Methodology and Its Application to Medical Implants.

Hélène Leroux, Karen Godary-Dejean, David Andreu

Proceedings of the Formal Methods for Industrial Critical Systems, 2013

2011

Temporal bounds verication of the STIMAP protocol.

Karen Godary-Dejean, David Andreu, Romain Richard

Proceedings of the 19th International Conference on Real-Time and Network Systems, 2011

2010

Global methodology in control architecture to improve mobile robot reliability.

Bastien Durand, Karen Godary-Dejean, Lionel Lapierre, Didier Crestani

Proceedings of the 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2010

2004

Temporal Bounds for TTA: Validation.

Karen Godary-Dejean, Isabelle Augé-Blum, Anne Mignotte

Proceedings of the Design Methods and Applications for Distributed Embedded Systems, 2004

SDL and Timed Petri Nets versus UPPAAL for the validation of embedded architecture in automotive.

Karen Godary-Dejean, Isabelle Augé-Blum, Anne Mignotte

Proceedings of the Forum on specification and Design Languages, 2004