Gilles Motet

According to our database, Gilles Motet authored at least 22 papers between 1995 and 2019.

Collaborative distances:

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

2019

Safety case confidence propagation based on Dempster-Shafer theory.

Rui Wang, Jérémie Guiochet, Gilles Motet, Walter Schön

Int. J. Approx. Reason., 2019

2017

Confidence Assessment Framework for Safety Arguments.

Rui Wang, Jérémie Guiochet, Gilles Motet

Proceedings of the Computer Safety, Reliability, and Security, 2017

2016

A Framework for Assessing Safety Argumentation Confidence.

Rui Wang, Jérémie Guiochet, Gilles Motet

Proceedings of the Software Engineering for Resilient Systems - 8th International Workshop, 2016

D-S Theory for Argument Confidence Assessment.

Rui Wang, Jérémie Guiochet, Gilles Motet, Walter Schön

Proceedings of the Belief Functions: Theory and Applications, 2016

2014

An Integrated Hazard Identification Method for Socio-technical Systems based on STPA.

Rui Wang, Wei Zheng, Ci Liang, Gilles Motet

Proceedings of the 44. Jahrestagung der Gesellschaft für Informatik, Big Data, 2014

2010

Nevertrace Claims for Model Checking.

Zhe Chen, Gilles Motet

Proceedings of the Model Checking Software, 2010

Towards better support for the evolution of safety requirements via the model monitoring approach.

Zhe Chen, Gilles Motet

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Separating Functional and Dependability Requirements of Embedded Systems.

Zhe Chen, Gilles Motet

Proceedings of the 10th IEEE International Conference on Computer and Information Technology, 2010

2009

Formalizing Safety Requirements Using Controlling Automata

Zhe Chen, Gilles Motet

CoRR, 2009

Modeling System Safety Requirements Using Input/Output Constraint Meta-automata.

Zhe Chen, Gilles Motet

Proceedings of the Fourth International Conference on Systems, 2009

A Language-Theoretic View on Guidelines and Consistency Rules of UML.

Zhe Chen, Gilles Motet

Proceedings of the Model Driven Architecture, 2009

System Safety Requirements as Control Structures.

Zhe Chen, Gilles Motet

Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

2008

Metrics for Object-Oriented Software Reliability Assessment - Application to a Flight Manager.

Stéphanie Gaudan, Gilles Motet, Guillaume Auriol

Proceedings of the Seventh European Dependable Computing Conference, 2008

2006

A UML model consistency verification approach based on meta-modeling formalization.

Hugues Malgouyres, Gilles Motet

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

2005

UML 2.0 Consistency Rules Identification.

Jean-Pierre Seuma Vidal, Hugues Malgouyres, Gilles Motet

Proceedings of the International Conference on Software Engineering Research and Practice, 2005

2004

Toward a Human-Centered Uml for Risk Analysis

Jérémie Guiochet, Gilles Motet, Claude Baron, Guy A. Boy

CoRR, 2004

Toward A Human-Centered UML For Risk Analysis - Application to a medical robot.

Jérémie Guiochet, Gilles Motet, Claude Baron, Guy A. Boy

Proceedings of the Human Error, 2004

2003

Dependable computing: an overview.

Gilles Motet, Jean Claude Geffroy

Theor. Comput. Sci., 2003

2002

Certification of Real-Time Systems. Consequences on Modeling Tool and Modeling Process.

Gilles Motet

Proceedings of the Sicherheit und Verfügbarkeit in Echtzeit- und Automatisierungssystemen, 2002

1999

Fault Avoidance and Fault Removal in Real-Time Systems & Fault-Tolerant Computing - Introduction.

Gilles Motet, David Powell

Proceedings of the Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference, Toulouse, France, August 31, 1999

1998

Use of constraints in Petri nets and their novel applications.

Frédéric Boutet, Gilles Motet, Jean-Marie Kubek

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

1995

Design of dependable Ada software.

Gilles Motet, Alain Mapinard, Jean C. Geoffroy

BCS practitioner series, Prentice Hall, ISBN: 978-0-13-204967-2, 1995