default search action

combined dblp search
author search
venue search
publication search

ask others

Karen Godary-Dejean

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jirs/LambertGLJC24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jirs/LambertGLJC24
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): 52 (2024)
[i1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2410-14851
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2410-14851
Fama Ngom, Huaxi Zhang, Lei Zhang, Karen Godary-Dejean, Marianne Huchard:
IntelliMove: Enhancing Robotic Planning with Semantic Mapping. CoRR abs/2410.14851 (2024)
2022
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/deds/Godary-DejeanLA22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/deds/Godary-DejeanLA22
Karen Godary-Dejean, Hélène Leroux, David Andreu:
Interpreted synchronous extension of time Petri nets. Discret. Event Dyn. Syst. 32(1): 27-64 (2022)
[c12]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-14039
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-14039
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: 120-138
2021
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/ral/MedinaGL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ral/MedinaGL21
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): 8357-8362 (2021)
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/icra/HereauGGC21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icra/HereauGGC21
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: 2127-2133
2020
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/deds/Saddem-yagoubiN20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/deds/Saddem-yagoubiN20
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): 579-604 (2020)
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/taros/HereauGGRCC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/taros/HereauGGRCC20
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: 116-127

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2017
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/taros/LouisGLCV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/taros/LouisGLCV17
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: 586-600
2016
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/taros/JaiemLGC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/taros/JaiemLGC16
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: 189-195
2015
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/ras/CrestaniGL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ras/CrestaniGL15
Didier Crestani, Karen Godary-Dejean, Lionel Lapierre:
Enhancing fault tolerance of autonomous mobile robots. Robotics Auton. Syst. 68: 140-155 (2015)
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/tii/LerouxAG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tii/LerouxAG15
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): 897-906 (2015)
2014
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/isvlsi/LerouxGCA14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isvlsi/LerouxGCA14
Hélène Leroux, Karen Godary-Dejean, Guillaume Coppey, David Andreu:
Automatic Handling of Conflicts in Synchronous Interpreted Time Petri Nets Implementation. ISVLSI 2014: 100-105
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/wodes/LerouxGA14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wodes/LerouxGA14
Hélène Leroux, Karen Godary-Dejean, David Andreu:
Integrating Implementation Properties in Analysis of Petri Nets Handling Exceptions. WODES 2014: 406-411
2013
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/tecs/Godary-DejeanA13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tecs/Godary-DejeanA13
Karen Godary-Dejean, David Andreu:
Formal Validation of a Deterministic MAC Protocol. ACM Trans. Embed. Comput. Syst. 12(1): 6:1-6:23 (2013)
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/LerouxGA13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/LerouxGA13
Hélène Leroux, Karen Godary-Dejean, David Andreu:
Complex Digital System Design: A Methodology and Its Application to Medical Implants. FMICS 2013: 94-107
2011
[c4]
- view
  - electronic edition @ ec-nantes.fr (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/rtns/Godary-DejeanAR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtns/Godary-DejeanAR11
Karen Godary-Dejean, David Andreu, Romain Richard:
Temporal bounds verication of the STIMAP protocol. RTNS 2011: 97-106
2010
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/iros/DurandGLC10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iros/DurandGLC10
Bastien Durand, Karen Godary-Dejean, Lionel Lapierre, Didier Crestani:
Global methodology in control architecture to improve mobile robot reliability. IROS 2010: 1018-1023

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2004
[c2]
- view
  - electronic edition @ ecsi-association.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/fdl/GodaryAM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fdl/GodaryAM04
Karen Godary-Dejean, Isabelle Augé-Blum, Anne Mignotte:
SDL and Timed Petri Nets versus UPPAAL for the validation of embedded architecture in automotive. FDL 2004: 672-684
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/ifip10-3/GodaryAM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip10-3/GodaryAM04
Karen Godary-Dejean, Isabelle Augé-Blum, Anne Mignotte:
Temporal Bounds for TTA: Validation. DIPES 2004: 73-82

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.