Biblio
] , “A colored Petri nets model for diagnosing data faults of BPEL services”, in Proc. of International Workshop on Principles of Diagnosis (DX), 2009.
, “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.
, “Decentralized Diagnosis for BPEL Web Services”, in Proc. of International Conference on Web Information Systems and Technologies (WEBIST), 2008, pp. 283-287.
, “A decentralized model-based diagnosis for BPEL services”, in Proc. of International Conference on Tools with Artificial Intelligence (ICTAI), 2009.
, “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.
, “Diagnosability Analysis of Discrete Event Systems with Autonomous Components”, in Proc. of European Conference on Artificial Intelligence (ECAI), Lisbonne Portugal, 2010.
, “Diagnosability for Patterns in Distributed Discrete Event Systems”, in Proc. of International Workshop on Principles of Diagnosis (DX), Portland, OR United States, 2010.
, “Diagnosability of Input Output Symbolic Transition Systems”, in Proc. of International Conference on Advances in System Testing and Validation Lifecycle (VALID), 2009.
, “Diagnosability of patterns in distributed discrete event systems”, in Proc. of IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (SAFEPROCESS), 2009.
, “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.
, “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.
, “A distributed approach for pattern diagnosability”, in Proc. of International Workshop on Principles of Diagnosis (DX), 2009.
, “Distributed Consistency-Based Diagnosis”, in Proc. of International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), Doha, Qatar, 2008.
, “Distributed Consistency-Based Diagnosis without Conflicts”, in Proc. of International Workshop on Principles of Diagnosis (DX), 2008.
, “Distributed Tree Decomposition by Local Elections with One Token”, in Actes des Journées de l'Intelligence Artificielle Fondamentale, (JIAF), Toulouse, France, 2012.
, “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.
, “Faulty models of a fuel cell system for model-based diagnosis study”, in Fundamentals and Developments of Fuel Cells Conference (FDFC), Grenoble, France, 2011.
, “Fuel Cell System Improvement for Model-Based Diagnosis Analysis”, in Proc. of IEEE Vehicle Power and Propulsion Conference (VPPC), Lille France, 2010.
, “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.
, “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.
, “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.
, “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.
, “An incremental approach for pattern diagnosability in distributed discrete event systems”, in Proc. of International Conference on Tools with Artificial Intelligence (ICTAI), 2009.
, “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.
, “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.