Design of dependable Ada software. - Gilles Motet; Alain Mapinard; Jean C. Geoffroy (Prentice Hall, 1995)

Use of constraints in Petri nets and their novel applications. - Frédéric Boutet; Gilles Motet; Jean-Marie Kubek (SMC, 1998)

Fault Avoidance and Fault Removal in Real-Time Systems & Fault-Tolerant Computing - Introduction. - Gilles Motet; David Powell (Euro-Par, 1999)

Certification of Real-Time Systems. Consequences on Modeling Tool and Modeling Process. - Gilles Motet (PEARL, 2002)

Dependable computing: an overview. - Gilles Motet; Jean Claude Geffroy (Theor. Comput. Sci., 2003)

Toward A Human-Centered UML For Risk Analysis - Application to a medical robot. - Jérémie Guiochet; Gilles Motet; Claude Baron; Guy A. Boy (Human Error, Safety and Systems Development, 2004)

Toward a Human-Centered Uml for Risk Analysis - Jérémie Guiochet; Gilles Motet; Claude Baron; Guy A. Boy (CoRR, 2004)

UML 2.0 Consistency Rules Identification. - Jean-Pierre Seuma Vidal; Hugues Malgouyres; Gilles Motet (Software Engineering Research and Practice, 2005)

A UML model consistency verification approach based on meta-modeling formalization. - Hugues Malgouyres; Gilles Motet (SAC, 2006)

Metrics for Object-Oriented Software Reliability Assessment - Application to a Flight Manager. - Stéphanie Gaudan; Gilles Motet; Guillaume Auriol (EDCC, 2008)

System Safety Requirements as Control Structures. - Zhe Chen 011; Gilles Motet (COMPSAC (1), 2009)

A Language-Theoretic View on Guidelines and Consistency Rules of UML. - Zhe Chen 011; Gilles Motet (ECMDA-FA, 2009)

Modeling System Safety Requirements Using Input/Output Constraint Meta-automata. - Zhe Chen 011; Gilles Motet (ICONS, 2009)

Formalizing Safety Requirements Using Controlling Automata - Zhe Chen 011; Gilles Motet (CoRR, 2009)

Separating Functional and Dependability Requirements of Embedded Systems. - Zhe Chen 011; Gilles Motet (CIT, 2010)

Towards better support for the evolution of safety requirements via the model monitoring approach. - Zhe Chen 011; Gilles Motet (ICSE (2), 2010)

Nevertrace Claims for Model Checking. - Zhe Chen 011; Gilles Motet (SPIN, 2010)

An Integrated Hazard Identification Method for Socio-technical Systems based on STPA. - Rui Wang 042; Wei Zheng; Ci Liang; Gilles Motet (GI-Jahrestagung, 2014)

D-S Theory for Argument Confidence Assessment. - Rui Wang 042; Jérémie Guiochet; Gilles Motet; Walter Schön (BELIEF, 2016)

A Framework for Assessing Safety Argumentation Confidence. - Rui Wang 042; Jérémie Guiochet; Gilles Motet (SERENE, 2016)

Confidence Assessment Framework for Safety Arguments. - Rui Wang 042; Jérémie Guiochet; Gilles Motet (SAFECOMP, 2017)

Safety case confidence propagation based on Dempster-Shafer theory. - Rui Wang 042; Jérémie Guiochet; Gilles Motet; Walter Schön (Int. J. Approx. Reason., 2019)