Biblio
] , “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.
, “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 of Input Output Symbolic Transition Systems”, in Proc. of International Conference on Advances in System Testing and Validation Lifecycle (VALID), 2009.
, “Diagnosability for Patterns in Distributed Discrete Event Systems”, in Proc. of International Workshop on Principles of Diagnosis (DX), Portland, OR United States, 2010.
, “Diagnosability Analysis of Discrete Event Systems with Autonomous Components”, in Proc. of European Conference on Artificial Intelligence (ECAI), Lisbonne Portugal, 2010.
, “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.
, “A decentralized model-based diagnosis for BPEL services”, in Proc. of International Conference on Tools with Artificial Intelligence (ICTAI), 2009.
, “Decentralized Diagnosis for BPEL Web Services”, in Proc. of International Conference on Web Information Systems and Technologies (WEBIST), 2008, pp. 283-287.
, “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 colored Petri nets model for diagnosing data faults of BPEL services”, in Proc. of International Workshop on Principles of Diagnosis (DX), 2009.