First Order C-Cubes for the Interpretation of Petri Nets: An Application to Dynamic Scene Understanding. - Charles Castel; Laurent Chaudron; Catherine Tessier (ICTAI, 1996)

Perception Strategy for a Surveillance System. - Claude Barrouil; Charles Castel; Patrick Fabiani; Roger Mampey; Patrick Secchi; Catherine Tessier (ECAI, 1998)

Dealing with Uncertainty in Situation Assessment: towards a Symbolic Approach. - Charles Castel; Corine Cossart; Catherine Tessier (UAI, 1998)

Combination of Fault Tree Analysis and Model Checking for Safety Assessment of Complex System. - Pierre Bieber; Charles Castel; Christel Seguin (EDCC, 2002)

Safety assessment with AltaRica - Lessons learnt based on two aircraft system studies. - Pierre Bieber; Christian Bougnol; Charles Castel; Jean-Pierre Heckmann; Christophe Kehren; Sylvain Metge; Christel Seguin (IFIP Congress Topical Sessions, 2004)

Safe Allocation of Avionics Shared Resources. - Laurent Sagaspe; Gérard Bel; Pierre Bieber; Frédéric Boniol; Charles Castel (HASE, 2005)

FDIR Strategies for Autonomous Satellite Formations - A Preliminary Report. - Charles Castel; Jean-François Gabard; Catherine Tessier; Bertrand Laborde; Raymond Soumagne (AAAI Fall Symposium: Spacecraft Autonomy, 2006)

FDIR Architectures for Autonomous Spacecraft: Specification and Assessment with Event-B. - Jean-Charles Chaudemar; Charles Castel; Christel Seguin (ABZ, 2008)

Deriving Safety Software Requirements from an AltaRica System Model. - Sophie Humbert; Christel Seguin; Charles Castel; Jean-Marc Bosc (SAFECOMP, 2008)