Philippe Dague

According to our database, Philippe Dague authored at least 48 papers between 1987 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Metabolic Pathway Analysis in the Presence of Biological Constraints.

Philippe Dague

Comput., 2021

2020

How to be sure a faulty system does not always appear healthy?

Philippe Dague, Lulu He, Lina Ye

Innov. Syst. Softw. Eng., 2020

A Coloured Petri Nets Based Attack Tolerance Framework.

Wenbo Zhou, Philippe Dague, Lei Liu, Lina Ye, Fatiha Zaïdi

Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020

Diagnosis and Supervision: Model-Based Approaches.

Marie-Odile Cordier, Philippe Dague, Yannick Pencolé, Louise Travé-Massuyès

Proceedings of the A Guided Tour of Artificial Intelligence Research: Volume I: Knowledge Representation, 2020

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

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2018

Automating Abstraction Computation of Hybrid Systems.

Hadi Zaatiti, Jean-Pierre Gallois, Lina Ye, Philippe Dague

Proceedings of the Joint Proceedings of the CME-EI, 2018

2017

An Optimized Algorithm of General Distributed Diagnosability Analysis for Modular Structures.

Lina Ye, Philippe Dague

IEEE Trans. Autom. Control., 2017

Counterexample-Guided Abstraction-Refinement for Hybrid Systems Diagnosability Analysis.

Hadi Zaatiti, Lina Ye, Philippe Dague, Jean-Pierre Gallois

Proceedings of the 28th International Workshop on Principles of Diagnosis (DX'17), 2017

Diagnosability Planning for Controllable Discrete Event Systems.

Hassan Ibrahim, Philippe Dague, Alban Grastien, Lina Ye, Laurent Simon

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

Predictability in Probabilistic Discrete Event Systems.

Farid Nouioua, Philippe Dague, Lina Ye

Proceedings of the Soft Methods for Data Science, 2016

Fault Manifestability Verification for Discrete Event Systems.

Lina Ye, Philippe Dague, Delphine Longuet, Laura Brandán Briones, Agnes Madalinski

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Interval extended PCA-based fault diagnosis of spacecraft thrusters.

Imen Gueddi, Othman Nasri, Kamel BenOthman, Philippe Dague

Proceedings of the International Conference on Control, 2016

2015

Using Incremental SAT for Testing Diagnosability of Distributed DES.

Hassan Ibrahim, Philippe Dague, Laurent Simon

Proceedings of the 26th International Workshop on Principles of Diagnosis (DX-2015) co-located with 9th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (Safeprocess 2015), Paris, France, August 31, 2015

Fault diagnosis of spacecraft reaction wheels based on principal component analysis.

Othman Nasri, Imen Gueddi, Kamel BenOthman, Philippe Dague

Proceedings of the 4th International Conference on Systems and Control, 2015

A Predictability Algorithm for Distributed Discrete Event Systems.

Lina Ye, Philippe Dague, Farid Nouioua

Proceedings of the Formal Methods and Software Engineering, 2015

VPCA-based fault diagnosis of spacecraft reaction wheels.

Imen Gueddi, Othman Nasri, Kamel BenOthman, Philippe Dague

Proceedings of the XXV International Conference on Information, 2015

2013

Predictability analysis of distributed discrete event systems.

Lina Ye, Philippe Dague, Farid Nouioua

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

2012

A General Algorithm for Pattern Diagnosability of Distributed Discrete Event Systems.

Lina Ye, Philippe Dague

Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012

Distributed Tree Decomposition with Privacy.

Vincent Armant, Laurent Simon, Philippe Dague

Proceedings of the Principles and Practice of Constraint Programming, 2012

2011

Diagnosability Study of Technological Systems.

Michel Batteux, Philippe Dague, Nicolas Rapin, Philippe Fiani

Proceedings of the Modern Approaches in Applied Intelligence, 2011

2010

Diagnosability verification with Petri net unfoldings.

Agnes Madalinski, Farid Nouioua, Philippe Dague

Int. J. Knowl. Based Intell. Eng. Syst., 2010

An optimized algorithm for diagnosability of component-based systems.

Lina Ye, Philippe Dague

Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

Diagnosability Analysis of Discrete Event Systems with Autonomous Components.

Lina Ye, Philippe Dague

Proceedings of the ECAI 2010, 2010

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

An Incremental Approach for Pattern Diagnosability in Distributed Discrete Event Systems.

Lina Ye, Philippe Dague, Yuhong Yan

Proceedings of the ICTAI 2009, 2009

A Decentralized Model-Based Diagnosis for BPEL Services.

Yingmin Li, Lina Ye, Philippe Dague, Tarek Melliti

Proceedings of the ICTAI 2009, 2009

2008

Decentralized Diagnosis for BPEL Web Services.

Lina Ye, Philippe Dague

Proceedings of the WEBIST 2008, 2008

Distributed Consistency-Based Diagnosis.

Vincent Armant, Philippe Dague, Laurent Simon

Proceedings of the Logic for Programming, 2008

Optimizing the System Observability Level for Diagnosability.

Laura Brandán Briones, Alexander Lazovik, Philippe Dague

Proceedings of the Leveraging Applications of Formal Methods, 2008

A probabilistic analysis of diagnosability in discrete event systems.

Farid Nouioua, Philippe Dague

Proceedings of the ECAI 2008, 2008

2007

Modeling BPEL Web Services for Diagnosis: Towards Self-healing Web Services.

Yingmin Li, Tarek Melliti, Philippe Dague

Proceedings of the WEBIST 2007, 2007

Modeling and Diagnosing OrchestratedWeb Service Processes.

Yuhong Yan, Philippe Dague

Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007), 2007

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

