Troubleshooting: When Modeling Is the Trouble. - Philippe Dague; Olivier Raiman; Philippe Deves (AAAI, 1987)

Plan Inference and Student Modeling in ICAI. - Y. M. Visetti; Philippe Dague (AAAI, 1987)

A General Consistency (Checking and Restoring) Engine for Knowledge Bases. - Alain Beauvieux; Philippe Dague (ECAI, 1990)

Analog Systems Diagnosis. - Philippe Dague; Philippe Deves; Pierre Luciani; Patrick Taillibert (ECAI, 1990)

An Interval Propagation and Conflict Recognition Engine for Diagnosing Continuous Dynamic Systems. - Philippe Dague; Olivier Jehl; Patrick Taillibert (Expert Systems in Engineering, 1990)

When Oscillators Stop Oscillating. - Philippe Dague; Olivier Jehl; Philippe Deves; Pierre Luciani; Patrick Taillibert (IJCAI, 1991)

Numeric Reasoning with Relative Orders of Magnitude. - Philippe Dague (AAAI, 1993)

Symbolic Reasoning with Relative Orders of Magnitude. - Philippe Dague (IJCAI, 1993)

Model-Based Diagnosis of Analog Electronic Circuits. - Philippe Dague (Ann. Math. Artif. Intell., 1994)

Qualitative Reasoning: A Survey of Techniques and Applications. - Philippe Dague (AI Commun., 1995)

A Dynamic Lattice to Evolve Hierarchically Shared Subroutines. - Alain Racine; Marc Schoenauer; Philippe Dague (EuroGP, 1998)

A Comparative Analysis of AI and Control Theory Approaches to Model-based Diagnosis. - Marie-Odile Cordier; Philippe Dague; Michel Dumas; François Lévy; Jacky Montmain; Marcel Staroswiecki; Louise Travé-Massuyès (ECAI, 2000)

Distributed Model for an SDH Telecommunication Network Diagnosis. - Philippe Dague; Francine Krief; François Lévy; Aomar Osmani (IS, 2001)

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 Vallée (ECAI, 2002)

Mathematical Foundations of Qualitative Reasoning. - Louise Travé-Massuyès; Liliana Ironi; Philippe Dague (AI Mag., 2004)

Conflicts versus analytical redundancy relations: a comparative analysis of the model based diagnosis approach from the artificial intelligence and automatic control perspectives. - Marie-Odile Cordier; Philippe Dague; François Lévy; Jacky Montmain; Marcel Staroswiecki; Louise Travé-Massuyès (IEEE Trans. Syst. Man Cybern. Part B, 2004)

Modeling and Diagnosing OrchestratedWeb Service Processes. - Yuhong Yan; Philippe Dague (ICWS, 2007)

Modeling BPEL Web Services for Diagnosis: Towards Self-healing Web Services. - Yingmin Li; Tarek Melliti; Philippe Dague (WEBIST (1), 2007)

A probabilistic analysis of diagnosability in discrete event systems. - Farid Nouioua; Philippe Dague (ECAI, 2008)

Optimizing the System Observability Level for Diagnosability. - Laura Brandán Briones; Alexander Lazovik; Philippe Dague (ISoLA, 2008)

Distributed Consistency-Based Diagnosis. - Vincent Armant; Philippe Dague; Laurent Simon (LPAR, 2008)

Decentralized Diagnosis for BPEL Web Services. - Lina Ye; Philippe Dague (WEBIST (1), 2008)

A Decentralized Model-Based Diagnosis for BPEL Services. - Yingmin Li; Lina Ye; Philippe Dague; Tarek Melliti (ICTAI, 2009)

An Incremental Approach for Pattern Diagnosability in Distributed Discrete Event Systems. - Lina Ye; Philippe Dague; Yuhong Yan (ICTAI, 2009)

A Model-Based Approach for Diagnosing Fault in Web Service Processes. - Yuhong Yan; Philippe Dague; Yannick Pencolé; Marie-Odile Cordier (Int. J. Web Serv. Res., 2009)

