默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

芭芭拉·朱布斯曼

>主页 >珀森斯

人员信息

附属： EPFL，瑞士
隶属关系（前）： IMAG，法国格勒诺布尔

SPARQL查询

优化列表

优化激活！

放大??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2010 – 2019

请参阅常见问题解答

出版物列表中的颜色是什么意思？

2018
[第1页]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 参考号/mc/BloemCJ18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/reference/mc/BloemCJ18
罗德里克·布隆,克里希南德·查特吉,芭芭拉·朱布斯曼:
图形游戏和反应合成。模型检查手册 2018:921-962
2016
[j8]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/acta/EssenJPV16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/acta/EssenJPV16
克里斯蒂安·冯·埃森,芭芭拉·朱布斯曼,大卫·帕克,拉胡尔·瓦什内亚:
在概率环境中合成高效系统。信息学报 53(4):425-457(2016)
[e2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/2016
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/2016
芭芭拉·朱布斯曼,K.鲁斯坦·莱诺:
验证、模型检查和抽象解释——2016年1月17日至19日在美国佛罗里达州圣彼得堡举行的第17届VMCAI国际会议。诉讼程序。计算机科学课堂讲稿9583,施普林格 2016，国际标准图书编号978-3-662-49121-8 [目录]
2015
[j7]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fmsd/EssenJ15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fmsd/EssenJ15
克里斯蒂安·冯·埃森,芭芭拉·朱布斯曼:
程序修复无遗憾。形式方法系统。设计。 47(1):26-50(2015)
[j6]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jacm/ChatterjeeHJ015
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jacm/ChatterjeeHJ015
克里希南德·查特吉,托马斯·汉津格,芭芭拉·朱布斯曼,罗希特·辛格:
概率环境中的测量和综合系统。美国临床医学杂志 62(1):9:1-9:34(2015)
[公元30年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/hvc/BeckerMNEVJI15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hvc/BeckerMNEVJI15
安德鲁·贝克尔,乔杰·马克西莫维奇,大卫·诺沃,莫森·埃瓦伊达,安德烈亚斯·维尼里斯,芭芭拉·朱布斯曼,保罗·伊恩:
FudgeFactor：用于准确RTL错误定位和纠正的语法指导合成。海法核查会议 2015:259-275
2014
[j5]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/学报/BloemCGHHJKK14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/acta/BloemCGHHJKK14
罗德里克·布隆,克里希南德·查特吉,卡琳·格雷梅尔,托马斯·汉津格,乔治·霍夫雷克,芭芭拉·朱布斯曼,贝蒂娜·科尼霍费尔,罗伯特·科尼霍弗:
合成鲁棒系统。信息学报 51(3-4):193-220(2014)
2013
【j4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/BodikJ13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/BodikJ13网站
拉斯蒂斯拉夫·博迪克,芭芭拉·朱布斯曼:
算法程序综合：简介。国际期刊软件。技术工具。Transf公司。 15(5-6):397-411(2013)
[公元29年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/EssenJ13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/EssenJ13
克里斯蒂安·冯·埃森,芭芭拉·朱布斯曼:
程序修复无悔。 CAV汽车 2013:896-911
[公元28年]
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fmcad/JobstmannR13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/JobstmannR13
芭芭拉·朱布斯曼,山迪雷:
前言。 FMCAD公司 2013
2012
[j3]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jcss/JobstmannSGB12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jcss/JobstmannSGB12
芭芭拉·朱布斯曼,斯特凡·斯塔伯,安德烈亚斯·格雷斯迈耶,罗德里克·布隆:
发现并修复故障。 J.计算。系统。科学。 78(2):441-460(2012)
[注2]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jcss/BloemJPPS12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jcss/BloemJPPS12
罗德里克·布隆,芭芭拉·朱布斯曼,尼尔·皮特曼,阿米尔·普努利,亚尼夫·萨阿尔:
反应（1）设计的合成。 J.计算。系统。科学。 78(三):911-938(2012)
[公元27年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/EssenJ12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/EssenJ12
克里斯蒂安·冯·埃森,芭芭拉·朱布斯曼:
合成高效控制器。 VMCAI公司 2012:428-444
[i6]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/dagstuhl-reports/HuismanJSS12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/dagstuhl-reports/HuismanJSS12
玛丽克·赫斯曼,芭芭拉·朱布斯曼,伊娜·谢弗,玛丽埃尔·斯托琳加:
分而治之：探索构图设计与分析（达格斯图尔研讨会12511）。达格斯图尔报告 2(12):64-88(2012)
2011
[j1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ijfcs/HenzingerJW11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ijfcs/HenzingerJW11
托马斯·汉津格,芭芭拉·朱布斯曼,维雷娜·沃尔夫:
指定马尔科夫人口模型的形式化。发现的国际期刊。计算。科学。 22(4):823-841(2011)
[公元26年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/ChengBCYJRBK11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/ChengBCYJRBK11
Chih-Hong Cheng先生,萨德克·本萨勒姆,陈玉芳,颜荣杰,芭芭拉·朱布斯曼,哈拉尔德·鲁斯,克里斯蒂安·巴克尔,阿洛伊斯·克诺尔:
基于组件的系统中优先级综合算法。 ATVA公司 2011:150-167
[公元25年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/nfm/ChengBJYKR11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/nfm/ChengBJYKR11
Chih-Hong Cheng先生,萨德克·本萨勒姆,芭芭拉·朱布斯曼,颜荣杰,阿洛伊斯·克诺尔,哈拉尔德·罗斯:
简单交互系统的模型构建和优先级综合。 NASA形式方法 2011:466-471
[公元24年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sies/BloemCGHJ11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sies/BloemCGHJ11
罗德里克·布隆,克里希南德·查特吉,卡琳·格雷梅尔,托马斯·汉津格,芭芭拉·朱布斯曼:
以规范为中心的稳健性。 SIES公司 2011:176-185
【c23】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/ChatterjeeHJS11文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/ChatterjeeHJS11
克里希南德·查特吉,托马斯·汉津格,芭芭拉·朱布斯曼,罗希特·辛格:
QUASY：定量合成工具。 TACAS公司 2011:267-271
[公元22年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wia/ChengJBK11公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wia/ChengJBK11
Chih-Hong Cheng先生,芭芭拉·朱布斯曼,克里斯蒂安·巴克尔,阿洛伊斯·克诺尔:
论优先权综合的难度。 CIAA公司 2011:110-117
【c21】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1102-4118
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1102-4118
克里斯蒂安·冯·埃森,芭芭拉·朱布斯曼:
针对比率目标，综合具有最佳平均案例行为的系统。 iWIGP公司 2011:17-32
[电子1]
- 看法
- 出口记录
  dblp键：
  - conf/memocode/2011
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/memocode/2011
萨特南·辛格,芭芭拉·朱布斯曼,迈克尔·基希内夫斯基,延斯·勃兰特:
2011年7月11日至13日，第九届IEEE/ACM代码设计正式方法和模型国际会议，MEMOCODE 2011，英国剑桥。电气与电子工程师协会 2011，国际标准图书编号978-1-4577-0117-7 [目录]
[i5]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1107-1383
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1107-1383
Chih-Hong Cheng先生,萨德克·本萨勒姆,陈玉芳,颜荣杰,芭芭拉·朱布斯曼,哈拉尔德·鲁斯,克里斯蒂安·巴克尔,阿洛伊斯·克诺尔:
基于组件的系统中优先级综合算法。 CoRR公司 abs/1107.1383(2011)
2010
[公元20年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/ChatterjeeHJS10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/ChatterjeeHJS10
克里希南德·查特吉,托马斯·汉津格,芭芭拉·朱布斯曼,罗希特·辛格:
概率环境中的测量和综合系统。 CAV汽车 2010:380-395
[第19条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BloemCGHJ10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BloemCGHJ10
罗德里克·布隆,克里希南德·查特吉,卡琳·格雷梅尔,托马斯·汉津格,芭芭拉·朱布斯曼:
活力中的稳健。 CAV汽车 2010:410-424
[第18条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/ChatterjeeHJR10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/ChatterjeeHJR10
克里希南德·查特吉,托马斯·汉津格,芭芭拉·朱布斯曼,阿琼·拉德哈克里什纳:
要点：概率游戏的求解器。 CAV汽车 2010:665-669
[第17条]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fdl/Jobstmann10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fdl/Jobstmann10
芭芭拉·朱布斯曼:
关于误差规范的稳健性。 FDL公司 2010:72
[第16条]
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fmcad/HamzaJK10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/HamzaJK10
贾德·哈姆扎,芭芭拉·朱布斯曼,维克托·昆卡:
无界域上正则规范的综合。 FMCAD公司 2010:101-109
[第15条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/memocode/SchneiderJCB10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/memocode/SchneiderJCB10
克劳斯·施耐德,芭芭拉·朱布斯曼,卢卡·卡洛尼,延斯·勃兰特:
椅子上的留言。记忆码 2010:1-3
[i4]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 轴颈/cor/abs-1004-0739
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1004-0739
克里希南德·查特吉,托马斯·汉津格,芭芭拉·朱布斯曼,罗希特·辛格:
概率环境中的测量和综合系统。 CoRR公司 abs/1004.0739(2010)
[i3]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1004-2367
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1004-2367
克里希南德·查特吉,托马斯·汉津格,芭芭拉·朱布斯曼,阿尔琼·拉达克里什纳:
GIST：概率游戏的解算器。 CoRR公司 abs/1004.2367(2010)

2000 – 2009

请参阅常见问题解答

出版物列表中的颜色是什么意思？

2009
[第14条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/bpm/法兰FJKLVW09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/bpm/FhlandFJKLVW09
德克·法兰德,塞德里克·法夫尔,芭芭拉·朱布斯曼,贾娜·科勒,尼尔斯·洛曼,哈根·沃尔泽,卡斯滕·沃尔夫:
工业业务流程模型的即时健全性检查。业务流程管理 2009:278-293
[第13条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BloemCHJ09文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BloemCHJ09
罗德里克·布隆,克里希南德·查特吉,托马斯·汉津格,芭芭拉·朱布斯曼:
通过定量目标提高合成质量。 CAV汽车 2009:140-156
[第12条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/BloemGHJ09文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/BloemGHJ09
罗德里克·布隆,卡琳·格雷梅尔,托马斯·汉津格,芭芭拉·朱布斯曼:
合成鲁棒系统。 FMCAD公司 2009:85-92
[第11条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rp/HenzingerJW09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rp/HenzingerJW09
托马斯·汉津格,芭芭拉·朱布斯曼,维雷娜·沃尔夫:
指定马尔科夫人口模型的形式化。 RP公司 2009:3-23
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-0904-2638
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-0904-2638
罗德里克·布隆,克里希南德·查特吉,托马斯·汉津格,芭芭拉·朱布斯曼:
通过定量目标提高合成质量。 CoRR公司 abs/0904.2638(2009)
2008
[第10条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/confer/ChatterjeeHJ08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/ChatterjeeHJ08
克里希南德·查特吉,托马斯·汉津格,芭芭拉·朱布斯曼:
合成的环境假设。 CONCUR公司 2008:147-161
【c9】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/emsoft/DoyenHJP08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/emsoft/DoyenHJP08
劳伦特·多恩,托马斯·亨辛格,芭芭拉·朱布斯曼,塔贾娜·彼得罗夫:
组件重用的接口理论。 EMSOFT公司 2008:79-88
【c8】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/GreimelBJV08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/GreimelBJV08
卡琳·格雷梅尔,罗德里克·布隆,芭芭拉·朱布斯曼,莫舍·瓦尔迪:
开放含义。 ICALP（二） 2008:361-372
【c7】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/GuerraouiHJS08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/GuerraouiHJS08
拉希德·格雷劳伊,托马斯·汉津格,芭芭拉·朱布斯曼,瓦苏·辛格:
模型检查事务性内存。 PLDI公司 2008:372-382
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-0805-4167
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-0805-4167
克里希南德·查特吉,托马斯·汉津格,芭芭拉·朱布斯曼:
合成的环境假设。 CoRR公司 abs/0805.4167(2008)
2007
【c6】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/JobstmannGWB07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/JobstmannGWB07
芭芭拉·朱布斯曼,斯特凡·J·盖勒,马丁·威格霍费尔,罗德里克·布隆:
Anzu：属性合成工具。 CAV汽车 2007:258-262
【c5】
- 看法
  - 电子版@acm.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/date/BloemGJPPW07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/date/BloemGJPPW07
罗德里克·布隆,斯特凡·J·盖勒,芭芭拉·朱布斯曼,尼尔·皮特曼,阿米尔·普努利,马丁·威格霍费尔:
交互式演示：基于规范的自动硬件合成：案例研究。日期 2007:1188-1193
【c4】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/BloemGJPPW07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/BloemGJPPW07
罗德里克·布隆,斯特凡·加勒,芭芭拉·朱布斯曼,尼尔·皮特曼,阿米尔·普努利,马丁·威格霍费尔:
指定、编译、运行：来自PSL的硬件。 COCV@ETAPS 2007:3-16
2006
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/JobstmannB06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/JobstmannB06
芭芭拉·朱布斯曼,罗德里克·布隆:
LTL合成优化。 FMCAD公司 2006:117-124
2005
【c2】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/JobstmannGB05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/JobstmannGB05
芭芭拉·朱布斯曼,安德烈亚斯·格雷斯迈耶,罗德里克·布隆:
作为游戏修复程序。 CAV汽车 2005:226-238
【c1】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/charme/StaberJB05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/charme/StaberJB05
斯特凡·斯塔伯,芭芭拉·朱布斯曼,罗德里克·布隆:
查找和修复故障。 CHARME公司 2005:35-49

合著者索引

请参阅常见问题解答

管理站点设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。