Biblio

Export 35 results:
Author [ Title(Desc)] Type Year
Filters: Author is Philippe Dague  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
C
Y. Li, Melliti, T., and Dague, P., “A colored Petri nets model for diagnosing data faults of BPEL services”, in Proc. of International Workshop on Principles of Diagnosis (DX), 2009.
Y. Li, Melliti, T., and Dague, P., “A colored Petri nets model for the diagnosis of semantic faults of BPEL services”, in Proc. of International Workshop on Petri Nets and Software Engineering (PNSE), 2009.
D
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.
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.
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.
F. Nouioua and Dague, P., “Diagnosticabilité des systèmes à événements discrets”, Rapport de recherche LRI, vol. 1517, 2009.
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.
F
M. Batteux, Rapin, N., Dague, P., and Fiani, P., “Faulty models of a fuel cell system for model-based diagnosis study”, in Fundamentals and Developments of Fuel Cells Conference (FDFC), Grenoble, France, 2011.
P. Fiani, Batteux, M., Dague, P., and Rapin, N., “Fuel Cell System Improvement for Model-Based Diagnosis Analysis”, in Proc. of IEEE Vehicle Power and Propulsion Conference (VPPC), Lille France, 2010.
G
L. Ye and Dague, P., “A general algorithm for pattern diagnosability of distributed discrete event systems”, in Proc. of International Conference on Tools with Artificial Intelligence (ICTAI), Athènes, Greece, 2012.
L. Ye and Dague, P., “A general algorithm for pattern diagnosability of distributed discrete event systems”, in Proc. of International Workshop on Principles of Diagnosis (DX), Great Malvern, United Kingdom, 2012.
T. Melliti and Dague, P., “Generalizing diagnosability definition and checking for open systems: a Game structure approach”, in Proc. of International Workshop on Principles of Diagnosis (DX), Portland, OR United States, 2010.
M. Batteux, Fiani, P., Rapin, N., and Dague, P., “Génération du comportement observable d'un système pour l'étude de la diagnosticabilité de défauts”, in QUALITA 2011, Angers, France, 2011.

Pages