| 2012 | SAFECOMP | Which Automata for Which Safety Assessment Step of Satellite FDIR? | Ludovic Pintard, Christel Seguin, Jean-Paul Blanquart |
| 2012 | SRDS | Impact of Operational Reliability Re-assessment during Aircraft Missions. | Kossi Tiassou, Karama Kanoun, Mohamed Kaniche, Christel Seguin, Chris Papadopoulos |
| 2011 | SAFECOMP | DALculus - Theory and Tool for Development Assurance Level Allocation. | Pierre Bieber, Remi Delmas, Christel Seguin |
| 2011 | SAFECOMP | Modeling Aircraft Operational Reliability. | Kossi Tiassou, Karama Kanoun, Mohamed Kaniche, Christel Seguin, Chris Papadopoulos |
| 2008 | SAFECOMP | Deriving Safety Software Requirements from an AltaRica System Model. | Sophie Humbert, Christel Seguin, Charles Castel, Jean-Marc Bosc |
| 2002 | EDCC | Combination of Fault Tree Analysis and Model Checking for Safety Assessment of Complex System. | Pierre Bieber, Charles Castel, Christel Seguin |
| 1998 | ICSE | Helping the Automated Validation Process of User Interfaces Systems. | Bruno d'Ausbourg, Christel Seguin, Guy Durrieu, Pierre Roch |
| 1996 | FM | Using a Logical and Categorical Approach for the Validation of Fault-Tolerant Systems. | Christel Seguin, Virginie Wiels |