Christel Seguin

According to our database, Christel Seguin authored at least 22 papers between 1993 and 2022.

Collaborative distances:

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

2022

Strategies for Modelling Failure Propagation in Dynamic Systems with AltaRica.

Tatiana Prosvirnova, Christel Seguin, Christophe Frazza, Michel Batteux, Xavier de Bossoreille, Frédéric Deschamps, Jean Gauthier, Estelle Saez

Proceedings of the Model-Based Safety and Assessment - 8th International Symposium, 2022

2019

Tiered Model-Based Safety Assessment.

Kevin Delmas, Christel Seguin, Pierre Bieber

Proceedings of the Model-Based Safety and Assessment - 6th International Symposium, 2019

2017

Handling Consistency Between Safety and System Models.

Tatiana Prosvirnova, Estelle Saez, Christel Seguin, Pierre Virelizier

Proceedings of the Model-Based Safety and Assessment - 5th International Symposium, 2017

Performing Safety Analyses with AADL and AltaRica.

Julien Brunel, Peter H. Feiler, Jérôme Hugues, Bruce A. Lewis, Tatiana Prosvirnova, Christel Seguin, Lutz Wrage

Proceedings of the Model-Based Safety and Assessment - 5th International Symposium, 2017

A Model-Checking Approach to Analyse Temporal Failure Propagation with AltaRica.

Alexandre Albore, Silvano Dal-Zilio, Guillaume Infantes, Christel Seguin, Pierre Virelizier

Proceedings of the Model-Based Safety and Assessment - 5th International Symposium, 2017

2016

Task Model-Based Systematic Analysis of Both System Failures and Human Errors.

Célia Martinie, Philippe A. Palanque, Racim Fahssi, Jean-Paul Blanquart, Camille Fayollas, Christel Seguin

IEEE Trans. Hum. Mach. Syst., 2016

2014

Fiabilité de mission d'un avion. Évaluation stochastique en opération.

Kossi Tiassou, Karama Kanoun, Mohamed Kaâniche, Christel Seguin, Chris Papadopoulos

Tech. Sci. Informatiques, 2014

2013

Aircraft operational reliability - A model-based approach and a case study.

Kossi Tiassou, Karama Kanoun, Mohamed Kaâniche, Christel Seguin, Chris Papadopoulos

Reliab. Eng. Syst. Saf., 2013

2012

Impact of Operational Reliability Re-assessment during Aircraft Missions.

Kossi Tiassou, Karama Kanoun, Mohamed Kaâniche, Christel Seguin, Chris Papadopoulos

Proceedings of the IEEE 31st Symposium on Reliable Distributed Systems, 2012

Which Automata for Which Safety Assessment Step of Satellite FDIR?

Ludovic Pintard, Christel Seguin, Jean-Paul Blanquart

Proceedings of the Computer Safety, Reliability, and Security, 2012

2011

Modeling Aircraft Operational Reliability.

Kossi Tiassou, Karama Kanoun, Mohamed Kaâniche, Christel Seguin, Chris Papadopoulos

Proceedings of the Computer Safety, Reliability, and Security, 2011

DALculus - Theory and Tool for Development Assurance Level Allocation.

Pierre Bieber, Remi Delmas, Christel Seguin

Proceedings of the Computer Safety, Reliability, and Security, 2011

Operational reliability of an aircraft with adaptive missions.

Kossi Tiassou, Karama Kanoun, Mohamed Kaâniche, Christel Seguin, Chris Papadopoulos

Proceedings of the 13th European Workshop on Dependable Computing, 2011

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

A methodology for automated test generation guided by functional coverage constraints at specification level.

Odile Laurent, Christel Seguin, Virginie Wiels

Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 2006

2004

Formal proof and test case generation for critical embedded systems using SCADE.

Guy Durrieu, Odile Laurent, Christel Seguin, Virginie Wiels

Proceedings of the Building the Information Society, 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

Helping the Automated Validation Process of User Interfaces Systems.

Bruno d'Ausbourg, Christel Seguin, Guy Durrieu, Pierre Roché

Proceedings of the Forging New Links, 1998

1996

Using a Logical and Categorical Approach for the Validation of Fault-Tolerant Systems.

Christel Seguin, Virginie Wiels

Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996

1993

A Unique Formalism for Specifying and Designing Objects in a Parallel Environment.

Jean Paul Bahsoun, Corinne Servieres, Christel Seguin

Proceedings of the Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28, 1993