黄明乐 0001
人员信息
附属: 德国不来梅大学计算机科学研究所
其他同名人员
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2024 [i4] 莉莲·比亚洛科佐维奇 , Hoang M.Le(黄美乐) , 特里斯坦·西尔文 , 彼得·福赛斯 , Vineel Nagisetty公司 , 格雷格·莫里 :
OPSurv:用于生存分析的正交多项式求积算法。 CoRR公司 abs/2402.01955 ( 2024 ) 2023 [第51条] Hoang M.Le(黄美乐) , 布赖恩·普莱斯 , 斯科特·科恩 , 迈克尔·S·布朗 :
GamutMLP:用于颜色损失恢复的轻量级MLP。 CVPR公司 2023 : 18268-18277 [i3] Hoang M.Le(黄美乐) , 布赖恩·普莱斯 , 斯科特·科恩 , 迈克尔·S·布朗 :
GamutMLP:用于颜色损失恢复的轻量级MLP。 CoRR公司 abs/2304.11743 ( 2023 ) 2022 [公元50年] Hoang M.Le(黄美乐) , 德克·T·M·斯洛克 , 珍妮·皮尔·罗西 :
基于3D DDoA的移动设备自我定位。 欧盟SIPCO 2022 : 1946-1950 2021 [公元49年] Dimitar Ho公司 , 黄明乐 , 约翰·道尔 , 易松岳 :
大不确定性非线性系统的在线鲁棒控制。 AISTATS公司 2021 : 3475-3483 [公元48年] 黄明乐 , 德克·T·M·斯洛克 , 珍妮·皮尔·罗西 :
基于2D DDoA的移动设备自我定位。 欧盟SIPCO 2021 : 1711-1715 [公元47年] Hoang M.Le(黄美乐) , Taehong Jeong公司 , 阿卜杜勒拉赫曼·阿卜杜勒哈米德 , Hyun Joon Shin先生 , 迈克尔·S·布朗 :
GamutNet:为摄像头捕获的图像恢复宽幅颜色。 中投公司 2021 : 7-12 [公元46年] 黄明乐 , 德克·T·M·斯洛克 , 珍妮·皮尔·罗西 :
基于二维DoA的相位跳变校正定位和近似最大似然估计。 MENACOMM公司 2021 : 19-24 [公元45年] 黄明乐 , 德克·T·M·斯洛克 , 珍妮·皮尔·罗西 :
基于联合DDoA-ToA的三维自定位算法。 MENACOMM公司 2021 : 125-129 [i2] Dimitar Ho公司 , Hoang M.Le(黄美乐) , 约翰·多伊尔 , 易松岳 :
大不确定性非线性系统的在线鲁棒控制。 CoRR公司 abs/2103.11055 ( 2021 ) 2020 [公元44年] Hoang M.Le(黄美乐) , 珍妮·皮尔·罗西 , 德克·T·M·斯洛克 :
基于RSS定位三边形的几何解释。 欧盟SIPCO 2020 : 1797-1801 [公元43年] Hoang M.Le(黄美乐) :
基于LLVM的混合模糊与LibKluzzer(竞争贡献)。 FASE公司 2020 : 535-539 [公元42年] Hoang M.Le(黄美乐) , 马哈茂德·阿菲菲 , 迈克尔·S·布朗 :
通过广域元数据改进摄像机捕获图像的颜色空间转换。 中投公司 2020 : 193-198
2010 – 2019
2019 【j4】 莫辛·拉扎 , 穆罕默德·阿维斯 , W.埃拉希 , 诺曼·阿斯拉姆 , 阮焕轩 , 黄明乐 :
使用经典和深度学习技术诊断和监测阿尔茨海默病患者。 专家系统。 应用。 136 : 353-364 ( 2019 ) [j3] 弗拉基米尔·赫特 , Hoang M.Le(黄美乐) , 丹尼尔·格罗 , 罗尔夫·德雷克斯勒 :
将基于序列化的多线程C程序验证与符号部分降阶相结合。 国际期刊软件。 技术工具。 Transf公司。 21 ( 5 ) : 545-565 ( 2019 ) [注2] 弗拉基米尔·赫特 , Hoang M.Le(黄美乐) , 丹尼尔·格罗 , 罗尔夫·德雷克斯勒 :
使用中间验证语言和状态符号模拟验证SystemC。 IEEE传输。 计算。 辅助设计。 集成。 电路系统。 38 ( 7 ) : 1359-1372 ( 2019 ) [公元41年] 弗拉基米尔·赫特 , Hoang M.Le(黄美乐) , 丹尼尔·格罗 , 罗尔夫·德雷克斯勒 :
在基于固件的电源管理中最大化电源状态交叉覆盖。 ASP-DAC公司 2019 : 335-340 [公元40年] Hoang M.Le(黄美乐) :
克鲁泽:LLVM顶部的白盒模糊。 ATVA公司 2019 : 246-252 [公元39年] Massoud康复中心 , Hoang M.Le(黄美乐) , 彼得·奇尼 , 普拉卡什·塞瓦桑 , 罗兰·梅耶 , 罗尔夫·德雷克斯勒 :
使用时间表对芯片内信号进行时间跟踪。 数模转换器 2019 : 186 [公元38年] 弗拉基米尔·赫特 , 丹尼尔·格罗 , Hoang M.Le(黄美乐) , 罗尔夫·德雷克斯勒 :
使用虚拟原型对嵌入式二进制文件进行早期协和测试:RISC-V案例研究。 数模转换器 2019 : 188 [公元37年] 弗拉基米尔·赫特 , 丹尼尔·格罗 , Hoang M.Le(黄美乐) , 罗尔夫·德雷克斯勒 :
使用Coverage-guided Fuzzing验证指令集模拟器 * . 日期 2019 : 360-365 [公元36年] 穆罕默德·哈桑 , 丹尼尔·格罗 , Hoang M.Le(黄美乐) , 罗尔夫·德雷克斯勒 :
SystemC-AMS定时数据流模型的数据流测试。 日期 2019 : 366-371 [公元35年] Hoang M.Le(黄美乐) , 丹尼尔·格罗 , 尼克拉斯·布伦斯 , 罗尔夫·德雷克斯勒 :
通过Coverage guided Fuzzing检测SystemC HLS设计中的硬件木马。 日期 2019 : 602-605 [公元34年] Massoud康复中心 , Hoang M.Le(黄美乐) , 罗尔夫·德雷克斯勒 :
基于时间打印的跟踪和监视的属性驱动时间戳编码。 格式 2019 : 41-58 2018 [公元33年] Hoang M.Le(黄美乐) , 弗拉基米尔·赫特 , 丹尼尔·格罗 , 罗尔夫·德雷克斯勒 :
通过中间代码上的符号错误注入进行弹性评估。 日期 2018 : 845-850 [公元32年] 穆罕默德·哈桑 , 丹尼尔·格罗 , Hoang M.Le(黄美乐) , 蒂洛·沃尔特勒 , 卡尔斯滕·埃因维奇(Karsten Einwich) , 罗尔夫·德雷克斯勒 :
SystemC-AMS定时数据流模型的测试台鉴定。 日期 2018 : 857-860 [公元31年] 弗拉基米尔·赫特 , Hoang M.Le(黄美乐) , 丹尼尔·格罗 , 罗尔夫·德雷克斯勒 :
走向全自动TLM-to-RTL属性优化。 日期 2018 : 1508-1511 [公元30年] 弗拉基米尔·赫特 , 丹尼尔·格罗 , Hoang M.Le(黄美乐) , 罗尔夫·德雷克斯勒 :
可扩展和可配置的基于RISC-V的虚拟原型。 FDL公司 2018 : 5-16 [公元29年] 弗拉基米尔·赫特 , Hoang M.Le(黄美乐) , 丹尼尔·格罗 , 罗尔夫·德雷克斯勒 :
实现TLM属性到RTL的自动优化。 MBMV公司 2018 2017 [公元28年] 穆罕默德·哈桑 , 弗拉基米尔·赫特 , Hoang M.Le(黄美乐) , 陈明松 , 丹尼尔·格罗 , 罗尔夫·德雷克斯勒 :
虚拟原型的数据流测试。 日期 2017 : 380-385 [公元27年] 弗拉基米尔·赫特 , Hoang M.Le(黄美乐) , 丹尼尔·格罗 , 罗尔夫·德雷克斯勒 :
使用虚拟原型对基于固件的电源管理进行早期验证:一种约束随机方法。 FDL公司 2017 : 1-8 [公元26年] 弗拉基米尔·赫特 , Hoang M.Le(黄美乐) , 丹尼尔·格罗 , 罗尔夫·德雷克斯勒 :
使用虚拟样机实现基于固件的电源管理的早期验证:一种约束随机方法。 FDL(论文选集) 2017 : 25-44 [公元25年] 穆罕默德·哈桑 , 弗拉基米尔·赫特 , Hoang M.Le(黄美乐) , 丹尼尔·格罗 , 罗尔夫·德雷克斯勒 :
通过基于VP的静态信息流分析进行早期SoC安全验证。 国际计算机辅助设计协会 2017 : 400-407 2016 [公元24年] 弗拉基米尔·赫特 , 黄明乐 , 丹尼尔·格罗 , 罗尔夫·德雷克斯勒 :
ParCoSS:高效的并行编译符号模拟。 CAV(2) 2016 : 177-183 【c23】 黄明乐 , 弗拉基米尔·赫特 , 丹尼尔·格罗 , 罗尔夫·德雷克斯勒 :
面向真实世界SystemC TLM外围模型的正式验证-案例研究。 日期 2016 : 1160-1163 [公元22年] 弗拉基米尔·赫特 , Hoang M.Le(黄美乐) , 丹尼尔·格罗 , 罗尔夫·德雷克斯勒 :
将形式化故障定位应用于自动RTL-to-TLM故障对应分析,以实现快速准确的基于虚拟样机的错误影响模拟——一个案例研究。 FDL公司 2016 : 1-8 [c21] 弗拉基米尔·赫特 , Hoang M.Le(黄美乐) , 丹尼尔·格罗 , 罗尔夫·德雷克斯勒 :
系统C的编译符号模拟。 国际计算机辅助设计协会 2016 : 52 [公元20年] 丹尼尔·格罗 , Hoang M.Le(黄美乐) , 穆罕默德·哈桑 , 罗尔夫·德雷克斯勒 :
使用虚拟样机进行IP集成的指导性轻量级软件测试鉴定。 ICCD公司 2016 : 606-613 2015 【b1】 黄明乐 :
电子系统级功能验证的自动化技术。 德国不来梅大学, 2015 ,第1-124页 [第19条] 弗拉基米尔·赫特 , 黄明乐 , 丹尼尔·格罗 , 罗尔夫·德雷克斯勒 :
Lazy-CSeq-SP:通过冗余调度的符号删减促进基于序列化的多线程C程序验证。 ATVA公司 2015 : 228-233 [第18条] 弗拉基米尔·赫特 , 黄明乐 , 罗尔夫·德雷克斯勒 :
使用有状态符号模拟验证SystemC。 数模转换器 2015 : 49:1-49:6 [第1页] Hoang M.Le(黄美乐) :
功能验证eingebetter Systeme:Techniken und Werkzeuge auf Systemebene。 澳大利亚信息技术协会 2015 : 179-188 2014 [第17条] Jan-Hendrik Oetjens公司 , 尼科·班诺 , 马库斯·贝克尔 , 奥利弗·布林曼 , 安德烈亚斯·伯格 , 穆门·查里 , 萨马尔吉特·查克拉博蒂 , 罗尔夫·德雷克斯勒 , 沃尔夫冈·埃克尔 , 金·格里特纳 , 托马斯·克鲁斯 , 克里斯托夫·库兹尼克 , 黄明乐 , 安德烈亚斯·莫德勒 , 沃尔夫冈·米勒 , 丹尼尔·穆勒-格里奇内德 , 弗兰克·波彭 , 亨德里克邮报 , 塞巴斯蒂安·雷特 , 沃尔夫冈·罗森斯蒂尔 , S.罗斯 , 乌尔夫·施利特曼 , 安德烈亚斯·冯·施韦林 , 波格丹·阿安德雷·塔巴卡鲁 , 亚历山大·维尔 :
使用虚拟样机对汽车电子产品进行安全评估:最新技术和研究挑战。 数模转换器 2014 : 113:1-113:6 [第16条] 黄明乐 , 罗尔夫·德雷克斯勒 :
验证SystemC设计的确定性。 日期 2014 : 1-4 [第15条] 阿尔乔沙·温得霍斯特 , 黄明乐 , 丹尼尔·格罗 , 罗尔夫·德雷克斯勒 :
功能Abdeckungsanalyse von C程序。 MBMV公司 2014 : 201-204 [第14条] 罗尔夫·德雷克斯勒 , 黄明乐 , 马西亚斯·苏肯 :
自我验证是下一代电子系统的关键技术。 SBCCI公司 2014 : 15:1-15:4 2013 [第13条] 黄明乐 , 丹尼尔·格罗 , 弗拉基米尔·赫特 , 罗尔夫·德雷克斯勒 :
使用中间验证语言和符号模拟验证SystemC。 数模转换器 2013 : 116:1-116:6 [第12条] 黄明乐 , 丹尼尔·格罗 , 罗尔夫·德雷克斯勒 :
SystemC TLM设计的可扩展故障定位。 日期 2013 : 35-38 2012 [j1] 黄明乐 , 丹尼尔·格罗 , 罗尔夫·德雷克斯勒 :
SystemC的自动TLM故障定位。 IEEE传输。 计算。 辅助设计。 集成。 电路系统。 31 ( 8 ) : 1249-1262 ( 2012 ) [第11条] 马西奥·达·奥利维拉 , 克里斯托夫·库兹尼克 , 黄明乐 , 丹尼尔·格罗 , 芬恩·哈迪克 , 沃尔夫冈·米勒 , 罗尔夫·德雷克斯勒 , 沃尔夫冈·埃克尔 , 沃尔坎·埃森 :
高级TLM验证的系统验证方法。 代码+ISSS 2012 : 313-322 [第10条] 罗尔夫·德雷克斯勒 , 梅兰妮·迪彭贝克 , 丹尼尔·格罗 , 乌尔里希·库恩 , 黄明乐 , 朱莉娅·塞特 , 马西亚斯·苏肯 , 罗伯特·威利 :
完整性驱动开发。 国际燃气轮机 2012 : 38-50 【c9】 Hoang M.Le(黄美乐) , 丹尼尔·格罗 , 罗尔夫·德雷克斯勒 :
从需求和场景到SystemC中的ESL设计。 国际教育部 2012 : 183-187 【c8】 芬恩·哈迪克 , 黄明乐 , 丹尼尔·格罗 , 罗尔夫·德雷克斯勒 :
CRAVE:SystemC的高级约束随机验证环境。 ISSoC公司 2012 : 1-7 [c7] 芬恩·哈迪克 , 黄明乐 , 丹尼尔·格罗 , 罗尔夫·德雷克斯勒 :
CRAVE:SystemC的高级约束RAndom验证环境。 MBMV公司 2012 : 37-48 2010 【c6】 黄明乐 , 丹尼尔·格罗 , 罗尔夫·德雷克斯勒 :
分析SystemC TLM属性检查中的功能覆盖。 HLDVT公司 2010 : 67-74 【c5】 丹尼尔·格罗 , 黄明乐 , 罗尔夫·德雷克斯勒 :
证明未命名SystemC TLM设计的事务和系统级属性。 记忆码 2010 : 113-122 【c4】 黄明乐 , 丹尼尔·格罗 , 罗尔夫·德雷克斯勒 :
SystemC TLM设计的自动故障定位。 音乐电视 2010 : 35-40
2000 – 2009
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)