1 时间自动机理论 定理。 计算。 科学。 1994 126 183 235 10.1016/0304-3975(94)90010-8 803.68071 1271580 谷歌学者 
数字图书馆 
2 使用BIP框架进行严格的基于组件的系统设计 IEEE软件。 2011 28 三 41 48 2017年11月10日 谷歌学者 数字图书馆 三。 Beckers，S.，Vennekens，J.：逻辑和结构模型中的反事实依赖和实际因果关系：比较。 收录于：Kersting，K.，Toussaint，M.（编辑）STAIRS.《人工智能和应用的前沿》，第241卷，第35-46页。 IOS出版社（2012） 谷歌学者 4 使用因果关系解释反例 形式方法系统。 设计。 2012 40 1 20 40 2007年10月10日/10703-011-0132-2 1247.68158 谷歌学者 数字图书馆 5 并发和异步系统的分布式监视 离散事件动态。 系统。 2005 15 1 33 84 2007年10月10日/10626-005-5238-5 1077.68059 2120639 谷歌学者 数字图书馆 6 用于属性检查的自动故障定位 IEEE传输。 CAD集成。 循环。 系统。 2008 27 6 1138 1149 10.1109/TCAD.2008.923234 谷歌学者 数字图书馆 7 Fidge，C.J.：保持部分顺序的消息传递系统中的时间戳。摘自：Raymond，K.（ed.）ACSC’88会议录，第56–66页（1988） 谷歌学者 8 合同违约因果关系分析 运行时验证 2010 海德堡 施普林格 270 284 10.1007/978-3-642-16612-9_21 谷歌学者 9 基于组件建模的组合 科学。 计算。 掠夺。 2005 55 1–3 161 183 2016年10月10日/j.scico.2004.05.014 1075.68016 谷歌学者 数字图书馆 10 使用距离度量进行错误解释 STTT公司 2006 8 三 229 247 2007年10月10日/10009-005-0202-0 谷歌学者 交叉引用 
11 同步数据流编程语言Lustre 程序。 美国电气工程师协会 1991 79 9 1305 1320 10.1109/5.97300 谷歌学者 交叉引用 12. 原因和解释：结构模型方法。 第一部分：原因 Br.J.Philos博士。 科学。 2005 56 4 843 887 10.1093/bjps/axi147 1092.03003 2193018 谷歌学者 交叉引用 13. 休谟：关于人类理解的调查（1748年） 谷歌学者 14 发现并修复故障 J.计算。 系统。 科学。 2012 78 2 441 460 2016年10月10日/j.jcss.2011.05.005 1263.68112 2881341 谷歌学者 数字图书馆 15 从因果概率反例到故障树 计算机的安全性、可靠性和安全性 2011 海德堡 施普林格 71 84 10.1007/978-3-642-24270-0_6 谷歌学者 16 Küsters，R.，Truderung，T.，Vogt，A.：责任：定义和与可验证性的关系。 摘自：ACM计算机和通信安全会议，第526–535页（2010年） 谷歌学者 17 分布式系统中的时间、时钟和事件顺序 CACM公司 1978 21 7 558 565 10.1145/359545.359563 378.68027 谷歌学者 数字图书馆 18 计算模型比较框架 IEEE传输。 计算。 辅助设计。 集成。 电路系统。 1998 17 12 1217 1229 10.1109/43.736561 谷歌学者 数字图书馆 19 复杂系统模型的因果关系检查 验证、模型检查和抽象解释 2013 海德堡 施普林格 248 267 10.1007/978-3-642-35873-9_16 谷歌学者 数字图书馆 20 Mattern，F.：分布式系统的虚拟时间和全局状态。 收录于：Cosnard，M.（编辑）《并行和分布式算法研讨会论文集》，第215-226页。 爱思唯尔（1988） 谷歌学者 21 第一原理诊断理论 Artif公司。 智力。 1987 32 1 57 95 10.1016/0004-3702(87)90062-2 643.68122 884192 谷歌学者 数字图书馆 22 基于组件的实时系统因果关系分析框架 运行时验证 2013 海德堡 施普林格 285 303 10.1007/978-3-642-40787-1_17 谷歌学者 23 记录不确定度下轨迹的运行时验证 运行时验证 2012 海德堡 施普林格 442 456 10.1007/978-3-642-29860-8_35 谷歌学者 数字图书馆 24 为什么程序失败 2009 阿姆斯特丹 爱思维尔 谷歌学者
建议
离线提取二进制程序执行轨迹的并行化 ICAIP’18：第二届图像处理进展国际会议记录 本文研究了通过开放源代码平台——体系结构平台——中性动态分析来并行提取细粒度程序执行轨迹的技术。 在二进制程序分析中，分析操作系统中的操作。。。 珀尔在逻辑背景下的因果关系 AAAI'15：第二十届AAAI人工智能会议记录 我们在McCain和Turner（1997）的因果演算及其Lifschitz的一阶推广的框架内，提供了Pearl结构因果模型的逻辑表示。 可以看出，在这种表述下。。。
