| 2020 | APSEC | A Coloured Petri Nets Based Attack Tolerance Framework. | Wenbo Zhou, Philippe Dague, Lei Liu, Lina Ye, Fatiha Zadi |
| 2018 | VECoS | How to Be Sure a Faulty System Does Not Always Appear Healthy? | Lina Ye, Philippe Dague, Delphine Longuet, Laura Brandn Briones, Agnes Madalinski |
| 2017 | AAAI | Diagnosability Planning for Controllable Discrete Event Systems. | Hassan Ibrahim, Philippe Dague, Alban Grastien, Lina Ye, Laurent Simon |
| 2017 | DX | Counterexample-Guided Abstraction-Refinement for Hybrid Systems Diagnosability Analysis. | Hadi Zaatiti, Lina Ye, Philippe Dague, Jean-Pierre Gallois |
| 2016 | CoDIT | Interval extended PCA-based fault diagnosis of spacecraft thrusters. | Imen Gueddi, Othman Nasri, Kamel BenOthman, Philippe Dague |
| 2016 | ECAI | Fault Manifestability Verification for Discrete Event Systems. | Lina Ye, Philippe Dague, Delphine Longuet, Laura Brandn Briones, Agnes Madalinski |
| 2015 | ICFEM | A Predictability Algorithm for Distributed Discrete Event Systems. | Lina Ye, Philippe Dague, Farid Nouioua |
| 2015 | SAFEProcess | Using Incremental SAT for Testing Diagnosability of Distributed DES. | Hassan Ibrahim, Philippe Dague, Laurent Simon |
| 2012 | CP | Distributed Tree Decomposition with Privacy. | Vincent Armant, Laurent Simon, Philippe Dague |
| 2012 | ICTAI | A General Algorithm for Pattern Diagnosability of Distributed Discrete Event Systems. | Lina Ye, Philippe Dague |
| 2010 | ECAI | Diagnosability Analysis of Discrete Event Systems with Autonomous Components. | Lina Ye, Philippe Dague |
| 2009 | ICTAI | A Decentralized Model-Based Diagnosis for BPEL Services. | Yingmin Li, Lina Ye, Philippe Dague, Tarek Melliti |
| 2009 | ICTAI | An Incremental Approach for Pattern Diagnosability in Distributed Discrete Event Systems. | Lina Ye, Philippe Dague, Yuhong Yan |
| 2008 | ECAI | A probabilistic analysis of diagnosability in discrete event systems. | Farid Nouioua, Philippe Dague |
| 2008 | ISoLA | Optimizing the System Observability Level for Diagnosability. | Laura Brandn Briones, Alexander Lazovik, Philippe Dague |
| 2008 | LPAR | Distributed Consistency-Based Diagnosis. | Vincent Armant, Philippe Dague, Laurent Simon |
| 2008 | WEBIST | Decentralized Diagnosis for BPEL Web Services. | Lina Ye, Philippe Dague |
| 2007 | ICWS | Modeling and Diagnosing OrchestratedWeb Service Processes. | Yuhong Yan, Philippe Dague |
| 2007 | WEBIST | Modeling BPEL Web Services for Diagnosis: Towards Self-healing Web Services. | Yingmin Li, Tarek Melliti, Philippe Dague |
| 2002 | ECAI | IDD: Integrating Diagnosis in the Design of automotive systems. | Claudia Picardi, Rosanna Bray, Fulvio Cascio, Luca Console, Philippe Dague, David Millet, Bernd Rehfus, Peter Struss, Christian Valle |
| 2000 | ECAI | A Comparative Analysis of AI and Control Theory Approaches to Model-based Diagnosis. | Marie-Odile Cordier, Philippe Dague, Michel Dumas, Franois Lvy, Jacky Montmain, Marcel Staroswiecki, Louise Trav-Massuys |
| 1998 | EUROGP | A Dynamic Lattice to Evolve Hierarchically Shared Subroutines. | Alain Racine, Marc Schoenauer, Philippe Dague |
| 1993 | AAAI | Numeric Reasoning with Relative Orders of Magnitude. | Philippe Dague |
| 1993 | IJCAI | Symbolic Reasoning with Relative Orders of Magnitude. | Philippe Dague |
| 1991 | IJCAI | When Oscillators Stop Oscillating. | Philippe Dague, Olivier Jehl, Philippe Deves, Pierre Luciani, Patrick Taillibert |
| 1990 | ECAI | A General Consistency (Checking and Restoring) Engine for Knowledge Bases. | Alain Beauvieux, Philippe Dague |
| 1990 | ECAI | Analog Systems Diagnosis. | Philippe Dague, Philippe Deves, Pierre Luciani, Patrick Taillibert |
| 1987 | AAAI | Troubleshooting: When Modeling Is the Trouble. | Philippe Dague, Olivier Raiman, Philippe Deves |
| 1987 | AAAI | Plan Inference and Student Modeling in ICAI. | Y. M. Visetti, Philippe Dague |