Karen Godary-Dejean

24 papers A* 1A 1B 1C 2Misc 1Journal 9Unranked 8
YearRankTypeTitle / Venue / Authors
2025 J jnl
A formal framework for the specification and verification of robotic skills composition for autonomous behaviors.
Robotics Auton. Syst.
Baptiste Pelletier, Charles Lesire, Karen Godary-Dejean
2025 B conf
SkiNet: A User-Oriented Tool for Petri Net-Based Analysis of Robotic Skills.
Petri Nets
Baptiste Pelletier, Charles Lesire, Karen Godary-Dejean
2024 — conf
IntelliMove: Enhancing Robotic Planning with Semantic Mapping.
TAROS (1)
Fama Ngom, Huaxi (Yulin) Zhang, Lei Zhang, Karen Godary-Dejean, Marianne Huchard
2024 J jnl
IntelliMove: Enhancing Robotic Planning with Semantic Mapping.
CoRR
Fama Ngom, Huaxi (Yulin) Zhang, Lei Zhang, Karen Godary-Dejean, Marianne Huchard
2024 J jnl
Performance Guarantee for Autonomous Robotic Missions using Resource Management: The PANORAMA Approach.
J. Intell. Robotic Syst.
Philippe Lambert, Karen Godary-Dejean, Lionel Lapierre, Lotfi Jaiem, Didier Crestani
2024 — book
Processus de prise de décision des systèmes autonomes ; Conception et validation de contrôleurs fiables.
Karen Godary-Dejean
2022 J jnl
Interpreted synchronous extension of time Petri nets.
Discret. Event Dyn. Syst.
Karen Godary-Dejean, Hélène Leroux, David Andreu
2022 — conf
SkiNet, A Petri Net Generation Tool for the Verification of Skillset-based Autonomous Systems.
FMAS/ASYDE@SEFM
Baptiste Pelletier, Charles Lesire, David Doose, Karen Godary-Dejean, Charles Dramé-Maigné
2021 A* conf
A Fault Tolerant Control Architecture Based on Fault Trees for an Underwater Robot Executing Transect Missions.
ICRA
Adrien Hereau, Karen Godary-Dejean, Jérémie Guiochet, Didier Crestani
2021 J jnl
Autonomous Decision-Making With Incomplete Information and Safety Rules Based on Non-Monotonic Reasoning.
IEEE Robotics Autom. Lett.
José Luis Vilchis Medina, Karen Godary-Dejean, Charles Lesire
2020 J jnl
Model-checking precision agriculture logistics: the case of the differential harvest.
Discret. Event Dyn. Syst.
Rim Saddem-Yagoubi, Olivier Naud, Karen Godary-Dejean, Didier Crestani
2020 — conf
Testing an Underwater Robot Executing Transect Missions in Mayotte.
TAROS
Adrien Hereau, Karen Godary-Dejean, Jérémie Guiochet, Clément Robert, Thomas Claverie, Didier Crestani
2017 — conf
Formal Method for Mission Controller Generation of a Mobile Robot.
TAROS
Silvain Louis, Karen Godary-Dejean, Lionel Lapierre, Thomas Claverie, Sébastien Villéger
2016 — conf
Toward Performance Guarantee for Autonomous Mobile Robotic Mission: An Approach for Hardware and Software Resources Management.
TAROS
Lotfi Jaiem, Lionel Lapierre, Karen Godary-Dejean, Didier Crestani
2015 J jnl
Enhancing fault tolerance of autonomous mobile robots.
Robotics Auton. Syst.
Didier Crestani, Karen Godary-Dejean, Lionel Lapierre
2015 J jnl
Handling Exceptions in Petri Net-Based Digital Architecture: From Formalism to Implementation on FPGAs.
IEEE Trans. Ind. Informatics
Hélène Leroux, David Andreu, Karen Godary-Dejean
2014 — conf
Automatic Handling of Conflicts in Synchronous Interpreted Time Petri Nets Implementation.
ISVLSI
Hélène Leroux, Karen Godary-Dejean, Guillaume Coppey, David Andreu
2014 — conf
Integrating Implementation Properties in Analysis of Petri Nets Handling Exceptions.
WODES
Hélène Leroux, Karen Godary-Dejean, David Andreu
2013 C conf
Complex Digital System Design: A Methodology and Its Application to Medical Implants.
FMICS
Hélène Leroux, Karen Godary-Dejean, David Andreu
2013 J jnl
Formal Validation of a Deterministic MAC Protocol.
ACM Trans. Embed. Comput. Syst.
Karen Godary-Dejean, David Andreu
2011 Misc conf
Temporal bounds verication of the STIMAP protocol.
RTNS
Karen Godary-Dejean, David Andreu, Romain Richard
2010 A conf
Global methodology in control architecture to improve mobile robot reliability.
IROS
Bastien Durand, Karen Godary-Dejean, Lionel Lapierre, Didier Crestani
2004 C conf
SDL and Timed Petri Nets versus UPPAAL for the validation of embedded architecture in automotive.
FDL
Karen Godary-Dejean, Isabelle Augé-Blum, Anne Mignotte
2004 — conf
Temporal Bounds for TTA: Validation.
DIPES
Karen Godary-Dejean, Isabelle Augé-Blum, Anne Mignotte