| 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 | 133 | 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 | 110 | 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 | 83 | 2002 |
| Safety assessment with AltaRica P Bieber, C Bougnol, C Castel, JPHC Kehren, S Metge, C Seguin Building the Information Society, 505-510, 2004 | 78 | 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 | 28 | 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 | 22 | 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 | 22 | 2004 |
| 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 | 21 | 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 | 21 | 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 | 20 | 2015 |
| Toward a methodology for the AltaRica modelling of multi-physical systems R Adeline, P Darfeuil, S Humbert, J Cardoso, C Seguin | 19 | 2010 |
| 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 | 19 | 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 | 18 | 2013 |
| 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 | 15 | 2008 |
| 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 | 14 | 2011 |
| 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 | 13 | 2001 |
| 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 | 12 | 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 | 11 | 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 | 11 | 2004 |
| Model based safety analysis for an unmanned aerial system JC Chaudemar, E Bensana, C Seguin | 10 | 2010 |
