费利克斯·A·沃尔夫。;马尔特·施沃尔霍夫;彼得·米勒 复杂逻辑的简明大纲：TaDA的校对大纲检查器。 （英语） Zbl 1531.68043号 形式方法系统。设计。 61，编号1，110-136（2022）.MSC公司：60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{F.A.Wolf}等人，《形式方法系统》。设计。61，编号1，110--136（2022；Zbl 1531.68043） 全文： 内政部 arXiv公司 OA许可证
西蒙·多尔蒂;萨迪·达尔瓦迪;布里杰什·多戈尔;海克·卫尔海姆 统一操作弱内存验证：公理方法。 （英语） Zbl 1508.68216号 ACM事务处理。计算。日志。 23，第4条，第27条，第39页（2022年）.MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Doherty}等人，《美国医学杂志》。计算。日志。23，第4号，第27条，第39页（2022年；Zbl 1508.68216） 全文： 内政部
萨迪·达尔瓦迪;布里杰什·多戈尔;西蒙·多尔蒂;海克·卫尔海姆 将Owicki-Gries for C11风格内存模型集成到Isabelle/HOL中。 （英语） Zbl 07498610号 J.汽车。推理 66，编号1，141-171（2022）.MSC公司：60年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{S.Dalvandi}等人，J.Autom。推理66，No.1，141--171（2022；Zbl 07498610） 全文： 内政部 arXiv公司 OA许可证
安德烈亚·科斯蒂亚;朱，艾米;纳迪亚·波里卡波娃;伊利亚·谢尔盖 简明的只读规范，用于更好地综合带有指针的程序。 （英语） Zbl 1508.68056号 Müller，Peter（编辑），《编程语言和系统》。2020年4月25日至30日在爱尔兰都柏林举行的第29届欧洲编程研讨会（ESOP 2020），是欧洲软件理论与实践联合会议（ETAPS 2020）的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12075, 141-168 (2020).MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Costea}等人，Lect。注释计算。科学。12075、141--168（2020年；Zbl 1508.68056） 全文： 内政部 arXiv公司 OA许可证
西蒙·多尔蒂;布里杰什·多戈尔;海克·卫尔海姆;约翰·德里克 使部分有序执行的线性化能力合成。 （英语） Zbl 1514.68164号 Furia，Carlo A.（编辑）等，《综合形式方法》。第14届国际会议，IFM 2018，爱尔兰梅努思，2018年9月5日至7日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11023, 110-129 (2018).MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Doherty}等人，莱克特。注释计算。科学。11023、110-129（2018；Zbl 1514.68164） 全文： 内政部 arXiv公司 链接