×

找到40个文档（结果1-40）

最新的 引文 关联
尼尔斯·詹森;贝蒂娜·科尼霍费尔;塞巴斯蒂安·荣格斯;亚历克斯，塞尔维亚人;罗德里克·布洛姆

使用概率屏蔽的安全强化学习（邀请论文）。 （英文） 兹伯利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公司
罗德里克·布洛姆;瑞典雅各布斯;亚基尔·维泽尔

高效的信息流验证—在推测执行下。 （英文） 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）
全文： 内政部
Anja F.卡尔。;罗伯特·席林;罗德里克·布洛姆;斯特凡·曼加德

小错误增多——验证算术编码程序中的错误屏蔽鲁棒性。 （英文） Zbl 1522.68327号

Enea，Constantin（编辑）等人，《验证、模型检查和抽象解释》。2019年1月13日至15日在葡萄牙卡斯凯斯举行的第20届国际会议，VMCAI 2019。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11388, 183-204 (2019).
MSC公司：60年第68季度 68号30 94B40码
PDF格式BibTeX公司 XML格式引用
\textit{A.F.Karl}等人，Lect。注释计算。科学。11388、183--204（2019年；Zbl 1522.68327）
全文： 内政部
阿伊拉特·哈利莫夫;马德巴赫，贝内迪克特;罗德里克·布洛姆

寄存器换能器的有界综合。 （英文） Zbl 1517.68244号

Lahiri，Shuvendu K.（编辑）等人，《验证和分析自动化技术》。第16届国际研讨会，2018年10月7日至10日，美国加利福尼亚州洛杉矶，ATVA 2018。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11138, 494-510 (2018).
MSC公司：60年第68季度 03B44号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Khalimov}等人，Lect。注释计算。科学。11138494--510（2018；Zbl 1517.68244）
全文： 内政部 arXiv公司
埃齐奥·巴托西;罗德里克·布洛姆;德扬·尼科维奇;弗兰茨·罗克

用于在有限跟踪上监视LTL规范的计数语义。 （英文） Zbl 1511.68147号

Chockler，Hana（编辑）等人，《计算机辅助验证》。2018年7月14日至17日在英国牛津举行的2018年第30届国际会议，CAV 2018，作为联邦逻辑会议的一部分。诉讼程序。第一部分：查姆：斯普林格公开赛。莱克特。注释计算。科学。10981, 547-564 (2018).
MSC公司：60年第68季度 03B44号 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{E.Bartocci}等人，Lect。注释计算。科学。10981、547--564（2018年；Zbl 1511.68147）
全文： 内政部 arXiv公司
玛丽亚娜·拉齐奇;伊戈尔·康诺夫;约瑟夫·威德;罗德里克·布洛姆

具有参数化阈值保护的分布式算法的综合。 （英文） Zbl 1487.68252号

Aspnes，James（编辑）等人，第21届分布式系统原理国际会议，OPODIS 2017，葡萄牙里斯本，2017年12月18-20日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。95，第32条，第20页（2018年）。
MSC公司：68宽15 64岁以下 68米15 第68页第19页 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Lazić}等人，LIPIcs——莱布尼茨国际程序。通知。95，第32条，第20页（2018；Zbl 1487.68252）
全文： 内政部
罗德里克·布洛姆;克里希南德·查特吉;芭芭拉·乔布斯曼

图形游戏和反应合成。 （英文） 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季度 91年43月
PDF格式BibTeX公司 XML格式引用
\textit{R.Bloem}等人，in：模型检查手册。查姆：斯普林格。921-962（2018；Zbl 1392.68233）
全文： 内政部
罗德里克·布洛姆;格罗斯，汉内斯;里纳特·尤斯波夫;贝蒂娜·科尼霍费尔;斯特凡·曼加德;约翰内斯·温特

在出现故障时对屏蔽硬件实现进行正式验证。 （英文） Zbl 1428.94062号

Nielsen，Jesper Buus（编辑）等人，《密码学进展——2018年欧洲密码》。第37届密码技术理论与应用国际年会，以色列特拉维夫，2018年4月29日至5月3日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。10821221-353（2018年）。
MSC公司：94A60型 68第25页
PDF格式BibTeX公司 XML格式引用
\textit{R.Bloem}等人，Lect。注释计算。科学。10821，321--353（2018；Zbl 1428.94062）
全文： 内政部
埃德蒙·克拉克（Edmund M.Clarke）。（编辑）;托马斯·亨辛格（Thomas A.Henzinger）。（编辑）;赫尔穆特·维思（编辑）;罗德里克·布洛姆（编辑）

