Gilles Motet

Publication Activity (10 Years)

Years Active: 1998-2019
Publications (10 Years): 4

Top Topics

High Confidence

Assessment Process

Dempster Shafer

Belief Functions

Top Venues

Int. J. Approx. Reason.

Publications

Rui Wang, Jérémie Guiochet, Gilles Motet, Walter Schön
Safety case confidence propagation based on Dempster-Shafer theory. Int. J. Approx. Reason. 107 (2019)
Rui Wang, Jérémie Guiochet, Gilles Motet
Confidence Assessment Framework for Safety Arguments. SAFECOMP (2017)
Rui Wang, Jérémie Guiochet, Gilles Motet
A Framework for Assessing Safety Argumentation Confidence. SERENE (2016)
Rui Wang, Jérémie Guiochet, Gilles Motet, Walter Schön
D-S Theory for Argument Confidence Assessment. BELIEF (2016)
Rui Wang, Wei Zheng, Ci Liang, Gilles Motet
An Integrated Hazard Identification Method for Socio-technical Systems based on STPA. GI-Jahrestagung (2014)
Zhe Chen, Gilles Motet
Towards better support for the evolution of safety requirements via the model monitoring approach. ICSE (2) (2010)
Zhe Chen, Gilles Motet
Nevertrace Claims for Model Checking. SPIN (2010)
Zhe Chen, Gilles Motet
Separating Functional and Dependability Requirements of Embedded Systems. CIT (2010)
Zhe Chen, Gilles Motet
Formalizing Safety Requirements Using Controlling Automata CoRR (2009)
Zhe Chen, Gilles Motet
Modeling System Safety Requirements Using Input/Output Constraint Meta-Automata CoRR (2009)
Zhe Chen, Gilles Motet
System Safety Requirements as Control Structures. COMPSAC (1) (2009)
Zhe Chen, Gilles Motet
A Language-Theoretic View on Guidelines and Consistency Rules of UML. ECMDA-FA (2009)
Zhe Chen, Gilles Motet
Modeling System Safety Requirements Using Input/Output Constraint Meta-automata. ICONS (2009)
Zhe Chen, Gilles Motet
A Language-theoretic View on Guidelines and Consistency Rules of UML CoRR (2009)
Stéphanie Gaudan, Gilles Motet, Guillaume Auriol
Metrics for Object-Oriented Software Reliability Assessment - Application to a Flight Manager. EDCC (2008)
Hugues Malgouyres, Gilles Motet
A UML model consistency verification approach based on meta-modeling formalization. SAC (2006)
Jean-Pierre Seuma Vidal, Hugues Malgouyres, Gilles Motet
UML 2.0 Consistency Rules Identification. Software Engineering Research and Practice (2005)
Jérémie Guiochet, Gilles Motet, Claude Baron, Guy A. Boy
Toward A Human-Centered UML For Risk Analysis - Application to a medical robot. Human Error, Safety and Systems Development (2004)
Jérémie Guiochet, Gilles Motet, Claude Baron, Guy A. Boy
Toward a Human-Centered Uml for Risk Analysis CoRR (2004)
Gilles Motet, Jean Claude Geffroy
Dependable computing: an overview. Theor. Comput. Sci. 290 (2) (2003)
Gilles Motet
Certification of Real-Time Systems. Consequences on Modeling Tool and Modeling Process. PEARL (2002)
Gilles Motet, David Powell
Fault Avoidance and Fault Removal in Real-Time Systems & Fault-Tolerant Computing - Introduction. Euro-Par (1999)
Frédéric Boutet, Gilles Motet, Jean-Marie Kubek
Use of constraints in Petri nets and their novel applications. SMC (1998)