布鲁诺·兰根斯坦
人员信息
优化列表
2010 – 2019
2015 【c9】 弗里克·韦贝克 , 奥托·哈弗 , 朱利安·施马耳茨 , 谢尔盖·特弗迪舍夫 , 霍尔格·布拉苏姆 , 布鲁诺·兰根斯坦 , 沃纳·斯蒂芬 , 伯克哈特-沃尔夫 , 雅库布·内穆奇 :
PikeOS分离内核的正式API规范。 非金融市场 2015 : 375-389 2014 【j4】 弗里克·韦贝克 , 谢尔盖·特维尔迪舍夫 , 奥托·哈弗 , 霍尔格·布拉苏姆 , 布鲁诺·兰根斯坦 , 沃纳·斯蒂芬 , 雅库布·内穆奇 , 阿卜杜拉赫曼·费利亚奇 , 伯克哈特-沃尔夫 , 朱利安·施马耳茨 :
泛型分离核的形式规范。 架构(architecture)。 正式证明 2014 ( 2014 ) 【c8】 阿德里安·加西亚·拉米雷斯 , 朱利安·施马尔茨 , 弗里克·韦贝克 , 布鲁诺·兰根斯坦 , 霍尔格·布拉森 :
关于两种不干涉模式:拉什比和格雷夫、怀丁和范弗利特。 SAFECOMP公司 2014 : 246-261 2013 [j3] 蒂尔·莫萨科夫斯基 , Mihai Codescu公司 , 克里斯蒂安·梅德 , 布鲁诺·兰根斯坦 :
Hets中的VSE细化方法。 电子。 Commun公司。 欧洲协会软件。 科学。 Technol公司。 62 ( 2013 )
2000 – 2009
2009 【c7】 厄尼·科恩 , 埃亚德·阿尔卡萨 , 弗拉基米尔·博亚里诺夫 , 马库斯·达尔维德 , 乌兰·德根巴耶夫 , 马克·希勒布兰德 , 布鲁诺·兰根斯坦 , 德克·莱恩巴赫 , 米查尔·莫斯卡尔 , 史蒂文·奥布亚 , 沃尔夫冈·保罗 , 赫里斯托·彭切夫 , 佩特洛娃 , 托马斯·桑顿 , 诺伯特·希默 , 萨宾·施马耳茨 , 沃尔夫拉姆·舒尔特 , 安德烈·沙德林 , 斯蒂芬·托比 , 亚历山德拉·茨班 , 谢尔盖·特弗迪舍夫 :
不变量、模块化和权利。 埃尔肖夫纪念大会 2009 : 43-55 【c6】 Mihai Codescu公司 , 布鲁诺·兰根斯坦 , 克里斯蒂安·梅德 , 蒂尔·莫萨科夫斯基 :
Hets中的VSE细化方法。 ICFEM公司 2009 : 660-678 2007 【c5】 布鲁诺·兰根斯坦 , 安德烈亚斯·农纳加特 , 乔治·洛克 , 沃纳·斯蒂芬 :
分布式应用程序的基于历史的验证。 验证 2007 【c4】 布鲁诺·兰根斯坦 , 安德烈亚斯·农纳加特 , 乔治·洛克 , 沃纳·斯蒂芬 :
分布式应用程序验证。 SAFECOMP公司 2007 : 315-328 2005 【c3】 沃纳·斯蒂芬 , 布鲁诺·兰根斯坦 , 安德烈亚斯·农纳加特 , 乔治·洛克 :
验证支持环境。 机械化数学推理 2005 : 476-493 2000 [注2] 迪特尔·赫特 , 布鲁诺·兰根斯坦 , 乔治·洛克 , 约格·希克曼 , 沃纳·斯蒂芬 , 罗兰·沃特 :
验证支持环境(VSE)中的正式软件开发。 J.实验理论。 Artif公司。 智力。 12 ( 4 ) : 383-406 ( 2000 ) [j1] 谢尔盖·奥特谢尔 , 迪特尔·赫特 , 布鲁诺·兰根斯坦 , 海科·曼特尔 , 乔治·洛克 , 阿克塞尔·沙伊尔 , 沃纳·斯蒂芬 , 罗兰·沃特 , 安德烈亚斯·沃尔珀斯 :
VSE:正式方法满足工业需求。 国际期刊软件。 技术工具。 Transf公司。 三 ( 1 ) : 66-77 ( 2000 ) 【c2】 布鲁诺·兰根斯坦 , 罗兰·沃特 , 马库斯·乌尔曼 :
可信数字签名设备的形式化方法的使用。 FLAIRS公司 2000 : 336-340
1990 – 1999
1996 [c1] 迪特尔·赫特 , 布鲁诺·兰根斯坦 , 克劳斯·森格勒 , 约格·希克曼 , 沃纳·斯蒂芬 , 安德烈亚斯·沃尔珀斯 :
验证支持环境(VSE)中的扣除。 失效模式与后果 1996 : 268-286