 | 2008 |
|---|
| 8 |       | Jean-Charles Chaudemar,
Charles Castel,
Christel Seguin:
FDIR Architectures for Autonomous Spacecraft: Specification and Assessment with Event-B.
ABZ 2008: 358 |
| 7 | | Sophie Humbert,
Christel Seguin,
Charles Castel,
Jean-Marc Bosc:
Deriving Safety Software Requirements from an AltaRica System Model.
SAFECOMP 2008: 320-331 |
| 2005 |
|---|
| 6 | | Laurent Sagaspe,
Gérard Bel,
Pierre Bieber,
Frédéric Boniol,
Charles Castel:
Safe Allocation of Avionics Shared Resources.
HASE 2005: 25-33 |
| 2004 |
|---|
| 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 | | 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 | | Claude Barrouil,
Charles Castel,
Patrick Fabiani,
R. Mampey,
P. Secchi,
Catherine Tessier:
Perception Strategy for a Surveillance System.
ECAI 1998: 627-631 |
| 2 | | Charles Castel,
Corine Cossart,
Catherine Tessier:
Dealing with Uncertainty in Situation Assessment: towards a Symbolic Approach.
UAI 1998: 61-68 |
| 1996 |
|---|
| 1 | | Charles Castel,
Laurent Chaudron,
Catherine Tessier:
First Order C-Cubes for the Interpretation of Petri Nets: An Application to Dynamic Scene Understanding.
ICTAI 1996: 366-373 |
