Charles Castel

Publication Activity (10 Years)

Years Active: 1996-2013
Publications (10 Years): 0

Top Topics

Intrusion Detection

Situation Assessment

Top Venues

Publications

Charles Castel, Corine Cossart, Catherine Tessier
Dealing with Uncertainty in Situation Assessment: towards a Symbolic Approach CoRR (2013)
Sophie Humbert, Christel Seguin, Charles Castel, Jean-Marc Bosc
Deriving Safety Software Requirements from an AltaRica System Model. SAFECOMP (2008)
Jean-Charles Chaudemar, Charles Castel, Christel Seguin
FDIR Architectures for Autonomous Spacecraft: Specification and Assessment with Event-B. ABZ (2008)
Charles Castel, Jean-François Gabard, Catherine Tessier, Bertrand Laborde, Raymond Soumagne
FDIR Strategies for Autonomous Satellite Formations - A Preliminary Report. AAAI Fall Symposium: Spacecraft Autonomy (2006)
Laurent Sagaspe, Gérard Bel, Pierre Bieber, Frédéric Boniol, Charles Castel
Safe Allocation of Avionics Shared Resources. HASE (2005)
Pierre Bieber, Christian Bougnol, Charles Castel, Jean-Pierre Heckmann, Christophe Kehren, Sylvain Metge, Christel Seguin
Safety assessment with AltaRica - Lessons learnt based on two aircraft system studies. IFIP Congress Topical Sessions (2004)
Pierre Bieber, Charles Castel, Christel Seguin
Combination of Fault Tree Analysis and Model Checking for Safety Assessment of Complex System. EDCC (2002)
Claude Barrouil, Charles Castel, Patrick Fabiani, R. Mampey, P. Secchi, Catherine Tessier
Perception Strategy for a Surveillance System. ECAI (1998)
Charles Castel, Corine Cossart, Catherine Tessier
Dealing with Uncertainty in Situation Assessment: towards a Symbolic Approach. UAI (1998)
Charles Castel, Laurent Chaudron, Catherine Tessier
First Order C-Cubes for the Interpretation of Petri Nets: An Application to Dynamic Scene Understanding. ICTAI (1996)