停止战争！

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

对于科学家：

默认搜索操作

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

问别人

2014年第14届FMCAD：瑞士洛桑

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

优化列表

精炼活动！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fmcd/2014年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/2014
计算机辅助设计中的形式方法，FMCAD 2014，瑞士洛桑，2014年10月21-24日。美国电气工程师协会 2014，国际标准图书编号978-0-9835678-4-4

教程

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fcad/汉纳14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/Hanna14
齐亚德·汉纳:
工业正式验证中的挑战性问题。 1
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/Biere14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/Biere14
阿明·比尔:
双精度推理的挑战。三
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/Kinder14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/Kinder14
约翰内斯·金德:
软件测试的高效符号执行。 5
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/DetersR0BT14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/DetersR0BT14
摩根威慑集团,安德鲁·雷诺兹,蒂姆·金,克拉克·W·巴雷特,塞萨尔·蒂内利:
CVC4之旅：它是如何工作的，以及如何使用的。 7

受邀演讲和学生论坛

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/Leroy14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/Leroy14
泽维尔·勒罗伊:
编译器验证的乐趣和利润。 9
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/Henzinger14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/Henzinger14
托马斯·汉津格:
生物计算机辅助验证技术。 11
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/Piskac14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/Piskac14
鲁齐卡·皮斯卡:
FMCAD 2014研究生论坛。 13

已投稿文章

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/BinghamG14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/BinghamG14
布拉德·宾厄姆,马克·格林斯特雷特:
通过分布式状态空间探索进行响应属性检查。 15-22
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/BittnerBCGG14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/BittnerBCGG14
本杰明·比特纳,马可·波扎诺,亚历山德罗·西马蒂,马可·加里奥,阿尔贝托·格里乔:
单调成本函数的帕累托最优参数综合。 23-30
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/BloemEKL14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/BloemEKL14
罗德里克·布隆,乌韦·埃格利,帕特里克·克拉姆弗尔,罗伯特·科尼霍弗,弗洛里安·朗辛:
基于SAT的电路综合方法。 31-34
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/BloemHKKAS14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/BloemHKKAS14
罗德里克·布隆,乔治·霍夫雷克,贝蒂娜·科尼霍费尔,罗伯特·科尼霍弗,西蒙·奥塞雷克纳,拉斐尔·斯波克:
使用未解释的函数合成同步。 35-42
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/CabodiPP14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/CabodiPP14
詹皮罗·卡波迪,马可·帕莱纳,保罗·帕西尼:
带引导精化的插值：在基于SAT的无界模型检查中重新审视增量。 43-50
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/ChakiGS14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/ChakiGS14
萨加尔·查基,阿里·古芬克尔,Nishant Sinha公司:
使用顺序一致性和快照对周期性程序进行有效验证。 51-58
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/RwthSA14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/RwthSA14
Xin Chen（新晨）,斯里拉姆·桑卡拉纳拉亚南,埃里卡·阿布拉哈姆:
非线性连续系统的欠近似流量管。 59-66
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/CookFNO14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/CookFNO14
拜伦·库克,卡斯滕·福斯,考斯图布·尼姆卡,彼得·W·奥赫恩:
用过度近似来推翻终止。 67-74
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/CookKP14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/CookKP14
拜伦·库克,海蒂·赫拉夫,尼尔·皮特曼:
为无限状态程序提供更快的时间推理。 75-82
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/GasconSDTJM14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/GasconSDTJM14
阿德里亚·加斯科恩,Pramod Subramanyan公司,布鲁诺·杜特雷,阿什什·蒂瓦里,德扬·约万诺维奇,莎拉·马利克:
基于模板的电路理解。 83-90
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/GeolHKG14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/GeolHKG14
希尔皮·戈尔,沃伦·亨特（Warren A.Hunt Jr.）。,马特·考夫曼,苏马瓦·戈什:
模拟和正式验证进行系统调用的x86机器代码程序。 91-98
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/GurfinkelV14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/GurfinkelV14
阿里·古芬克尔,亚基尔·维泽尔:
插值的DRUPing。 99-106
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/HeuleSB14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/HuleSB14
Marijn鞋跟,马蒂娜·塞德尔,阿明·比尔:
从QRAT证明中有效提取Skolem函数。 107-114
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/IvriiGB14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/IvriiGB14
亚历山大·伊夫里,阿里·古芬克尔,安东·贝洛夫:
小电感安全不变量。 115-122
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/JancikKRS14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/JancikKRS14
帕维尔·扬西克,扬·科夫伦,西蒙·富尔维奥·罗里尼,娜塔莎·莎莉吉娜:
关于插值和变量赋值。 123-130
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/KaissK14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/KaissK14网址
Daher Kaiss公司,乔纳森·卡列克斯坦:
使用正式技术，硅后定时诊断变得简单。 131-138
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/0001BT14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/0001BT14
蒂姆·金,克拉克·W·巴雷特,塞萨尔·蒂内利:
利用线性和混合整数编程实现SMT。 139-146
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/LalQ14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/LalQ14
阿卡什·拉尔,沙兹·卡迪尔:
用于更快的目标导向搜索的程序转换。 147-154
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/LiuW14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/LiuW14
刘培尊,托马斯·沃尔:
布尔广播节目的无限状态向后探索。 155-162
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/MayumdarTW14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/MayumdarTW14
鲁帕克·马朱姆达尔,赛德特塔利（Sai Deep Tetali）,王子龙:
Kuai：软件定义网络的模型检查器。 163-170
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/ManoliosPR14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/ManoliosPR14
Manolios帕纳焦蒂斯,帕帕瓦西里乌,米雷克·里德瓦尔德:
ILP模数据。 171-178
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/NiemetzPB14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/NiemetzPB14
艾娜·尼梅茨,马蒂亚斯·普雷纳,阿明·比尔:
涡轮充电引理随需应变，不在乎推理。 179-186
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/PopeeaRW14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/PopeeaRW14
科内利厄·波皮亚,安德烈·里巴尔琴科,安德烈亚斯·威廉:
减少多线程程序的组合验证。 187-194
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/Reynolds公司M14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/ReynoldsTM14网址
安德鲁·雷诺兹,塞萨尔·蒂内利,莱昂纳多·门登萨·德·莫拉:
发现SMT中量化公式的冲突实例。 195-202
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/ScheiblerB14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/ScheiblerB14网址
卡斯滕·谢布勒（Karsten Scheibler）,伯恩德·贝克尔:
使用区间约束传播求解伪布尔约束。 203-206
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/TronciMSSMMDDERLKEI14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/TronciMSSMMMDDERLKEI14
恩里科·特隆西,托尼·曼奇尼,伊万诺·萨尔沃,斯特凡诺·西尼西,费德里科·马里,伊戈尔·梅拉蒂,安娜丽莎·马西尼,弗朗西斯科·达维,托马斯·迪尔克斯,雷纳德·埃里格,苏珊娜·罗布利茨,布里吉特·利纳斯,蒂尔曼·H·C·克鲁格,马塞尔·埃格利,费比安·伊利:
来自患者间生物模型和临床记录的患者特定模型。 207-214
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/VakiliD14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/VakiliD14
阿米罗申·瓦基利,南希·A·戴:
将CTL-live模型检查减少为一阶逻辑有效性检查。 215-218
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/WalkerR14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/WalkerR14
亚当·沃克,列奥尼德·雷日克:
反应合成的谓词抽象。 219-226

服务

管理网站设置

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