Ilan Beer, Shoham Ben-David, Hana Chockler, Avigail Orni & Richard J. Trefler (2012):
Explaining counterexamples using causality.
Formal Methods in System Design 40(1),
pp. 20–40,
doi:10.1007/s10703-011-0132-2.
Francesco D. Busnelli, Giovanni Comandé, Herman Cousy, Dan B. Dobbs, Bill W. Dufwa, Michael G. Faure, Israel Gilead, Michael D. Green, Konstantinos D. Kerameus, Bernhard A. Koch, Helmut Koziol, Ulrich Magnus, Miquel Martín-Casals, Olivier Moréteau, Johann Neethling, W. V. Horton Rogers, Jorge Ferreira Sinde Monteiro, Jaap Spier, Lubos Tichy & Pierre Widmer (2005):
Causation,
pp. 43–63.
Springer Vienna,
Vienna,
doi:10.1007/3-211-27751-X_4.
Hana Chockler, Orna Grumberg & Avi Yadgar (2008):
Efficient Automatic STE Refinement Using Responsibility.
In: C. R. Ramakrishnan & Jakob Rehof: Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings,
Lecture Notes in Computer Science 4963.
Springer,
pp. 233–248,
doi:10.1007/978-3-540-78800-3_17.
Hana Chockler, Joseph Y. Halpern & Orna Kupferman (2008):
What causes a system to satisfy a specification?.
ACM Trans. Comput. Log. 9(3),
pp. 20:1–20:26,
doi:10.1145/1352582.1352588.
Gregor Gößler & Daniel Le Métayer (2013):
A General Trace-Based Framework of Logical Causality.
In: José Luiz Fiadeiro, Zhiming Liu & Jinyun Xue: Formal Aspects of Component Software - 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers,
Lecture Notes in Computer Science 8348.
Springer,
pp. 157–173,
doi:10.1007/978-3-319-07602-7_11.
Gregor Gößler, Daniel Le Métayer & Jean-Baptiste Raclet (2010):
Causality Analysis in Contract Violation.
In: Howard Barringer, Yliès Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon J. Pace, Grigore Rosu, Oleg Sokolsky & Nikolai Tillmann: Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings,
Lecture Notes in Computer Science 6418.
Springer,
pp. 270–284,
doi:10.1007/978-3-642-16612-9_21.
J.Y. Halpern & J. Pearl (2005):
Causes and explanations: A structural-model approach. Part I: Causes.
The British journal for the philosophy of science 56(4),
pp. 843–887,
doi:10.1093/bjps/axi147.
Florian Leitner-Fischer & Stefan Leue (2013):
Probabilistic fault tree synthesis using causality computation.
IJCCBS 4(2),
pp. 119–143,
doi:10.1504/IJCCBS.2013.056492.
D. Lewis (2004):
Void and Object.
In: John Collins, Ned Hall & L. A. Paul: Causation and Counterfactuals.
MIT Press,
pp. 277–290.
eptcs@eptcs.org