| 2008 |
|---|
| 9 | EE | Jean-Charles Chaudemar,
Charles Castel,
Christel Seguin:
FDIR Architectures for Autonomous Spacecraft: Specification and Assessment with Event-B.
ABZ 2008: 358 |
| 8 | EE | Sophie Humbert,
Christel Seguin,
Charles Castel,
Jean-Marc Bosc:
Deriving Safety Software Requirements from an AltaRica System Model.
SAFECOMP 2008: 320-331 |
| 2006 |
|---|
| 7 | EE | Odile Laurent,
Christel Seguin,
Virginie Wiels:
A methodology for automated test generation guided by functional coverage constraints at specification level.
ASE 2006: 285-288 |
| 2004 |
|---|
| 6 | | Guy Durrieu,
Odile Laurent,
Christel Seguin,
Virginie Wiels:
Formal proof and test case generation for critical embedded systems using SCADE.
IFIP Congress Topical Sessions 2004: 499-504 |
| 5 | | Pierre Bieber,
Christian Bougnol,
Charles Castel,
Jean-Pierre Heckmann,
Christophe Kehren,
Sylvain Metge,
Christel Seguin:
Safety assessment with AltaRica.
IFIP Congress Topical Sessions 2004: 505-510 |
| 2002 |
|---|
| 4 | EE | Pierre Bieber,
Charles Castel,
Christel Seguin:
Combination of Fault Tree Analysis and Model Checking for Safety Assessment of Complex System.
EDCC 2002: 19-31 |
| 1998 |
|---|
| 3 | | Bruno d'Ausbourg,
Christel Seguin,
Guy Durrieu,
Pierre Roché:
Helping the Automated Validation Process of User Interfaces Systems.
ICSE 1998: 219-228 |
| 1996 |
|---|
| 2 | | Christel Seguin,
Virginie Wiels:
Using a Logical and Categorical Approach for the Validation of Fault-Tolerant Systems.
FME 1996: 347-366 |
| 1993 |
|---|
| 1 | | Jean Paul Bahsoun,
Corinne Servieres,
Christel Seguin:
A Unique Formalism for Specifying and Designing Objects in a Parallel Environment.
Formal Methods in Programming and Their Applications 1993: 267-280 |
