Unfolding-based diagnosis of systems with an evolving topology, LNCS, vol.5201, 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00638204
Explaining counterexamples using causality. Formal Methods in System Design, pp.20-40, 2012. ,
DOI : 10.1007/978-3-642-02658-4_11
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.157.1935
Distributed Monitoring of Concurrent and Asynchronous Systems, CONCUR 2003, 2003. ,
DOI : 10.1007/978-3-540-45187-7_1
URL : https://hal.archives-ouvertes.fr/inria-00638342
Necessary and sufficient conditions The Stanford Encyclopedia of Philosophy, 2012. ,
Introduction to Discrete Event Systems, 2008. ,
Blaming in component-based real-time systems, Proceedings of the 14th International Conference on Embedded Software, EMSOFT '14, 2014. ,
DOI : 10.1145/2656045.2656048
A general framework for blaming in component-based systems, Science of Computer Programming, vol.113, p.2015 ,
DOI : 10.1016/j.scico.2015.06.010
Error explanation with distance metrics, International Journal on Software Tools for Technology Transfer, vol.28, issue.2, pp.229-247, 2006. ,
DOI : 10.1007/s10009-005-0202-0
Diagnosis with Petri Net Unfoldings, Control of Discrete-Event Systems, 2013. ,
DOI : 10.1007/978-1-4471-4276-8_15
URL : https://hal.archives-ouvertes.fr/hal-00926087
Graded causation and defaults. CoRR, abs, 1226. ,
DOI : 10.1093/bjps/axt050
URL : http://arxiv.org/abs/1309.1226
Causes and Explanations: A Structural-Model Approach. Part I: Causes, The British Journal for the Philosophy of Science, vol.56, issue.4, 2005. ,
DOI : 10.1093/bjps/axi147
A Survey of Fault Detection, Isolation, and Reconfiguration Methods, IEEE Transactions on Control Systems Technology, vol.18, issue.3, 2010. ,
DOI : 10.1109/TCST.2009.2026285
From Probabilistic Counterexamples via Causality to Fault Trees, SAFECOMP, 2011. ,
DOI : 10.1007/11691372_29
Liability issues in software engineering: the use of formal methods to reduce legal uncertainties, Commun. ACM, vol.54, issue.4, 2011. ,
Causality: Models, Reasoning and Inference, 2009. ,
DOI : 10.1017/CBO9780511803161
A theory of diagnosis from first principles, Artificial Intelligence, vol.32, issue.1, 1987. ,
A theory of conditionals. Studies in Logical Theory, pp.98-112, 1968. ,
Configuration structures, event structures and Petri nets, Theoretical Computer Science, vol.410, issue.41, p.410, 2009. ,
DOI : 10.1016/j.tcs.2009.06.014
Contract-based blame assignment by trace analysis, Proceedings of the 2nd ACM international conference on High confidence networked systems, HiCoNS '13, 2013. ,
DOI : 10.1145/2461446.2461463
Overview of fault diagnosis methods for Discrete Event Systems, Annual Reviews in Control, vol.37, issue.2, p.2013 ,
DOI : 10.1016/j.arcontrol.2013.09.009
Inovallée 655 avenue de l'Europe Montbonnot 38334 Saint Ismier Cedex Publisher Inria Domaine de Voluceau -Rocquencourt BP 105 -78153 Le Chesnay Cedex inria, pp.249-6399 ,