Christel Seguin
Christel Seguin
senior researcher, ONERA
Verified email at
Cited by
Cited by
ESACS: an integrated methodology for design and safety analysis of complex systems
M Bozzano, A Villafiorita, O Åkerlund, P Bieber, C Bougnol, E Böde, ...
Proc. ESREL 2003, 2003
ISAAC, a framework for integrated safety analysis of functional, geometrical and human aspects
O Akerlund, P Bieber, E Boede, M Bozzano, M Bretschneider, C Castel, ...
Conference ERTS'06, 2006
Combination of fault tree analysis and model checking for safety assessment of complex system
P Bieber, C Castel, C Seguin
European Dependable Computing Conference, 19-31, 2002
Safety assessment with AltaRica
P Bieber, C Bougnol, C Castel, JPHC Kehren, S Metge, C Seguin
Building the Information Society, 505-510, 2004
DALculus–theory and tool for development assurance level allocation
P Bieber, R Delmas, C Seguin
International Conference on Computer Safety, Reliability, and Security, 43-56, 2011
Integration of formal fault analysis in ASSERT: Case studies and lessons learnt
P Bieber, J Blanquart, G Durrieu, D Lesens, J Lucotte, F Tardy, M Turin, ...
Embedded Real Time Software and Systems (ERTS2008), 2008
Advanced simulation capabilities for Multi-systems with Altarica
C Kehren, C Seguin, P Bieber, C Castel, C Bougnol, JP Heckmann, ...
International System Safety Conference 3, 10, 2004
Helping the automated validation process of user interfaces systems
B d'Ausbourg, C Seguin, G Durrieu, P Roché
Proceedings of the 20th international conference on Software engineering …, 1998
Task model-based systematic analysis of both system failures and human errors
C Martinie, P Palanque, R Fahssi, JP Blanquart, C Fayollas, C Seguin
IEEE Transactions on Human-Machine Systems 46 (2), 243-254, 2015
Toward a methodology for the AltaRica modelling of multi-physical systems
R Adeline, P Darfeuil, S Humbert, J Cardoso, C Seguin
Architecture patterns for safe design
C Kehren, C Seguin, P Bieber, C Castel, C Bougnol, JP Heckmann, ...
AAAF 1st Complex and Safe Systems Engineering Conference (CS2E 2004), 21-22, 2004
Advanced multi-system simulation capabilities with altarica
C Kehren, C Seguin, P Bieber, C Castel, C Bougnol, JP Heckmann, ...
Proceedings of the International System Safety Conference, 2004
Aircraft operational reliability—A model-based approach and a case study
K Tiassou, K Kanoun, M Kaâniche, C Seguin, C Papadopoulos
Reliability Engineering & System Safety 120, 163-176, 2013
Modeling aircraft operational reliability
K Tiassou, K Kanoun, M Ka, C Seguin, C Papadopoulos
International Conference on Computer Safety, Reliability, and Security, 157-170, 2011
Deriving safety software requirements from an altarica system model
S Humbert, C Seguin, C Castel, JM Bosc
International Conference on Computer Safety, Reliability, and Security, 320-331, 2008
Modèles formels pour l’évaluation de la sûreté de fonctionnement des architectures logicielles d’avionique modulaire intégrée
C Castel, C Seguin
AFADL: Approches Formelles dans l’Assistance au Développement de Logiciels, 2001
Altarica and event-b models for operational safety analysis: Unmanned aerial vehicle case study
JC Chaudemar, E Bensana, C Castel, C Seguin
Workshop on Integration of Model-based Formal Methods and Tools, 2009
Towards safety analysis of highly integrated technologically heterogeneous systems–a domain-based approach for modelling system failure logic
O Lisagor, M Pretzer, C Seguin, DJ Pumfrey, F Iwu, T Peikenkamp
submitted for 24th International System Safety Conference (ISSC), 2006
Automated functional test case generation from data flow specifications using structural coverage criteria
B Blanc, G Durrieu, A Lakehal, O Laurent, B Marre, I Parissis, C Seguin, ...
3rd European Congress on Embedded Real Time Software (ERTS2006), Toulouse …, 2006
Formal proof and test case generation for critical embedded systems using SCADE
G Durrieu, O Laurent, C Seguin, V Wiels
Building the Information Society, 499-504, 2004
The system can't perform the operation now. Try again later.
Articles 1–20