Unfolding-based diagnosis of systems with an evolving topology, LNCS, vol.5201, 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00638204
Probabilistic evaluation of counterfactual queries, AAAI, pp.230-237, 1994. ,
Symbolic causality checking using bounded model checking, Model Checking Software -22nd International Symposium, vol.9232, pp.203-221, 2015. ,
Explaining counterexamples using causality. Formal Methods in System Design, vol.40, pp.20-40, 2012. ,
Distributed Monitoring of Concurrent and Asynchronous Systems, CONCUR 2003, vol.2761, 2003. ,
URL : https://hal.archives-ouvertes.fr/inria-00638219
Introduction to Discrete Event Systems, 2008. ,
, Hyperproperties. Journal of Computer Security, vol.18, issue.6, pp.1157-1210, 2010.
Program actions as actual causes: A building block for accountability, IEEE 28th Computer Security Foundations Symposium, pp.261-275, 2015. ,
On preemption and overdetermination in formal theories of causality, Proc. 2nd International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, vol.259, pp.1-15, 2017. ,
Actual causation: a stone soup essay, Synthese, vol.175, issue.2, pp.169-192, 2010. ,
Blaming in component-based real-time systems, EMSOFT'14, vol.7, pp.1-7, 2014. ,
A general framework for blaming in component-based systems, Science of Computer Programming, vol.113, issue.3, pp.223-235, 2015. ,
Counterfactual causality from first principles, Proceedings 2nd International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, vol.259, pp.47-53, 2017. ,
Fault ascription in concurrent systems, Proc. Trustworthy Global Computing -10th International Symposium, vol.9533, 2015. ,
Testing for causality, Journal of Economic Dynamics and Control, vol.2, pp.329-352, 1980. ,
Diagnosis with petri net unfoldings, Control of Discrete-Event Systems, vol.433, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00926087
Graded causation and defaults, 2013. ,
A modification of the halpern-pearl definition of causality, Proc. Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, pp.3022-3033, 2015. ,
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. ,
Causality and counterfactuals in the situation calculus, J. Log. Comput, vol.17, issue.5, 2007. ,
A survey of fault detection, isolation and reconfiguration methods, IEEE Trans. on Control Systems Technology, vol.18, issue.3, 2010. ,
Causal inference by string diagram surgery, Proc. Foundations of Software Science and Computation Structures -22nd International Conference, FOSSACS 2019, vol.11425, pp.313-329, 2019. ,
, Causality, Probability, and Time, 2012.
From probabilistic counterexamples via causality to fault trees, LNCS, vol.6894, pp.71-84, 2011. ,
Counterfactual resimulation for causal analysis of rule-based models, Proc. 27th International Joint Conference on Artificial Intelligence, IJCAI-18, vol.7, pp.1882-1890, 2018. ,
Probabilistic fault tree synthesis using causality computation, IJCCBS, vol.4, issue.2, pp.119-143, 2013. ,
, , 1973.
Situations, actions, and causal laws, 1963. ,
Causality: Models, Reasoning, and Inference, 2000. ,
Theoretical impediments to machine learning with seven sparks from the causal revolution, Proc. Eleventh ACM International Conference on Web Search and Data Mining (WSDM '18), pp.3-3, 2018. ,
A theory of diagnosis from first principles, Artif. Intell, vol.32, issue.1, pp.57-95, 1987. ,
Failure diagnosis using discrete-event models, IEEE Trans. Contr. Sys. Techn, vol.4, issue.2, pp.105-124, 1996. ,
A theory of conditionals, Studies in Logical Theory, pp.98-112, 1968. ,
Bridging control and artificial intelligence theories for diagnosis: A survey, Engineering Applications of Artificial Intelligence, vol.27, 2014. ,
Configuration structures, event structures and petri nets, Theoretical Computer Science, vol.410, issue.41, 2009. ,
Models for concurrency, Handbook of Logic in Computer science, vol.4, 1995. ,
Overview of fault diagnosis methods for discrete event systems, Annual Reviews in Control, vol.37, issue.2, 2013. ,
Observational determinism for concurrent program security, 16th IEEE Computer Security Foundations Workshop (CSFW-16 2003, p.29, 2003. ,
, Saint Ismier Cedex Publisher Inria Domaine de Voluceau -Rocquencourt BP 105 -78153 Le Chesnay Cedex inria