Diagnosis of large active systems, Artificial Intelligence, vol.110, issue.1, pp.135-183, 1999. ,
DOI : 10.1016/S0004-3702(99)00019-3
Formulating diagnostic problem solving using an action language with narratives and sensing, pp.311-322, 2000. ,
Symbolic model checking: 10/sup 20/ states and beyond, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science, pp.142-170, 1992. ,
DOI : 10.1109/LICS.1990.113767
Introduction to Discrete Event Systems, 1999. ,
Conformant planning via symbolic model checking, Journal of Artificial Intelligence Research, vol.13, pp.305-338, 2000. ,
State space reduction using partial order techniques, International Journal on Software Tools for Technology Transfer (STTT), vol.2, issue.3, pp.279-287, 1998. ,
DOI : 10.1007/s100090050035
Model checking, 1999. ,
Diagnosis and diagnosability using PEPA, pp.131-135, 2000. ,
Using model-checking techniques for diagnosing discrete-event systems, pp.39-46, 2001. ,
Eventbased diagnosis for evolutive systems, pp.64-69, 1994. ,
Diagnostic de pannes sur des systèmessystèmesévénements discrets : une approchè a base de modèles symboliques, pp.191-200, 2002. ,
A critique of pure reason, Computational Intelligence, vol.1, issue.3, pp.151-237, 1987. ,
DOI : 10.1016/0004-3702(80)90014-4
All from one, one for all: on model checking using representatives, CAV'93, pp.409-423, 1993. ,
DOI : 10.1007/3-540-56922-7_34
Diagnostic décentralisé de syst` emesàévénementsemesàemesàévénements discrets : application aux réseaux de télécommunications, 2002. ,