Debugging of concurrent systems using counterexample analysis, Fundamentals of Software Engineering -7th International Conference, pp.20-34, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01533401
Diagnosis of large active systems, Artificial Intelligence, vol.110, issue.1, pp.135-183, 1999. ,
Symbolic causality checking using bounded model checking, Model Checking Software, pp.203-221, 2015. ,
A spectrum of definitions for temporal model-based diagnosis, Artificial Intelligence, vol.102, issue.1, pp.39-79, 1998. ,
Formulating event-based critical observations in diagnostic problems, 26th International Workshop on Principles of Diagnosis (DX-15), pp.119-126, 2015. ,
A spectrum of logical definitions of model-based diagnosis, Computational Intelligence, vol.7, issue.3, pp.133-141, 1991. ,
Graphs, rewriting and pathway reconstruction for rule-based models, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012, vol.18, pp.276-288, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00809065
, Fault Diagnosis of Dynamic Systems: Quantitative and Qualitative Approaches, 2019.
Causality analysis and fault ascription in component-based systems, 2019. ,
Supervision patterns: formal diagnosability checking by Petri net unfolding, IFAC Proceedings Volumes, vol.46, pp.73-78, 2013. ,
Computing the reveals relation in occurrence nets, of Electronic Proceedings in Theoretical Computer Science, vol.54, pp.31-44, 2011. ,
URL : https://hal.archives-ouvertes.fr/inria-00638262
Causes and explanations: A structural-model approach. part i: Causes, British Journal for the Philosophy of Science, vol.56, issue.4, pp.843-887, 2005. ,
, Readings in Model-based Diagnosis, 1992.
Causation in the law, 1985. ,
Supervision patterns in discrete event systems diagnosis, 8th International Workshop on Discrete Event Systems, pp.262-268, 2006. ,
Fate and free will in error traces, STTT, vol.6, issue.2, pp.102-116, 2004. ,
Applying algorithm selection to abductive diagnostic reasoning, Applied Intelligence, vol.5, pp.1-19, 2018. ,
Explanatory diagnosis: Conjecturing actions to explain observations, pp.155-172 ,
, , 1999.
A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks, Artificial Intelligence, vol.164, issue.1, pp.121-170, 2005. ,
Kasim Sinnamohideen, and Demosthenis Teneketzis. Diagnosability of discrete-event systems, IEEE Transactions on Automatic Control, vol.40, issue.9, pp.1555-1575, 1995. ,
Failure diagnosis of discrete-event systems with linear-time temporal logic specifications, IEEE Transactions on Automatic Control, vol.49, issue.6, pp.934-945, 2004. ,