沃尔夫冈·阿伦特;杰苏斯·莫里西奥·奇曼托;戈登·佩斯。;杰拉尔多·施奈德 结合静态和运行时验证验证面向数据和控制的属性：理论和工具。 （英语） Zbl 1370.68195号 形式方法系统。设计。 51，第1期，200-265（2017）.MSC公司：60年第68季度 68甲19 68号30 PDF格式BibTeX公司 XML格式引用 \textit{W.Ahrendt}等人，《形式方法系统》。设计。51，No.1，200--265（2017；Zbl 1370.68195） 全文： DOI程序
伊勒姆·W·库尼亚。;阿恩·施·赫夫特 使用动态I/O自动机建模参与者系统。 （英语） Zbl 1461.68135号 Mazzara，Manuel（编辑）等人，《系统信息学的观点》。2015年8月24日至27日，第十届安德烈·埃尔肖夫国际信息学会议，PSI 2015，纪念俄罗斯喀山和因诺波利斯的赫尔穆特·维思。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。9609, 186-202 (2016).MSC公司：68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.W.Kurnia}和\textit{A.Poetzsch-Heffter}，莱克特。注释计算。科学。9609186-202（2016；Zbl 1461.68135） 全文： DOI程序
艾丽卡·阿尔布拉汉姆;Tran，Thi Mai Thoung先生;马丁·斯特芬 可观察的接口行为和继承。 （英语） Zbl 1361.68054号 数学。结构。计算。科学。 26，第3号，561-605（2016）.MSC公司：68甲19 PDF格式BibTeX公司 XML格式引用 \textit{E.ábrahám}等人，《数学》。结构。计算。科学。26，第3号，561--605（2016；Zbl 1361.68054） 全文： DOI程序
Din、Crystal Chang;Owe、Olaf 关于具有共享未来的活动对象的合成推理。 （英语） Zbl 1343.68166号 正式Asp。计算。 第3551-572号（2015）第27页.MSC公司：68问题85 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.C.Din}和\textit{O.Owe}，正式Asp。计算。27，第3号，551--572（2015；Zbl 1343.68166） 全文： DOI程序
埃纳尔·布罗赫·约翰森;鲁道夫·施拉特;塔皮娅·塔里法（Tapia Tarifa，S.Lizeth） 在定时面向对象模型中集成部署架构和资源消耗。 （英语） Zbl 1304.68029号 J.日志。阿尔盖布。方法计划。 84，第1期，67-91（2015）.MSC公司：68甲19 68号30 PDF格式BibTeX公司 XML格式引用 \textit{E.B.Johnsen}等人，J.Log。阿尔盖布。方法计划。84，第1号，67--91（2015；Zbl 1304.68029） 全文： DOI程序
Din、Crystal Chang;Owe、Olaf 一个完善的推理系统，用于与共享未来进行异步通信。 （英语） Zbl 1371.68190号 J.日志。阿尔盖布。方法计划。 83，编号5-6，360-383（2014）.MSC公司：68问题85 03B70号 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit｛C.C.Din｝和\textit｛O.Owe｝，J.Log。阿尔盖布。方法计划。83，编号5--6，360-383（2014；Zbl 1371.68190） 全文： DOI程序
Din、Crystal Chang;约翰·多夫兰;埃纳尔·布罗赫·约翰森;Owe、Olaf 分布式系统的可观察行为：并发对象的组件推理。 （英语） Zbl 1247.68184号 J.日志。阿尔盖布。程序。 81，第3期，227-256（2012）.MSC公司：68问题85 68号30 64岁以下 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{C.C.Din}等人，J.Log。阿尔盖布。程序。81、3号、227--256（2012；Zbl 1247.68184） 全文： DOI程序
艾纳尔·布罗赫·约翰森;Owe、Olaf;鲁道夫·施拉特;塔皮娅·塔里法（Tapia Tarifa）、西尔维娅·利泽斯（Silvia Lizeth） 使用参数并发验证部署组件的定时模型。 （英语） Zbl 1308.68037号 Beckert，Bernhard（编辑）等人，面向对象软件的形式验证。2010年6月28日至30日，法国巴黎，FoVeOOS 2010国际会议。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-18069-9/pbk）。计算机科学讲义6528，46-60（2011）。MSC公司：68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.Broch Johnsen}等人，Lect。注释计算。科学。6528、46-60（2011年；Zbl 1308.68037） 全文： DOI程序