Christel Seguin
Christel Seguin
senior researcher, ONERA
Bestätigte E-Mail-Adresse bei onera.fr
Titel
Zitiert von
Zitiert von
Jahr
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
1332003
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
1102006
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
832002
Safety assessment with AltaRica
P Bieber, C Bougnol, C Castel, JPHC Kehren, S Metge, C Seguin
Building the Information Society, 505-510, 2004
782004
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
282011
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
222008
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
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
212004
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
211998
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
202015
Toward a methodology for the AltaRica modelling of multi-physical systems
R Adeline, P Darfeuil, S Humbert, J Cardoso, C Seguin
192010
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
192004
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
182013
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
152008
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
142011
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
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
122006
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
112006
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
112004
Model based safety analysis for an unmanned aerial system
JC Chaudemar, E Bensana, C Seguin
102010
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20