Diagnosis of large active systems, Artificial Intelligence, vol.110, issue.1, pp.135-183, 1999. ,
DOI : 10.1016/S0004-3702(99)00019-3
Event-based diagnosis for evolutive systems, 5th International Workshop on Principles of Diagnosis (DX-94), pp.64-69, 1994. ,
Formulating diagnostic problem solving using an action language with narratives and sensing, International Conference on Knowledge Representation and Reasoning, pp.311-322, 2000. ,
Diagnosis and diagnosability analysis using PEPA, 14th European Conference on Artificial Intelligence (ECAI-00), pp.131-135, 2000. ,
Using model-checking techniques for diagnosing discrete-event systems, 12th International Workshop on Principles of Diagnosis, pp.39-46, 2001. ,
Diagnosis of Active Systems, 2003. ,
DOI : 10.1007/978-94-017-0257-7
Failure diagnosis using discrete-event models, IEEE Transactions on Control Systems Technology (CST-96, pp.105-124, 1996. ,
Diagnosing discrete-event systems : extending the " diagnoser approach " to deal with telecommunication networks, Journal on Discrete- Event Dynamic Systems: Theory and Applications, pp.43-81, 2002. ,