哈迪·亨加
人员信息
SPARQL查询
优化列表
2020年–今天
2023 [c45] 福尔克·豪瓦尔 , 哈迪·亨加 :
自动驾驶汽车中的安全人工智能——AISoLA 2023轨道。 美国钢铁协会 2023 : 421-425 2022 [公元44年] 阿克塞尔·赫森卡·佩尔 , 福克·豪尔 , 哈迪·亨加 , 安德烈亚斯·劳什 :
数字产业的形式化方法——ISoLA 2022年的产业轨道。 ISoLA(4) 2022 : 337-339 2021 [公元43年] 福尔克·豪瓦尔 , 哈迪·亨加 , 安德烈亚斯·劳什 :
数字产业的正式方法——ISoLA 2021工业日。 ISoLA公司 2021 : 71-76 [公元42年] 哈迪·亨加 :
自动驾驶系统开发中的仿真用例。 ISoLA公司 2021 : 117-128 2020 [公元41年] 哈迪·亨加 :
具有临界覆盖保证的场景空间探索概念-扩展摘要。 ISoLA(3) 2020 : 293-306
2010 – 2019
2018 [公元40年] 哈迪·亨加 :
在自动驾驶环境中应用决策图。 模型、心态、元 2018 : 17-23 [公元39年] 哈迪·亨加 :
基于场景的自动驾驶系统验证。 ISoLA(3) 2018 : 449-460 2014 [公元38年] 克里斯蒂安·埃伦 , 斯文·西弗丁 , 哈迪·亨加 :
检测基于模式的功能需求的一致性和不一致性。 飞行管理信息系统 2014 : 155-169 2013 [公元37年] 哈迪·亨加 , 马克·贝伦斯 :
打开安全关键软件的验证和确认。 软件工程(研讨会) 2013 : 483-491 2012 [公元36年] 哈迪·亨加 :
组件和契约:组合精炼的语义基础。 MBEES公司 2012 : 157-162 2011 [公元35年] 沃纳·达姆 , 哈迪·亨加 , 伯恩哈德·约斯科 , 托马斯·佩肯坎普 , 英戈·斯蒂兰德 :
使用基于契约的组件规范进行虚拟集成测试和架构设计。 日期 2011 : 1023-1028 [公元34年] 马丁·弗伦泽 , 泰富·格兹金 , 哈迪·亨加 , 斯特凡·普奇 , 杰拉尔德·索特 :
使用引导仿真评估驾驶员辅助系统。 MBEES公司 2011 : 71-80 2010 [公元33年] 马丁·弗伦泽 , 泰富·格兹金 , 哈迪·亨加 , 斯特凡·普奇 , 杰拉尔德·索特 :
使用引导模拟评估驾驶员辅助系统。 表格/格式 2010 : 195-205
2000 – 2009
2009 [第3页] 克里斯蒂安·库布扎克 , 蒂齐亚娜·玛格丽亚 , 伯恩哈德·斯特芬 , 克里斯蒂安·温克勒 , 哈迪·亨加 :
使用miAamics和jABC进行探索。 语义Web服务挑战 2009 : 217-234 [电子2] 迈克拉·胡恩 , 哈迪·亨加 :
第一届安全关键软件控制系统认证研讨会论文集, 安全证书@ETAPS 2008年4月29日,匈牙利布达佩斯。 理论计算机科学电子笔记 238(4), 爱思维尔 2009 [目录] 2008 [公元32年] 哈迪·亨加 , 埃尔文·雷泽尔 :
软件—Entwicklung und Zertifizierung im Umfeld sicherheitskritischer und hochverfügbarer Systeme:Bedeutung modellbasierter und formaler Ansätze für effiziente Entwicklong und ZeRTifizieroung。 软件工程 2008 : 291-294 [公元31年] 哈迪·亨加 , 埃尔文·雷泽尔 :
软件Entwicklung和Zertifizierung im Umfeld sicherheitskritischer and hochverfügbarer Systeme:Bedeutung modellbasierter and formaler Ansätze für effiziente Entwicklung和Zertifizierung。 软件工程(研讨会) 2008 : 299-302 [公元30年] 哈迪·亨加 :
位置声明:Zertifizierungsargumentationen mit mathematischer Präzision。 软件工程(研讨会) 2008 : 339-340 [公元29年] 哈迪·亨加 , 埃尔文·雷泽尔 :
Ergebnisse des Workshops“软件—Entwicklung und Zertifizierung im Umfeld sicherheitskritischer und hochverfügbarer Systeme”。 软件工程(研讨会) 2008 : 345-349 [公元28年] 米夏拉·胡恩 , 哈迪·亨加 :
前言。 安全证书@ETAPS 2008 : 1-2 [电子1] 迈克拉·胡恩 , 哈迪·亨加 , 多龙·A·贝利德 :
可认证、可靠系统的基于模型的开发工具,10.06.- 15.06.2007. 达格斯图尔研讨会记录 07241, 德国达格斯图尔城堡国际信息学院(IBFI) 2008 [目录] 2007 [公元27年] 维尔纳·达姆 , Stefan Disch公司 , 哈迪·亨加 , 瑞典雅各布斯 , 彭军(Jun Pang) , 弗洛里安·皮戈什 , 克里斯托夫·斯科尔 , 乌韦·沃尔德曼 , 鲍里斯·维茨 :
大离散状态空间线性混合系统验证中的精确状态集表示。 ATVA公司 2007 : 425-440 [公元26年] 米夏拉·胡恩 , 哈迪·亨加 :
软件安全和认证UML——安全关键软件集成系统的基于模型的开发。 基于模型的嵌入式实时系统工程 2007 : 201-237 [i2] 迈克拉·胡恩 , 哈迪·亨加 , 多龙·A·贝利德 :
07241总结-可认证可靠系统的基于模型的开发工具。 可认证、可靠系统的基于模型的开发工具 2007 [i1] 迈克拉·胡恩 , 哈迪·亨加 , 多龙·A·贝利德 :
07241摘要集-可认证、可靠系统基于模型开发的工具。 可认证、可靠系统的基于模型的开发工具 2007 2006 [公元25年] 沃纳·达姆 , Stefan Disch公司 , 哈迪·亨加 , 彭军(Jun Pang) , 弗洛里安·皮戈什 , 克里斯托夫·斯科尔 , 乌韦·沃尔德曼 , 鲍里斯·维茨 :
大离散状态空间混合系统的自动验证。 ATVA公司 2006 : 276-291 [公元24年] 哈迪·亨加 :
UML-basierte Entwicklung sicherheitskritischer Systeme in Bahnbereich公司。 MBEES公司 2006 : 63-64 2005 【c23】 Udo Brockmeyer公司 , 沃纳·达姆 , 哈迪·亨加 , 伯恩哈德·约斯科 :
基于模型的开发过程中的自动验证。 MBEES公司 2005 : 113-124 2004 [j3] 哈迪·亨加 , 伯恩哈德·斯特芬 :
基于行为的模型构建。 国际期刊软件。 工具技术。 Transf公司。 6 ( 1 ) : 4-14 ( 2004 ) 2003 [公元22年] 哈迪·亨加 , 奥利弗·尼塞 , 伯恩哈德·斯特芬 :
自动化学习中的领域特定优化。 腔静脉 2003 : 315-327 【c21】 沃纳·达姆 , 哈迪·亨加 , Ernst-Rüdiger Olderog公司 :
关于合作交通代理的验证。 FMCO公司 2003 : 77-110 [公元20年] 哈迪·亨加 , 蒂齐亚娜·玛格丽亚 , 伯恩哈德·斯特芬 :
遗留系统的基于测试的模型生成。 国际贸易中心 2003 : 971-980 [第19条] 伯恩哈德·斯特芬 , 哈迪·亨加 :
基于行为的模型构建。 VMCAI公司 2003 : 5-19 2002 [第18条] 安德烈亚斯·哈格勒 , 哈迪·亨加 , 奥利弗·尼塞 , 伯恩哈德·斯特芬 :
通过适度正则外推生成模型。 FASE公司 2002 : 80-95 [第17条] 安德烈亚斯·哈格勒 , 哈迪·亨加 , 蒂齐亚娜·玛格丽亚 , 奥利弗·尼塞 , 伯恩哈德·斯特芬 , 汉斯·戴特(Hans-Dieter Ide) :
CTI系统基于模型测试的操作程序演示。 FASE公司 2002 : 336-340 [第16条] 哈迪·亨加 , 蒂齐亚娜·玛格丽亚 , 伯恩哈德·斯特芬 :
传统系统的模型生成。 RISSEF公司 2002 : 167-183
1990 – 1999
1999 [第15条] 汤姆·比恩米勒 , 尤尔根·博恩 , 亨宁·布林克曼 , Udo Brockmeyer公司 , 维尔纳·达姆 , 哈迪·亨加 , 彼得·詹森 :
汽车控制单元的验证。 正确的系统设计 1999 : 319-341 [第14条] 哈迪·亨加 :
模型检查和高阶递归。 MFCS公司 1999 : 149-159 1998 [第13条] 尤尔根·博恩 , 沃纳·达姆 , 奥尔娜·格伦伯格 , 哈迪·亨加 , 凯伦·拉斯特 :
一阶CTL模型检查。 FSTTCS公司 1998 : 283-294 1997 [第12条] 沃纳·达姆 , 伯恩哈德·约斯科 , 哈迪·亨加 , 阿米尔·普努利 :
STATEMATE设计的合成实时语义。 复合材料 1997 : 186-238 1995 [第11条] 哈迪·亨加 , 奥尔娜·格伦伯格 , 沃纳·达姆 :
假设模型检查必须真正具有象征意义。 CHARME公司 1995 : 1-20 [第2页] 沃纳·达姆 , 哈迪·亨加 , 彼得·凯尔布 , Rainer Schlör公司 :
状态图。 反应系统的形式化开发 1995 : 131-149 [第1页] 尤尔根·博恩 , 哈迪·亨加 :
Traverdi-分布式系统的转换和验证。 KORSO书籍 1995 : 317-338 1994 [注2] 哈迪·亨加 :
顺序程序在一阶逻辑中的语义表达。 芬丹。 信息学 21 ( 4 ) : 345-365 ( 1994 ) [j1] 哈迪·亨加 , 伯恩哈德·斯特芬 :
上下文无关进程的局部模型检查。 Nord.J.计算。 1 ( 三 ) : 364- ( 1994 ) [第10条] 哈迪·亨加 :
宏进程的模型检查。 CAV汽车 1994 : 169-181 【c9】 哈迪·亨加 :
无上下文进程的并行组成的局部模型检查。 CONCUR公司 1994 : 114-128 【c8】 哈迪·亨加 :
在时序逻辑之上使用可视化形式主义进行规范和验证。 正式系统规范 1994 : 305-339 1993 【c7】 哈迪·亨加 :
结合模型检查和定理证明来验证并行过程。 CAV汽车 1993 : 154-165 【c6】 哈迪·亨加 , 伯恩哈德·斯特芬 :
无上下文进程的本地模型检查。 ICALP公司 1993 : 593-605 [c5] 哈迪·亨加 :
验证功能程序的复杂性。 STACS公司 1993 : 428-439 1991 【c4】 哈迪·亨加 :
项目对不良签名的正确性。 FSTTCS公司 1991 : 109-120 【c3】 哈迪·亨加 :
Hoare-style证明系统的复杂性界限。 低收入国家 1991 : 120-126 【c2】 哈迪·亨加 :
证明程序正确性的复杂性。 节气门执行器控制系统 1991 : 459-474 1990 【b1】 哈迪·亨加 :
U.ber Komplexitätsfragen Hoarescher Beweissysteme:effiziente Beweiserstellung und Komplexitätsbedingte Grenzen bestimmter Systeme公司。 德国基尔大学, 1990 ,第1-148页
1980 – 1989
1988 【c1】 迈克尔·格拉博夫斯基 , 哈迪·亨加 :
论有效Hoare逻辑的存在性。 低收入国家 1988 : 428-435