模型检查手册。 （英文） Zbl 1390.68001号

查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。第二十四、1210页。(2018).
MSC公司：68-00 68-06 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.M.Clarke}（编辑）等人，《模型检查手册》。查姆：施普林格（2018；Zbl 1390.68001）
全文： 内政部
阿伊拉特·哈利莫夫;罗德里克·布洛姆

Streett、Rabin和（mathrm{CTL}^*\）的有界合成。 （英文） Zbl 1494.68169号

Majumdar，Rupak（编辑）等人，《计算机辅助验证》。2017年7月24日至28日在德国海德堡举行的2017年CAV第29届国际会议。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。10427, 333-352 (2017).
MSC公司：60年第68季度 03B44号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Khalimov}和\textit{R.Bloem}，莱克特。注释计算。科学。10427333--352（2017；Zbl 1494.68169）
全文： 内政部
罗德里克·布洛姆;哈娜·乔克勒;马苏德·易卜拉希米;斯特里赫曼（Ofer Strichman）

合成非真空系统。 （英文） Zbl 1484.68096号

Bouajjani，Ahmed（编辑）等人，《验证、模型检查和抽象解释》。第18届国际会议，2017年VMCAI，2017年1月15日至17日，法国巴黎。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10145, 55-72 (2017).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Bloem}等人，Lect。注释计算。科学。10145，55-72（2017；Zbl 1484.68096）
全文： 内政部 链接
罗德里克·布洛姆;尼古拉斯·布劳德·桑托尼;瑞典雅各布斯

自稳定和拜占庭恢复分布式系统的合成。 （英文） Zbl 1411.68073号

Chaudhuri，Swarat（编辑）等人，《计算机辅助验证》。2016年7月17日至23日在加拿大安大略省多伦多举行的2016年CAV第28届国际会议。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。9779, 157-176 (2016).
MSC公司：68问题85 68米15 60年第68季度 68宽15
PDF格式BibTeX公司 XML格式引用
\textit{R.Bloem}等人，Lect。注释计算。科学。9779，157--176（2016；Zbl 1411.68073）
全文： 内政部
罗德里克·布洛姆（编辑）;埃利·阿贝尔（编辑）

硬件和软件：验证和测试。第12届海法国际核查会议，2016年11月14日至17日，以色列海法，HVC。诉讼程序。 （英文） Zbl 1350.68008号

计算机科学课堂讲稿10028.查姆：施普林格（ISBN 978-3-319-49051-9/pbk；978-3-3169-49052-6/电子书）。十六、211页。(2016).
MSC公司：68-06 68米15 60年第68季度 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{R.Bloem}（编辑）和\textit{E.Arbel}（编），硬件和软件：验证和测试。2016年11月14-17日，以色列海法HVC 2016第十二届国际海法验证会议。诉讼程序。查姆：斯普林格（2016；Zbl 1350.68008）
全文： 内政部
罗德里克·布洛姆;贝蒂娜·科尼霍费尔;罗伯特·Könighfer;王超

屏蔽合成：反应系统的运行时实施。 （英文） 兹比尔1420.68119

Baier，Christel（编辑）等人，《系统构建和分析的工具和算法》。第21届国际会议，TACAS 2015，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2015，英国伦敦，2015年4月11日至18日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。9035, 533-548 (2015).
MSC公司：60年第68季度 68号30
PDF格式BibTeX公司 XML格式引用
\textit{R.Bloem}等人，Lect。注释计算。科学。9035，533--548（2015；Zbl 1420.68119）
全文： 内政部 arXiv公司
罗德里克·布洛姆;克里希南德·查特吉;瑞典雅各布斯;罗伯特·Könighfer

假设具有部分信息的并发反应式程序的保证综合。 （英文） Zbl 1420.68064号

Baier，Christel（编辑）等人，《系统构建和分析的工具和算法》。第21届国际会议，TACAS 2015，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2015，英国伦敦，2015年4月11日至18日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。9035, 517-532 (2015).
MSC公司：68号30 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.Bloem}等人，Lect。注释计算。科学。9035，517--532（2015；Zbl 1420.68064）
全文： 内政部 arXiv公司
罗德里克·布洛姆;瑞典雅各布斯;阿伊拉特·哈利莫夫;伊戈尔·康诺夫;萨沙·鲁宾;赫尔穆特·维思;约瑟夫·威德

参数化验证的可决定性。 （英文） Zbl 1400.68006号

