Automatic partitioning for deterministic test. - Didier Crestani; A. Aguila; M.-H. Gentil; P. Chardon; Christian Durante (EURO-DAC, 1992)

A Hierarchical Test Generation Using High Level Primitives. - Didier Crestani; A. Aguila; L. Eudeline; M.-H. Gentil; Christian Durante (VLSI Design, 1993)

A new high level testability measure: description and evaluation. - M.-H. Gentil; Didier Crestani; Abdennour El Rhalibi; C. Durante (VTS, 1994)

Design and analysis of workflow processes with Petri nets. - C. Covès; Didier Crestani; François Prunet (SMC, 1998)

How to manage coverability graphs construction: an overview. - C. Covès; Didier Crestani; François Prunet (SMC, 1998)

User defined multi-criteria added-value for enterprise processes analysis. - Didier Crestani; C. Covès; François Prunet; D. Chalvet; Merlin Gerin Alès; Vincent Chapurlat; Mireille Larnac; Janine Magnier (SMC, 1998)

Decision Support Systems Issues in Enterprise Change Management. Trends and Road-map for the Future. - Xavier Boucher; Didier Crestani (J. Decis. Syst., 2006)

Using competencies in performance estimation: From the activity to the process. - M. Bennour; Didier Crestani (Comput. Ind., 2007)

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

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

A Step Toward Mobile Robots Autonomy: Energy Estimation Models. - Lotfi Jaiem; Sébastien Druon; Lionel Lapierre; Didier Crestani (TAROS, 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 (TAROS, 2016)

An Approach for Fault Tolerant and Performance Guarantee Autonomous Robotic Mission. - Philippe Lambert; Lionel Lapierre; Didier Crestani (AHS, 2019)

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)

Energy Consumption of Control Schemes for the Pioneer 3DX Mobile Robot: Models and Evaluation. - Lotfi Jaiem; Didier Crestani; Lionel Lapierre; Sébastien Druon (J. Intell. Robotic Syst., 2021)

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)