编辑配置文件（在新选项卡中打开） 艾切尔尼格，伯恩哈德·K。 合著者距离 作者ID： aichernig.bernhard-k公司 发布日期： 艾切尔尼格，伯恩哈德·K。；伯恩哈德·艾切里尼 已编制索引的文档： 23出版物自2001年起 3作为编辑的贡献 合著者： 27位合著者具有20联合出版物 590名合作作者 全部的 前5名合著者 6 单作者的 8 马丁·塔普勒 4 弗洛里安·洛伯 三 德波尔（Frank S。 2 金·古德斯特兰·拉森 2 孙孟 2 埃迪·穆什卡丁 2 德扬·尼科维奇 2 药丸，印戈 2 阿姆诺·罗森曼 1 法哈德·阿尔巴 1 阿塞特夫·诺艾，勒克雷米奥拉 1 乔瓦尼·巴奇 1 巴博萨、路易斯·索亚雷斯 1 马塞洛·玛丽亚·邦桑格 1 丹、李 1 玛丽亚·艾希塞德 1 卡洛·阿尔贝托·福里亚 1 安德烈亚斯·格雷斯迈耶 1 何继峰 1 埃纳尔·布罗赫·约翰森 1 托马斯·斯蒂芬·爱德华·迈鲍姆 1 张乃晓 1 安德烈亚·普费舍尔 1 简·J·M·M·鲁顿。 1 鲁道夫·施拉特 1 费利克斯·沃纳 1 马丁·威格霍费尔 全部的 前5名系列 三 计算的形式方面 三 计算机科学课堂讲稿 2 系统设计中的形式化方法 1 计算机程序设计科学 1 自动推理杂志 1 实时系统 领域 26 计算机科学（68至XX） 三 总体主题；集合（00-XX） 2 运筹学、数学规划（90-XX） 1 数理逻辑与基础（03-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 17出版物有被引用50中的次37文件 引用人▼ 年份▼ 学习时间——从测试中学习时间自动机。 Zbl 1434.68212号 马丁·塔普勒；艾切尔尼格，伯恩哈德·K。；金·古德斯特兰·拉森；弗洛里安·洛伯 10 2019 \基于（L^\ast）的马尔可夫决策过程学习（扩展版本）。 Zbl 1519.68106号 马丁·塔普勒；艾切尔尼格，伯恩哈德·K。；乔瓦尼·巴奇；玛丽亚·艾希塞德；Larsen，Kim G。 6 2021 通过变异测试实现有效的主动自动机学习。 兹伯利1468.68117 艾切尔尼格，伯恩哈德·K。；马丁·塔普勒 5 2019 概率黑盒可达性检查（扩展版本）。 Zbl 1425.68247号 艾切尔尼格，伯恩哈德·K。；马丁·塔普勒 4 2019 UTP突变检测。 Zbl 1165.68022号 艾切尔尼格，伯恩哈德·K。；何继峰 三 2009 统一输入输出一致性。 Zbl 1286.68095号 马丁·威格霍费尔；艾切尔尼格，伯恩哈德·K。 三 2010 UML中基于组件开发的联合语义框架。 Zbl 1272.68105号 孙孟；艾切尔尼格，伯恩哈德·K。；路易斯·巴博萨。；张乃晓 三 2005 精化演算中的变异测试。 Zbl 1093.68605号 艾切尔尼格，伯恩哈德·K。 三 2003 主动自动机学习的学习和测试算法的基准组合。 Zbl 1511.68136号 艾切尔尼格，伯恩哈德·K。；马丁·塔普勒；费利克斯·沃纳 三 2020 具有静默转换的时间自动机的有界判定。 Zbl 1465.68161号 弗洛里安·洛伯；阿姆诺·罗森曼；德扬·尼契科维奇；艾切尔尼格，伯恩哈德·K。 2 2015 十字路口的形式方法。从万灵药到基础支持。2002年3月18日至20日，葡萄牙里斯本，联合国大学/国际软件技术研究所十周年座谈会。修订论文。 Zbl 1028.00041号 2 2003 使用特定于应用程序的调度程序测试并发对象。 Zbl 1161.68630号 鲁道夫·施拉特；伯恩哈德·艾切里尼；法兰克·德波尔；安德烈亚斯·格雷斯迈耶；埃纳尔·布罗赫·约翰森 1 2008 测试和证明。2016年7月5日至7日，作为2016年STAF的一部分，在奥地利维也纳举行了第十届国际会议，TAP 2016。诉讼程序。 兹比尔1339.68003 1 2016 连接器设计：建模、细化和测试用例生成。 兹比尔1242.68070 孙孟；法哈德·阿尔巴；艾切尔尼格，伯恩哈德·K。；阿塞特夫·诺艾，勒克雷米奥拉；德波尔（Frank S。；简·拉特 1 2012 通过抽象进行测试计算。 Zbl 0977.68756号 艾切尔尼格，伯恩哈德·K。 1 2001 反应系统的基于模型的突变测试。从语义到自动测试用例生成。 Zbl 1390.68175号 艾切尔尼格，伯恩哈德·K。 1 2013 实时模型的一致性检查。符号执行与有界模型检查。 Zbl 1475.68171号 艾切尔尼格，伯恩哈德·K。；弗洛里安·洛伯；马丁·塔普勒 1 2016 \基于（L^\ast）的马尔可夫决策过程学习（扩展版本）。 Zbl 1519.68106号 马丁·塔普勒；艾切尔尼格，伯恩哈德·K。；乔瓦尼·巴奇；玛丽亚·艾希塞德；Larsen，Kim G。 6 2021 主动自动机学习的学习和测试算法的基准组合。 Zbl 1511.68136号 艾切尔尼格，伯恩哈德·K。；马丁·塔普勒；费利克斯·沃纳 三 2020 学习时间——从测试中学习时间自动机。 Zbl 1434.68212号 马丁·塔普勒；艾切尔尼格，伯恩哈德·K。；金·古德斯特兰·拉森；弗洛里安·洛伯 10 2019 通过变异测试实现有效的主动自动机学习。 兹伯利1468.68117 艾切尔尼格，伯恩哈德·K。；马丁·塔普勒 5 2019 概率黑盒可达性检查（扩展版本）。 Zbl 1425.68247号 艾切尔尼格，伯恩哈德·K。；马丁·塔普勒 4 2019 测试和证明。2016年7月5日至7日，作为2016年STAF的一部分，在奥地利维也纳举行了第十届国际会议，TAP 2016。诉讼程序。 Zbl 1339.68003号 1 2016 实时模型的一致性检查。符号执行与有界模型检查。 Zbl 1475.68171号 艾切尔尼格，伯恩哈德·K。；弗洛里安·洛伯；马丁·塔普勒 1 2016 具有静默转换的时间自动机的有界判定。 Zbl 1465.68161号 弗洛里安·洛伯；阿姆诺·罗森曼；德扬·尼契科维奇；艾切尔尼格，伯恩哈德·K。 2 2015 反应系统的基于模型的突变测试。从语义到自动测试用例生成。 兹比尔1390.68175 艾切尔尼格，伯恩哈德·K。 1 2013 连接器设计：建模、细化和测试用例生成。 兹比尔1242.68070 孙孟；法哈德·阿尔巴；艾切尔尼格，伯恩哈德·K。；阿塞特夫·诺艾，勒克雷米奥拉；德波尔（Frank S。；简·拉特 1 2012 统一输入输出一致性。 Zbl 1286.68095号 马丁·威格霍费尔；艾切尔尼格，伯恩哈德·K。 三 2010 UTP突变测试。 Zbl 1165.68022号 艾切尔尼格，伯恩哈德·K。；何继峰 三 2009 使用特定于应用程序的调度程序测试并发对象。 Zbl 1161.68630号 鲁道夫·施拉特；伯恩哈德·艾切里尼；法兰克·德波尔；安德烈亚斯·格雷斯迈耶；埃纳尔·布罗赫·约翰森 1 2008 UML中基于组件开发的联合语义框架。 Zbl 1272.68105号 孙孟；艾切尔尼格，伯恩哈德·K。；路易斯·巴博萨。；张乃晓 三 2005 精化演算中的变异测试。 Zbl 1093.68605号 艾切尔尼格，伯恩哈德·K。 三 2003 十字路口的正式方法。从万灵药到基础支持。2002年3月18日至20日，葡萄牙里斯本，联合国大学/国际软件技术研究所十周年座谈会。修订论文。 Zbl 1028.00041号 2 2003 通过抽象进行测试计算。 Zbl 0977.68756号 艾切尔尼格，伯恩哈德·K。 1 2001 所有引用的出版物 前5名被引用出版物 全部的 前5名被87位作者引用 11 艾切尔尼格，伯恩哈德·K。 5 马丁·塔普勒 三 安、杰 三 詹伯华 2 罗德里克·布洛姆 2 洛伦佐·克莱门特 2 马苏德·易卜拉希米 2 萨沃米尔·拉索塔 2 刘少英 2 弗洛里安·洛伯 2 孙孟 2 埃迪·穆什卡丁 2 德扬·尼科维奇 2 药丸，印戈 2 拉多斯·瓦·皮奥科夫斯基 2 阿姆诺·罗森曼 2 Vaandrager，Frits W。 2 詹乃军 2 张苗苗 1 马克·艾吉尔 1 法哈德·阿尔巴 1 阿塞特夫·诺艾，勒克雷米奥拉 1 乔瓦尼·巴奇 1 巴博萨、路易斯·索亚雷斯 1 克拉克·W·巴雷特。 1 詹姆斯·巴克斯特 1 约阿金·比约克 1 马塞洛·玛丽亚·邦桑格 1 弗莱德里克·博朗格 1 安娜·卡瓦尔坎蒂 1 陈超 1 陈明帅 1 陈硕 1 陈一海 1 詹姆斯·切尼 1 楚文静 1 达斯，安库什 1 德波尔（Frank S。 1 亨利·德扬 1 玛丽亚·艾希塞德 1 达纳·菲斯曼 1 帕斯卡·方丹 1 马西耶·加兹达。 1 Jan Friso，格鲁特 1 利奥·亨利 1 托马斯·亨辛格（Thomas A.Henzinger）。 1 罗伯特·马克·海伦斯 1 侯赛因·霍贾特 1 蒂埃里·杰伦 1 何继峰 1 埃纳尔·布罗赫·约翰森 1 Junges，塞巴斯蒂安 1 比拉尔Kanso 1 克莱门斯·库普克 1 马赛尔·凯斯 1 费泽·拉巴夫 1 简·兰格 1 金·古德斯特兰·拉森 1 刘艾 1 尼古拉斯·马基 1 苗、淮口 1 安德烈亚·莫迪多 1 沃伊西奇·莫斯托夫斯基。 1 穆罕默德·穆萨维 1 多拉夫·尼泰 1 Owe、Olaf 1 索菲亚·科斯塔·佩瓦 1 弗兰克·芬宁 1 安德烈亚·普费舍尔 1 克里斯托夫·林盖森 1 朱里安·罗特 1 简·J·M·M·鲁顿。 1 克里斯蒂安·席林 1 桑吉特·阿伦库马尔·塞希亚 1 沈伟 1 盛英 1 亚历山德拉·席尔瓦 1 阿登尼索·思茅 1 米丽亚姆·加西亚·索托 1 孙孟 1 唐晓晨 1 托法、哈泽姆 1 格科·范·海尔特 1 费利克斯·沃纳 1 徐润清 1 米查尔·齐夫·尤克尔森 1 尤尼·佐哈尔 全部的 前5名11篇连载文章中引用 三 计算的形式方面 2 理论计算机科学 2 系统设计中的形式化方法 2 计算机科学中的逻辑方法 2 程序设计中的逻辑和代数方法杂志 1 计算机程序设计科学 1 信息与计算 1 自动推理杂志 1 实时系统 1 逻辑程序设计理论与实践 1 ACM计算逻辑事务 在5个字段中引用 37 计算机科学（68至XX） 4 数理逻辑与基础（03-XX） 三 运筹学、数学规划（90-XX） 1 统计学（62-XX） 1 系统论；控制（93至XX） 按年份列出的引文