Biblio

Export 35 results:
Author Title [ Type(Asc)] Year
Filters: Author is Philippe Dague  [Clear All Filters]
Journal Article
Y. Yan, Dague, P., Pencolé, Y., and Cordier, M. - O., “A Model-based Approach for Diagnosing Faults in Web Service Processes”, International Journal of Web Services Research (JWSR), vol. 6(1), pp. 87-110, 2009.
F. Nouioua and Dague, P., “Diagnosticabilité des systèmes à événements discrets”, Rapport de recherche LRI, vol. 1517, 2009.
A. Madalinski, Nouioua, F., and Dague, P., “Diagnosability verification with Petri net unfoldings”, Rapport de recherche LRI, vol. 1516, 2009.
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.
Conference Proceedings
Y. Pencolé, Travé-Massuyès, L., and Dague, P., “Proceedings of the 26th International Workshop on Principles of Diagnosis (DX-2015)”, CEUR Workshop Proceedings, vol. 1507. {Yannick Pencolé and Louise Travé-Massuyès and Philippe Dague}, Paris, France, p. 302, 2015.
Conference Paper
H. Shraim, Nasri, O., Dague, P., Héron, O., and Cartron, M., “Smart distance keeping: modeling and perspectives for embedded diagnosis”, in Proc. of International Conference on Intelligent Systems, Modelling and Simulation (ISMS), Liverpool United Kingdom, 2010.
F. Nouioua and Dague, P., “A Probabilistic Analysis of Diagnosability in Discrete Event Systems”, in Proc. of European Conference on Artificial Intelligence (ECAI), 2008, pp. 224-228.
L. Brandan-Briones, Lazovik, A., and Dague, P., “Optimizing the system observability level for diagnosability”, in Proc. of International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), Chalkidiki, Kassandra, Greece, 2008.
L. Ye and Dague, P., “An Optimized Algorithm for Diagnosability of Component-based Systems”, in Proc. of International Conference on Discrete Event Systems (WODES), Berlin Germany, 2010.
L. Brandan-Briones, Lazovik, A., and Dague, P., “Optimal Observability for Diagnosability”, in Proc. of International Workshop on Principles of Diagnosis (DX), 2008.
L. Ye and Dague, P., “New Results for Joint Diagnosability of Self-observed Distributed Discrete Event Systems”, in Proc. of International Workshop on Principles of Diagnosis (DX), Great Malvern, United Kingdom, 2012.
O. Nasri, Shraim, H., Dague, P., Héron, O., and Cartron, M., “Model-based Decentralized Embedded Diagnosis inside Vehicles: Application to Smart Distance Keeping Function”, in Proc. of Conference on Control and Fault-Tolerant Systems (Systol), Nice France, 2010.
L. Ye, Dague, P., and Yan, Y., “An incremental approach for pattern diagnosability in distributed discrete event systems”, in Proc. of International Conference on Tools with Artificial Intelligence (ICTAI), 2009.
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.
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.
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.
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.
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.
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.
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, 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 Consistency-Based Diagnosis”, in Proc. of International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), Doha, Qatar, 2008.
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., “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.

Pages