默认搜索操作

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

问别人

2013年第11届ATVA：越南河内

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

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/2013
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/2013
当文雄（Dang Van Hung）,小川瑞仁:
验证和分析自动化技术第11届国际研讨会，2013年10月15日至18日，越南河内，ATVA 2013。诉讼程序。计算机科学课堂讲稿8172,施普林格 2013，国际标准图书编号978-3-319-02443-1

受邀论文

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/Leroux13号机组
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/Leroux13网址
杰罗姆·勒鲁:
加速Petri网。 1-4
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/Kwiatkowska第13页
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/Kwiatkowska第13页
Marta Z.Kwiatkowska公司,大卫·帕克:
概率系统的自动验证和策略综合。 5-22
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/Cimatti13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/Cimatti13
亚历山德罗·西马蒂:
基于SMT的软件模型检查-显式调度程序，符号线程。 23

常规论文

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/BabiakBKS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/BabiakBKS13
托马斯·巴比亚克,弗兰蒂斯克·布拉胡德克,莫杰米尔·克伦斯克（Mojmír Kretínsk）,简·斯特雷切克:
LTL到确定性拉宾自动机的有效转换：超越（F，G）-片段。 24-39
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/KarmarkarJC13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/KarmarkarJC13
赫里西凯什·卡马尔卡,玛纳斯·约格勒卡尔,Supratik Chakraborty公司:
改进了Büchi消歧的上限和下限。 40-54
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/Brihaye0GORW13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/Brihaye0GORW13
托马斯·布里海耶,劳伦特·多恩,吉勒斯·杰拉尔茨,乔尔·瓦克宁,Jean-François Raskin女士,詹姆斯·沃雷尔:
单调混合自动机的有时限可达性：复杂性和不动点。 55-70
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/票价BFG13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/FaresBFG13
Elie Fares公司,Jean-Paul Bodevix公司,Mamoun Filali-Amine公司,曼努埃尔·加纳乔:
一种用于检查定时系统仿真的自动技术。 71-86
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/JovanovicLR13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/JovanovicLR13
亚历克桑德拉·约万诺维奇,迪迪埃·莱姆,奥利维尔·H·鲁:
参数时间可达性博弈的有界整数参数综合。 87-101
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/EsikFLQ13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/EsikFLQ13
佐尔坦·埃西克,乌里·法伦伯格,Axel Legay公司,卡林·夸斯:
能量问题的克莱恩代数和半模。 102-117
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/Chatterjee0RR13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/Chatterjee0RR13
克里希南德·查特吉,劳伦特·多恩,米凯尔·兰德尔,Jean-François Raskin女士:
通过Windows查看Mean Payoff和Total Payoff。 118-132
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/WienerHKPS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/WienerHKPS13
西加尔·韦纳,马坦·哈森,奥尔娜·库普夫曼,埃亚尔·佩里,佐哈尔·舍瓦赫:
加权安全。 133-147
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/Ben-DavidK13型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/Ben-DavidK13
Shoham Ben-David公司,奥尔娜·库普夫曼:
空缺结果排名框架。 148-162
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/DemasiCMA13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/DemasiCMA13网址
拉米罗·德马西,巴勃罗·卡斯特罗,T.S.E.Maibaum公司,纳扎雷诺·阿吉雷:
从道义规范合成屏蔽容错系统。 163-177
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/AbidSBP13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/AbidSBP13
环阿比德,格温·萨拉恩,弗朗西斯科·邦乔瓦尼,诺埃尔·德·帕尔马:
验证云应用程序的动态管理协议。 178-192
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/SlabyST13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/SlabyST13
吉里·斯拉比,简·斯特雷切克,马雷克·特里克:
紧凑的符号执行。 193-207
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/EvangelistaKP13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/EvangelistaKP13
萨米·伊万格利斯塔,拉尔斯·迈克尔·克里斯滕森,劳雷·佩特鲁奇:
多线程显式状态空间探索与状态重构。 208-223
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/AdullaHJLTV13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/AdullaHJLTV13
帕罗什·阿齐兹·阿卜杜拉,卢卡斯·霍利克,本特·琼森,Ondrej Lengál,聪奎·崔,托马斯·沃纳尔:
扩展森林自动机对有序数据堆操作程序的验证。 224-239
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/RouxG13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/RouxG13
皮埃尔·罗斯,皮埃尔·洛伊克·卡洛什:
在抽象解释器中集成策略迭代。 240-254
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/GurfinkelRS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/GurfinkelRS13
阿里·古芬克尔,西蒙·富尔维奥·罗里尼,娜塔莎·莎莉吉娜:
插值属性和基于SAT的模型检查。 255-271
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/AbdullaAC13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/A卜杜拉AC13
帕罗什·阿齐兹·阿卜杜拉,穆罕默德·法乌齐·阿提格,乔纳森·塞德伯格:
使用SMT-Solver分析消息传递程序。 272-286
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/LeCT13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/LeCT13
Duy-Khanh Le公司,魏恩甘钦,雍梦涛（Yong Meng Teo）:
验证僵局自由的表达框架。 287-302
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/Wojtczak13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/Wojtczak13
多米尼克·沃伊特扎克:
BPA游戏的预期终止时间。 303-318
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/Alonso-BlasAG13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/Alonso-BlasAG13
迭戈·埃斯特班·阿隆索·布拉斯,普里竞技场,萨米尔·吉纳伊姆:
通过局部推理进行精确的成本分析。 319-333
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/ChenML13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/ChenML13
陈洪毅,Supratik Mukhopadhyay公司,郑璐:
控制流优化和平均情况边界的符号计算。 334-348
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/艾伯特FGM13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/AbertFGM13
埃尔维拉·阿尔伯特,安东尼奥·弗洛雷斯-蒙托亚,萨米尔·吉纳伊姆,恩里克·马丁·马汀:
并发交织环的终止和成本分析。 349-364
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/HeizmannHLP13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/HeizmannHLP13
马蒂亚斯·海兹曼,Jochen Hoenicke公司,简·雷克,安德烈亚斯·波德尔斯基:
线性套索程序的线性排名。 365-380
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/AndreFS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/AndreFS13
埃蒂安·安德烈,劳伦特·弗里堡,罗曼·苏拉特:
合并与征服：参数化时间自动机中的状态合并。 381-396
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/GrumbergKS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/GrumbergKS13
奥尔娜·格伦伯格,奥尔娜·库普夫曼,萨拉伊·申瓦尔德:
参数化系统和规范推理的自动机理论方法。 397-411
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/UezatoM13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/UezatoM13网站
尤亚·尤扎托（Yuya Uezato）,米纳米雅彦:
具有堆栈操作的下推系统。 412-426
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/SamantaDC13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/SamantaDC13
萨曼塔屋顶,Jyotirmoy V.Deshmukh公司,斯瓦拉特·乔杜里:
弦式传感器的鲁棒性分析。 427-441

