迈克尔·维尔滕
人员信息
优化列表
2010 – 2019
2017 【b1】 迈克尔·维尔滕 :
基于硬件的完整性保护与虚拟化系统中的持续用户验证相结合。 德国慕尼黑技术大学, 2017 2015 [公元20年] 曼努埃尔·胡贝尔 , 朱利安·霍尔奇 , 迈克尔·维尔滕 , 迈克尔·韦 , 萨沙·韦塞尔 :
移动设备上操作系统级虚拟化的安全体系结构。 隐窝 2015 : 430-450 [第19条] 迈克尔·维尔滕 , 彼得·施耐德 , 萨沙·韦塞尔 , 克劳迪娅·埃克特 :
基于Web环境下触摸屏交互分析的用户身份验证。 ISPEC公司 2015 : 268-282 2014 [第18条] 沃尔夫冈·埃克尔 , 迈克尔·维尔滕 , 莱利·扎法里 , 阿甲·格亚尔 :
汽车SoC设计的综合集成。 数模转换器 2014 : 71:1-71:6 [第17条] 沃尔夫冈·埃克尔 , 迈克尔·维尔滕 , 莱利·扎法里 , 阿甲·格亚尔 :
系统级综合的元建模方法。 日期 2014 : 1-2 2013 [第16条] 迈克尔·维尔滕 , 萨沙·韦塞尔 , 弗雷德里克·斯塔姆普夫 , 克劳迪娅·埃克特 :
使用准虚拟化文件系统进行活动文件完整性监视。 入侵 2013 : 53-69 2012 [第15条] 沃尔夫冈·埃克尔 , 沃尔坎·埃森 , 迈克尔·维尔滕 , 都铎·蒂米塞斯库 :
SystemC作为基于OVM的工业验证环境中的支柱。 代码+ISSS 2012 : 307-312 [第14条] 迈克尔·维尔滕 , 弗雷德里克·斯塔姆普夫 :
虚拟机之间硬件保护TPM完整性测量的安全和隐私感知多路复用。 文博会 2012 : 324-336 2010 [第13条] 沃尔夫冈·埃克尔 , 沃尔坎·埃森 , 罗伯特·施温克 , 托马斯·斯坦林格 , 迈克尔·维尔滕 :
嵌入式硬件/软件系统的TLM+建模。 日期 2010 : 75-80 [第12条] Rainer Findenig公司 , 托马斯·莱特纳 , 迈克尔·维尔滕 , 沃尔夫冈·埃克尔 :
使用TLM快速准确的UML状态图建模 + 控制流抽象。 HLDVT公司 2010 : 97-102 [第11条] 沃尔夫冈·埃克尔 , 沃尔坎·埃森 , Rainer Findenig公司 , 托马斯·斯坦林格 , 迈克尔·维尔滕 :
用于硬件相关软件形式验证的模型简化技术。 HLDVT公司 2010 : 148-153 [第10条] 迈克尔·施耐德 , 迈克尔·维尔滕 , 延斯·豪珀特 :
ObjectRules框架-在动态环境中提供特殊上下文相关帮助。 智能环境 2010 : 122-127
2000 – 2009
2009 【c9】 沃尔夫冈·埃克尔 , 斯特凡·海宁 , 迈克尔·维尔滕 :
使用数据流抽象的虚拟样机进行HdS设计。 ASP-DAC公司 2009 : 293-300 2007 【c8】 沃尔夫冈·埃克尔 , 沃尔坎·埃森 , 拉尔斯·施恩伯格 , 托马斯·斯坦林格 , 迈克尔·维尔滕 , 迈克尔·赫尔 :
交互式表示:描述语言、抽象层和值表示对仿真性能的影响。 日期 2007 : 767-772 【c7】 沃尔夫冈·埃克尔 , 沃尔坎·埃森 , 托马斯·斯坦林格 , 迈克尔·维尔滕 , 迈克尔·赫尔 :
交互式表示:在SystemC中实现事务级断言框架。 日期 2007 : 894-899 【c6】 沃尔夫冈·埃克尔 , 沃尔坎·埃森 , 托马斯·斯坦林格 , 迈克尔·维尔滕 :
事务级断言优化的需求和概念。 IESS软件 2007 : 1-14 2006 【c5】 沃尔夫冈·埃克尔 , 沃尔坎·埃森 , 托马斯·斯坦林格 , 迈克尔·维尔滕 :
事务级建模案例研究。 FDL公司 2006 : 209-215 【c4】 沃尔夫冈·埃克尔 , 沃尔坎·埃森 , 托马斯·斯坦宁格 , 迈克尔·维尔滕 , 雅各布·斯密特 :
临时系统C断言的IP库。 FDL公司 2006 : 301-309 【c3】 沃尔夫冈·埃克尔 , 沃尔坎·埃森 , 托马斯·斯坦林格 , 迈克尔·维尔滕 , 迈克尔·赫尔 :
事务级断言的规范语言。 HLDVT公司 2006 : 77-84 【c2】 沃尔夫冈·埃克尔 , 沃尔坎·埃森 , 迈克尔·赫尔 , 托马斯·斯坦宁格 , 迈克尔·维尔滕 :
事务级断言的需求和概念。 ICCD公司 2006 : 286-293 2005 【c1】 彼得·齐普夫 , 奥利弗·索夫克 , 迈克尔·维尔滕 , 曼弗雷德·格莱斯纳 :
在SystemC中抽象出CNT-Elementen纳米电子的Modellierung der Eigenschaften von。 GI Jahrestagung(1) 2005 : 329-333