格德·贝尔曼
人员信息
优化列表
2010 – 2019
2018 [公元28年] A.保罗·米勒 , 奥卢菲米·阿德耶米 , 格德·贝尔曼 , 帕特里克·福尔曼 , 文森特·加龙 , 德米特里·利特文采夫 , 蒂格兰·姆克尔奇扬 , 阿尔伯特·罗西 , 玛丽娜·萨哈基恩 , 于尔根·斯塔里克 :
高级科学用途存储-案例及其他。 产品开发计划 2018 : 651-657 2013 【p1】 亚历山大·戴维 , 格德·贝尔曼 , 彼得·布利切夫 , 约阿金·比格 , 托马斯·查坦 , 金·拉森 , 保罗·佩特森 , 雅各布·伊勒姆·拉斯穆森 , 吉尔·斯尔巴 , 王毅 , 肯尼思·约根森 , 迪迪埃·莱姆 , 摩根·马格宁 , 奥利维尔·H·鲁 , 路易斯·马里·特劳努埃兹 :
定时系统模型检查工具。 通信嵌入式系统 2013 : 165-225 2011 [j7] 格德·贝尔曼 , 亚历山大·戴维 , 金·古德斯特兰·拉森 , 保罗·佩特森 , 王毅 :
15年来开发UPPAAL。 柔和。 实践。 支出。 41 ( 2 ) : 133-142 ( 2011 ) [公元27年] Oxana Smirnova公司 , 格德·贝尔曼 , 迈克尔·格里纳格 , 丹尼尔·约翰逊 , 约斯瓦·克莱斯特 , 阿列克桑德·康斯坦蒂诺夫 , 巴拉斯·科尼亚 , 亨利克·托斯特鲁普·延森 :
建立和运营大型强子对撞机计算和数据存储分布式区域中心。 电子科学 2011 : 181-188
2000 – 2009
2007 [公元26年] 格尔德·贝尔曼 , 阿格纳斯·考格纳德 , 亚历山大·戴维 , 伊曼纽尔·弗勒里 , 金·古德斯特兰·拉森 , Didier石灰 :
UPPAAL-Tiga:游戏时间到了! CAV汽车 2007 : 121-125 [公元25年] 雅各布·伊勒姆·拉斯穆森 , 格德·贝尔曼 , 金·古德斯特兰·拉森 :
简单中的复杂性:基于灵活代理的状态空间探索。 TACAS公司 2007 : 231-245 [公元24年] 塞巴斯蒂安·库普费施米德 , 克劳斯博士 , 约格·霍夫曼 , 伯恩德·芬克贝纳 , 亨宁·迪尔克斯 , 安德烈亚斯·波德尔斯基 , 格德·贝尔曼 :
Uppaal/DMC-基于抽象的启发式,用于定向模型检查。 TACAS公司 2007 : 679-682 2006 [j6] 格德·贝尔曼 , 帕特里夏·鲍耶 , 金·古德斯特兰·拉森 , 拉德克·佩拉内克 :
时间自动机基于区域抽象的上下限。 国际期刊软件。 技术工具。 Transf公司。 8 ( 三 ) : 204-215 ( 2006 ) 【c23】 格德·贝尔曼 , 亚历山大·戴维 , 金·古德斯特兰·拉森 , 约翰·哈坎森 , 保罗·佩特森 , 王毅 , 马蒂恩·亨德里克斯 :
UPPAAL 4.0。 QEST公司 2006 : 125-126 [公元22年] 塞巴斯蒂安·库普费施米德 , 约格·霍夫曼 , 亨宁·迪尔克斯 , 格德·贝尔曼 :
将人工智能规划启发式方法用于定向模型检查。 自旋蛋白 2006 : 35-52 2005 [j5] 格德·贝尔曼 , 金·古德斯特兰·拉森 , 雅各布·伊勒姆·拉斯穆森 :
使用定价时间自动机的最优调度。 SIGMETRICS执行评估版本。 32 ( 4 ) : 34-40 ( 2005 ) 【j4】 格德·贝尔曼 :
时间自动机中的分布式可达性分析。 国际期刊软件。 技术工具。 Transf公司。 7 ( 1 ) : 19-30 ( 2005 ) 【c21】 格尔德·贝尔曼 , 金·古德斯特兰·拉森 , 雅各布·伊勒姆·拉斯穆森 :
超越活力:有时限活力的有效参数合成。 格式 2005 : 81-94 [公元20年] 格德·贝尔曼 , 埃德·布林克斯马 , 马蒂恩·亨德里克斯 , 安吉丽卡·马德尔 :
基于可达性分析的生产调度——案例研究。 IPDPS公司 2005 2004 [第19条] 格德·贝尔曼 , 金·古德斯特兰·拉森 , 雅各布·伊勒姆·拉斯穆森 :
定价时间自动机:算法和应用。 FMCO公司 2004 : 162-182 [第18条] 格德·贝尔曼 , 亚历山大·戴维 , 金·古德斯特兰·拉森 :
Uppaal教程。 SFM公司 2004 : 200-236 [第17条] 格尔德·贝尔曼 , 帕特里夏·鲍耶 , 金·古德斯特兰·拉森 , 拉德克·佩拉内克 :
时间自动机基于区域抽象的上下限。 TACAS公司 2004 : 312-326 2003 [第16条] 格德·贝尔曼 , 金·古德斯特兰·拉森 , 拉德克·佩拉内克 :
储存或不储存。 CAV汽车 2003 : 433-445 [第15条] 马蒂恩·亨德里克斯 , 格德·贝尔曼 , 金·古德斯特兰·拉森 , 彼得·尼伯特 , Frits W.Vaandrager公司 :
向Uppaal添加对称减少。 格式 2003 : 46-59 [第14条] 亚历山大·戴维 , 格德·贝尔曼 , 金·古德斯特兰·拉森 , 王毅 :
时间自动机验证中的统一与共享。 自旋蛋白 2003 : 225-229 [第13条] 格德·贝尔曼 , 帕特里夏·鲍耶 , 伊曼纽尔·弗勒里 , 金·古德斯特兰·拉森 :
定时自动机验证中的静态保护分析。 TACAS公司 2003 : 254-277 2002 [j3] 格德·贝尔曼 , 金·古德斯特兰·拉森 , 亨利克·赖夫·安徒生 , 亨利克·胡尔加德 , 约恩·林德·尼尔森 :
使用可重用性和组合性验证分层状态/事件系统。 形式方法系统。 设计。 21 ( 2 ) : 225-244 ( 2002 ) [第12条] 格德·贝尔曼 , 约翰·本特森 , 亚历山大·戴维 , 金·古德斯特兰·拉森 , 保罗·佩特森 , 王毅 :
UPPAAL实施秘密。 FTRTFT公司 2002 : 3-22 [c11] 亚历山大·戴维 , 格德·贝尔曼 , 金·古尔德斯特朗·拉森 , 王毅 :
下一代Uppaal的工具架构。 联合国大学/科技研究所十周年座谈会 2002 : 352-366 [第10条] 格德·贝尔曼 :
分布式时间自动机可达性分析的性能研究。 CONCUR的PDMC 2002 : 486-502 2001 [注2] 约恩·林德·尼尔森 , 亨利克·赖夫·安徒生 , 亨利克·胡尔加德 , 格德·贝尔曼 , 科雷·克里斯托弗森 , 金·古德斯特兰·拉森 :
使用组成和依赖分析验证大型状态/事件系统。 形式方法系统。 设计。 18 ( 1 ) : 5-23 ( 2001 ) 【c9】 金·古德斯特兰·拉森 , 格德·贝尔曼 , 埃德·布林克斯马 , 安斯加·芬克 , 托马斯·胡恩 , 保罗·佩特森 , 朱迪·罗米恩 :
尽可能便宜:定价时间自动机的有效成本最优可达性。 CAV汽车 2001 : 493-505 【c8】 格德·贝尔曼 , 金·拉森 , 奥利弗·莫勒 , 亚历山大·戴维 , 保罗·佩特森 , 王毅 :
UPPAAL-现在和未来。 疾病预防控制中心 2001 : 2881-2886 【c7】 格德·贝尔曼 , 安斯加·芬克 , 托马斯·胡恩 , 金·古德斯特兰·拉森 , 保罗·佩特森 , 朱迪·罗米恩 , Frits W.Vaandrager公司 :
定价时间自动机的最低成本可达性。 高强度混凝土 2001 : 147-161 【c6】 格德·贝尔曼 , 安斯加·芬克 , 托马斯·胡恩 , 金·拉森 , 保罗·佩特森 , 朱迪·罗米恩 :
UPPAAL中实现成本最优化的有效指导。 TACAS公司 2001 : 174-188 2000 [j1] 约根·斯坦斯特鲁普 , 亨利克·赖夫·安徒生 , 亨利克·胡尔加德 , 约恩·林德·尼尔森 , 金·古德斯特兰·拉森 , 格德·贝尔曼 , 科雷·克里斯托弗森 , 阿恩·斯科 , 亨利克·勒伯格 , 尼尔斯·博·泰尔加德 :
嵌入式软件的实际验证。 电脑类 33 ( 5 ) : 68-75 ( 2000 ) 【c5】 格德·贝尔曼 , 托马斯·胡恩 , Frits W.Vaandrager公司 :
分发时间模型检查-搜索顺序如何重要。 腔静脉 2000 : 216-231 【c4】 托比亚斯·阿姆内尔 , 格德·贝尔曼 , 约翰·本特森 , 佩德罗·达吉尼奥 , 亚历山大·戴维 , 安斯加·芬克 , 托马斯·胡恩 , 伯特兰·珍妮特 , 金·古德斯特兰·拉森 , 奥利弗·莫勒 , 保罗·佩特森 , 卡斯滕·韦斯 , 王毅 :
UPPAAL-现在、未来和未来。 移动 2000 : 99-124
1990 – 1999
1999 【c3】 格德·贝尔曼 , 金·古尔德斯特朗·拉森 , 贾斯汀·皮尔逊 , 卡斯滕·韦斯 , 王毅 :
使用时钟差异图进行有效的定时可达性分析。 CAV汽车 1999 : 341-353 【c2】 格德·贝尔曼 , 金·古德斯特兰·拉森 , 亨利克·赖夫·安徒生 , 亨利克·胡尔加德 , 约恩·林德·尼尔森 :
使用可重用性和组合性验证分级状态/事件系统。 TACAS公司 1999 : 163-177 1998 【c1】 约恩·林德·尼尔森 , 亨利克·赖夫·安徒生 , 格德·贝尔曼 , 亨利克·胡尔加德 , 科雷·克里斯托弗森 , 金·古德斯特兰·拉森 :
使用组合性和相关性分析验证大型状态/事件系统。 TACAS公司 1998 : 201-216