停止战争！

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

对于科学家：

默认搜索操作

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

问别人

2017年第24届SPIN（@ISSTA）：美国加利福尼亚州圣巴巴拉

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  - 电子版@acm.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/spin/2017年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/spin/2017
哈坎·埃尔多姆斯,克劳斯·哈维隆德:
2017年7月10日至14日，美国加利福尼亚州圣巴巴拉，第24届ACM SIGSOFT国际SPIN软件模型检查研讨会论文集。 ACM公司 2017，国际标准图书编号978-1-4503-5077-8

受邀论文

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/spin/Holzmann会议17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/spin/Holzmann17
杰拉德·J·霍尔兹曼:
眼镜蛇：快速结构代码检查（基调）。 1-8
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/spin/Cook17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/spin/Cook17
拜伦·库克:
关于amazon web服务的自动形式推理（主题）。 9
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/spin/Babic17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/spin/Babic17
Domagoj Babic公司:
SunDew：系统自动化安全测试（主题）。 10

报告

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/spin/JasperFSSMPHS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/spin/JasperFSSMPHS17
马克·贾斯珀,马克西米利安·费克,伯恩哈德·斯特芬,马库斯·斯科丹,杰伦·梅耶尔,雅各·范德波尔,福克·豪尔,斯蒂芬·西格尔:
2017年RERS挑战与研讨会（特邀论文）。 11-20

符号验证

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/spin/OortwijnDP17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/spin/OortwijnDP17
Wytse Oortwijn公司,汤姆·范·迪克,雅各·范德波尔:
符号可达性的分布式二进制决策图。 21-30

模型检查I

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/spin/BothaTMV17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/spin/BothaTMV17
海拉·博塔,Oksana Tkachuk公司,布林克·范德梅尔,威廉·维瑟:
解决模型检查Android应用程序时获得高覆盖率的挑战。 31-40
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/spin/MelatiKK17文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/spin/MelatiKK17
波里亚·梅拉蒂,Ehsan Khamespanah公司,拉丁·科斯拉维:
LeeTL:对模型对象进行量化的LTL。 41-49
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/spin/BloemenDP17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/spin/BloemenDP17
文森特·布洛曼,亚历山大·杜雷特·卢茨,雅各·范德波尔:
广义Büchi和Rabin自动机的显式状态模型检验。 50-59

编码确认

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/spin/RatiuU17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/spin/RatiuU17
丹尼尔·拉蒂乌,安德烈亚斯·乌尔里奇:
使用线束定义语言提高基于自旋的C代码验证的可用性：向从业者利用模型驱动的代码检查。 60-69

运行时强制

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/spin/RenardRF17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/spin/RenardRF17
马蒂厄·雷纳德,安托万卷轴,伊利耶斯·法尔科内:
使用Büchi游戏的运行时强制执行。 70-79
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/spin/PinisettyRSTH17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/spin/PinisettyRSTH17
斯里尼瓦斯·皮尼塞蒂,Partha S.Roop公司,史蒂文·斯迈思,斯塔夫罗斯·特里帕基斯,莱因哈德·冯·汉克斯利登:
使用同步执行器的反应式系统的运行时执行。 80-89

模型检查-短文

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/spin/WangnerGG17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/spin/WagnerGG17
卢卡斯·瓦格纳,大卫·A·格雷夫,安德鲁·加塞克:
SIMPAL：命令式程序的组合推理框架。 90-93
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/spin/FeliuRB17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/spin/FeliuRB17
马可·费利乌,卡米洛·罗查,瑞·巴拉昌德兰:
基于自动可达性分析的验证驱动ICAROUS开发：初步案例研究。 94-97
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/spin/BersaniMREG17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/spin/BersaniMREG17
马塞洛·贝尔萨尼,弗朗西斯科·马可尼,马特奥·罗西,Madalina Erascu公司,西尔维奥·吉拉尔迪:
通过模型检查模理论对数据密集型应用程序进行形式化验证。 98-101

程序综合

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/spin/LiJLLP17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/spin/LiJLLP17
李广元,彼得·杰勒·詹森,金·古德斯特兰·拉森,Axel Legay公司,丹尼·鲍尔森:
实用的MTL控制器综合_{0, ∞}. 102-111
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/spin/Fearnley公司JS0W17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/spin/FearnleyJS0W17
费恩雷,桑杰·贾恩,斯文·舍韦,弗兰克·斯蒂芬,多米尼克·沃伊特扎克:
在拟多项式时间和拟线性空间中求解奇偶对策的有序方法。 112-121
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/spin/HusienBS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/spin/HusienBS17
艾德丽斯·胡西安,尼古拉斯·贝蒂尔,斯文·舍韦:
合成冷控制器的热方法。 122-131

模型检查II

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/spin/GeffroyLS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/spin/GeffroyLS17
托马斯·格夫罗伊,杰罗姆·勒鲁,格雷戈伊尔·苏特雷:
有损信道系统的后向可覆盖性和修剪。 132-141
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/spin/Fiterau-Brostean公司17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/spin/Fiterau-Brostean17
保罗·菲特劳·布罗斯坦,香椿Lenaerts,埃里克·波尔,约里·德·鲁伊特,Frits W.Vaandrager公司,帕特里克·维勒格:
SSH实现的模型学习和模型检查。 142-151
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/spin/NguyenT17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/spin/NguyenT17网址
胡武阮,泰西尔·图利:
CARET模型检查恶意软件检测。 152-161

程序草图

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/spin/HuaK17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/spin/HuaK17
金汝华,萨尔夫拉兹·库希德:
EdSketch：Java的执行驱动草图绘制。 162-171

测试

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/spin/Kokologianakis公司17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/spin/Kokologianakis17
米查利斯·科科洛吉安纳基斯,康斯坦蒂诺斯·萨戈纳斯:
Linux内核分层读-复制-更新（树RCU）的无状态模型检查。 172-181
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/spin/DiniYK17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/spin/DiniYK17
尼玛·迪尼,卡格达斯·耶伦,萨尔夫拉兹·库希德:
使用无效范围优化并行Korat。 182-191

测试-短文

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/spin/PanizoSG017
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/spin/PanizoSG017
劳拉·帕尼佐,阿尔贝托·萨尔默隆,玛丽亚·德尔·马尔·加拉多,佩德罗·梅里诺:
TRIANGLE项目中移动应用程序的引导测试用例生成：正在进行中。 192-195
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/spin/LoringMK17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/spin/LoringMK17
布莱克·洛林,邓肯·米切尔,约翰内斯·金德:
ExpoSE：独立JavaScript的实际符号执行。 196-199

服务

管理网站设置

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