默认搜索操作

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

问别人

第13届ATVA 2015：中国上海

>主页 >会议和研讨会 >ATVA公司

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/2015
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/2015
伯恩德·芬克贝纳,葛光浦,张丽君:
验证和分析自动化技术——第13届国际研讨会，2015年10月12日至15日，中国上海，ATVA，2015，会议记录。计算机科学课堂讲稿9364,施普林格 2015，国际标准图书编号978-3-319-24952-0
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/Katoen15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/Katoen15
Joost-Pieter Katoen公司:
概率编程：真正的验证挑战。 1-3
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/Moore15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/Moore15
J斯特罗瑟·摩尔:
机器推理：2015年。 4-13
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/库伦WZ15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/KoolenWZ15
鲁德·P·J·科伦,蒂姆·A·C·威廉斯,汉斯·赞特马:
使用SMT求解参数化布尔方程组的片段。 14-30
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/LeonRCHH15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/LeonRCHH15
埃尔南·蓬斯·德莱昂,塞萨尔·罗德里格斯,约塞普·卡莫纳,凯霍·赫尔扬科,斯特凡·哈尔:
基于展开的流程发现。 31-47
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/AlthausBKS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/AlthausBKS15
恩斯特·阿尔特豪斯,比约恩·贝伯,约施卡·库皮拉斯,克里斯托夫·斯科尔:
改进线性算法的插值函数。 48-63
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/GirkaMR15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/GirkaMR15
蒂鲍特·吉尔卡,大卫·曼特雷,亚恩·雷吉斯·贾纳斯:
由结构化句法差异指导的相关程序的机械检查生成。 64-79
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/EneaSW15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/EneaSW15
康斯坦丁埃纳,米哈拉·西希雷亚努,吴志林:
归纳定义分离逻辑的自动引理生成。 80-96
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/ShafT15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/SchafT15
马丁·施瓦夫,阿什什·蒂瓦里:
不一致代码的严重性级别。 97-113
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/ChapmanCKKST15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/ChapmanCKKST15
马丁·查普曼,哈娜·乔克勒,帕斯卡·凯塞利,丹尼尔·克罗宁,奥弗·斯特里赫曼,迈克尔·陶奇尼格:
学习错误语言。 114-130
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/HartmannsH15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/HartmannsH15
阿恩·哈特曼斯,霍尔格·赫尔曼斯:
使用分区和二级存储对超大MDP进行显式模型检查。 131-147
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/BenS15型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/BenS15
岳本,A.普拉萨德·西斯特拉:
利用概率自动机对失效的开放系统进行模型检验。 148-165
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/ButkovaHHK15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/ButkovaHHK15
尤利亚·布特科娃,哈桑·哈特菲,霍尔格·赫尔曼斯,扬·科卡尔:
最优连续时间马尔可夫决策。 166-182
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/FaranK15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/FaranK15
雷切尔·法兰,奥尔娜·库普夫曼:
跨越从安全到生命的范围。 183-200
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/埃尔南德斯EMSR15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/HernandezEMSR15
不，埃尔南德斯,科尔斯汀·埃德尔,Evgeni Magid公司,杰苏斯·萨维奇,大卫·A·罗森布鲁斯:
Marimba：一个验证隐马尔可夫模型性质的工具。 201-206
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/LiPLFCD15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/LiPLFCD15
李永健,彭军（Jun Pang）,易律,东瑞风机,沈曹,段开强:
ParaVerifier：一个用于证明参数化缓存一致性协议的自动框架。 207-213
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/MizeraPY15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/MizeraPY15
安德烈·米泽拉,彭军（Jun Pang）,袁栖霞:
ASSA-PBN：概率布尔网络的近似稳态分析器。 214-220
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/SeghirA15公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/SeghirA15网址
穆罕默德·纳西姆·塞吉尔,大卫·阿斯皮纳尔:
EviCheck：Android的数字证据。 221-227
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/HerdtLGD15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/HerdtLGD15
弗拉基米尔·赫特,黄明乐,丹尼尔·格罗,罗尔夫·德雷克斯勒:
Lazy-CSeq-SP：通过冗余调度的符号删减促进基于序列化的多线程C程序验证。 228-233
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/MurawskiRT15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/MurawskiRT15
安德烈·穆拉夫斯基,史蒂芬·J·拉姆齐,尼科斯·齐夫列科斯:
IMJ的上下文等价性检查器*。 234-240
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/FerrereMN15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/FerrereMN15
托马斯·费雷尔,奥德·马勒,德扬·尼科维奇:
使用时间暗示进行追踪诊断。 241-258
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/AbertAG15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/AbertAG15
埃尔维拉·阿尔伯特,普里竞技场,米盖尔·戈梅斯·扎马洛亚:
参与者系统的测试用例生成。 259-275
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/Tzoref-BrillM15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/Tzoref-BrillM15
雷切尔·索雷夫·布里尔,沙哈尔·毛兹:
组合模型演化的基于格的语义。 276-292
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/MukundRS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/MukundRS15
马达瓦恩·穆昆德,兰加尔·高萨姆·谢诺伊,S.P.苏雷什:
使用后期外观记录（LAR）有效验证复制的数据类型。 293-308
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/WangLW15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/WangLW15
王超（Chao Wang）,易律,吴鹏（音）:
TSO到TSO的线性化是不确定的。 309-325
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/BliudzeCJMRSW15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/BliudzeCJMRSW15
西蒙·布利乌兹,亚历山德罗·西马蒂,穆罕默德·贾比尔,塞尔吉奥·莫弗,马可·罗维里,瓦杰布·萨博,王强（Qiang Wang）:
无限状态BIP模型的形式验证。 326-343
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/SaissiBS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/SaissiBS15
哈比布·塞西,佩特·博科,内拉杰·苏里:
PBMC：并发程序验证的符号切片。 344-360
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/Vester15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/Wester15
Steen背心:
单计数器系统中模型检查分支和交替时间时序逻辑的复杂性。 361-377
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/BerwangerMB15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/BerwangerMB15
迪特马尔·伯旺格,阿努普·巴西尔·马修,玛丽·范登·博加德:
层次信息模式与分布式策略综合。 378-393
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/BloemEK15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/BloemEK15
罗德里克·布隆,吕迪格·埃勒斯,罗伯特·科尼霍弗:
协同反应合成。 394-410
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/MurawskiRT15a公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/MurawskiRT15a
安德烈·穆拉夫斯基,史蒂芬·J·拉姆齐,尼科斯·齐夫列科斯:
IMJ中等价性的博弈语义分析。 411-428
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/HunterPR15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/HunterPR15
保罗·亨特,吉列尔莫·A·佩雷斯,Jean-François Raskin女士:
透过雾蒙蒙的窗户看Mean-Payoff。 429-445
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/风扇M15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/FanM15
楚楚凡,萨扬密特拉:
使用即时差异计算进行有界验证。 446-463
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/ZouZWF15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/ZouZWF15
梁邹,詹乃军（Naijun Zhan）,王淑玲（Shuling Wang）,马丁·弗伦泽:
Simulink/Stateflow图的形式验证。 464-481
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/GanCDXZ15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/GanCDXZ15
汀甘,陈明帅,戴丽云,碧灿霞,詹乃军（Naijun Zhan）:
线性向量场族可达性的判定。 482-499
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/DeshmukhJKM15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/DeshmukhJKM15
Jyotirmoy V.Deshmukh公司,金晓青,詹姆斯·卡宾斯基,奥德·马勒:
混合系统伪化的随机局部搜索。 500-517

管理网站设置

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