Biblio

Export 17 results:
Author Title [ Type(Desc)] Year
Filters: First Letter Of Title is D and Author is Philippe Dague  [Clear All Filters]
Conference Paper
L. Ye and Dague, P., Decentralized Diagnosis for BPEL Web Services, in Proc. of International Conference on Web Information Systems and Technologies (WEBIST), 2008, pp. 283-287.
Y. Li, Melliti, T., Ye, L., and Dague, P., A decentralized model-based diagnosis for BPEL services, in Proc. of International Conference on Tools with Artificial Intelligence (ICTAI), 2009.
L. Ye and Dague, P., Diagnosability analysis for self-observed distributed discrete event systems, in Proc. of International Conference on Advances in System Testing and Validation Lifecycle (VALID), Lisbonne, Portugal, 2012.
L. Ye and Dague, P., Diagnosability Analysis of Discrete Event Systems with Autonomous Components, in Proc. of European Conference on Artificial Intelligence (ECAI), Lisbonne Portugal, 2010.
Y. Yan, Ye, L., and Dague, P., Diagnosability for Patterns in Distributed Discrete Event Systems, in Proc. of International Workshop on Principles of Diagnosis (DX), Portland, OR United States, 2010.
G. Bourgne, Dague, P., Nouioua, F., and Rapin, N., Diagnosability of Input Output Symbolic Transition Systems, in Proc. of International Conference on Advances in System Testing and Validation Lifecycle (VALID), 2009.
L. Ye and Dague, P., Diagnosability of patterns in distributed discrete event systems, in Proc. of IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (SAFEPROCESS), 2009.
M. Batteux, Dague, P., Rapin, N., and Fiani, P., Diagnosability study of technological systems, in Conf. of International Conference on Industrial, Engineering and other Applications of Applied Intelligent Systems (IEA/AIE), Syracuse, United States, 2011, vol. 6703.
V. Armant, Dague, P., and Simon, L., Diagnostic Distribué à base de modèles sans calcul préalable des conflits, in Actes des Journées Francophones de Programmation par Contraintes (JFPC), 2008, pp. 41–48.
L. Ye, Dague, P., and Yan, Y., A distributed approach for pattern diagnosability, in Proc. of International Workshop on Principles of Diagnosis (DX), 2009.
V. Armant, Dague, P., and Simon, L., Distributed Consistency-Based Diagnosis, in Proc. of International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), Doha, Qatar, 2008.
V. Armant, Dague, P., and Simon, L., Distributed Consistency-Based Diagnosis without Conflicts, in Proc. of International Workshop on Principles of Diagnosis (DX), 2008.
V. Armant, Dague, P., and Simon, L., Distributed Tree Decomposition by Local Elections with One Token, in Actes des Journées de l'Intelligence Artificielle Fondamentale, (JIAF), Toulouse, France, 2012.
V. Armant, Simon, L., and Dague, P., Distributed tree decomposition with privacy, in Proc. of International Conference on Principles and Practice of Constraint Programming (CP), Québec, Canada, 2012, pp. 102-117.
Journal Article
A. Madalinski, Nouioua, F., and Dague, P., Diagnosability verication with Petri net unfoldings, International Journal of Knowledge-Based and Intelligent Engineering Systems (KES), vol. 14(2), pp. 49-55, 2010.
A. Madalinski, Nouioua, F., and Dague, P., Diagnosability verification with Petri net unfoldings, Rapport de recherche LRI, vol. 1516, 2009.
F. Nouioua and Dague, P., Diagnosticabilité des systèmes à événements discrets, Rapport de recherche LRI, vol. 1517, 2009.