迈克拉·胡恩
人员信息
优化列表
![笔记](https://dblp.org/img/note-mark.dark.12x12.png)
2010 – 2019
2017 [电子9] 迈克拉·胡恩 , 劳里·A·威廉姆斯 :
2014年7月17日至18日,美国华盛顿特区SEHC,2014年第四届国际研讨会,FHIES,第六届国际研讨会。 计算机科学课堂讲稿 9062, 施普林格 2017 ,国际标准图书编号 978-3-319-63193-6 【内容】 2015 [j7] 克里斯托夫·克奈克 , 迈克拉·胡恩 :
活动图的语义基础和验证。 Nord.J.计算。 15 ( 2 ) : 112-140 ( 2015 ) 2014 [j6] 迈克拉·胡恩 , 斯特凡·米利乌斯 :
在实践中对正式安全分析的观察。 科学。 计算。 程序。 80 : 150-168 ( 2014 ) [公元47年] 亨宁·巴索尔德 , 亨宁·昆瑟(Henning Günther) , 迈克拉·胡恩 , 斯特凡·米利厄斯 :
基于SMT的Scade模型验证的开放替代方案。 飞行管理信息系统 2014 : 124-139 [公元46年] 迈克拉·胡恩 , 斯特凡·格肯 , 卡斯滕·鲁道夫 :
CeMoSS-安全可靠软件的认证和模型驱动开发。 软件工程 2014 : 207-208 2013 [公元45年] 萨拉·贝斯林 , 迈克拉·胡恩 :
面向特征的产品线开发中的形式安全分析。 FHIES公司 2013 : 217-235 [公元44年] 马克西姆斯·菲奥辛 , Jörg P.Müller先生 , 迈克拉·胡恩 :
自治交通网络的基于范数的概率决策模型。 PAAMS(车间) 2013 : 49-60 [公元43年] 迈克拉·胡恩 , 斯特凡·格肯 , 卡斯滕·鲁道夫 :
ZeMoSS-车间:Zertifizierung und modellgetriebene Entwicklung sicherer Software。 软件工程 2013 : 367 [公元42年] 塞巴斯蒂安·萨尔 , 丹尼斯·克拉尔 , 马库斯·西曼 , 迈克拉·胡恩 :
Zur Risikobestimmung bei Security-Analysen in der Eisenbahnsignaltechnik公司。 软件工程(研讨会) 2013 : 515-528 [电子8] 霍尔格·吉斯 , 迈克拉·胡恩 , 简·菲利普斯 , 伯恩哈德·施瓦茨 :
Dagstuhl-Workshop MBEES:Modellbasierte Entwicklung eingebetter Systeme IX,德国达格斯图尔Schloss,2013年4月24日至26日,Tagungsband Modellbasite-Entwicklung-eingbetter System。 富通股份有限公司,慕尼黑 2013 【内容】 [i3] 达伦·D·科弗 , 约翰·哈特克利夫 , 迈克拉·胡恩 , 马克·劳福德 :
软件认证:方法和工具(Dagstuhl研讨会13051)。 Dagstuhl报告 三 ( 1 ) : 111-148 ( 2013 ) 2012 [j5] 丹尼斯·克拉尔 , 迈克拉·胡恩 :
在诊断von Automatisierungssystemen中集成domänenspezifischer Modellierung。 软件技术——趋势 32 ( 2 ) ( 2012 ) [公元41年] 丹尼斯·克拉尔 , 迈克拉·胡恩 :
网络物理生态系统诊断的接口和模型。 目的地 2012 : 1-6 [公元40年] 迈克拉·胡恩 , 萨拉·贝斯林 :
通过安全要求和验证加强产品线开发。 FHIES公司 2012 : 37-54 [公元39年] 萨拉祝福 , 迈克拉·胡恩 :
起搏器产品线模型驱动开发中的正式安全分析和验证。 MBEES公司 2012 : 133-144 [公元38年] 帕特里克·沃纳 , 斯特凡·格肯 , 迈克拉·胡恩 :
GSN M-编辑:Ein modellgetriebener编辑器für modulare GSN Argumentation。 软件工程(研讨会) 2012 : 163-174 [公元37年] 迈克拉·胡恩 , 斯特凡·格肯 , 卡斯滕·鲁道夫 :
Zertifizierung und modellgetriebene Entwicklung sicherer Software(ZeMoSS 2012)。 软件工程 2012 : 198-200 [电子7] 霍尔格·吉斯 , 迈克拉·胡恩 , 简·菲利普斯 , 伯恩哈德·施瓦茨 :
Dagstuhl-Workshop MBEES:Modellbasierte Entwicklung eingebetter Systeme VIII,德国达格斯图尔宫,2012,塔贡斯班德Modellbasite-Entwicklung-engebetter-Systeme。 富通股份有限公司,慕尼黑 2012 【内容】 2011 [公元36年] 陈五柱 , 迈克拉·胡恩 , 彼得·弗里茨森 :
Modelica的通用FMU接口。 EOOLT公司 2011 : 19-24 [公元35年] 丹尼斯·克拉尔 , 迈克拉·胡恩 , Jochen Grühser先生 :
症状传播和转换分析:大型自动化系统系统级诊断的实用模型。 ETFA公司 2011 : 1-9 [公元34年] 伊利亚斯·达斯卡娅 , 迈克拉·胡恩 , 斯特凡·米利乌斯 :
工业实践中的正式安全分析。 飞行管理信息系统 2011 : 68-84 [公元33年] 贾娜·格尔默 , 吉安妮娜·霍莫西努 , 克里斯托弗·穆姆 , 迈克拉·胡恩 , Jörg P.Müller先生 :
JREP:扩展JADE代理行为组件的Repast Simphony。 进气温度(IAT) 2011 : 149-154 [公元32年] 丹尼斯·克拉尔 , 迈克拉·胡恩 , Jochen Grühser先生 :
铁路自动化诊断:实践中大型模型的案例研究。 MBEES公司 2011 : 101-114 [电子6] 霍尔格·吉斯 , 迈克拉·胡恩 , 简·菲利普斯 , 伯恩哈德·施瓦茨 :
Dagstuhl-Workshop MBEES:Modellbasierte Entwicklung eingebetter Systeme VII,德国达格斯图尔学院,2011年,塔贡斯班Modellbasite-Entwicklung-engebetter-Systeme。 富通股份有限公司,慕尼黑 2011 【内容】 2010 [公元31年] 克里斯蒂安·舒尔茨 , 迈克拉·胡恩 , 马丁·施勒 :
Modelica实时模型的分析。 EOOLT公司 2010 : 23-31 [公元30年] 迈克拉·胡恩 , 阿克塞尔·泽切纳 :
符合IEC 62304标准的开发过程中的软件质量论证。 ISoLA(2) 2010 : 296-311 [公元29年] 迈克拉·胡恩 , 德克·沙尔夫 :
SCADE模型克隆的一些观察结果。 MBEES公司 2010 : 97-106 [电子5] 霍尔格·吉斯 , 迈克拉·胡恩 , 简·菲利普斯 , 伯恩哈德·舍茨 :
Dagstuhl-Workshop MBEES:Modellbasierte Entwicklung eingebetter Systeme VI,德国达格斯图尔校区,2010年,Tagungsband Modellbasitee Entwitchlung eingbetter System。 富通股份有限公司,慕尼黑 2010 【内容】
2000 – 2009
2009 [公元28年] 丹尼斯·克拉尔 , 迈克拉·胡恩 :
离散事件系统基于模型诊断的偏序算法。 MBEES公司 2009 : 103-114 [公元27年] 阿克塞尔·泽切纳 , 迈克拉·胡恩 :
基于模型的开发环境中安全案例论证的结构分析。 MBEES公司 2009 : 115-127 [公元26年] 迈克拉·胡恩 , 阿克塞尔·泽切纳 :
使用质量模型分析可靠性案例论证。 SAFECOMP公司 2009 : 118-131 [电子4] 霍尔格·吉斯 , 迈克拉·胡恩 , 乌尔里希镍 , 伯恩哈德·施瓦茨 :
Dagstuhl-Workshop MBEES:Modellbasierte Entwicklung eingebetter Systeme V,德国达格斯图尔学院,2009年,Tagungsband Modellbasite-Entwicklung-eingbetter System。 Informatik-Bericht公司 2009-01, TU Braunschweig,软件系统工程研究所 2009 【内容】 [电子3] 迈克拉·胡恩 , 哈迪·亨加 :
安全关键软件控制系统认证第一次研讨会会议记录, 安全证书@ETAPS 2008年4月29日,匈牙利布达佩斯。 理论计算机科学电子笔记 238(4), 爱思维尔 2009 【内容】 2008 【j4】 弗洛里安·费伯 , 迈克拉·胡恩 , 伯恩哈德·伦普 :
Modellqualität als Indikator für软件质量:eine分类学。 通知。 Spektrum公司 31 ( 5 ) : 408-424 ( 2008 ) [公元25年] 克里斯托弗·克奈克 , 迈克拉·胡恩 , 马尔特·洛肖 :
使用活动图对可执行需求进行建模和验证。 SERA公司 2008 : 51-58 [公元24年] 克里斯托夫·克奈克 , 迈克拉·胡恩 , 马尔特·洛肖 :
可执行需求规范:活动图的形式语义。 TASE公司 2008 : 109-112 【c23】 迈克拉·胡恩 , Hardi Hungar公司 :
前言。 安全证书@ETAPS 2008 : 1-2 [电子2] 迈克拉·胡恩 , 哈迪·亨加 , 多龙·A·贝利德 :
可认证、可靠系统的基于模型的开发工具,10.06.- 15.06.2007. 达格斯图尔研讨会记录 07241, 德国达格斯图尔宫国际展览中心-und Forschungszentrum fuer Informatik(IBFI) 2008 【内容】 [电子1] 霍尔格·吉斯 , 迈克拉·胡恩 , 乌尔里奇镍业公司 , 伯恩哈德·施瓦茨 :
Dagstuhl-Workshop MBEES:Modellbasierte-Entwicklung eingebetter Systeme IV,德国达格斯图尔宫,7.-9。 2008年4月,Tagungsband Modellbasierte Entwicklung eingebetter Systeme。 信息-Bericht 2008-2, TU Braunschweig,软件系统工程研究所 2008 【内容】 2007 [j3] 巴斯蒂安·弗洛伦茨 , 迈克拉·胡恩 :
架构(Architecture)潜力分析:深入了解架构评估(Evaluation)。 J.软。 2 ( 4 ) : 43-56 ( 2007 ) [公元22年] 迈克拉·胡恩 , 哈迪·亨加 :
软件安全和认证UML——安全关键软件集成系统的基于模型的开发。 基于模型的嵌入式实时系统工程 2007 : 201-237 【c21】 马蒂亚斯·哈格纳 , 迈克拉·胡恩 :
基于UML的建模与分析。 GI Jahrestagung(2) 2007 : 531-535 [i2] 迈克拉·胡恩 , 哈迪·亨加 , 多龙·A·贝利德 :
07241总结-可认证可靠系统的基于模型的开发工具。 可认证、可靠系统的基于模型的开发工具 2007 [i1] 米夏拉·胡恩 , 哈迪·亨加 , 多龙·A·贝利德 :
07241摘要集-可认证、可靠系统的基于模型的开发工具。 可认证、可靠系统的基于模型的开发工具 2007 2006 [公元20年] 蒂洛·穆克尔 , 迈克拉·胡恩 :
在测试生成期间最小化测试执行时间。 SET(设置) 2006 : 223-235 [c19] 迈克拉·胡恩 , 蒂洛·穆克尔 :
比较基于模型的测试套件生成的启发式。 MBEES公司 2006 : 53-62 [第18条] 巴斯蒂安·弗洛伦茨 , 迈克拉·胡恩 :
嵌入式系统体系结构:评估和分析。 质量保证体系 2006 : 145-162 2005 [第17条] 蒂洛·穆克尔 , 迈克拉·胡恩 :
在测试套件生成中优化测试执行时间。 GI Jahrestagung(2) 2005 : 480-485 2004 [第16条] 蒂洛·穆克尔 , 迈克拉·胡恩 :
随时间生成UML状态图的优化测试套件。 测试通信 2004 : 128-143 [第15条] 卡斯滕·迪瑟斯 , 迈克拉·胡恩 :
Vooduu:使用UPPAAL验证面向对象的设计。 TACAS公司 2004 : 139-143 2001 [c14] 彼得·尼伯特 , 迈克拉·胡恩 , 莎拉·泽诺 , 丹尼斯·卢吉兹 :
局部优先搜索——部分降阶的新范式。 CONCUR公司 2001 : 396-410
1990 – 1999
1999 [注2] Detlef Schmid公司 , 克劳斯·施耐德 , 米夏拉·胡恩 , 乔治·洛戈塞提斯 , 维克托·萨贝尔菲尔德 :
形式验证eingebetter Systeme。 信息技术技术信息。 41 ( 2 ) : 12-16 ( 1999 ) [第13条] 克劳斯·施耐德 , 迈克拉·胡恩 , 乔治·洛戈塞提斯 :
通过模型检查验证面向对象的并发设计。 CHARME公司 1999 : 360-364 [第12条] 迈克拉·胡恩 , 克劳斯·施耐德 , 托马斯·克罗夫 , 乔治·洛戈塞提斯 :
验证工作不精确的算术电路。 日期 1999 : 65- [第11条] 托马斯·斯塔纳 , 克劳斯·施耐德 , 米夏拉·胡恩 :
将视觉描述技术转换为同步语言:从DiChartsto PURR。 FBT公司 1999 : 223-232 [第10条] 迈克拉·胡恩 , 彼得·尼伯特 , 弗兰克·沃纳 :
通信顺序代理的模型检查逻辑。 FoSSaCS公司 1999 : 227-242 【c9】 托马斯·菲利 , 迈克拉·胡恩 , 卡斯滕·迪瑟斯 , 托马斯·格尔克 , 乌苏拉·戈尔茨 :
时序图和基于工具的分析——案例研究。 统一建模语言 1999 : 645-660 1998 【c8】 托马斯·盖尔克 , 迈克拉·胡恩 , 彼得·尼伯特 , 阿伦德·伦辛克 , 海克·韦尔海姆 :
MSC包含条件的过程代数语义。 FBT公司 1998 : 185-196 【c7】 托马斯·盖尔克 , 迈克拉·胡恩 , 阿伦德·伦辛克 , 海克·韦尔海姆 :
消息序列图文档的代数语义。 复地 1998 : 3-18 【c6】 迈克拉·胡恩 , 彼得·尼伯特 , 海克·韦尔海姆 :
用于双模拟检查的偏序约简。 FSTTCS公司 1998 : 271-282 【c5】 克劳斯·施耐德 , 迈克拉·胡恩 :
用于嵌入式系统验证的模型检查和术语重写的比较。 DIPES公司 1998 : 129-138 【c4】 迈克拉·胡恩 , 彼得·尼伯特 , 弗兰克·沃纳 :
基于当地州的验证。 TACAS公司 1998 : 36-51 1997 【b1】 迈克拉·胡恩 :
关于分布式系统的分层设计。 希尔德斯海姆大学, 1997 第I-XII、1-277页 [j1] 冈特兰·威克 , 迈克拉·胡恩 , 安德烈亚斯·普菲茨曼 , 彼得·斯塔克内特 :
Kryptoregulierung公司。 Wirtschaftsinf公司。 39 ( 三 ) : 279-282 ( 1997 ) 1996 【c3】 迈克拉·胡恩 , 彼得·尼伯特 :
转向分支时间和部分顺序的自动机。 CONCUR公司 1996 : 611-626 [c2] 迈克拉·胡恩 :
顺序代理系统中的动作细化和属性继承。 CONCUR公司 1996 : 639-654 【c1】 托马斯·盖尔克 , 迈克拉·胡恩 :
ProFun-一种用于可执行规范的语言。 PLILP公司 1996 : 304-318
合著者索引
![](https://dblp.org/img/cog.dark.24x24.png)