| 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 | 141 | 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 | 119 | 2006 |
| 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 | 92 | 2002 |
| 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 | 91 | 2004 |
| DALculus–theory and tool for development assurance level allocation P Bieber, R Delmas, C Seguin Computer Safety, Reliability, and Security: 30th International Conference …, 2011 | 41 | 2011 |
| 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 | 31 | 2013 |
| 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 | 31 | 2008 |
| 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 | 31 | 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 | 26 | 2015 |
| 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 | 24 | 2004 |
| Toward a methodology for the AltaRica modelling of multi-physical systems R Adeline, P Darfeuil, S Humbert, J Cardoso, C Seguin | 21 | 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 | 20 | 2004 |
| 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 | 20 | 2004 |
| Modeling aircraft operational reliability K Tiassou, K Kanoun, M Ka, C Seguin, C Papadopoulos Computer Safety, Reliability, and Security: 30th International Conference …, 2011 | 19 | 2011 |
| 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 | 16 | 2008 |
| 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 | 14 | 2017 |
| Model based safety analysis for an unmanned aerial system JC Chaudemar, E Bensana, C Seguin | 14 | 2010 |
| 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 |
| Performing safety analyses with AADL and AltaRica J Brunel, P Feiler, J Hugues, B Lewis, T Prosvirnova, C Seguin, L Wrage Model-Based Safety and Assessment: 5th International Symposium, IMBSA 2017 …, 2017 | 12 | 2017 |
| 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 | 12 | 2009 |
