Introduction to Discrete Event Systems, 1999. ,
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-2000), pp.131-135, 2000. ,
Discrete-event modelling and diagnosis of quantized dynamical systems, 10th International Workshop on Principles of Diagnosis (DX-99), pp.147-154, 1999. ,
Incremental decentralized diagnosis approach for the supervision of a telecommunication network, Proceedings of the 41st IEEE Conference on Decision and Control, 2002., pp.151-158, 2001. ,
DOI : 10.1109/CDC.2002.1184533
Using model-checking techniques for diagnosing discrete-event systems. In: 12th International Workshop on Principles of Diagnosis (DX'01), pp.39-46, 2001. ,