编辑配置文件（在新选项卡中打开） 克劳斯·哈维隆德 合著者距离 作者ID： 哈弗伦德·克劳斯 发布日期： 克劳斯·哈维隆德 已编制索引的文档： 27出版物自1992年以来，包括1本书 6作为编辑的贡献 传记参考文献： 1出版物 合著者： 52位合著者具有32联合出版物 931位联合作者 全部的 前5名合著者 1 单作者的 6 Doron A.Peled。 6 格里高·罗什乌 4 霍华德·巴林格 4 威廉·维瑟 三 西里尔·阿尔托 三 洛瑞，迈克 三 Păsăreanu，科琳娜·s。 三 贾尔斯·里格尔 2 多龙·德鲁辛斯基 2 杰拉德·J·霍尔兹曼。 2 拉杰夫·乔希 2 金·古德斯特兰·拉森 2 David E.Rydeheard。 2 塞·库什克 2 华盛顿，里奇 1 艾丽卡·阿尔布拉汉姆 1 阿明·比尔 1 比约纳，餐厅 1 米哈埃拉·博巴鲁 1 纪尧姆·布拉特 1 埃里克·P·德文克。 1 迪克西特、科坦 1 伊利耶斯·法尔科内 1 克里斯·乔治（Chris W.George）。 1 迪米特拉·吉安娜科波卢 1 亚历克斯·格罗斯 1 拉杜·格罗苏 1 彼得·哈夫 1 安妮·伊丽莎白·哈克斯豪森 1 黄晓婉 1 利纳·哈提卜 1 萨尔夫拉兹·库希德 1 土耳其，埃利夫 1 鲁帕克·马朱姆达尔 1 罗伯特·威廉·米尔恩 1 尼古拉·穆塞托拉 1 尼尔森，克劳斯·本迪克斯 1 莫兰·奥马尔 1 延斯·帕尔斯伯格 1 简·佩莱斯卡 1 约翰·佩尼克斯 1 瑟伦·普雷恩 1 托马斯·普雷斯伯格 1 比尔·罗斯科 1 贾斯汀·塞斯特 1 斯科特·斯莫尔卡。 1 斯科特·斯托勒。 1 多根·乌卢斯 1 阿尔诺·J·维内特。 1 金·里特·瓦格纳 1 徐如刚 1 埃雷兹·扎多克 全部的 前5名系列 6 系统设计中的形式化方法 5 计算机科学课堂讲稿 1 理论计算机科学 1 逻辑与计算杂志 1 北欧计算机杂志 1 数学与人工智能年鉴 领域 33 计算机科学（68至XX） 6 总体主题；集合（00-XX） 三 数理逻辑与基础（03-XX） 1 流体力学（76-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 21出版物有被引用194中的次136文件 引用人▼ 年份▼ 合成安全性能监控器。 Zbl 1043.68534号 克劳斯·哈维隆德；格里戈·罗苏 27 2002 基于规则的运行时验证。 Zbl 1202.68243号 霍华德·巴林格；艾伦·戈德堡；克劳斯·哈维隆德；塞·库什克 27 2004 使用JAVA PathFinder对JAVA程序进行模型检查。 Zbl 1059.68585号 克劳斯·哈维隆德；托马斯·普雷斯伯格 23 2000 量化事件自动机：面向表现力强、效率高的运行时监控器。 Zbl 1372.68154号 霍华德·巴林格；伊利耶斯·法尔科内；克劳斯·哈维隆德；贾尔斯·里格尔；大卫·赖德海尔 19 2012 运行时监控的规则系统：从EAGLE到RULER。 Zbl 1203.68093号 霍华德·巴林格；大卫·赖德海尔；克劳斯·哈维隆德 13 2010 RAISE规范语言。 Zbl 0835.68076号 克里斯·乔治；彼得·哈夫；克劳斯·哈维隆德；安妮·E·哈克斯豪森。；罗伯特·米尔恩；尼尔森，Claus Bendix；瑟伦·普雷恩；金·里特·瓦格纳 13 1992 运行时验证工具Java PathExplorer的概述。 Zbl 1073.68549号 克劳斯·哈维隆德；格里高·罗什乌 12 2004 结合测试用例生成和运行时验证。 兹比尔1080.68062 西里尔·阿尔托；霍华德·巴林格；艾伦·戈德堡；克劳斯·哈维隆德；萨尔夫拉兹·库希德；洛瑞，迈克；科琳娜·帕萨雷努；格里高·罗什乌；塞·库什克；威廉·维瑟；华盛顿，里奇 12 2005 互方面：具有GCC的面向方面仪器。 Zbl 1284.68153号 贾斯汀·塞斯特；迪克西特、科坦；黄晓婉；拉杜·格罗苏；克劳斯·哈维隆德；斯科特·斯莫尔卡。；斯科特·斯托勒。；埃雷兹·扎多克 7 2012 使用运行时分析指导Java程序的模型检查。 Zbl 0976.68576号 克劳斯·哈维隆德 6 2000 使用BDD进行一阶时序逻辑监控。 Zbl 1506.68055号 克劳斯·哈维隆德；多龙·贝利德；多根·乌卢斯 6 2020 根据可监测性细化时间属性的安全活性分类。 兹比尔1519.68138 多龙·贝利德；克劳斯·哈维隆德 5 2019 用于构建和分析系统的工具和算法。2014年4月5日至13日在法国格勒诺布尔举行的第20届国际会议（TACAS 2014），是欧洲软件理论与实践联合会议（ETAPS 2014）的一部分。诉讼程序。 Zbl 1301.68010号 5 2014 火星探测器软件验证和确认工具的实验评估。 Zbl 1078.68665号 纪尧姆·布拉特；多龙·德鲁辛斯基；迪米特拉·吉安娜科波卢；艾伦·戈德堡；克劳斯·哈维隆德；洛瑞，迈克；科琳娜·帕萨雷努；阿尔诺·维尼特；威廉·维瑟；华盛顿，里奇 4 2004 测试用例生成和运行时分析实验。 Zbl 1021.68503号 西里尔·阿尔托；多龙·德鲁辛基；艾伦·戈德堡；克劳斯·哈维隆德；洛瑞，迈克；科琳娜·帕萨雷努；格里戈·罗苏；威廉·维瑟 三 2003 fork演算。 兹伯利1418.68142 克劳斯·哈维隆德；Larsen，Kim G。 三 1993 运行时验证过去的经验和未来的预测。 Zbl 1482.68140号 克劳斯·哈维隆德；贾尔斯·里格尔；格里高·罗什乌 三 2019 一阶时态属性的高效运行时验证。 Zbl 1508.68220号 克劳斯·哈维隆德；多龙·贝利德 三 2018 NASA正式方法。2011年4月18日至20日在美国加利福尼亚州帕萨迪纳举行的第三届国际研讨会，NFM 2011。诉讼程序。 Zbl 1239.68007号 1 2011 fork演算。 Zbl 0817.68101号 克劳斯·哈维隆德；金·古德斯特兰·拉森 1 1994 运行时验证逻辑。语言设计视角。 Zbl 1431.68064号 克劳斯·哈维隆德；贾尔斯·里格尔 1 2017 使用BDD进行一阶时序逻辑监控。 Zbl 1506.68055号 克劳斯·哈维隆德；多龙·贝利德；多根·乌卢斯 6 2020 根据可监测性细化时间属性的安全活性分类。 Zbl 1519.68138号 多龙·贝利德；克劳斯·哈维隆德 5 2019 运行时验证过去的经验和未来的预测。 Zbl 1482.68140号 克劳斯·哈维隆德；贾尔斯·里格尔；格里高·罗什乌 三 2019 一阶时态属性的高效运行时验证。 兹比尔1508.68220 克劳斯·哈维隆德；多龙·贝利德 三 2018 运行时验证逻辑。语言设计视角。 Zbl 1431.68064号 克劳斯·哈维隆德；贾尔斯·里格尔 1 2017 用于构建和分析系统的工具和算法。2014年4月5日至13日在法国格勒诺布尔举行的第20届国际会议（TACAS 2014），是欧洲软件理论与实践联合会议（ETAPS 2014）的一部分。诉讼程序。 Zbl 1301.68010号 5 2014 量化事件自动机：面向表现力强、效率高的运行时监控器。 Zbl 1372.68154号 霍华德·巴林格；伊利耶斯·法尔科内；克劳斯·哈维隆德；贾尔斯·里格尔；大卫·赖德海尔 19 2012 互方面：具有GCC的面向方面仪器。 Zbl 1284.68153号 贾斯汀·塞斯特；迪克西特、科坦；黄晓婉；拉杜·格罗苏；克劳斯·哈维隆德；斯科特·斯莫尔卡。；斯科特·斯托勒。；埃雷兹·扎多克 7 2012 NASA正式方法。2011年4月18日至20日在美国加利福尼亚州帕萨迪纳举行的第三届国际研讨会，NFM 2011。诉讼程序。 兹比尔1239.68007 1 2011 运行时监控的规则系统：从EAGLE到RULER。 Zbl 1203.68093号 霍华德·巴林格；大卫·赖德海尔；克劳斯·哈维隆德 13 2010 结合测试用例生成和运行时验证。 兹比尔1080.68062 西里尔·阿尔托；霍华德·巴林格；艾伦·戈德堡；克劳斯·哈维隆德；萨尔夫拉兹·库希德；洛瑞，迈克；科琳娜·帕萨雷努；格里高·罗什乌；塞·库什克；威廉·维瑟；华盛顿，里奇 12 2005 基于规则的运行时验证。 Zbl 1202.68243号 霍华德·巴林格；艾伦·戈德堡；克劳斯·哈维隆德；塞·库什克 27 2004 运行时验证工具Java PathExplorer的概述。 Zbl 1073.68549号 克劳斯·哈维隆德；格里高·罗什乌 12 2004 火星探测器软件验证和确认工具的实验评估。 Zbl 1078.68665号 纪尧姆·布拉特；多龙·德鲁辛斯基；迪米特拉·吉安娜科波卢；艾伦·戈德堡；克劳斯·哈维隆德；洛瑞，迈克；科琳娜·帕萨雷努；阿诺德·维尼特；威廉·维瑟；华盛顿，里奇 4 2004 测试用例生成和运行时分析实验。 Zbl 1021.68503号 西里尔·阿尔托；多龙·德鲁辛基；艾伦·戈德堡；克劳斯·哈维隆德；洛瑞，迈克；科琳娜·帕萨雷努；格里戈·罗苏；威廉·维瑟 三 2003 合成安全性能监控器。 Zbl 1043.68534号 克劳斯·哈维隆德；格里戈·罗苏 27 2002 使用JAVA PathFinder对JAVA程序进行模型检查。 Zbl 1059.68585号 克劳斯·哈维隆德；托马斯·普雷斯伯格 23 2000 使用运行时分析指导Java程序的模型检查。 Zbl 0976.68576号 克劳斯·哈维隆德 6 2000 fork演算。 Zbl 0817.68101号 克劳斯·哈维隆德；金·古德斯特兰·拉森 1 1994 fork演算。 Zbl 1418.68142号 克劳斯·哈维隆德；Larsen，Kim G。 三 1993 RAISE规范语言。 Zbl 0835.68076号 克里斯·乔治；彼得·哈夫；克劳斯·哈维隆德；安妮·E·哈克斯豪森。；罗伯特·米尔恩；尼尔森，克劳斯·本迪克斯；瑟伦·普雷恩；金·里特·瓦格纳 13 1992 所有引用的出版物 前5名被引用出版物 全部的 前5名314位作者引用 10 David A.Basin。 8 阿德里安·弗兰卡兰扎 7 克劳斯·哈维隆德 6 伊利耶斯·法尔科内 5 卢卡·埃特罗 5 Ingólfsdóttir，安娜 5 Sr Djan Krstić 5 德米特里·特拉泰尔 4 比约纳，餐厅 4 Doron A.Peled。 三 克里斯蒂安·科伦坡 三 伯恩德·芬克贝纳 三 费利克斯·克莱特克 三 戈登·佩斯。 三 马丁·拉西克 2 安东尼斯·阿奇利奥斯 2 安德烈亚斯·鲍尔 2 巴拉戈·纳加拉贾·巴特 2 博尔祖·博纳克达尔普尔 2 Jörg Brauer 2 伊恩·卡萨尔 2 蒂鲍特·达迪尼尔 2 玛丽亚·德尔马·加拉多 2 塞巴斯蒂安·费奇迈斯特 2 马来K·加奈。 2 西恩·盖斯勒 2 霍尔格·吉斯 2 奥尔纳·格伦伯格 2 阿尔蒂·古普塔 2 西尔万·霍尔 2 安妮·伊丽莎白·哈克斯豪森 2 卢卡斯·海姆斯 2 罗尔夫·亨尼克 2 萨尔夫拉兹·库希德 2 维克托·五·库利亚明。 2 埃尔文·马尔坎德 2 拉杜·马特埃斯库 2 玛丽亚·马克西莫娃 2 佩德罗·梅里诺 2 Păsăreanu，科琳娜·s。 2 Pun，Ka一。 2 格里高·罗什乌 2 塞萨尔·桑切斯 2 杰拉尔多·施奈德 2 Joshua P.施耐德。 2 斯文·施奈德 2 卢茨·施罗德 2 塞·库什克 2 娜塔莎·莎莉吉娜 2 马丁·斯特芬 2 斯科特·斯托勒。 2 沃尔克·斯托尔茨 2 阿文·费尔南托 2 威廉·维瑟 2 尤根·兹利内斯库 1 胡萨姆·阿巴斯 1 帕特里克·阿贝拉 1 沃尔夫冈·阿伦特 1 艾切尔尼格，伯恩哈德·K。 1 艾伦·阿克图格 1 埃利·阿纳斯塔西亚迪 1 大卫·安科纳 1 法哈德·阿尔巴 1 西里尔·阿尔托 1 普拉纳夫·阿沙尔 1 阿塞特夫·诺艾，勒克雷米奥拉 1 蒂格兰·阿瓦内索夫 1 Franz巴德 1 凯特琳娜·巴罗内·阿德斯 1 霍华德·巴林格 1 伯恩哈德·贝克特 1 Bédard，亚历克西斯 1 谢·贝尔科维奇 1 安德烈亚斯·拉斐尔·布拉斯 1 伊贡博格尔 1 霍华德·鲍曼 1 劳拉·博泽利 1 奇亚拉·布拉金 1 曼弗雷德·布罗伊 1 曹振福 1 德国卡隆尼 1 阿曼多·卡斯塔涅达 1 希曼舒·乔汉 1 陈冯 1 陈杰 1 奥马尔·切尔考伊 1 切尔诺夫，E.S。 1 亚尼克·骑士 1 杰苏斯·莫里西奥·奇曼托 1 拉胡比尔·奇尼 1 Yunja Choi先生 1 亚历山德罗·西马蒂 1 马蒂奥·奇米尼 1 克莱尔·西尼 1 欧尼·科恩 1 拜伦·库克 1 加布里埃尔·科罗纳 1 帕特里克·库索特 1 达姆，麦兹 1 德波尔（Frank S。 …还有214位作者 全部的 前5名20篇连载文章中引用 28 系统设计中的形式化方法 13 计算的形式方面 10 理论计算机科学 7 程序设计中的逻辑和代数方法杂志 4 信息学报 4 编程与计算机软件 4 信息与计算 三 计算机程序设计科学 三 逻辑与代数程序设计杂志 2 信息处理信件 2 符号计算杂志 2 自动推理杂志 2 数学与人工智能年鉴 1 国际通用系统杂志 1 计算机与系统科学杂志 1 计算机科学与技术杂志 1 离散事件动态系统 1 函数编程杂志 1 美国医学会杂志 1 逻辑程序设计理论与实践 全部的 前5名在12个字段中引用 131 计算机科学（68至XX） 28 数理逻辑与基础（03-XX） 4 系统论；控制（93至XX） 三 运筹学、数学规划（90-XX） 三 信息与通信理论、电路（94-XX） 2 生物学和其他自然科学（92-XX） 1 总体主题；集合（00-XX） 1 范畴理论；同调代数（18-XX） 1 动力系统和遍历理论（37至XX） 1 数值分析（65-XX） 1 流体力学（76-XX） 1 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 按年份列出的引文