默认搜索操作

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

问别人

FM 2016：塞浦路斯利马索尔

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

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/2016年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/2016
约翰·菲茨杰拉德,康斯坦斯·海特迈尔,斯蒂芬妮娅·格内西,安娜·菲利普:
2016年11月9日至11日，塞浦路斯利马索尔，第21届国际研讨会，正式方法。计算机科学课堂讲稿9995,2016，国际标准图书编号978-3-319-48988-9

邀请报告

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/佩莱斯卡H16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/PeleskaH16网址
简·佩莱斯卡,黄文玲:
安全关键系统的基于工业强度模型的测试。 3-22

研究方向

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/AbdullaAD16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/AbdullaAD16
帕罗什·阿齐兹·阿卜杜拉,穆罕默德·法乌齐·阿提格,布比迪普:
反示例引导程序验证。 25-42
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/Antonino公司GR16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/AntoninoGR16
佩德罗·安东尼诺,托马斯·吉布森-罗宾逊,A.W.罗斯科:
死锁自由分析的更严格可达性标准。 43-59
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/AstefanoaeiBBCR16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/AstefanoaeiBBCR16
阿斯特法诺艾湖,萨德克·本萨勒姆,马吕斯·博兹加,Chih-Hong Cheng先生,哈拉尔德·罗斯:
成分参数合成。 60-68
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/BeckerCGHHKNSTT16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/BeckerCGHHKNSTT16
汉诺·贝克尔,胡安·曼努埃尔·克雷斯波,杰克·加洛维茨,乌尔里希·亨塞尔,平井洋一,塞萨尔·库茨,中田惠子,豪尔赫·路易斯·萨基尼,亨德里克·图斯,托马斯·图尔克:
在管理程序的形式化分析中结合机械化证明和基于模型的测试。 69-84
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/BenesBDPS16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/BenesBDPS16
尼古拉·贝内斯,卢博斯·布里姆,马丁·德姆科,塞缪尔·帕斯特瓦,大卫·萨法内克:
离散分歧分析的模型检验方法。 85-101
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/BohmMJ16型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/BohmMJ16
斯坦尼斯拉夫·伯姆,Ondrej Meca公司,彼得·詹卡尔:
适用于MPI死锁检测的非确定性同步系统的状态空间约简。 102-118
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/ChandLS16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/ChandLS16
Saksham Chand公司,杨红A.刘,斯科特·斯托勒:
分布式共识的多轴形式验证。 119-136
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/ChenFLMZ16配置文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/ChenFLMZ16
陈明帅,马丁·弗伦泽,杨佳丽,彼得·纳齐尔·莫萨德,詹乃军（Naijun Zhan）:
延迟微分动力学验证的基于仿真的验证。 137-154
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/ChenP016
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/ChenP016
陈宇奇（Yuqi Chen）,克里斯托弗·波斯基特,孙军（Jun Sun）:
通过代码变异学习和验证网络物理系统的不变量。 155-163
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/CimattiMS16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/CimattiMS16
亚历山德罗·西马蒂,塞尔吉奥·莫弗,米尔科·塞萨:
从电气交换网络到混合自动化。 164-181
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/DavidKKL16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/DavidKKL16
克里斯蒂娜·戴维,帕斯卡·凯塞利,丹尼尔·克罗宁,麦特·刘易斯:
危险不变量。 182-198
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/DellabaniCBB16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/DellabaniCBB16
马希丁·德尔拉巴尼,雅克·康巴兹,马吕斯·博兹加,萨德克·本萨勒姆:
具有有限视野的多方互动的本地规划。 199-216
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/DimovskiBW16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/DimovskiBW16
阿列克桑达尔·迪莫夫斯基,克劳斯·布拉布兰德,安德烈·瓦索夫斯基:
为基于家族的分析找到合适的变量抽象。 217-234
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/DjoudiBG16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/DjoudiBG16
阿德尔·朱迪,塞巴斯蒂安·巴丁,埃里克·古博:
从二进制程序恢复高级条件。 235-253
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/Flores-Montoya公司16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/Flores-Montoya16网站
安东尼奥·弗洛雷斯-蒙托亚:
以成本关系表示的项目的分摊成本上限和下限。 254-273
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/GiannakopoulouG16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/GiannakopoulouG16
迪米特拉·吉安娜科波卢,丹尼斯·古克,约翰·舒曼:
探索ACAS X的模型质量。 274-290
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/Giantamidis公司T16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/GiantamidisT16网站
乔治·吉安塔米迪斯,斯塔夫罗斯·特里帕基斯:
从输入输出轨迹学习摩尔机器。 291-309
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/戈梅斯16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/GomesS16
维克托·戈麦斯,乔治·斯特鲁斯:
模态克莱纳代数在程序正确性中的应用。 310-325
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/增长LT16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/GrovLT16
古德蒙德·格罗夫,林玉辉,维塔塔斯·图马斯:
Dafny的机械化验证模式。 326-343
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/HasanagicTLL16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/HasanagicTLL16
米兰·哈萨纳吉奇,Peter W.V.Tran-Jørgensen,肯尼思·劳斯达尔,彼得·戈姆·拉森:
规范和验证FMI标准中的接口描述。 344-351
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/HayesCMWV16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/HayesCMWV16
伊恩·海耶斯,罗伯特·科尔文,拉里萨·梅尼基,克里斯汀·温特,安德里乌斯·维利基斯:
同步原子步的代数。 352-369
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/HolzerSBWW16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/HolzerSBWW16
安德烈亚斯·霍尔泽,丹尼尔·施瓦茨·纳博恩,Mitra Tabaei Befrouei公司,乔治·魏森巴赫,托马斯·维斯:
并发跟踪的错误不变量。 370-387
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/HouSTLH16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/HouSTLH16
哲侯,大卫·萨南,Alwen Tiu先生,杨柳,Koh Chuen Hoa公司:
SPARCv8指令集体系结构的可执行形式化：LEON3处理器的案例研究。 388-405
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/Kawamoto公司BL16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/KawamotoBL16
川本优助,法布里奇奥·比昂迪,Axel Legay公司:
用于量化信息流的相互信息的混合统计估计。 406-425
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/KhyzhaGP16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/KhyzhaGP16
阿特姆·库扎,亚历克谢·戈茨曼,马修·帕金森:
证明线性化的一般逻辑。 426-443
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/KobayashiIH16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/KobayashiIH16
小林尊,石川福玉,Shinichi Honiden公司:
重构Event-B机器的优化结构。 444-459
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/KongLCSSW16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/KongLCSSW16
平房港,李毅,陈晓红,孙军（Jun Sun）,孟孙,王静怡:
混合动力系统的和谐测试。 460-478
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/LahavV16型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/LahavV16
奥里·拉哈夫,维克托·瓦菲亚迪斯:
用程序转换解释松弛内存模型。 479-495
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/乐天CHNM16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/LetanCHNM16
托马斯·莱坦,皮埃尔·奇夫利埃,纪尧姆·希特,皮埃尔·奈伦,本杰明·莫林:
SpecCert：指定和验证基于硬件的安全强制。 496-512
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/LiSD16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/LiSD16
李丽,孙军（Jun Sun）,金松洞:
带时钟漂移的定时安全协议的自动验证。 513-530
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/MenghiSG16会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/MenghiSG16
克劳迪奥·蒙吉,保拉·斯波莱蒂尼,卡洛·盖齐:
基于自动机的模型检验中不完全性的处理。 531-550
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/Mukherjee0GKM16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/Mukherjee0GKM16
拉杰迪德·穆克吉,索拉巴·乔希,安德烈亚斯·格雷斯迈耶,丹尼尔·克罗宁,汤姆·梅尔姆:
浮点单元与高级C模型的等价性检查。 551-558
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/BisgaardGHKNS16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/BisgaardGHKNS16
莫滕·比斯加德,大卫·格哈特,霍尔格·赫尔曼斯,扬·科卡尔,吉尔斯·涅斯,马文·斯坦格:
低轨道电池-软件调度：GomX-3案例。 559-576
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/OdyFH16型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/OdyFH16网址
海因里希·奥迪,马丁·弗伦泽,迈克尔·R·汉森:
折扣持续时间微积分。 577-592
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/RothenbergG16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/RothenbergG16
巴特·肯·罗森伯格（Bat-Chen Rothenberg）,奥尔娜·格伦伯格:
基于健全和完全突变的程序修复。 593-611
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/SenjakH16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/SenjakH16
克里斯托夫·西蒙·森亚克,马丁·霍夫曼:
Coq中通货紧缩的实施。 612-627
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/SogokonGJ16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/SogokonGJ16
安德鲁·索戈孔,哈利尔·戈巴尔,泰勒·T·约翰逊:
非线性常微分方程的解耦抽象。 628-644
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/Strichman公司16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/StrichmanV16
奥弗·斯特里赫曼,马尔·维茨曼:
不平衡递归函数的回归验证。 645-658
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/TaLKC16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/TaLKC16
Quang-Trung Ta公司,Ton Chanh Le公司,Siau-Cheng Khoo公司,魏恩甘钦:
分离逻辑中的自动互显归纳证明。 659-676
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/VakiliD16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/VakiliD16
瓦基利阿米尔侯赛因·瓦基利,南希·A·戴:
使用带有未解释函数的等式逻辑进行有限模型发现。 677-693
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/WijsNB16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/WijsNB16
安东·威伊斯,托马斯·内勒,德拉甘·博斯纳奇:
GPUexplore 2.0：释放GPU显式状态模型检查。 694-701
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/YanJLWZ16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/YanJLWZ16
高高燕,李娇,杨佳丽,王淑玲（Shuling Wang）,詹乃军（Naijun Zhan）:
混合CSP的近似互模拟和离散化。 702-720
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/YangHCL016
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/YangHCL016
杨正峰,朝皇,Xin Chen（新晨）,王林,刘志明:
一种基于线性规划松弛的混合系统屏障证书生成方法。 721-738

