default search action
Philippe Dague
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2021
- [j9]Philippe Dague
:
Metabolic Pathway Analysis in the Presence of Biological Constraints. Comput. 9(10): 111 (2021) - 2020
- [j8]Philippe Dague, Lulu He, Lina Ye
How to be sure a faulty system does not always appear healthy? Innov. Syst. Softw. Eng. 16(2): 121-142 (2020) - [c38]Wenbo Zhou
A Coloured Petri Nets Based Attack Tolerance Framework. APSEC 2020: 159-168 - [p1]Marie-Odile Cordier, Philippe Dague, Yannick Pencolé, Louise Travé-Massuyès:
Diagnosis and Supervision: Model-Based Approaches. A Guided Tour of Artificial Intelligence Research (1) (I) 2020: 673-706
2010 – 2019
- 2018
- [c37]Hadi Zaatiti, Jean-Pierre Gallois, Lina Ye, Philippe Dague:
Automating Abstraction Computation of Hybrid Systems. CICM Workshops 2018 - [c36]Lina Ye, Philippe Dague, Delphine Longuet, Laura Brandán Briones, Agnes Madalinski:
How to Be Sure a Faulty System Does Not Always Appear Healthy? VECoS 2018: 114-129 - 2017
- [j7]Lina Ye, Philippe Dague:
An Optimized Algorithm of General Distributed Diagnosability Analysis for Modular Structures. IEEE Trans. Autom. Control. 62(4): 1768-1780 (2017) - [c35]Hassan Ibrahim, Philippe Dague, Alban Grastien, Lina Ye, Laurent Simon:
Diagnosability Planning for Controllable Discrete Event Systems. AAAI 2017: 1149-1155 - [c34]Hadi Zaatiti, Lina Ye, Philippe Dague, Jean-Pierre Gallois:
Counterexample-Guided Abstraction-Refinement for Hybrid Systems Diagnosability Analysis. DX 2017: 124-143 - 2016
- [c33]Imen Gueddi, Othman Nasri, Kamel BenOthman, Philippe Dague:
Interval extended PCA-based fault diagnosis of spacecraft thrusters. CoDIT 2016: 700-705 - [c32]Lina Ye, Philippe Dague, Delphine Longuet, Laura Brandán Briones, Agnes Madalinski:
Fault Manifestability Verification for Discrete Event Systems. ECAI 2016: 1718-1719 - [c31]Farid Nouioua, Philippe Dague, Lina Ye:
Predictability in Probabilistic Discrete Event Systems. SMPS 2016: 381-389 - 2015
- [c30]Imen Gueddi, Othman Nasri, Kamel BenOthman, Philippe Dague:
VPCA-based fault diagnosis of spacecraft reaction wheels. ICAT 2015: 1-6 - [c29]Lina Ye, Philippe Dague, Farid Nouioua:
A Predictability Algorithm for Distributed Discrete Event Systems. ICFEM 2015: 201-216 - [c28]Othman Nasri, Imen Gueddi, Kamel BenOthman, Philippe Dague:
Fault diagnosis of spacecraft reaction wheels based on principal component analysis. ICSC 2015: 91-96 - [c27]Hassan Ibrahim, Philippe Dague, Laurent Simon:
Using Incremental SAT for Testing Diagnosability of Distributed DES. DX 2015: 51-58 - [e1]Yannick Pencolé, Louise Travé-Massuyès, Philippe Dague:
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. CEUR Workshop Proceedings 1507, CEUR-WS.org 2015 [contents] - 2013
- [c26]Lina Ye, Philippe Dague, Farid Nouioua:
Predictability analysis of distributed discrete event systems. CDC 2013: 5009-5015 - 2012
- [c25]Vincent Armant, Laurent Simon, Philippe Dague:
Distributed Tree Decomposition with Privacy. CP 2012: 102-117 - [c24]Lina Ye, Philippe Dague:
A General Algorithm for Pattern Diagnosability of Distributed Discrete Event Systems. ICTAI 2012: 130-137 - 2011
- [c23]Michel Batteux, Philippe Dague, Nicolas Rapin, Philippe Fiani:
Diagnosability Study of Technological Systems. IEA/AIE (1) 2011: 186-198 - 2010
- [j6]Agnes Madalinski, Farid Nouioua, Philippe Dague:
Diagnosability verification with Petri net unfoldings. Int. J. Knowl. Based Intell. Eng. Syst. 14(2): 49-55 (2010) - [c22]Lina Ye, Philippe Dague:
Diagnosability Analysis of Discrete Event Systems with Autonomous Components. ECAI 2010: 105-110 - [c21]Lina Ye, Philippe Dague:
An optimized algorithm for diagnosability of component-based systems. WODES 2010: 143-148
2000 – 2009
- 2009
- [j5]Yuhong Yan, Philippe Dague, Yannick Pencolé, Marie-Odile Cordier:
A Model-Based Approach for Diagnosing Fault in Web Service Processes. Int. J. Web Serv. Res. 6(1): 87-110 (2009) - [c20]Lina Ye, Philippe Dague, Yuhong Yan:
An Incremental Approach for Pattern Diagnosability in Distributed Discrete Event Systems. ICTAI 2009: 123-130 - [c19]Yingmin Li, Lina Ye, Philippe Dague, Tarek Melliti:
A Decentralized Model-Based Diagnosis for BPEL Services. ICTAI 2009: 609-616 - 2008
- [c18]Farid Nouioua, Philippe Dague:
A probabilistic analysis of diagnosability in discrete event systems. ECAI 2008: 224-228 - [c17]Laura Brandán Briones, Alexander Lazovik, Philippe Dague:
Optimizing the System Observability Level for Diagnosability. ISoLA 2008: 815-830 - [c16]Vincent Armant, Philippe Dague, Laurent Simon:
Distributed Consistency-Based Diagnosis. LPAR 2008: 113-127 - [c15]Lina Ye, Philippe Dague:
Decentralized Diagnosis for BPEL Web Services. WEBIST (1) 2008: 283-287 - 2007
- [c14]Yuhong Yan, Philippe Dague:
Modeling and Diagnosing OrchestratedWeb Service Processes. ICWS 2007: 51-59 - [c13]Yingmin Li, Tarek Melliti, Philippe Dague:
Modeling BPEL Web Services for Diagnosis: Towards Self-healing Web Services. WEBIST (1) 2007: 297-304 - 2004
- [j4]Louise Travé-Massuyès, Liliana Ironi, Philippe Dague:
Mathematical Foundations of Qualitative Reasoning. AI Mag. 24(4): 91-106 (2004) - [j3]Marie-Odile Cordier, Philippe Dague, François Lévy, Jacky Montmain
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 34(5): 2163-2177 (2004) - 2002
- [c12]Claudia Picardi, Rosanna Bray, Fulvio Cascio, Luca Console, Philippe Dague, David Millet, Bernd Rehfus, Peter Struss, Christian Vallée:
IDD: Integrating Diagnosis in the Design of automotive systems. ECAI 2002: 628-632 - 2001
- [c11]Philippe Dague, Francine Krief, François Lévy, Aomar Osmani:
Distributed Model for an SDH Telecommunication Network Diagnosis. IS 2001: 122-125 - 2000
- [c10]Marie-Odile Cordier, Philippe Dague, Michel Dumas, François Lévy, Jacky Montmain, Marcel Staroswiecki, Louise Travé-Massuyès:
A Comparative Analysis of AI and Control Theory Approaches to Model-based Diagnosis. ECAI 2000: 136-140
1990 – 1999
- 1998
- [c9]Alain Racine, Marc Schoenauer
A Dynamic Lattice to Evolve Hierarchically Shared Subroutines. EuroGP 1998: 220-232 - 1995
- [j2]Philippe Dague:
Qualitative Reasoning: A Survey of Techniques and Applications. AI Commun. 8(3/4): 119-192 (1995) - 1994
- [j1]Philippe Dague:
Model-Based Diagnosis of Analog Electronic Circuits. Ann. Math. Artif. Intell. 11(1-4): 439-492 (1994) - 1993
- [c8]Philippe Dague:
Numeric Reasoning with Relative Orders of Magnitude. AAAI 1993: 541-547 - [c7]Philippe Dague:
Symbolic Reasoning with Relative Orders of Magnitude. IJCAI 1993: 1509-1515 - 1991
- [c6]Philippe Dague, Olivier Jehl, Philippe Deves, Pierre Luciani, Patrick Taillibert:
When Oscillators Stop Oscillating. IJCAI 1991: 1109-1115 - 1990
- [c5]Alain Beauvieux, Philippe Dague:
A General Consistency (Checking and Restoring) Engine for Knowledge Bases. ECAI 1990: 77-82 - [c4]Philippe Dague, Philippe Deves, Pierre Luciani, Patrick Taillibert:
Analog Systems Diagnosis. ECAI 1990: 173-178 - [c3]Philippe Dague, Olivier Jehl, Patrick Taillibert:
An Interval Propagation and Conflict Recognition Engine for Diagnosing Continuous Dynamic Systems. Expert Systems in Engineering 1990: 16-31
1980 – 1989
- 1987
- [c2]Y. M. Visetti, Philippe Dague:
Plan Inference and Student Modeling in ICAI. AAAI 1987: 77-81 - [c1]Philippe Dague, Olivier Raiman, Philippe Deves:
Troubleshooting: When Modeling Is the Trouble. AAAI 1987: 600-605
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-07 21:33 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: