Charles Castel

According to our database, Charles Castel authored at least 9 papers between 1996 and 2008.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2008

Deriving Safety Software Requirements from an AltaRica System Model.

Sophie Humbert, Christel Seguin, Charles Castel, Jean-Marc Bosc

Proceedings of the Computer Safety, 2008

FDIR Architectures for Autonomous Spacecraft: Specification and Assessment with Event-B.

Jean-Charles Chaudemar, Charles Castel, Christel Seguin

Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008

2006

FDIR Strategies for Autonomous Satellite Formations - A Preliminary Report.

Charles Castel, Jean-François Gabard, Catherine Tessier, Bertrand Laborde, Raymond Soumagne

Proceedings of the Spacecraft Autonomy: Using AI to Expand Human Space Exploration, 2006

2005

Safe Allocation of Avionics Shared Resources.

Laurent Sagaspe, Gérard Bel, Pierre Bieber, Frédéric Boniol, Charles Castel

Proceedings of the Ninth IEEE International Symposium on High Assurance Systems Engineering (HASE 2005), 2005

2004

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

Proceedings of the Building the Information Society, 2004

2002

Combination of Fault Tree Analysis and Model Checking for Safety Assessment of Complex System.

Pierre Bieber, Charles Castel, Christel Seguin

Proceedings of the Dependable Computing, 2002

1998

Dealing with Uncertainty in Situation Assessment: towards a Symbolic Approach.

Charles Castel, Corine Cossart, Catherine Tessier

Proceedings of the UAI '98: Proceedings of the Fourteenth Conference on Uncertainty in Artificial Intelligence, 1998

Perception Strategy for a Surveillance System.

Claude Barrouil, Charles Castel, Patrick Fabiani, Roger Mampey, Patrick Secchi, Catherine Tessier

Proceedings of the 13th European Conference on Artificial Intelligence, 1998

1996

First Order C-Cubes for the Interpretation of Petri Nets: An Application to Dynamic Scene Understanding.

Charles Castel, Laurent Chaudron, Catherine Tessier

Proceedings of the Eigth International Conference on Tools with Artificial Intelligence, 1996