Biblio
] , “Decentralized Diagnosis for BPEL Web Services”, in Proc. of International Conference on Web Information Systems and Technologies (WEBIST), 2008, pp. 283-287.
, “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.
, “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.
, “Optimal Observability for Diagnosability”, in Proc. of International Workshop on Principles of Diagnosis (DX), 2008.
, “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.
, “A Probabilistic Analysis of Diagnosability in Discrete Event Systems”, in Proc. of European Conference on Artificial Intelligence (ECAI), 2008, pp. 224-228.
, “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.
, “A decentralized model-based diagnosis for BPEL services”, in Proc. of International Conference on Tools with Artificial Intelligence (ICTAI), 2009.
, “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 verification with Petri net unfoldings”, Rapport de recherche LRI, vol. 1516, 2009.
, “Diagnosticabilité des systèmes à événements discrets”, Rapport de recherche LRI, vol. 1517, 2009.
, “A distributed approach for pattern diagnosability”, in Proc. of International Workshop on Principles of Diagnosis (DX), 2009.
, “An incremental approach for pattern diagnosability in distributed discrete event systems”, in Proc. of International Conference on Tools with Artificial Intelligence (ICTAI), 2009.
, “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.
, “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 verication with Petri net unfoldings”, International Journal of Knowledge-Based and Intelligent Engineering Systems (KES), vol. 14(2), pp. 49-55, 2010.
, “Fuel Cell System Improvement for Model-Based Diagnosis Analysis”, in Proc. of IEEE Vehicle Power and Propulsion Conference (VPPC), Lille France, 2010.
, “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.
, “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.
, “An Optimized Algorithm for Diagnosability of Component-based Systems”, in Proc. of International Conference on Discrete Event Systems (WODES), Berlin Germany, 2010.
, “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.