分布式计算理论综合讲座13.加州圣拉斐尔：Morgan&Claypool出版社（ISBN 978-1-62705-743-1；978-1-6270 5-744-8/电子书）。xi，第158页。(2015).
MSC公司：68-02 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.Bloem}等人，参数化验证的可决定性。加利福尼亚州圣拉斐尔：Morgan&Claypool出版社（2015；Zbl 1400.68006）
全文： 内政部
罗德里克·布洛姆;吕迪格·埃勒斯;罗伯特·Könighfer

协同反应合成。 （英文） 兹比尔1471.68131

Finkbeiner，Bernd（编辑）等人，《验证和分析自动化技术》。第十三届国际研讨会，2015年10月12日至15日，中国上海，ATVA。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9364, 394-410 (2015).
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{R.Bloem}等人，Lect。注释计算。科学。9364，394--410（2015；Zbl 1471.68131）
全文： 内政部 arXiv公司
阿明·比尔（编辑）;罗德里克·布洛姆（编辑）

计算机辅助验证。2014年7月18日至22日在奥地利维也纳举行的第26届国际会议，CAV 2014，作为维也纳逻辑夏季的一部分，VSL 2014。诉讼程序。 （英文） Zbl 1293.68018号

计算机科学课堂讲稿8559.柏林：施普林格出版社（ISBN 978-3-319-08866-2/pbk）。xxxiv，第877页。(2014).
MSC公司：68-06 60年第68季度 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{A.Biere}（编辑）和\textit{R.Bloem}（编），计算机辅助验证。2014年7月18日至22日在奥地利维也纳举行的第26届国际会议，CAV 2014，作为维也纳逻辑夏季的一部分，VSL 2014。诉讼程序。柏林：施普林格（2014年；Zbl 1293.68018）
全文： 内政部
阿伊拉特·哈利莫夫;瑞典雅各布斯;罗德里克·布洛姆

朝向高效的参数化合成。 （英文） Zbl 1426.68051号

Giacobazzi，Roberto（编辑）等人，《验证、模型检查和抽象解释》。第14届国际会议，2013年VMCAI，意大利罗马，2013年1月20日至22日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。7737, 108-127 (2013).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{A.Khalimov}等人，Lect。注释计算。科学。7737，108-127（2013；Zbl 1426.68051）
全文： 内政部
瑞典雅各布斯;罗德里克·布洛姆

参数化合成。 （英文） Zbl 1352.68155号

Flanagan，Cormac（编辑）等人，《系统构建和分析的工具和算法》。2012年3月24日至4月1日在爱沙尼亚塔林举行的第18届国际会议（TACAS 2012）是欧洲软件理论与实践联合会议（ETAPS 2012）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-28755-8/pbk）。计算机科学课堂讲稿7214，362-376（2012）。
MSC公司：60年第68季度 64岁以下
PDF格式BibTeX公司 XML格式引用
\textit{S.Jacobs}和\textit{R.Bloem}，莱克特。注释计算。科学。7214362-376（2012年；兹bl 1352.68155）
全文： 内政部 arXiv公司
芭芭拉·乔布斯曼;斯特凡·斯塔珀;安德烈亚斯·格雷斯迈耶;罗德里克·布洛姆

发现并修复故障。 （英文） Zbl 1263.68112号

J.计算。系统。科学。 78，第2期，441-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）
全文： 内政部
罗伯特·Könighfer;乔治·霍夫雷克;罗德里克·布洛姆

使用基于模型的诊断调试无法实现的规范。 （英文） Zbl 1325.68152号

Barner，Sharon（编辑）等人，《硬件和软件：验证和测试》。2010年10月4日至7日，以色列海法HVC 2010第六届国际海法验证会议。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-19582-2/pbk）。计算机科学课堂讲稿650429-45（2011）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Könighfer}等人，Lect。注释计算。科学。6504，29-45（2011；Zbl 1325.68152）
全文： 内政部
罗德里克·布洛姆;克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。;芭芭拉·乔布斯曼

通过量化目标提高合成质量。 （英文） Zbl 1242.68151号

Bouajjani，Ahmed（编辑）等人，《计算机辅助验证》。第21届国际会议，CAV 2009，法国格勒诺布尔，2009年6月26日-7月2日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02657-7/pbk）。计算机科学讲座笔记5643140-156（2009）。
MSC公司：60年第68季度 65年第68季度 91年43月
PDF格式BibTeX公司 XML格式引用
\textit{R.Bloem}等人，Lect。注释计算。科学。5643、140-156（2009年；Zbl 1242.68151）
全文： 内政部 arXiv公司
卡琳·格雷梅尔;罗德里克·布洛姆;芭芭拉·乔布斯曼;摩什·瓦尔迪

公开暗示。 （英文） Zbl 1155.68436号

