A Unique Formalism for Specifying and Designing Objects in a Parallel Environment. - Jean Paul Bahsoun; Corinne Servieres; Christel Seguin (Formal Methods in Programming and Their Applications, 1993)

Using a Logical and Categorical Approach for the Validation of Fault-Tolerant Systems. - Christel Seguin; Virginie Wiels (FME, 1996)

Helping the Automated Validation Process of User Interfaces Systems. - Bruno d'Ausbourg; Christel Seguin; Guy Durrieu; Pierre Roché (ICSE, 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)

Formal proof and test case generation for critical embedded systems using SCADE. - Guy Durrieu; Odile Laurent; Christel Seguin; Virginie Wiels (IFIP Congress Topical Sessions, 2004)

A methodology for automated test generation guided by functional coverage constraints at specification level. - Odile Laurent; Christel Seguin; Virginie Wiels (ASE, 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)

Operational reliability of an aircraft with adaptive missions. - Kossi Tiassou; Karama Kanoun; Mohamed Kaâniche; Christel Seguin; Chris Papadopoulos (EWDC, 2011)

DALculus - Theory and Tool for Development Assurance Level Allocation. - Pierre Bieber; Remi Delmas; Christel Seguin (SAFECOMP, 2011)

Modeling Aircraft Operational Reliability. - Kossi Tiassou; Karama Kanoun; Mohamed Kaâniche; Christel Seguin; Chris Papadopoulos (SAFECOMP, 2011)

Which Automata for Which Safety Assessment Step of Satellite FDIR? - Ludovic Pintard; Christel Seguin; Jean-Paul Blanquart (SAFECOMP, 2012)

Impact of Operational Reliability Re-assessment during Aircraft Missions. - Kossi Tiassou; Karama Kanoun; Mohamed Kaâniche; Christel Seguin; Chris Papadopoulos (SRDS, 2012)

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)

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)

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)

A Model-Checking Approach to Analyse Temporal Failure Propagation with AltaRica. - Alexandre Albore; Silvano Dal-Zilio; Guillaume Infantes; Christel Seguin; Pierre Virelizier (IMBSA, 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 (IMBSA, 2017)

Handling Consistency Between Safety and System Models. - Tatiana Prosvirnova; Estelle Saez; Christel Seguin; Pierre Virelizier (IMBSA, 2017)

Tiered Model-Based Safety Assessment. - Kevin Delmas; Christel Seguin; Pierre Bieber (IMBSA, 2019)

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 (IMBSA, 2022)