Christel Seguin

26 papers A* 2B 5C 1Misc 1Journal 3Unranked 13

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	An Altarica-Based Modelling and Analysis Approach Enabling UAV Regulation Compliance. IMBSA Pierre Bieber, Kevin Delmas, Sergio Pizziol, Tatiana Prosvirnova, Christel Seguin
2025	—	`conf`	Timed Models in AltaRica 3.0. IMBSA Isabella Lanzani, Christel Seguin
2025	—	`conf`	Variance-Based Sensitivity Analysis for Probabilistic Risk Assessment. IMBSA Jonathan Mboko, Jérôme Morio, Christel Seguin, Jean-Charles Chaudemar, Tatiana Prosvirnova
2022	—	`ed.`	Model-Based Safety and Assessment - 8th International Symposium, IMBSA 2022, Munich, Germany, September 5-7, 2022, Proceedings IMBSA Christel Seguin, Marc Zeller, Tatiana Prosvirnova
2022	—	`conf`	Strategies for Modelling Failure Propagation in Dynamic Systems with AltaRica. IMBSA Tatiana Prosvirnova, Christel Seguin, Christophe Frazza, Michel Batteux, Xavier de Bossoreille, Frédéric Deschamps, Jean Gauthier, Estelle Saez
2019	—	`conf`	Tiered Model-Based Safety Assessment. IMBSA Kevin Delmas, Christel Seguin, Pierre Bieber
2017	—	`conf`	A Model-Checking Approach to Analyse Temporal Failure Propagation with AltaRica. IMBSA Alexandre Albore, Silvano Dal-Zilio, Guillaume Infantes, Christel Seguin, Pierre Virelizier
2017	—	`conf`	Handling Consistency Between Safety and System Models. IMBSA Tatiana Prosvirnova, Estelle Saez, Christel Seguin, Pierre Virelizier
2017	—	`conf`	Performing Safety Analyses with AADL and AltaRica. IMBSA Julien Brunel, Peter H. Feiler, Jérôme Hugues, Bruce A. Lewis, Tatiana Prosvirnova, Christel Seguin, Lutz Wrage
2016	J	`jnl`	Task Model-Based Systematic Analysis of Both System Failures and Human Errors. IEEE Trans. Hum. Mach. Syst. Célia Martinie, Philippe A. Palanque, Racim Fahssi, Jean-Paul Blanquart, Camille Fayollas, Christel Seguin
2014	J	`jnl`	Fiabilité de mission d'un avion. Évaluation stochastique en opération. Tech. Sci. Informatiques Kossi Tiassou, Karama Kanoun, Mohamed Kaâniche, Christel Seguin, Chris Papadopoulos
2013	J	`jnl`	Aircraft operational reliability - A model-based approach and a case study. Reliab. Eng. Syst. Saf. Kossi Tiassou, Karama Kanoun, Mohamed Kaâniche, Christel Seguin, Chris Papadopoulos
2012	B	`conf`	Impact of Operational Reliability Re-assessment during Aircraft Missions. SRDS Kossi Tiassou, Karama Kanoun, Mohamed Kaâniche, Christel Seguin, Chris Papadopoulos
2012	B	`conf`	Which Automata for Which Safety Assessment Step of Satellite FDIR? SAFECOMP Ludovic Pintard, Christel Seguin, Jean-Paul Blanquart
2011	B	`conf`	DALculus - Theory and Tool for Development Assurance Level Allocation. SAFECOMP Pierre Bieber, Remi Delmas, Christel Seguin
2011	B	`conf`	Modeling Aircraft Operational Reliability. SAFECOMP Kossi Tiassou, Karama Kanoun, Mohamed Kaâniche, Christel Seguin, Chris Papadopoulos
2011	—	`conf`	Operational reliability of an aircraft with adaptive missions. EWDC Kossi Tiassou, Karama Kanoun, Mohamed Kaâniche, Christel Seguin, Chris Papadopoulos
2008	B	`conf`	Deriving Safety Software Requirements from an AltaRica System Model. SAFECOMP Sophie Humbert, Christel Seguin, Charles Castel, Jean-Marc Bosc
2008	C	`conf`	FDIR Architectures for Autonomous Spacecraft: Specification and Assessment with Event-B. ABZ Jean-Charles Chaudemar, Charles Castel, Christel Seguin
2006	A*	`conf`	A methodology for automated test generation guided by functional coverage constraints at specification level. ASE Odile Laurent, Christel Seguin, Virginie Wiels
2004	—	`conf`	Formal proof and test case generation for critical embedded systems using SCADE. IFIP Congress Topical Sessions Guy Durrieu, Odile Laurent, Christel Seguin, Virginie Wiels
2004	—	`conf`	Safety assessment with AltaRica - Lessons learnt based on two aircraft system studies. IFIP Congress Topical Sessions Pierre Bieber, Christian Bougnol, Charles Castel, Jean-Pierre Heckmann, Christophe Kehren, Sylvain Metge, Christel Seguin
2002	Misc	`conf`	Combination of Fault Tree Analysis and Model Checking for Safety Assessment of Complex System. EDCC Pierre Bieber, Charles Castel, Christel Seguin
1998	A*	`conf`	Helping the Automated Validation Process of User Interfaces Systems. ICSE Bruno d'Ausbourg, Christel Seguin, Guy Durrieu, Pierre Roché
1996	—	`conf`	Using a Logical and Categorical Approach for the Validation of Fault-Tolerant Systems. FME Christel Seguin, Virginie Wiels
1993	—	`conf`	A Unique Formalism for Specifying and Designing Objects in a Parallel Environment. Formal Methods in Programming and Their Applications Jean Paul Bahsoun, Corinne Servieres, Christel Seguin