Aceto，Luca（编辑）等人，《自动化，语言和编程》。2008年7月7日至11日，冰岛雷克雅未克，第35届国际学术讨论会，ICALP 2008。诉讼，第二部分。柏林：施普林格出版社（ISBN 978-3-540-70582-6/pbk）。计算机科学课堂讲稿5126361-372（2008）。
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{K.Greimel}等人，Lect。注释计算。科学。5126、361--372（2008年；Zbl 1155.68436）
全文： 内政部
安德烈亚斯·格雷斯迈耶;罗德里克·布洛姆;拜伦·库克

修复布尔程序并将其应用于C。 （英文） Zbl 1188.68188号

Ball，Thomas（编辑）等人，《计算机辅助验证》。2006年8月17日至20日在美国华盛顿州西雅图举行的2006年CAV第18届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-37406-X/pbk）。计算机科学课堂讲稿4144358-371（2006）。
MSC公司：60年第68季度 68甲15
PDF格式BibTeX公司 XML格式引用
\textit{A.Griesmayer}等人，Lect。注释计算。科学。4144358--371（2006年；兹比尔1188.68188）
全文： 内政部
斯特凡·斯塔珀;芭芭拉·乔布斯曼;罗德里克·布洛姆

发现并修复故障。 （英文） Zbl 1159.68341号

Borrione，Dominique（编辑）等人，《正确的硬件设计和验证方法》。第13届IFIP WG 10.5高级研究工作会议，CHARME 2005，德国萨尔布吕肯，2005年10月3日至6日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-29105-9/pbk）。计算机科学课堂讲稿3725，35-49（2005）。
MSC公司：2007年7月68日 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Staber}等人，Lect。注释计算。科学。3725、35-49（2005年；Zbl 1159.68341）
全文： 内政部
芭芭拉·乔布斯曼;安德烈亚斯·格雷斯迈耶;罗德里克·布洛姆

将程序修复作为游戏。 （英文） Zbl 1081.68572号

Etessami，Kousha（编辑）等人，《计算机辅助验证》。2005年7月6日至10日在英国苏格兰爱丁堡举行的第17届CAV国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-27231-3/pbk）。计算机科学课堂讲稿3576226-238（2005）。
MSC公司：68号30 60年第68季度 91A80
PDF格式BibTeX公司 XML格式引用
\textit{B.Jobstmann}等人，Lect。注释计算。科学。3576，226--238（2005；Zbl 1081.68572）
全文： 内政部
桑卡尔·古鲁穆蒂;罗德里克·布洛姆;法比奥·萨蒙齐

公平模拟最小化。 （英文） Zbl 1010.68086号

Brinksma，Ed（编辑）等人，《计算机辅助验证》。2002年7月27日至31日，丹麦哥本哈根，第14届国际会议，CAV 2002。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2404, 610-623 (2002).
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Gurumurthy}等人，Lect。注释计算。科学。2404610--623（2002年；Zbl 1010.68086）
全文： 链接
王超;罗德里克·布洛姆;加里·哈赫特尔（Gary D.Hachtel）。;卡维塔·拉维;法比奥·萨蒙齐

划分和组合：SCC对语言空白的细化。 （英文） Zbl 1006.68531号

Larsen，Kim G.（编辑）等人，《CONCUR 2001-并发理论》。第十二届国际会议，丹麦奥尔堡，2001年8月20日至25日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2154, 456-471 (2001).
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛C.Wang｝等人，Lect。注释计算。科学。2154，456--471（2001年；Zbl 1006.68531）
全文： 链接
法比奥·萨蒙齐;罗德里克·布洛姆

高效的Büchi自动机形成LTL公式。 （英文） Zbl 0974.68086号

Emerson，E.Allen（编辑）等人，《计算机辅助验证》。第12届国际会议，CAV 2000。2000年7月15日至19日，美国伊利诺伊州芝加哥。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1855, 248-263 (2000).
MSC公司：65年第68季度 60年第68季度 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{F.Somenzi}和\textit{R.Bloem}，莱克特。注释计算。科学。1855，248--263（2000；Zbl 0974.68086）
罗德里克·布洛姆;卡维塔·拉维;法比奥·萨蒙齐

线性时间逻辑属性模型检查的有效决策程序。 （英文） Zbl 1046.68579号

Halbwachs，Nicolas（编辑）等人，《计算机辅助验证》。第11届国际会议，CAV’99。意大利特伦托，1999年7月6日至10日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-66202-2）。莱克特。注释计算。科学。1633222-235（1999年）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Bloem}等人，Lect。注释计算。科学。1633、222--235（1999年；Zbl 1046.68579）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件