Christel Seguin

Publication Activity (10 Years)

Years Active: 1993-2022
Publications (10 Years): 6

Top Topics

Alternating Time Temporal Logic

Air Traffic Control

Top Venues

Tech. Sci. Informatiques

Reliab. Eng. Syst. Saf.

IEEE Trans. Hum. Mach. Syst.

Publications

Tatiana Prosvirnova, Christel Seguin, Christophe Frazza, Michel Batteux, Xavier de Bossoreille, Frédéric Deschamps, Jean Gauthier, Estelle Saez
Strategies for Modelling Failure Propagation in Dynamic Systems with AltaRica. IMBSA (2022)
Kevin Delmas, Christel Seguin, Pierre Bieber
Tiered Model-Based Safety Assessment. IMBSA (2019)
Tatiana Prosvirnova, Estelle Saez, Christel Seguin, Pierre Virelizier
Handling Consistency Between Safety and System Models. IMBSA (2017)
Alexandre Albore, Silvano Dal-Zilio, Guillaume Infantes, Christel Seguin, Pierre Virelizier
A Model-Checking Approach to Analyse Temporal Failure Propagation with AltaRica. IMBSA (2017)
Julien Brunel, Peter H. Feiler, Jérôme Hugues, Bruce A. Lewis, Tatiana Prosvirnova, Christel Seguin, Lutz Wrage
Performing Safety Analyses with AADL and AltaRica. IMBSA (2017)
Célia Martinie, Philippe A. Palanque, Racim Fahssi, Jean-Paul Blanquart, Camille Fayollas, Christel Seguin
Task Model-Based Systematic Analysis of Both System Failures and Human Errors. IEEE Trans. Hum. Mach. Syst. 46 (2) (2016)
Kossi Tiassou, Karama Kanoun, Mohamed Kaâniche, Christel Seguin, Chris Papadopoulos
Fiabilité de mission d'un avion. Évaluation stochastique en opération. Tech. Sci. Informatiques 33 (9-10) (2014)
Kossi Tiassou, Karama Kanoun, Mohamed Kaâniche, Christel Seguin, Chris Papadopoulos
Aircraft operational reliability - A model-based approach and a case study. Reliab. Eng. Syst. Saf. 120 (2013)
Kossi Tiassou, Karama Kanoun, Mohamed Kaâniche, Christel Seguin, Chris Papadopoulos
Impact of Operational Reliability Re-assessment during Aircraft Missions. SRDS (2012)
Ludovic Pintard, Christel Seguin, Jean-Paul Blanquart
Which Automata for Which Safety Assessment Step of Satellite FDIR? SAFECOMP (2012)
Kossi Tiassou, Karama Kanoun, Mohamed Kaâniche, Christel Seguin, Chris Papadopoulos
Operational reliability of an aircraft with adaptive missions. EWDC (2011)
Kossi Tiassou, Karama Kanoun, Mohamed Kaâniche, Christel Seguin, Chris Papadopoulos
Modeling Aircraft Operational Reliability. SAFECOMP (2011)
Pierre Bieber, Remi Delmas, Christel Seguin
DALculus - Theory and Tool for Development Assurance Level Allocation. SAFECOMP (2011)
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)
Odile Laurent, Christel Seguin, Virginie Wiels
A methodology for automated test generation guided by functional coverage constraints at specification level. ASE (2006)
Guy Durrieu, Odile Laurent, Christel Seguin, Virginie Wiels
Formal proof and test case generation for critical embedded systems using SCADE. IFIP Congress Topical Sessions (2004)
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)
Bruno d'Ausbourg, Christel Seguin, Guy Durrieu, Pierre Roché
Helping the Automated Validation Process of User Interfaces Systems. ICSE (1998)
Christel Seguin, Virginie Wiels
Using a Logical and Categorical Approach for the Validation of Fault-Tolerant Systems. FME (1996)
Jean Paul Bahsoun, Corinne Servieres, Christel Seguin
A Unique Formalism for Specifying and Designing Objects in a Parallel Environment. Formal Methods in Programming and Their Applications (1993)