 | 2009 |
|---|
| 12 |       | Zhe Chen,
Gilles Motet:
System Safety Requirements as Control Structures.
COMPSAC (1) 2009: 324-331 |
| 11 | | Zhe Chen,
Gilles Motet:
A Language-Theoretic View on Guidelines and Consistency Rules of UML.
ECMDA-FA 2009: 66-81 |
| 10 | | Zhe Chen,
Gilles Motet:
Modeling System Safety Requirements Using Input/Output Constraint Meta-Automata
CoRR abs/0905.2355: (2009) |
| 9 | | Zhe Chen,
Gilles Motet:
Formalizing Safety Requirements Using Controlling Automata
CoRR abs/0905.2364: (2009) |
| 8 | | Zhe Chen,
Gilles Motet:
A Language-theoretic View on Guidelines and Consistency Rules of UML
CoRR abs/0905.2367: (2009) |
| 2008 |
|---|
| 7 | | Stéphanie Gaudan,
Gilles Motet,
Guillaume Auriol:
Metrics for Object-Oriented Software Reliability Assessment - Application to a Flight Manager.
EDCC 2008: 13-24 |
| 2006 |
|---|
| 6 | | Hugues Malgouyres,
Gilles Motet:
A UML model consistency verification approach based on meta-modeling formalization.
SAC 2006: 1804-1809 |
| 2005 |
|---|
| 5 |  | Jean-Pierre Seuma Vidal,
Hugues Malgouyres,
Gilles Motet:
UML 2.0 Consistency Rules Identification.
Software Engineering Research and Practice 2005: 175-181 |
| 2004 |
|---|
| 4 | | Jérémie Guiochet,
Gilles Motet,
Claude Baron Geffroy,
Guy A. Boy:
Toward A Human-Centered UML For Risk Analysis.
Human Error, Safety and Systems Development 2004: 177-192 |
| 3 | | Jérémie Guiochet,
Gilles Motet,
Claude Baron,
Guy A. Boy:
Toward a Human-Centered Uml for Risk Analysis
CoRR abs/cs/0412010: (2004) |
| 2003 |
|---|
| 2 | | Gilles Motet,
Jean Claude Geffroy:
Dependable computing: an overview.
Theor. Comput. Sci. 290(2): 1115-1126 (2003) |
| 1999 |
|---|
| 1 | | Gilles Motet,
David Powell:
Fault Avoidance and Fault Removal in Real-Time Systems & Fault-Tolerant Computing - Introduction.
Euro-Par 1999: 487-488 |