Diagnosability Analysis of Discrete Event Systems with Autonomous Components. - Lina Ye; Philippe Dague (ECAI, 2010)

An optimized algorithm for diagnosability of component-based systems. - Lina Ye; Philippe Dague (WODES, 2010)

Diagnosability verification with Petri net unfoldings. - Agnes Madalinski; Farid Nouioua; Philippe Dague (Int. J. Knowl. Based Intell. Eng. Syst., 2010)

Diagnosability Study of Technological Systems. - Michel Batteux; Philippe Dague; Nicolas Rapin; Philippe Fiani (IEA/AIE (1), 2011)

Distributed Tree Decomposition with Privacy. - Vincent Armant; Laurent Simon; Philippe Dague (CP, 2012)

A General Algorithm for Pattern Diagnosability of Distributed Discrete Event Systems. - Lina Ye; Philippe Dague (ICTAI, 2012)

Predictability analysis of distributed discrete event systems. - Lina Ye; Philippe Dague; Farid Nouioua (CDC, 2013)

VPCA-based fault diagnosis of spacecraft reaction wheels. - Imen Gueddi; Othman Nasri; Kamel BenOthman; Philippe Dague (ICAT, 2015)

A Predictability Algorithm for Distributed Discrete Event Systems. - Lina Ye; Philippe Dague; Farid Nouioua (ICFEM, 2015)

Fault diagnosis of spacecraft reaction wheels based on principal component analysis. - Othman Nasri; Imen Gueddi; Kamel BenOthman; Philippe Dague (ICSC, 2015)

Using Incremental SAT for Testing Diagnosability of Distributed DES. - Hassan Ibrahim; Philippe Dague; Laurent Simon (DX, 2015)

Interval extended PCA-based fault diagnosis of spacecraft thrusters. - Imen Gueddi; Othman Nasri; Kamel BenOthman; Philippe Dague (CoDIT, 2016)

Fault Manifestability Verification for Discrete Event Systems. - Lina Ye; Philippe Dague; Delphine Longuet; Laura Brandán Briones; Agnes Madalinski (ECAI, 2016)

Predictability in Probabilistic Discrete Event Systems. - Farid Nouioua; Philippe Dague; Lina Ye (SMPS, 2016)

Diagnosability Planning for Controllable Discrete Event Systems. - Hassan Ibrahim; Philippe Dague; Alban Grastien; Lina Ye; Laurent Simon (AAAI, 2017)

Counterexample-Guided Abstraction-Refinement for Hybrid Systems Diagnosability Analysis. - Hadi Zaatiti; Lina Ye; Philippe Dague; Jean-Pierre Gallois (DX, 2017)

An Optimized Algorithm of General Distributed Diagnosability Analysis for Modular Structures. - Lina Ye; Philippe Dague (IEEE Trans. Autom. Control., 2017)

Automating Abstraction Computation of Hybrid Systems. - Hadi Zaatiti; Jean-Pierre Gallois; Lina Ye; Philippe Dague (CICM Workshops, 2018)

How to Be Sure a Faulty System Does Not Always Appear Healthy? - Lina Ye; Philippe Dague; Delphine Longuet; Laura Brandán Briones; Agnes Madalinski (VECoS, 2018)

Diagnosis and Supervision: Model-Based Approaches. - Marie-Odile Cordier; Philippe Dague; Yannick Pencolé; Louise Travé-Massuyès (A Guided Tour of Artificial Intelligence Research (1) (I), 2020)

A Coloured Petri Nets Based Attack Tolerance Framework. - Wenbo Zhou; Philippe Dague; Lei Liu 040; Lina Ye; Fatiha Zaïdi (APSEC, 2020)

How to be sure a faulty system does not always appear healthy? - Philippe Dague; Lulu He; Lina Ye (Innov. Syst. Softw. Eng., 2020)

Metabolic Pathway Analysis in the Presence of Biological Constraints. - Philippe Dague (Comput., 2021)