停止战争！

Остановите войну!

对于科学家：

默认搜索操作

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

问别人

2013年第13届FMCAD：美国俄勒冈州波特兰

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

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fmcad/2013
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/2013
计算机辅助设计中的形式方法，2013年10月20日至23日，美国俄勒冈州波特兰市FMCAD 2013。电气与电子工程师协会 2013
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fmcad/JobstmannR13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/JobstmannR13
Barbara Jobstmann芭芭拉·乔布斯特曼,山迪雷:
前言。

教程

- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fmcad/AlurBJMRSSSSTU13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/AlurBJMRSSSSTU13
拉杰夫·阿鲁尔,拉斯蒂斯拉夫·博迪克,加维特·朱尼瓦尔,米洛·M·K·马丁,穆昆德·拉戈塔曼,桑吉特·塞希亚,里沙布·辛格,阿曼多·索拉勒扎马,埃米娜·托拉克,阿布谢克·乌杜帕:
句法引导合成。 1-8
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/福斯特GRS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/Foster GRS13网站
内特·福斯特,阿琼·古哈,马克·雷特布拉特,科尔·施莱辛格:
教程：网络程序的实际验证。 9-10
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/Grundy13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/Grundy13
吉姆·格兰迪:
固件验证：挑战与机遇。 11
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/JhaRH13会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/JhaRH13
萨默什·贾,托马斯·W·代表,威廉·哈里斯:
通过基于游戏的合成保护程序。 12-13

主题演讲和特别活动

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/Clarke13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/Clarke13
洛丽·克拉克:
使用流程建模和分析技术减少医疗保健中的错误。 14
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/Ashar13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/Ashar13
普拉纳夫·阿沙尔:
基于静态验证的签收-现代soc中管理验证复杂性的关键促成因素。 15
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/Wahl13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/Wahl13
托马斯·沃尔:
FMCAD研究生论坛。 16-17

第1部分：合成

- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fmcad/ChatterjeeHOP13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/ChatterjeeHOP13网站
克里希南德·查特吉,托马斯·汉津格,扬·奥托普,安德烈亚斯·帕夫罗甘尼斯:
LTL片段的分布式合成。 18-25
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fmcad/AlurMT13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/AlurMT13
拉杰夫·阿鲁尔,萨拉尔·莫拉里夫,Ufuk Topcu公司:
反策略指导下GR（1）时序逻辑规范的细化。 26-33
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fmcad/SohailS13公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/SohailS13网站
Saqib Sohail公司,法比奥·萨蒙齐:
根据欧米伽规范合成时有效处理义务约束。 34-41
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fmcad/元WAL13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/YuanWAL13
袁一飞,王安多,拉杰夫·阿鲁尔,Boon Thau Loo先生:
数据中心带宽分配问题自动化的可行性。 42-45

第2部分：决策过程增强

- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fmcad/脱水FBM13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/DeharbeFBM13网址
大卫·戴哈贝,帕斯卡·方丹,丹尼尔·勒贝雷,贝特朗迷宫:
计算素数蕴涵。 46-52
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fmcad/ClaessenES13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/ClaessenES13
科恩·克莱森,尼古拉斯·埃恩,巴鲁克·斯特林:
LTL模型检查的电路方法。 53-60
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fmcad/ConchonGKMZ13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/ConchonGKMZ13
Sylvain Conchon公司,阿米特·戈尔,萨瓦·克里斯蒂,阿兰·梅布苏特,法提哈·扎伊迪:
有限实例及其以外的不变量。 61-68

第三部分：插值、量词消除、合成

- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fmcad/RummerS13公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/RummerS13
菲利普·吕默,铺装亚音阶:
探索插值。 69-76
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fmcad/HofferekGKJB13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/HofferekGKJB13
乔治·霍夫雷克,阿舒托什·古普塔,贝蒂娜·科尼霍费尔,杰洪·罗兰·蒋,罗德里克·布隆:
在单个证明上使用插值合成多个布尔函数。 77-84
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fmcad/GoldbergM13型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/GoldbergM13网址
尤金·戈德堡,Manolios帕纳焦蒂斯:
通过子句冗余消除量词。 85-92
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fmcad/KuncakB13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/KuncakB13网址
维克托·昆卡,雷吉斯·布兰科:
无界域上合成的插值。 93-96

