马丁·查普曼;哈娜·乔克勒;帕斯卡·凯塞利;丹尼尔·克罗宁;斯特里赫曼（Ofer Strichman）;迈克尔·陶奇尼格 学习错误语言。 （英语） Zbl 1471.68101号 Finkbeiner，Bernd（编辑）等人，《验证和分析自动化技术》。第十三届国际研讨会，2015年10月12日至15日，中国上海，ATVA。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9364, 114-130 (2015).MSC公司：68问题32 68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Chapman}等人，Lect。注释计算。科学。9364、114--130（2015年；Zbl 1471.68101） 全文： 内政部 链接
阿尔加莱、杰德;丹尼尔·克罗宁;文森特·尼马尔;迈克尔·陶奇尼格 通过程序转换对弱内存进行软件验证。 （英语） Zbl 1381.68143号 Felleisen，Matthias（编辑）等人，《编程语言和系统》。2013年3月16日至24日，作为欧洲软件理论与实践联合会议的一部分，在意大利罗马举行了第22届欧洲编程研讨会（ESOP 2013）。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-37035-9/pbk）。计算机科学课堂讲稿7792，512-532（2013）。MSC公司：60年第68季度 2007年7月68日 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{J.Algale}等人，Lect。注释计算。科学。7792512-532（2013；Zbl 1381.68143） 全文： 内政部 arXiv公司
阿拉斯泰尔·唐纳森。;亚历山大·凯撒;丹尼尔·克罗宁;迈克尔·陶奇尼格;托马斯·沃尔 对称并发程序的反示例引导抽象细化。 （英语） Zbl 1284.68179号 表格方法系统。设计。 第41期，第1期，第25-44页（2012年）.MSC公司：68号30 60年第68季度 68甲19 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.F.Donaldson}等人，《形式方法系统》。设计。41、第1号、第25-44号（2012年；Zbl 1284.68179） 全文： 内政部 链接
维杰·德·席尔瓦;利奥波德·哈勒;丹尼尔·克罗宁;迈克尔·陶奇尼格 具有冲突驱动学习的数值边界分析。 （英语） Zbl 1352.68060号 Flanagan，Cormac（编辑）等人，《系统构建和分析的工具和算法》。2012年3月24日至4月1日，作为欧洲软件理论和实践联席会议的一部分，在爱沙尼亚塔林举行了第18届国际会议，2012年TACAS。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-28755-8/pbk）。计算机科学课堂讲稿7214，48-63（2012）。MSC公司：68号30 65G40型 PDF格式BibTeX公司 XML格式引用 \textit{V.D'Silva}等人，Lect。注释计算。科学。7214，48-63（2012；Zbl 1352.68060） 全文： 内政部