罗德里克·布洛姆;哈娜·乔克勒;易卜拉欣·马苏德;斯特里赫曼（Ofer Strichman） 反应合成中的特定鲁棒性。 （英语） Zbl 07683089号 形式方法系统。设计。 60，第2号，259-276（2022）.MSC公司：68倍 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}等人，《形式方法系统》。设计。60，第2号，259--276（2022；Zbl 07683089） 全文： DOI程序
罗德里克·布洛姆;哈娜·乔克勒;易卜拉欣·马苏德;斯特里赫曼（Ofer Strichman） 合成中的真空。 （英语） Zbl 1522.68297号 形式方法系统。设计。 57，第3号，473-495（2021）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}等人，《形式方法系统》。设计。57，编号3，473--495（2021；Zbl 1522.68297） 全文： DOI程序
罗德里克·布洛姆;瑞典雅各布斯;亚基尔·维泽尔 高效的信息流验证—在推测执行下。 （英语） Zbl 1437.68111号 Chen，Yu Fang（编辑）等人，用于验证和分析的自动化技术。2019年10月28日至31日，第17届国际研讨会，ATVA 2019，台湾台北。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11781, 499-514 (2019).MSC公司：60年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}等人，Lect。注释计算。科学。11781、499--514（2019年；Zbl 1437.68111） 全文： DOI程序
罗德里克·布洛姆;费·戈尔施温;费比安·格雷夫;罗伯特·Könighfer;药丸，印戈;亨氏里纳;弗兰茨·罗克 根据时序逻辑规范综合自适应测试策略。 （英语） Zbl 1427.68160号 形式方法系统。设计。 55，编号2，103-135（2019）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}等人，《形式方法系统》。设计。55，No.2，103--135（2019；Zbl 1427.68160） 全文： DOI程序 arXiv公司
罗德里克·布洛姆;克里希南德·查特吉;芭芭拉·乔布斯曼 图形游戏和反应合成。 （英语） Zbl 1392.68233号 Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。921-962 (2018).MSC公司：60年第68季度 65年第68季度 91A43型 PDF格式BibTeX公司 XML格式引用 \textit｛R.Bloem｝等人，在：模型检查手册中。查姆：斯普林格。921-962（2018；Zbl 1392.68233） 全文： DOI程序
贝蒂娜·柯尼霍费尔;穆罕默德·阿尔谢赫;罗德里克·布洛姆;劳拉·汉弗莱;罗伯特·Könighfer;乌富克托普库;王超 盾牌合成。 （英语） Zbl 1386.68101号 形式方法系统。设计。 51，第2号，332-361（2017）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Könighfer}等人，《形式方法系统》。设计。51，第2号，332--361（2017；Zbl 1386.68101） 全文： DOI程序
罗德里克·布洛姆;哈娜·乔克勒;易卜拉欣·马苏德;斯特里赫曼（Ofer Strichman） 合成非真空系统。 （英语） Zbl 1484.68096号 Bouajjani，Ahmed（编辑）等人，《验证、模型检查和抽象解释》。2017年1月15日至17日在法国巴黎举行的2017年VMCAI第18届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10145, 55-72 (2017).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}等人，Lect。注释计算。科学。10145，55-72（2017；Zbl 1484.68096） 全文： DOI程序 链接
罗德里克·布洛姆;克里希南德·查特吉;卡琳·格雷梅尔;托马斯·亨辛格（Thomas A.Henzinger）。;乔治·霍夫雷克;芭芭拉·乔布斯曼;贝蒂娜·柯尼霍费尔;罗伯特·Könighfer 合成鲁棒系统。 （英语） Zbl 1302.93079号 学报信息。 51，编号3-4193-220（2014）.MSC公司：93B35型 93亿B50 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}等人，Acta Inf.51，No.3--4，193-220（2014；Zbl 1302.93079） 全文： DOI程序
罗德里克·布洛姆;芭芭拉·乔布斯曼;尼尔·皮特曼;阿米尔·普努利;亚尼夫·萨阿尔 反应（1）设计的合成。 （英语） 兹比尔1247.68050 J.计算。系统。科学。 78，第3期，911-938（2012）.MSC公司：68号30 03B44号 03B70号 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}等人，《计算杂志》。系统。科学。78，第3号，911--938（2012；Zbl 1247.68050） 全文： DOI程序
芭芭拉·乔布斯曼;斯特凡·斯塔珀;安德烈亚斯·格里斯迈尔;罗德里克·布洛姆 发现并修复故障。 （英语） Zbl 1263.68112号 J.计算。系统。科学。 78，编号2441-460（2012）. 审核人：约翰·乔治·格兰斯特罗姆（苏黎世） MSC公司：60年第68季度 91A80型 03B70号 68号30 65年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{B.Jobstmann}等人，J.计算。系统。科学。78，No.2，441--460（2012；Zbl 1263.68112） 全文： DOI程序