第4部分：数字、混合和模拟系统的验证

- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fmcad/OLearyKM13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/OLearyKM13
约翰·W·奥利里,鲁佩·凯沃拉,汤姆·梅尔姆:
用于工业电路设计形式验证的关系STE和定理证明。 97-104
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fmcad/GaoKC13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/GaoKC13
四川高,Soonho Kong公司,埃德蒙·克拉克:
模ODE的可满足性。 105-112
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fmcad/WeiPYG13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/WeiPYG13网站
魏吉杰,严鹏,葛瑜,马克·格林斯特雷特:
验证数字锁相环的全局收敛性。 113-120

第5部分：嵌入式软件验证

- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fmcad/HornTVLMGK13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/HornTVLMGK13
阿莱克斯·霍恩,迈克尔·陶奇尼格,塞琳娜·G·瓦尔,李浩亮,汤姆·梅尔姆,吉姆·格兰迪,丹尼尔·克罗宁:
低级硬件/软件接口的正式联合验证。 121-128
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fmcad/EldibW13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/EldibW13
哈桑·埃尔迪布,王超（Chao Wang）:
一种基于SMT的方法，用于优化嵌入式软件代码中的算术计算。 129-136
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fmcad/ChakiGS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/ChakiGS13
萨加尔·查基,阿里·古芬克尔,奥弗·斯特里赫曼:
验证具有优先级继承锁的定期程序。 137-144
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fmcad/SethiNM13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/SethiNM13
迪维约特·塞提,斯里尼瓦斯·纳拉亚纳,莎拉·马利克:
模型检查SDN控制器的抽象。 145-148

第6部分：IC3和调试

- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fmcad/BaylessVBHH13配置文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/BaylessVBHH13
萨姆·贝利斯,塞琳娜·G·瓦尔,托马斯·鲍尔,霍尔格·H·胡斯,艾伦·J·胡:
IC3的高效模块化SAT解决方案。 149-156
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fmcad/HassanBS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/HassanBS13
兹亚德·哈桑,亚伦·R·布拉德利,法比奥·萨蒙齐:
IC3中的通用性更好。 157-164
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fmcad/CimattiGMT13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/CimattiGMT13网站
亚历山德罗·西马蒂,阿尔贝托·格里乔,塞尔吉奥·莫弗,斯特凡诺·托内塔:
使用IC3进行参数合成。 165-168
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fmcad/AleksandrowiczBIN13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/AleksandrowiczBIN13
加迪·阿列克桑德罗维奇,杰森·鲍姆加特纳,亚历山大·伊夫里,齐夫·尼沃:
活性性质的广义反例。 169-180

第7部分：SAT/SMT测试

- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fmcad/HeuleHW13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/HeuleHW13
玛丽恩·赫勒,沃伦·亨特（Warren A.Hunt Jr.）。,内森·韦茨勒:
检查子句校样时进行剪裁。 181-188
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fmcad/KingBD13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/KingBD13
蒂姆·金,克拉克·W·巴雷特,布鲁诺·杜特雷:
SMT不可行和的单纯形。 189-196
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fmcad/NadelRS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/NadelRS13
亚历山大·纳达尔,瓦迪姆·雷夫钦,奥弗·斯特里赫曼:
具有分辨率的有效MUS提取。 197-200

第8部分：软件验证

- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fmcad/JohnKSVW13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/JohnKSVW13
阿努·约翰,伊戈尔·康诺夫,乌尔里希·施密德,赫尔穆特·维思,约瑟夫·维德:
通过抽象对容错分布式算法进行参数化模型检查。 201-209
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fmcad/WachterKO13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/WachterKO13
比约恩·瓦赫特,丹尼尔·克罗宁,乔尔·瓦克宁:
验证具有影响的多线程软件。 210-217
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fmcad/LarrazORR13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/LarrazORR13
丹尼尔·拉拉兹,阿尔伯特·奥利弗拉斯,恩里克·罗德里格斯-卡博内尔,阿尔伯特·鲁比奥:
使用Max-SMT证明命令式程序的终止。 218-225
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fmcad/DemyanovaVZ13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/DemyanovaVZ13
尤利娅·德米扬诺娃,赫尔穆特·维思,弗洛里安·祖勒格:
关于可变角色的概念及其在软件分析中的应用。 226-230

服务

管理网站设置

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