2008 |
8 | EE | Jean-Charles Chaudemar,
Charles Castel,
Christel Seguin:
FDIR Architectures for Autonomous Spacecraft: Specification and Assessment with Event-B.
ABZ 2008: 358 |
7 | EE | Sophie Humbert,
Christel Seguin,
Charles Castel,
Jean-Marc Bosc:
Deriving Safety Software Requirements from an AltaRica System Model.
SAFECOMP 2008: 320-331 |
2005 |
6 | EE | 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 | 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 | | Claude Barrouil,
Charles Castel,
Patrick Fabiani,
R. Mampey,
P. Secchi,
Catherine Tessier:
Perception Strategy for a Surveillance System.
ECAI 1998: 627-631 |
2 | EE | 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 |