Philippe Dague

50 papers A* 6A 9B 5C 8Journal 10Unranked 11

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	An approximation-based incremental SMT approach for diagnosability analysis of real-time systems. Discret. Event Dyn. Syst. Lulu He, Philippe Dague, Lina Ye
2021	J	`jnl`	Metabolic Pathway Analysis in the Presence of Biological Constraints. Comput. Philippe Dague
2020	C	`conf`	A Coloured Petri Nets Based Attack Tolerance Framework. APSEC Wenbo Zhou, Philippe Dague, Lei Liu, Lina Ye, Fatiha Zaïdi
2020	—	`ch.`	Diagnosis and Supervision: Model-Based Approaches. A Guided Tour of Artificial Intelligence Research (1) (I) Marie-Odile Cordier, Philippe Dague, Yannick Pencolé, Louise Travé-Massuyès
2020	J	`jnl`	How to be sure a faulty system does not always appear healthy? Innov. Syst. Softw. Eng. Philippe Dague, Lulu He, Lina Ye
2018	—	`conf`	Automating Abstraction Computation of Hybrid Systems. CICM Workshops Hadi Zaatiti, Jean-Pierre Gallois, Lina Ye, Philippe Dague
2018	C	`conf`	How to Be Sure a Faulty System Does Not Always Appear Healthy? VECoS Lina Ye, Philippe Dague, Delphine Longuet, Laura Brandán Briones, Agnes Madalinski
2017	J	`jnl`	An Optimized Algorithm of General Distributed Diagnosability Analysis for Modular Structures. IEEE Trans. Autom. Control. Lina Ye, Philippe Dague
2017	C	`conf`	Counterexample-Guided Abstraction-Refinement for Hybrid Systems Diagnosability Analysis. DX Hadi Zaatiti, Lina Ye, Philippe Dague, Jean-Pierre Gallois
2017	A*	`conf`	Diagnosability Planning for Controllable Discrete Event Systems. AAAI Hassan Ibrahim, Philippe Dague, Alban Grastien, Lina Ye, Laurent Simon
2016	A	`conf`	Fault Manifestability Verification for Discrete Event Systems. ECAI Lina Ye, Philippe Dague, Delphine Longuet, Laura Brandán Briones, Agnes Madalinski
2016	C	`conf`	Interval extended PCA-based fault diagnosis of spacecraft thrusters. CoDIT Imen Gueddi, Othman Nasri, Kamel BenOthman, Philippe Dague
2016	—	`conf`	Predictability in Probabilistic Discrete Event Systems. SMPS Farid Nouioua, Philippe Dague, Lina Ye
2015	C	`conf`	A Predictability Algorithm for Distributed Discrete Event Systems. ICFEM Lina Ye, Philippe Dague, Farid Nouioua
2015	—	`conf`	Fault diagnosis of spacecraft reaction wheels based on principal component analysis. ICSC Othman Nasri, Imen Gueddi, Kamel BenOthman, Philippe Dague
2015	C	`ed.`	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 - September 3, 2015. DX Yannick Pencolé, Louise Travé-Massuyès, Philippe Dague
2015	C	`conf`	Using Incremental SAT for Testing Diagnosability of Distributed DES. DX Hassan Ibrahim, Philippe Dague, Laurent Simon
2015	—	`conf`	VPCA-based fault diagnosis of spacecraft reaction wheels. ICAT Imen Gueddi, Othman Nasri, Kamel BenOthman, Philippe Dague
2013	—	`conf`	Predictability analysis of distributed discrete event systems. CDC Lina Ye, Philippe Dague, Farid Nouioua
2012	B	`conf`	A General Algorithm for Pattern Diagnosability of Distributed Discrete Event Systems. ICTAI Lina Ye, Philippe Dague
2012	A	`conf`	Distributed Tree Decomposition with Privacy. CP Vincent Armant, Laurent Simon, Philippe Dague
2011	—	`conf`	Diagnosability Study of Technological Systems. IEA/AIE (1) Michel Batteux, Philippe Dague, Nicolas Rapin, Philippe Fiani
2010	—	`conf`	An optimized algorithm for diagnosability of component-based systems. WODES Lina Ye, Philippe Dague
2010	A	`conf`	Diagnosability Analysis of Discrete Event Systems with Autonomous Components. ECAI Lina Ye, Philippe Dague
2010	J	`jnl`	Diagnosability verification with Petri net unfoldings. Int. J. Knowl. Based Intell. Eng. Syst. Agnes Madalinski, Farid Nouioua, Philippe Dague
2009	B	`conf`	A Decentralized Model-Based Diagnosis for BPEL Services. ICTAI Yingmin Li, Lina Ye, Philippe Dague, Tarek Melliti
2009	J	`jnl`	A Model-Based Approach for Diagnosing Fault in Web Service Processes. Int. J. Web Serv. Res. Yuhong Yan, Philippe Dague, Yannick Pencolé, Marie-Odile Cordier
2009	B	`conf`	An Incremental Approach for Pattern Diagnosability in Distributed Discrete Event Systems. ICTAI Lina Ye, Philippe Dague, Yuhong Yan
2008	A	`conf`	A probabilistic analysis of diagnosability in discrete event systems. ECAI Farid Nouioua, Philippe Dague
2008	—	`conf`	Decentralized Diagnosis for BPEL Web Services. WEBIST (1) Lina Ye, Philippe Dague
2008	B	`conf`	Distributed Consistency-Based Diagnosis. LPAR Vincent Armant, Philippe Dague, Laurent Simon
2008	C	`conf`	Optimizing the System Observability Level for Diagnosability. ISoLA Laura Brandán Briones, Alexander Lazovik, Philippe Dague
2007	—	`conf`	Modeling BPEL Web Services for Diagnosis: Towards Self-healing Web Services. WEBIST (1) Yingmin Li, Tarek Melliti, Philippe Dague
2007	A	`conf`	Modeling and Diagnosing OrchestratedWeb Service Processes. ICWS Yuhong Yan, Philippe Dague
2004	J	`jnl`	Conflicts versus analytical redundancy relations: a comparative analysis of the model based diagnosis approach from the artificial intelligence and automatic control perspectives. IEEE Trans. Syst. Man Cybern. Part B Marie-Odile Cordier, Philippe Dague, François Lévy, Jacky Montmain, Marcel Staroswiecki, Louise Travé-Massuyès
2004	J	`jnl`	Mathematical Foundations of Qualitative Reasoning. AI Mag. Louise Travé-Massuyès, Liliana Ironi, Philippe Dague
2002	A	`conf`	IDD: Integrating Diagnosis in the Design of automotive systems. ECAI Claudia Picardi, Rosanna Bray, Fulvio Cascio, Luca Console, Philippe Dague, David Millet, Bernd Rehfus, Peter Struss, Christian Vallée
2001	—	`conf`	Distributed Model for an SDH Telecommunication Network Diagnosis. IS Philippe Dague, Francine Krief, François Lévy, Aomar Osmani
2000	A	`conf`	A Comparative Analysis of AI and Control Theory Approaches to Model-based Diagnosis. ECAI Marie-Odile Cordier, Philippe Dague, Michel Dumas, François Lévy, Jacky Montmain, Marcel Staroswiecki, Louise Travé-Massuyès
1998	B	`conf`	A Dynamic Lattice to Evolve Hierarchically Shared Subroutines. EuroGP Alain Racine, Marc Schoenauer, Philippe Dague
1995	J	`jnl`	Qualitative Reasoning: A Survey of Techniques and Applications. AI Commun. Philippe Dague
1994	J	`jnl`	Model-Based Diagnosis of Analog Electronic Circuits. Ann. Math. Artif. Intell. Philippe Dague
1993	A*	`conf`	Numeric Reasoning with Relative Orders of Magnitude. AAAI Philippe Dague
1993	A*	`conf`	Symbolic Reasoning with Relative Orders of Magnitude. IJCAI Philippe Dague
1991	A*	`conf`	When Oscillators Stop Oscillating. IJCAI Philippe Dague, Olivier Jehl, Philippe Deves, Pierre Luciani, Patrick Taillibert
1990	A	`conf`	A General Consistency (Checking and Restoring) Engine for Knowledge Bases. ECAI Alain Beauvieux, Philippe Dague
1990	—	`conf`	An Interval Propagation and Conflict Recognition Engine for Diagnosing Continuous Dynamic Systems. Expert Systems in Engineering Philippe Dague, Olivier Jehl, Patrick Taillibert
1990	A	`conf`	Analog Systems Diagnosis. ECAI Philippe Dague, Philippe Deves, Pierre Luciani, Patrick Taillibert
1987	A*	`conf`	Plan Inference and Student Modeling in ICAI. AAAI Y. M. Visetti, Philippe Dague
1987	A*	`conf`	Troubleshooting: When Modeling Is the Trouble. AAAI Philippe Dague, Olivier Raiman, Philippe Deves