OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Person is "Seguin, Christel"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 9.

Conference or Workshop Item

Albore, Alexandre and Dal Zilio, Silvano and Infantes, Guillaume and Seguin, Christel and Virelizier, Pierre A Model-Checking approach to analyse temporal failure propagation with altaRica. (2017) In: IMBSA 2017 (5th International Symposium on Model-Based Safety and Assessment), 11 September 2017 - 13 September 2017 (Trento, Italy).

Brunel, Julien and Feiler, Peter and Hugues, Jérôme and Lewis, Bruce and Prosvirnova, Tatiana and Seguin, Christel and Wrage, Lutz Performing Safety Analyses with AADL and AltaRica. (2017) In: The 5th International Symposium on Model Based Safety Assessment (IMBSA 2017), 11 September 2017 - 13 September 2017 (Trento, Italy).

Chaudemar, Jean-Charles and Bensana, Eric and Seguin, Christel Model based system assessment: formalisation et évaluation de systèmes autonomes en Event-B. (2011) In: Model Based Safety Assessment Workshop, 15-16 Mar 2011, Toulouse, France .

Chaudemar, Jean-Charles and Bensana, Eric and Seguin, Christel Analyse de sécurité de systèmes autonomes: formalisation et évaluation en Event-B. (2010) In: AFADL 2010 - Approches Formelles dans l'Assistance au Développement de Logiciels, 09-11 Juin 2010, Poitiers, France .

Chaudemar, Jean-Charles and Bensana, Eric and Seguin, Christel Model based safety analysis for an Unmanned Aerial System. (2010) In: DRHE 2010 - Dependable Robots in Human Environments, 16-17 June 2010, Toulouse, France .

Adeline, Romain and Darfeuil, Pierre and Humbert, Sophie and Cardoso, Janette and Seguin, Christel Toward a methodology for the AltaRica modelling of multi-physical systems. (2010) In: European Conference on Safety and Reliability - ESREL 2010, 05-09 Sept 2010, Rhodes, Greece .

Adeline, Romain and Cardoso, Janette and Darfeuil, Pierre and Humbert, Sophie and Seguin, Christel Toward a validation process for model based safety analysis. (2010) In: ERTS² 2010 - Embedded Real Time Software and Systems, 19 May 2010 - 21 May 2010 (Toulouse, France).

Chaudemar, Jean-Charles and Bensana, Eric and Castel, Charles and Seguin, Christel AltaRica and event-B models for operational safety analysis: unmanned aerial vehicle case study. (2009) In: Workshop on Integration of Model-based Formal Methods and Tools , 15-19 Fev 2009, Düsseldorf, Germany .

Chaudemar, Jean-Charles and Castel, Charles and Seguin, Christel FDIR architectures for autonomous spacecraft: specification and assessment with event-B. (2008) In: Conference ABZ 2008 , 16-18 Sept 2008, London, United Kingdom .

This list was generated on Thu Feb 22 07:44:41 2018 CET.