停止战争！

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

对于科学家：

默认搜索操作

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

问别人

安斯加·芬克

>主页 >珀森斯

人员信息

隶属关系： 荷兰特温特大学
隶属关系（前）： 澳大利亚悉尼新南威尔士大学

优化列表

精炼活动！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年-今天

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2024
[j6]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sosym/DubslaffWF24
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/osym/DubslaffWF24
克莱门斯·杜斯拉夫,帕特里克·维恩霍夫特,安斯加·芬克:
递归状态机的惰性模型检查。柔和。系统。模型。 23(2):369-401(2024)
2022
[公元55年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/Fehnker22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/Fehnker22
安斯加·芬克:
学校里有什么中学计算机科学专题地图。从过程代数到时间自动机到模型学习的旅程 2022:151-163
2021
[公元54年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ectel/FehnkerMR21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ectel/FehnkerMR21
安斯加·芬克,安吉丽卡·马德尔,亚瑟臀部:
工作室-程序设计教育指导评论。 EC-TEL公司 2021:379-383
[公元53年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/its/RumpFM21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/its/RumpFM21
亚瑟·伦普,安斯加·芬克,安吉丽卡·马德尔:
编程作业中学习目标的自动评估。智能交通系统 2021:299-309
[c52]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sefm/DubslaffWF21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sefm/DubslaffWF21
克莱门斯·杜斯拉夫,帕特里克·维恩霍夫特,安斯加·芬克:
懒惰而不在乎：更快地检查递归状态机的CTL模型。 SEFM公司 2021:332-350
2020
[j5]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/acta/Fehnker20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/acta/Fehnker20
安斯加·芬克:
出去喝咖啡：和罗布。信息学报 57(3-5):323-327(2020)
[c51]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 会议/csedu/MaderFD20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csedu/MaderFD20
安吉莉卡·马德,安斯加·芬克,埃德温·德蒂恩:
作为教学方法的信息学修修补补。 CSEDU（1） 2020:450-457
[公元50年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cserc/Fehnker20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cserc/Fehnker20
安斯加·芬克:
编程运动日。中国能源监管委员会 2020:11:1-11:6
[公元49年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cserc/FehnkerMRRSW20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cserc/FehnkerMRRSW20
安斯加·芬克,安吉丽卡·马德尔,亚瑟臀部,玛格特·罗格斯,洛特·斯坦梅耶,克里斯·威特芬:
工作室：编程教程的在线平台。中国能源监管委员会 2020:15:1-15:2
[公元48年]
- 看法
  - 电子版@aisnet.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/pacis/Chaudhary公司CF20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pacis/ChaudharyCF20
凯拉什·乔杜里,维沙尔·钱德,安斯加·芬克:
比特币的双重悬而未决分析。太平洋信息系统 2020:210
[电子3]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/cor/abs-2004-12403
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2004-12403
安斯加·芬克,休伯特·加拉维:
真实系统形式分析模型第四次研讨会会议记录，MARS@ETAPS（预计到达时间）2020年，爱尔兰都柏林，2020年4月26日。 EPTCS公司316,2020 [目录]

2010 – 2019

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2019
[公元47年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/EijkelF19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/EijkelF19
丹尼斯·埃伊克尔,安斯加·芬克:
自私挖掘的分布式区块链模型。 FM研讨会（1） 2019:350-361
2018
[公元46年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csedu/ManF18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csedu/ManF18
雷姆科·德曼,安斯加·芬克:
加工的味道。 CSEDU（2） 2018:420-431
[公元45年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csedu/FehnkerM18公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csedu/FehnkerM18
安斯加·芬克,雷姆科·德曼:
在初级加工程序中检测和处理设计气味。 CSEDU（论文集） 2018:507-531
[公元44年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/facs2/KamaliF18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/facs2/KamaliF18
莫伊甘·卡马利,安斯加·芬克:
WMN路由协议的自适应形式化框架。 FACS公司 2018:175-195
[公元43年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/nfm/FehnkerC18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/nfm/FehnkerC18
安斯加·芬克,凯拉什·乔杜里:
20%再过几天-优化比特币多数攻击。非金融市场 2018:157-163
[公元42年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/nfm/FehnkerCM18公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/nfm/FehnkerCM18
安斯加·芬克,凯拉什·乔杜里,维奈·梅塔:
一种更好的方法——通过形式化建模和分析改进B.A.T.M.A.N.协议。非金融市场 2018:164-178
2017
[公元41年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/SainiF17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/SainiF17
什鲁蒂·赛尼,安斯加·芬克:
使用Uppaal评估流控制传输协议。 MARS@ETAPS（预计到达时间） 2017:1月13日
[公元40年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/Chaudhary FM17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/ChaudharyFM17
凯拉什·乔杜里,安斯加·芬克,维奈·梅塔:
B.A.T.M.A.N.协议的建模、验证和比较性能分析。 MARS@ETAPS（预计到达时间） 2017:53-65
[i6]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1710-00163
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1710-00163
蒂姆·布洛克,安斯加·芬克:
面向初学者的自动程序分析。 CoRR公司 abs/1710.00163(2017)
2015
[公元39年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmics/ChaudharyF15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmics/ChaudharyF15
凯拉什·乔杜里,安斯加·芬克:
模型检查服务器端小额支付协议。飞行管理信息系统 2015:96-110
[公元38年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/Chaudhary FPS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/ChaudharyFPS15
凯拉什·乔杜里,安斯加·芬克,雅各·范德波尔,玛丽埃尔·斯托琳加:
比特币协议的建模和验证。火星 2015:46-60
[电子2]
- 看法
- 出口记录
  dblp键：
  - conf/lpar/2015年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/2015s
安斯加·芬克,安娜贝拉·麦克维尔,杰夫·萨特克利夫,安德烈·沃伦科夫:
2015年11月24日至28日，斐济苏瓦，LPAR 2015，第20届编程、人工智能和推理逻辑国际会议-简短演讲。 EPiC计算系列35,Easy椅子 2015 [目录]
[电子1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/2015年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/2015
马丁·戴维斯,安斯加·芬克,安娜贝拉·麦克维尔,安德烈·沃龙科夫:
《程序设计、人工智能和推理逻辑——第20届国际会议，2015年LPAR-20，斐济苏瓦，2015年11月24-28日，会议记录》。计算机科学课堂讲稿9450,施普林格 2015，国际标准图书编号电话：978-3-662-48898-0 [目录]
[i5]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/FehnkerGHMPT15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/FehnkerGHMPT15
安斯加·芬克,罗布·范·格拉贝克,彼得·霍夫纳,安娜贝拉·麦克维尔,马里乌斯·波特曼,Wee Lum Tan公司:
UPPAAL中AODV的建模与分析。 CoRR公司 abs/1512.07312(2015)
[i4]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/FehnkerGHMPT15a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/FehnkerGHMPT15a
安斯加·芬克,罗布·范·格拉贝克,彼得·霍夫纳,安娜贝拉·麦克维尔,马吕斯·波特曼,Wee Lum Tan公司:
无线Mesh网络的进程代数。 CoRR公司 abs/1512.07319(2015)
[i3]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/FehnkerGHMPT15b
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/FehnkerGHMPT15b
安斯加·芬克,罗布·范·格拉贝克,彼得·霍夫纳,安娜贝拉·麦克维尔,马吕斯·波特曼,Wee Lum Tan公司:
使用UPPAAL自动分析AODV。 CoRR公司 abs/1512.07352(2015)
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/HofnerGTPMF15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/HofnerGTPMF15
彼得·霍夫纳,罗布·范·格拉贝克,Wee Lum Tan公司,马吕斯·波特曼,安娜贝勒·麦克伊弗,安斯加·芬克:
AODV及其变体的严格分析。 CoRR公司 abs/1512.08873(2015)
2013
【j4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/isse/FehnkerH13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/isse/FehnkerH13
安斯加·芬克,拉尔夫·休克:
模型检查驱动的真实世界静态分析：设计和调整大规模错误检测。因诺夫。系统。柔和。工程师。 9(1):45-56(2013)
[公元37年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/MundHFA13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/MundHFA13网址
雅各布Mund,拉尔夫·休克,安斯加·芬克,西里尔·阿瑟:
追求精度：静态分析中数据竞争检测的分层方法。 ATVA公司 2013:516-525
[公元36年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/qest/FehnkerHKM13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/qest/FehnkerHKM13
安斯加·芬克,彼得·霍夫纳,玛丽亚姆·卡马利,维奈·梅塔:
用于无线网络的基于拓扑的移动性模型。 QEST公司 2013:389-404
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/FehnkerGHMPT13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/FehnkerGHMPT13
安斯加·芬克,罗布·范·格拉贝克,彼得·霍夫纳,安娜贝拉·麦克维尔,马吕斯·波特曼,Wee Lum Tan公司:
用于AODV建模、验证和分析的无线Mesh网络进程代数。 CoRR公司 abs/1312.7645(2013)
2012
[公元35年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/FehnkerGHMPT12公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/FehnkerGHMPT12
安斯加·芬克,罗布·范·格拉贝克,彼得·霍夫纳,安娜贝拉·麦克维尔,马吕斯·波特曼,Wee Lum Tan公司:
无线Mesh网络的进程代数。员工持股计划 2012:295-315
[公元34年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfem/JunkerHFK12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfem/JunkerHFK12
马克西米利安·容克,拉尔夫·休克,安斯加·芬克,亚历山大·纳普:
静态程序分析中基于SMT的误报消除。 ICFEM公司 2012:316-331
[公元33年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mswim/HofnerGTPMF12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mswim/HofnerGTPMF12
彼得·霍夫纳,罗布·范·格拉贝克,Wee Lum Tan公司,马里乌斯·波特曼,安娜贝拉·麦克维尔,安斯加·芬克:
对AODV及其变体的严格分析。微软WiM 2012:203-212
[公元32年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/FehnkerGHMPT12公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/FehnkerGHMPT12
安斯加·芬克,罗布·范·格拉贝克,彼得·霍夫纳,安娜贝拉·麦克维尔,马吕斯·波特曼,Wee Lum Tan公司:
使用UPPAAL自动分析AODV。 TACAS公司 2012:173-187
[公元31年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/Bradley CFGH12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/BradleyCFGH12
马克·布雷德利,弗兰克·卡塞兹,安斯加·芬克,托马斯·吉文·威尔逊,拉尔夫·休克:
工业高性能静态分析。塔帕斯@SAS 2012:3-14
2010
[公元30年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/FehnkerHS10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/FehnkerHS10
安斯加·芬克,拉尔夫·休克,肖恩·西弗里德:
静态程序分析的反例引导路径缩减。并发性、组成性和正确性 2010:322-341
[公元29年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfem/VogelsangFHR10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfem/VogelsangFHR10
安德烈亚斯·沃格尔桑,安斯加·芬克,拉尔夫·休克,沃尔夫冈·雷夫:
静态程序分析中的软件度量。 ICFEM公司 2010:485-500

2000 – 2009

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2009
[公元28年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/FehnkerHS09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/FehnkerHS09
安斯加·芬克,拉尔夫·休克,肖恩·西弗里德:
静态软件分析的增量错误路径消除。 ATVA公司 2009:255-270
[公元27年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 会议/qest/BakhshiF09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/qest/BakhshiF09
雷娜·巴克希,安斯加·芬克:
分布式信息传播建模选择的影响。 QEST公司 2009:41-50
[c26]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sofsem/FehnkerHST09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sofsm/FehnkerHST09
安斯加·芬克,拉尔夫·休克,巴斯蒂安·施利希,迈克尔·塔普:
通过静态程序分析自动检测微控制器软件中的错误。 SOFSEM公司 2009:267-278
[公元25年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/FehnkerHST10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/FehnkerHST10
安斯加·芬克,拉尔夫·休克,肖恩·西弗里德,迈克尔·塔普:
淡入灰色：调整静态程序分析。 TTSS公司 2009:17-32
[公元24年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/VisteinORHF09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/VisteinORHF09
迈克尔·维斯坦,弗兰克·奥特梅尔,沃尔夫冈·雷夫,拉尔夫·休克,安斯加·芬克:
静态程序分析的抽象规范语言。 SSV公司 2009:181-197
[第2页]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 系列/lncs/FehnkerFM09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/series/lncs/FehnkerFM09
安斯加·芬克,马提亚斯水果,安娜贝拉·麦克维尔:
无线网络协议仿真和形式化分析的图形建模。容错方法、模型和工具 2009:1-24
2008
【c23】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/HuuckFSB08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/HuuckFSB08
拉尔夫·休克,安斯加·芬克,肖恩·西弗里德,约格·布劳尔:
Goanna：语法软件模型检查。 ATVA公司 2008:216-221
[公元22年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mochart/EdelkampSBWFA08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mochart/EdelkampSBWFA08
斯特凡·埃德尔坎普,维克多·舒潘,德拉甘·博斯纳奇,安东·威伊斯,安斯加·芬克,侯赛因·阿尔贾扎尔:
定向模型检查综述。 MoChArt公司 2008:65-89
【c21】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/qest/BulisFFM08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/qest/BoulisFFM08
阿萨纳西奥斯·布利斯,安斯加·芬克,马提亚斯水果,安娜贝拉·麦克维尔:
CaVi——无线传感器网络的仿真和模型检查。 QEST公司 2008:37-38
[公元20年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/scam/FehnkerHRS08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/scam/FehnkerHRS08
安斯加·芬克,拉尔夫·休克,费利克斯·劳赫,肖恩·西弗里德:
需要一些程序集-嵌入式系统代码的程序分析。 SCAM公司 2008:15-24
2007
[第19条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifm/FehnkerHM07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifm/FehnkerHM07网址
安斯加·芬克,Lodewijk van Hoesel公司,安吉丽卡·马德尔:
用于无线传感器网络的LMAC协议的建模和验证。国际单项体育联合会 2007:253-272
[第18条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tase/FehnkerHJLR07型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tase/FehnkerHJLR07
安斯加·芬克,拉尔夫·休克,帕特里克·贾耶,米歇尔·卢森堡,费利克斯·劳赫:
编译时的模型检查软件。 TASE公司 2007:45-56
2006
[j3]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ijfcs/FehnkerK06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ijfcs/FehnkerK06
安斯加·芬克,布鲁斯·H·克罗:
混合动力系统验证不是一件坏事-电子节气门控制案例研究。发现的国际期刊。计算。科学。 17(4):885-902(2006)
[第17条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/adhoc-now/FehnkerG06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/adhoc-now/FehnkerG06
安斯加·芬克,高鹏:
概率广播协议性能分析的形式验证和仿真。 ADHOC-NOW（立即调整） 2006:128-141
[第16条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmics/FehnkerHJLR06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmics/FehnkerHJLR06
安斯加·芬克,拉尔夫·休克,帕特里克·贾耶,米歇尔·卢森堡,费利克斯·劳赫:
Goanna-静态模型检查器。 FMICS/PDMC系统 2006:297-300
[第15条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isola/McIverF06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isola/McIverF06
A.K.McIver公司,安斯加·芬克:
无线网络分析的形式化技术。 ISoLA公司 2006:263-270
2005
[第14条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/混合动力/FehnkerCJK05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hybrid/FehnkerCJK05
安斯加·芬克,埃德蒙·克拉克,苏米特·库马尔Jha,布鲁斯·H·克罗:
使用反例片段细化混合系统的抽象。高速列车控制中心 2005:242-257
[第1页]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - books/sp/necs2005/克拉克FJV05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/books/sp/necs2005/ClarkeFJV05
埃德蒙·克拉克,安斯加·芬克,苏米特·库马尔Jha,赫尔穆特·维斯:
时序逻辑模型检查。网络化和嵌入式控制系统手册 2005:539-558
2004
[第13条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/FehnkerK04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/FehnkerK04
安斯加·芬克,布鲁斯·H·克罗:
混合动力系统验证不是一件坏事：电子节气门控制案例研究。 ATVA公司 2004:263-277
[c12]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/混合/FehnkerI04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hybrid/FehnkerI04
安斯加·芬克,弗兰乔·伊万西奇:
混合系统验证基准。高速列车控制中心 2004:326-341
[第11条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfem/AldrichFFHKLS04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfem/AldrichFFHKLS04
比尔·奥尔德里奇,安斯加·芬克,彼得·菲勒,知汉,布鲁斯·H·克罗,林健辉,湿婆·西瓦尚卡尔:
使用SVM管理验证活动。 ICFEM公司 2004:61-75
2003
[注2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ijfcs/ClarkeFHKOST03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ijfcs/ClarkeFHKOST03
埃德蒙·克拉克,安斯加·芬克,知汉,布鲁斯·H·克罗,乔尔·瓦克宁,奥拉夫·斯特斯伯格,迈克尔·西奥博尔德:
混合系统模型检验中的抽象与反例指导精化。发现的国际期刊。计算。科学。 14(4):583-604(2003)
[第10条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/adhs/StursbergFHK03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/adhs/StursbergFHK03
奥拉夫·斯特斯伯格,安斯加·芬克,知汉,布鲁斯·H·克罗:
使用验证方法层次结构的混合系统规范指导分析。 ADHS公司 2003:289-294
[c9]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/qsic/FehnkerVZ03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/qsic/FehnkerVZ03
安斯加·芬克,Frits W.Vaandrager公司,张妙妙:
使用混合I/O自动机对乐高汽车进行建模和验证。 QSIC公司 2003:280-289
【c8】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/克拉克FHKST03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/ClarkeFHKST03
埃德蒙·克拉克,安斯加·芬克,知汉,布鲁斯·H·克罗,奥拉夫·斯特斯伯格,迈克尔·西奥博尔德:
基于反例引导抽象精化的混合系统验证。 TACAS公司 2003:192-207
2002
[j1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/BrinksmaMF02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/BrinksmaMF02
埃德·布林克斯马,安吉丽卡·马德尔,安斯加·芬克:
PLC控制计划的验证和优化。国际期刊软件。技术工具。Transf公司。 4(1):21-33(2002)
2001
【c7】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/LarsenBBFHPR01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/LarsenBBFHPR01
金·古德斯特兰·拉森,格德·贝尔曼,埃德·布林克斯马,安斯加·芬克,托马斯·胡恩,保罗·佩特森,朱迪·罗米恩:
尽可能便宜：定价时间自动机的有效成本最优可达性。 CAV汽车 2001:493-505
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/混合/BehrmannFHLPRV01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hybrid/BehrmannFHLPRV01
格德·贝尔曼,安斯加·芬克,托马斯·胡恩,金·古德斯特兰·拉森,保罗·佩特森,朱迪·罗米恩,Frits W.Vaandrager公司:
定价时间自动机的最低成本可达性。高速列车控制中心 2001:147-161
【c5】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/BehrmannF01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BehrmannF01
格德·贝尔曼,安斯加·芬克,托马斯·胡恩,金·拉森,保罗·佩特森,朱迪·罗米恩:
为UPPAAL的成本优化提供有效指导。 TACAS公司 2001:174-188
2000
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/movep/AmnellBBDDFHJLMPWY00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/movep/AmnellBBDDFHJLMPWY00
托比亚斯·阿姆内尔,格德·贝尔曼,约翰·本特森,佩德罗·达吉尼奥,亚历山大·戴维,安斯加·芬克,托马斯·胡恩,伯特兰·珍妮特,金·古德斯特兰·拉森,奥利弗·莫勒,保罗·佩特森,卡斯滕·韦斯,王毅:
UPPAAL-现在、未来和未来。移动 2000:99-124

1990 – 1999

请参阅常见问题解答

出版物列表中颜色的含义是什么？

1999
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rtcsa/Fehnker99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rtcsa/Fehnker99
安斯加·芬克:
用时间自动机调度钢铁厂。 RTCSA公司 1999:280-286
1998
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ftrtft/DierksFMV98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ftrtft/DierksFMV98
亨宁·迪尔克斯,安斯加·芬克,安吉丽卡·马德尔,Frits W.Vaandrager公司:
轮询实时系统的操作和逻辑语义。 FTRTFT公司 1998:29-40
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/混合/Fehnker98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hybrid/Fehnker98
安斯加·芬克:
再论汽车控制：线性不等式作为可达集的近似。高速列车控制中心 1998:110-125

合著者索引

请参阅常见问题解答

服务

管理网站设置

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