工具文件

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/Duret-Lutz13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/Duret-Lutz13
亚历山大·杜雷特·卢茨:
使用Spot 1.0操作LTL公式。 442-445
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/Kretinsky第13页
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/Kretinsky网站13
扬·克伦斯克,鲁斯兰·莱德斯马·加尔扎:
Rabinizer 2:LTL∖GU的小型确定性自动机。 446-450
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/FroncD13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/FroncD13
卢卡斯·弗洛恩,亚历山大·杜雷特·卢茨:
使用Neco检查LTL模型。 451-454
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/HoffmannL13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/HoffmannL13
菲利普·霍夫曼,迈克尔·卢滕伯格:
在GPU上解决平价游戏。 455-459
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/法律T13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/LegayT13
Axel Legay公司,路易斯·马里·特劳努埃兹:
PyEcdar：面向时间系统的开源实现。 460-463
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/高HZ013
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/GaoHZ013
杨高,恩斯特·莫里茨·哈恩,詹乃军（Naijun Zhan）,张丽君:
CCMC：连续时间马尔可夫链的条件CSL模型检查器。 464-468
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/TestylierD13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/TestylierD13
罗曼·泰斯特利耶,陶当（Thao Dang）:
NLTOOLBOX:非线性动力系统可达性计算库。 469-473
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/JiLL0DN13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/JiLL0DN13
Kun Ji公司,杨柳,尚伟林,孙军（Jun Sun）,金松洞,Truong Khanh Nguyen公司:
CELL：合成验证框架。 474-477
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/HeYWZMM13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/HeYWZMM13
飞鹤,梁泽贤,王朝霞（Bow-Yaw Wang）,张连怡,关羽牧,孟文瑞:
VCS：基于组件的系统验证程序。 478-481
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/BiereKKZ13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/BiereKKZ13
阿明·比尔,延斯·努普,劳拉·科瓦奇,Jakob Zwirchmayr公司:
SmacC：一个可重定向的符号执行引擎。 482-486
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/Kretinsky公司13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/KretinskyS13
扬·克伦斯克,所罗门·西克特:
MoTraS：模态转换系统及其扩展的工具。 487-491
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/RodriguezS13号机组
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/罗德里格斯S13
塞萨尔·罗德里格斯,斯特凡·施温:
Cunf：一种用读弧展开和验证Petri网的工具。 492-495

短文

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/张M13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/张M13
张书远（Shuyuan Zhang）,莎拉·马利克:
基于SAT的网络数据平面验证。 496-505
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/ArltRS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/ArltRS13
斯蒂芬·阿尔特,菲利普·吕默,马丁·施瓦夫:
控制流图探索理论。 506-515
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/MundHFA13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/MundHFA13网址
雅各布Mund,拉尔夫·休克,安斯加·芬克,西里尔·阿瑟:
对精度的追求：静态分析中数据竞争检测的分层方法。 516-525

管理网站设置

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