Wytse Oortwijn公司；斯特凡·布隆；古罗夫，帝力；玛丽克·赫斯曼；玛丽娜·扎哈里耶瓦·斯托亚诺夫斯基 描述并发程序行为的抽象技术。 （英语） Zbl 1403.68034号 Paskevich，Andrei（编辑）等人，验证软件。理论、工具和实验。第九届国际会议，2017年7月22日至23日，德国海德堡，VSTTE 2017。修订了选定的论文。查姆：施普林格（ISBN 978-3-319-72307-5/pbk；978-3-3169-72308-2/电子书）。计算机科学课堂讲稿10712191-209（2017）。MSC公司：68甲19 03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{W.Oortwijn}等人，Lect。票据计算。科学。10712、191--209（2017；Zbl 1403.68034） 全文： 内政部 链接
阿夫申·阿米吉；克里斯蒂安·哈克；玛丽克·赫斯曼；克莱门·赫林 多线程Java程序的基于许可的分离逻辑。 （英语） Zbl 1448.68215号 日志。方法计算。科学。 11，第1号，第2号论文，66页（2015）.MSC公司：68号30 03B70号 68甲15 68甲19 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Amighi}等人，日志。方法计算。科学。11，第1号，第2号论文，66页（2015；Zbl 1448.68215） 全文： 内政部 arXiv公司
阿夫申·阿米吉；斯特凡·布隆；玛丽克·赫斯曼 使用原子技术保护资源。模式和验证。 （英语） Zbl 1453.68042号 雅克·加里格（编辑），《编程语言和系统》。第十二届亚洲研讨会，2014年APLAS，新加坡，新加坡，2014年11月17日至19日，会议记录。柏林：斯普林格。莱克特。票据计算。科学。8858, 255-274 (2014).MSC公司：68号30 68甲15 68甲19 PDF格式BibTeX公司 XML格式引用 \textit｛A.Amighi｝等人，Lect。票据计算。科学。8858255-274（2014年；兹比尔1453.68042） 全文： 内政部
阿夫申·阿米吉；斯特凡·布隆；赛义德·达拉比；玛丽克·赫斯曼；沃伊切赫·莫斯托夫斯基；玛丽娜·扎哈里耶瓦·斯托亚诺夫斯基 使用VerCors验证并发系统。 （英语） Zbl 1445.68131号 Bernardo，Marco（编辑）等人，可执行软件模型的形式化方法。2014年6月16日至20日，意大利贝蒂诺罗，第14所计算机、通信和软件系统正式设计方法国际学校，SFM 2014。高级讲座。柏林：斯普林格。莱克特。票据计算。科学。8483, 172-216 (2014).MSC公司：60年第68季度 68甲19 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Amighi}等人，Lect。票据计算。科学。8483172--216（2014年；Zbl 1445.68131） 全文： 内政部 链接
Siavash Soleimanifard公司；古罗夫，帝力；玛丽克·赫斯曼 ProMoVer：临时安全属性的模块化验证。 （英语） Zbl 1350.68188号 Barthe，Gilles（编辑）等人，《软件工程和形式化方法》。2011年11月14日至18日，乌拉圭蒙得维的亚，2011年SEFM第九届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24689-0/pbk）。计算机科学课堂讲稿7041366-381（2011）。MSC公司：60年第68季度 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{S.Soleimanifard}等人，Lect。票据计算。科学。7041366--381（2011年；Zbl 1350.68188） 全文： 内政部 链接
内斯托尔·卡塔诺；玛丽克·赫斯曼 CHASE：JML可赋值子句的静态检查器。 （英语） Zbl 1022.68576号 Zuck，Leonore D.（编辑）等人，《验证、模型检验和抽象解释》。2003年1月9日至11日，美国纽约州纽约市，第四届国际会议，VMCAI 2003。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。2575, 26-40 (2003).MSC公司：60年第68季度 68号30 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{N.Cataño}和\textit{M.Huisman}，莱克特。票据计算。科学。2575、26-40（2003年；Zbl 1022.68576） 全文： 链接
玛丽克·赫斯曼；巴特·雅各布斯 高阶逻辑中的继承：建模和推理。 （英语） 兹比尔0974.68033 Aagaard，Mark（编辑）等人，《高阶逻辑中的定理证明》。2000年8月14日至18日在美国俄勒冈州波特兰举行的第13届TPHOLs 2000国际会议。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。1869, 301-319 (2000).MSC公司：68甲19 68吨15 03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{M.Huisman}和\textit{B.Jacobs}，莱克特。票据计算。科学。1869，301-319（2000；Zbl 0974.68033）