埃齐奥·巴托西;布洛克，罗德里克;马德巴赫，贝内迪克特;奈维迪塔·曼朱纳特;德扬·尼契科维奇 CPS模型中规范覆盖和细化的自适应测试。 （英语） Zbl 07601773号 非线性分析。，混合系统。 46，文章ID 101254，16 p.（2022）.MSC公司：68倍 93至XX PDF格式BibTeX公司 XML格式引用 \textit{E.Bartocci}等人，《非线性分析》。，混合系统。46，文章ID 101254，16 p.（2022；Zbl 07601773） 全文： 内政部
布洛克，罗德里克;哈娜·乔克勒;马苏德·易卜拉希米;斯特里赫曼（Ofer Strichman） 合成中的真空。 （英语） Zbl 1522.68297号 形式方法系统。设计。 57，第3号，473-495（2021）.MSC公司：第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}等人，《形式方法系统》。设计。57，编号3，473--495（2021；Zbl 1522.68297） 全文： 内政部
尼尔斯·詹森;贝蒂娜·科尼霍费尔;塞巴斯蒂安·荣格斯;亚历克斯，塞尔维亚人;布洛克，罗德里克 使用概率屏蔽进行安全强化学习（特邀论文）。 （英语） 兹伯利07559459 Konnov，Igor（编辑）等人，第31届并发理论国际会议。CONCUR 2020，2020年9月1日至4日，奥地利维也纳，虚拟会议。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。171，第3条，第16页（2020年）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Jansen}等人，LIPIcs——莱布尼茨国际程序。通知。171，第3条，第16页（2020；Zbl 07559459） 全文： 内政部 arXiv公司
布洛克，罗德里克;费·戈尔施温;费比安·格雷夫;罗伯特·Könighfer;药丸，印戈;亨氏里纳;弗兰茨·罗克 根据时序逻辑规范综合自适应测试策略。 （英语） Zbl 1427.68160号 形式方法系统。设计。 55，编号2，103-135（2019）.MSC公司：第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}等人，《形式方法系统》。设计。55，No.2，103--135（2019；Zbl 1427.68160） 全文： 内政部 arXiv公司
布洛克，罗德里克;克里希南德·查特吉;芭芭拉·乔布斯特曼 图形游戏和反应合成。 （英语） Zbl 1392.68233号 Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。921-962 (2018).MSC公司：第68季度第60季度 65年第68季度 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}等人，in：模型检查手册。查姆：斯普林格。921-962（2018；Zbl 1392.68233） 全文： 内政部
布洛克，罗德里克;哈娜·乔克勒;马苏德·易卜拉希米;斯特里赫曼（Ofer Strichman） 合成非真空系统。 （英语） Zbl 1484.68096号 Bouajjani，Ahmed（编辑）等人，《验证、模型检查和抽象解释》。2017年1月15日至17日在法国巴黎举行的2017年VMCAI第18届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10145, 55-72 (2017).MSC公司：第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}等人，Lect。注释计算。科学。10145，55-72（2017；Zbl 1484.68096） 全文： 内政部 链接
布洛克，罗德里克;克里希南德·查特吉;卡琳·格雷梅尔;托马斯·亨辛格（Thomas A.Henzinger）。;乔治·霍夫雷克;芭芭拉·乔布斯特曼;贝蒂娜·科尼霍费尔;罗伯特·Könighfer 合成鲁棒系统。 （英语） 兹比尔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） 全文： 内政部
布洛克，罗德里克;芭芭拉·乔布斯特曼;尼尔·皮特曼;阿米尔·普努利;亚尼夫·萨阿尔 反应（1）设计的合成。 （英语） Zbl 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） 全文： 内政部
芭芭拉·乔布斯特曼;斯特凡·斯塔珀;安德烈亚斯·格雷斯迈耶;布洛克，罗德里克 发现并修复故障。 （英语） Zbl 1263.68112号 J.计算。系统。科学。 78，第2期，441-460（2012）. 审核人：约翰·乔治·格兰斯特罗姆（苏黎世） MSC公司：第68季度第60季度 91A80型 03B70号 68号30 65年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{B.Jobstmann}等人，J.计算。系统。科学。78，No.2，441--460（2012；Zbl 1263.68112） 全文： 内政部
王超;布洛克，罗德里克;加里·哈赫特尔（Gary D.Hachtel）。;卡维塔·拉维;法比奥·萨蒙齐 针对语言空洞的成分SCC分析。 （英语） Zbl 1100.68059号 形式方法系统。设计。 28，第1期，5-36（2006）.MSC公司：65年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Wang}等人，《形式方法系统》。设计。28、第1号、第5--36号（2006；Zbl 1100.68059） 全文： 内政部
布洛克，罗德里克;哈罗德·N·加博。;法比奥·萨蒙齐 符号步骤中的强连通成分分析算法。 （英语） Zbl 1110.68161号 形式方法系统。设计。 28，第1期，37-56（2006）.MSC公司：68周05 65年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}等人，《形式方法系统》。设计。28，第1号，37-56（2006；Zbl 1110.68161） 全文： 内政部