Follow
Christel Seguin
Christel Seguin
senior researcher, ONERA
Verified email at onera.fr
Title
Cited by
Cited by
Year
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
1422003
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
1192006
Combination of fault tree analysis and model checking for safety assessment of complex system
P Bieber, C Castel, C Seguin
Dependable Computing EDCC-4: 4th European Dependable Computing Conference …, 2002
952002
Safety assessment with AltaRica: lessons learnt based on two aircraft system studies
P Bieber, C Bougnol, C Castel, JPH Christophe Kehren, S Metge, ...
Building the Information Society: IFIP 18th World Computer Congress Topical …, 2004
922004
DALculus–theory and tool for development assurance level allocation
P Bieber, R Delmas, C Seguin
Computer Safety, Reliability, and Security: 30th International Conference …, 2011
392011
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
322013
Integration of formal fault analysis in ASSERT: Case studies and lessons learnt
P Bieber, JP Blanquart, G Durrieu, D Lesens, J Lucotte, F Tardy, M Turin, ...
Embedded Real Time Software and Systems (ERTS2008), 2008
312008
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
301998
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
242015
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
232004
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
222004
Toward a methodology for the AltaRica modelling of multi-physical systems
R Adeline, P Darfeuil, S Humbert, J Cardoso, C Seguin
212010
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
202004
Modeling aircraft operational reliability
K Tiassou, K Kanoun, M Ka, C Seguin, C Papadopoulos
Computer Safety, Reliability, and Security: 30th International Conference …, 2011
192011
Deriving safety software requirements from an altarica system model
S Humbert, C Seguin, C Castel, JM Bosc
Computer Safety, Reliability, and Security: 27th International Conference …, 2008
162008
Handling consistency between safety and system models
T Prosvirnova, E Saez, C Seguin, P Virelizier
Model-Based Safety and Assessment: 5th International Symposium, IMBSA 2017 …, 2017
142017
Model based safety analysis for an unmanned aerial system
JC Chaudemar, E Bensana, C Seguin
142010
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
132001
Online model adaptation for aircraft operational reliability assessment
K Tiassou, K Kanoun, M Kaâniche, C Seguin, C Papadopoulos
6th International Congress, Embedded Real Time Software and Systems (ERTS2 …, 2012
122012
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
122009
The system can't perform the operation now. Try again later.
Articles 1–20