摘要
溴0010 J.Halpern和J.Pearl，《原因与解释：结构模型方法》。 第一部分：原因，Br.J.Philos。 科学。， 56 (2005) 843-887. 谷歌学者 
交叉引用 
br0020型 I.Beer，S.Ben-David，H.Chockler，A.Orni，R.Trefler，《利用因果关系解释反例》，《形式方法系统》。 设计。， 40 (2012) 20-40. 谷歌学者 数字图书馆 
br 0030个 G.Gössler，D.Le Métayer，逻辑因果关系的一般追踪框架，收录于：LNCS，第8348卷，Springer，2013年，第157-173页。 谷歌学者 溴0040 N.Halbwachs，P.Caspi，P.Raymond，D.Pilaud，同步数据流编程语言LUSTRE，Proc。 IEEE，79（1991）1305-1320。 谷歌学者 交叉引用 0050比尔 S.Wang，A.Ayoub，O.Sokolsky，I.Lee，记录不确定度下迹线的运行时验证，见：LNCS，第7186卷，Springer，2011年，第442-456页。 谷歌学者 布尔0060 D.休谟，《关于人类理解的调查》，1748年。 谷歌学者 2007年 G.Gössler、D.Le Métayer、J.-B.Raclet，《合同违约因果分析》，载于：LNCS，第6418卷，Springer-Verlag，2010年，第270-284页。 谷歌学者 0080比尔 G.Gössler，J.Sifakis，基于组件建模的组合，科学。 计算。 程序。， 55 (2005) 161-183. 谷歌学者 数字图书馆 br0090型 S.Wang，A.Ayoub，B.Kim，G.Gössler，O.Sokolsky，I.Lee，基于组件的实时系统因果分析框架，收录于：LNCS，第8174卷，Springer，2013年，第285-303页。 谷歌学者 邮编：0100 G.Gössler，L.Aštefínoaei，基于组件的实时系统中的指责，收录于：EMSOFT’14，ACM，2014年，第7:1-7:10页。 谷歌学者 br0110型 R.Reiter，《第一原理诊断理论》，Artif。 智力。， 32 (1987) 57-95. 谷歌学者 数字图书馆 溴0120 S.Beckers，J.Vennekens，《CP逻辑和结构模型中的反事实依赖和实际因果关系：比较》，摘自：Front。 Artif公司。 智力。 应用。， 第241卷，IOS出版社，2012年，第35-46页。 谷歌学者 br0130号 B.Jobstmann，S.Staber，A.Griesmayer，R.Bloem，《发现和修复故障》，J.Compute。 系统。 科学。， 78 (2012) 441-460. 谷歌学者 数字图书馆 br0140号 A.Groce、S.Chaki、D.Kroening、O.Strichman，《距离度量的错误解释》，国际期刊Softw。 技术工具。 变压器。， 8 (2006) 229-247. 谷歌学者 数字图书馆 溴0150 G.Fey、S.Staber、R.Bloem和R.Drechsler，《属性检查的自动故障定位》，IEEE Trans。 计算- 辅助设计。 集成。 电路系统。， 27 (2008) 1138-1149. 谷歌学者 数字图书馆 br0160型 M.Jose，R.Majumdar，《原因线索子句：使用最大可满足性进行错误定位》，载于：PLDI’11，ACM，2011年，第437-446页。 谷歌学者 br0170型 R.Könighfer，R.Bloem，命令式程序的自动错误定位和纠正，收录于：FMCAD’11，FMCAD Inc.，2011年，第91-100页。 谷歌学者 溴0180 C.Dimoulas、R.Findler、C.Flanagan、M.Felleisen，《合同的正确指责：不再成为替罪羊》，载于：POPL，2011年，第215-226页。 谷歌学者 溴0190 M.Kuntz，F.Leitner-Fischer，S.Leue，《从因果关系到故障树的概率反例》，见：LNCS，第6894卷，Springer，2011年，第71-84页。 谷歌学者 溴0200 F.Leitner-Fischer，S.Leue，复杂系统模型的因果关系检查，见：LNCS，第7737卷，Springer，2013年，第248-267页。 谷歌学者 br0210 A.Zeller，《为什么项目失败》，爱思唯尔出版社，2009年。 谷歌学者 br0220（巴西） E.Lee，A.Sangiovanni-Vincentelli，计算模型比较框架，IEEE Trans。 计算- 辅助设计。 集成。 电路系统。， 17 (1998) 1217-1229. 谷歌学者 数字图书馆 br0230英镑 E.Fabre，A.Benveniste，S.Haar，C.Jard，并发和异步系统的分布式监控，离散事件动态。 系统。， 15 (2005) 33-84. 谷歌学者 数字图书馆 0240比尔 R.Küsters，T.Truderung，A.Vogt，《责任：定义和与可验证性的关系》，载于：ACM计算机和通信安全会议，2010年，第526-535页。 谷歌学者 0250比尔 C.Fidge，保持部分顺序的消息传递系统中的时间戳，in：Proc。 ACSC’88，1988年，第56-66页。 谷歌学者 0260比尔 F.Mattern，分布式系统的虚拟时间和全局状态，in：Proc。 并行和分布式算法研讨会，Elsevier，1988年，第215-226页。 谷歌学者 br0270型 M.Sampath，R.Sengupta，S.Lafortune，K.Sinnamohideen，D.Teneketzis，离散事件系统的可诊断性，IEEE Trans。 自动。 控制，40（1995）1555-1575。 谷歌学者 交叉引用 br0280 D.Biswas，V.Niemi，《将隐私政策转化为审计规范》，载于：HASE，IEEE计算机学会，2011年，第368-375页。 谷歌学者
建议
基于组件的实时系统中的指责 EMSOFT’14：第14届嵌入式软件国际会议论文集 在基于组件的安全关键型实时系统中，关键是要确定哪些组件导致违反了所需的系统级安全属性，无论是发出准确警报，还是确定组件提供商的责任。 在此。。。 修复基于组件的系统的异常处理程序 测试、调试和错误处理、正式方法、生命周期关注点、演进和维护 为了设计有效的异常处理程序，开发人员必须在设计时预测可能在运行时发生的异常事件，并且必须根据预测实现相应的处理程序。 正在为组件设计异常处理程序。。。 SherLog：通过连接运行时日志中的线索进行错误诊断 ASPLOS XV：第十五届编程语言和操作系统架构支持国际会议记录 计算机系统经常由于软件错误或管理员错误等许多因素而失败。 诊断此类生产运行故障是一项重要但具有挑战性的任务，因为由于各种原因，很难在内部重现这些故障：（1）。。。