行业跟踪

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/CavadaCCRT16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/CavadaCCRT16
罗伯托·卡瓦达,亚历山德罗·西马蒂,路易吉·克雷马,马蒂亚·罗卡布鲁纳,斯特凡诺·托内塔:
基于模型的Taste能源系统嵌入式控制器设计。 741-747
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/FilipovikjMMSLL16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/FilipovikjMMSLL16
Predrag Filipovikj公司,内斯雷丁·马哈茂德,拉鲁卡·马里内斯库,克里斯蒂娜·塞塞莱亚努,奥斯卡·容克兰茨,亨利克·洛恩:
Simulink到UPPAAL统计模型检查器：分析汽车工业系统。 748-756
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/江LSKGSS16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/JiangLSKGSS16
余江,韩流（Han Liu）,侯炳松,香港汇,明古,孙嘉光,Lui Sha先生:
多功能车辆总线控制器的安全保证形式化模型驱动设计。 757-763
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/LiuJZGS16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/LiuJZGS16
韩流（Han Liu）,余江,张华峰,明古,孙嘉光:
用于验证工业多功能车辆总线控制器的缓和中断。 764-771
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/LutebergetJFS16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/LutebergetJFS16网站
比约纳尔·卢特伯格,克里斯蒂安·约翰森,克劳斯·费林,马丁·斯特芬:
应用于铁路设计和法规的基于规则的增量验证工具。 772-778
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/StoenescuSPI16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/StoenescuSPI16
特奥多尔菌,阿林·斯特凡内斯库,索里娜·普雷杜特,弗洛伦丁·伊帕特:
RIVER：使用符号执行和可逆x86指令的二进制分析框架。 779-785

管理网站设置

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