The ALTARICA formalism for describing concurrent systems, Fundam. Inf, vol.40, pp.109-124, 1999. ,
Graph-based algorithms for boolean function manipulationConsole and Dressier, 1999) L. Console and O. Dressier. Model-based diagnosis in the real world: lessons learned and challenges remaining, Proceedings of the 16th international joint conference on Artificial intelligence, pp.677-691, 1986. ,
An interval model-based approach for optimal diagnosis tree generation, 10th International Workshop on Principles of Diagnosis (DX'99), pp.78-89, 1999. ,
Available on http, AltaRica Checker Handbook. LaBRI, 2010. ,
ALTARICA models and algorithms for diagnosis, 2011. ,
Diagnosis from scenarios System fault diagnostics using fault tree analysis, proc. of the 8th Int. Workshop on Discrete Events Systems, WODES'06 Proceedings of the Institution of Mechanical Engineers Part O Journal of Risk and Reliability, pp.307-31243, 2006. ,
Optimising monitoring of avionics systems to improve diagnostic performances, 10th Summer School MOVEP, pp.100-106, 2010. ,
A Calculus of Communicating Systems, Lecture Notes in Computer Science, vol.92, 1980. ,
DOI : 10.1007/3-540-10235-3
AL- TARICA -constraint automata as a description language Special issue on the Modelling of Reactive Systems. (Ramadge and Wonham The control of discrete event systems, European Journal on Automation Proceedings of the IEEE, vol.77, issue.1, pp.81-98, 1989. ,
Mathematical foundations of minimal cutsets, IEEE Transactions on Reliability, vol.50, issue.4, pp.389-396, 2001. ,
DOI : 10.1109/24.983400
Failure diagnosis using discrete-event models, IEEE Transactions on Control Systems Technology, vol.4, issue.2, pp.105-124, 1996. ,
DOI : 10.1109/87.486338
Diagnosis of discrete-event systems using bdds. 15th International Workshop on Principles of Diagnosis Minimal cut set/sequence generation for dynamic fault trees, Proceedings of the 2004 Annual Symposium Reliability and Maintainability, pp.197-202, 2004. ,