Mathematical Foundations of Qualitative Reasoning.

Louise Travé-Massuyès, Liliana Ironi, Philippe Dague

AI Mag., 2004

2002

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

Proceedings of the 15th European Conference on Artificial Intelligence, 2002

2001

Distributed Model for an SDH Telecommunication Network Diagnosis.

Philippe Dague, Francine Krief, François Lévy, Aomar Osmani

Proceedings of the ISCA 10th International Conference on Intelligent Systems, 2001

2000

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

Proceedings of the ECAI 2000, 2000

1998

A Dynamic Lattice to Evolve Hierarchically Shared Subroutines.

Alain Racine, Marc Schoenauer, Philippe Dague

Proceedings of the Genetic Programming, First European Workshop, 1998

1995

Qualitative Reasoning: A Survey of Techniques and Applications.

Philippe Dague

AI Commun., 1995

1994

Model-Based Diagnosis of Analog Electronic Circuits.

Philippe Dague

Ann. Math. Artif. Intell., 1994

1993

Symbolic Reasoning with Relative Orders of Magnitude.

Philippe Dague

Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

Numeric Reasoning with Relative Orders of Magnitude.

Philippe Dague

Proceedings of the 11th National Conference on Artificial Intelligence. Washington, 1993

1991

When Oscillators Stop Oscillating.

Philippe Dague, Olivier Jehl, Philippe Deves, Pierre Luciani, Patrick Taillibert

Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991

1990

An Interval Propagation and Conflict Recognition Engine for Diagnosing Continuous Dynamic Systems.

Philippe Dague, Olivier Jehl, Patrick Taillibert

Proceedings of the Expert Systems in Engineering, 1990

Analog Systems Diagnosis.

Philippe Dague, Philippe Deves, Pierre Luciani, Patrick Taillibert

Proceedings of the 9th European Conference on Artificial Intelligence, 1990

A General Consistency (Checking and Restoring) Engine for Knowledge Bases.

Alain Beauvieux, Philippe Dague

Proceedings of the 9th European Conference on Artificial Intelligence, 1990

1987

Plan Inference and Student Modeling in ICAI.

Y. M. Visetti, Philippe Dague

Proceedings of the 6th National Conference on Artificial Intelligence. Seattle, 1987

Troubleshooting: When Modeling Is the Trouble.

Philippe Dague, Olivier Raiman, Philippe Deves

Proceedings of the 6th National Conference on Artificial Intelligence. Seattle, 1987