Hoang M. Le

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 32

Top Topics

Power Management

Captured Images

Top Venues

Publications

Lilian W. Bialokozowicz, Hoang M. Le, Tristan Sylvain, Peter A. I. Forsyth, Vineel Nagisetty, Greg Mori
OPSurv: Orthogonal Polynomials Quadrature Algorithm for Survival Analysis. CoRR (2024)
Hoang M. Le, Brian Price, Scott Cohen, Michael S. Brown
GamutMLP: A Lightweight MLP for Color Loss Recovery. CoRR (2023)
Hoang M. Le, Brian Price, Scott Cohen, Michael S. Brown
GamutMLP: A Lightweight MLP for Color Loss Recovery. CVPR (2023)
Hoang M. Le, Dirk T. M. Slock, Jean-Pierre Rossi
3D DDoA-based Self-Positioning of Mobile Devices. EUSIPCO (2022)
Dimitar Ho, Hoang M. Le, John C. Doyle, Yisong Yue
Online Robust Control of Nonlinear Systems with Large Uncertainty. CoRR (2021)
Hoang M. Le, Taehong Jeong, Abdelrahman Abdelhamed, Hyun Joon Shin, Michael S. Brown
GamutNet: Restoring Wide-Gamut Colors for Camera-Captured Images. CIC (2021)
Hoang M. Le, Mahmoud Afifi, Michael S. Brown
Improving Color Space Conversion for Camera-Captured Images via Wide-Gamut Metadata. CIC (2020)
Hoang M. Le
LLVM-based Hybrid Fuzzing with LibKluzzer (Competition Contribution). FASE (2020)
Hoang M. Le, Jean-Pierre Rossi, Dirk T. M. Slock
A Geometric Interpretation of Trilateration for RSS-based Localization. EUSIPCO (2020)
Rehab Massoud, Hoang M. Le, Rolf Drechsler
Property-Driven Timestamps Encoding for Timeprints-Based Tracing and Monitoring. FORMATS (2019)
Hoang M. Le
KLUZZER: Whitebox Fuzzing on Top of LLVM. ATVA (2019)
Vladimir Herdt, Daniel Große, Hoang M. Le, Rolf Drechsler
Early Concolic Testing of Embedded Binaries with Virtual Prototypes: A RISC-V Case Study. DAC (2019)
Muhammad Hassan, Daniel Große, Hoang M. Le, Rolf Drechsler
Data Flow Testing for SystemC-AMS Timed Data Flow Models. DATE (2019)
Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler
Maximizing power state cross coverage in firmware-based power management. ASP-DAC (2019)
Vladimir Herdt, Daniel Große, Hoang M. Le, Rolf Drechsler
. DATE (2019)
Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler
Combining sequentialization-based verification of multi-threaded C programs with symbolic Partial Order Reduction. Int. J. Softw. Tools Technol. Transf. 21 (5) (2019)
Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler
Verifying SystemC Using Intermediate Verification Language and Stateful Symbolic Simulation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 38 (7) (2019)
Rehab Massoud, Hoang M. Le, Peter Chini, Prakash Saivasan, Roland Meyer, Rolf Drechsler
Temporal Tracing of On-Chip Signals using Timeprints. DAC (2019)
Hoang M. Le, Daniel Große, Niklas Bruns, Rolf Drechsler
Detection of Hardware Trojans in SystemC HLS Designs via Coverage-guided Fuzzing. DATE (2019)
Vladimir Herdt, Daniel Große, Hoang M. Le, Rolf Drechsler
Extensible and Configurable RISC-V Based Virtual Prototype. FDL (2018)
Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler
Towards Automated Refinement of TLM Properties to RTL. MBMV (2018)
Hoang M. Le, Vladimir Herdt, Daniel Große, Rolf Drechsler
Resilience evaluation via symbolic fault injection on intermediate code. DATE (2018)
Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler
Towards fully automated TLM-to-RTL property refinement. DATE (2018)
Muhammad Hassan, Daniel Große, Hoang M. Le, Thilo Vörtler, Karsten Einwich, Rolf Drechsler
Testbench qualification for SystemC-AMS timed data flow models. DATE (2018)
Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler
Towards Early Validation of Firmware-Based Power Management Using Virtual Prototypes: A Constrained Random Approach. FDL (Selected Papers) (2017)
Muhammad Hassan, Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler
Early SoC security validation by VP-based static information flow analysis. ICCAD (2017)
Muhammad Hassan, Vladimir Herdt, Hoang M. Le, Mingsong Chen, Daniel Große, Rolf Drechsler
Data flow testing for virtual prototypes. DATE (2017)
Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler
Towards early validation of firmware-based power management using virtual prototypes: A constrained random approach. FDL (2017)
Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler
Compiled symbolic simulation for systemC. ICCAD (2016)
Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler
On the application of formal fault localization to automated RTL-to-TLM fault correspondence analysis for fast and accurate VP-based error effect simulation - a case study. FDL (2016)
Daniel Große, Hoang M. Le, Muhammad Hassan, Rolf Drechsler
Guided lightweight Software test qualification for IP integration using Virtual Prototypes. ICCD (2016)
Hoang M. Le
Funktionale Verifikation eingebetteter Systeme: Techniken und Werkzeuge auf Systemebene. Ausgezeichnete Informatikdissertationen (2015)
Hoang M. Le, Daniel Große, Rolf Drechsler
From Requirements and Scenarios to ESL Design in SystemC. ISED (2012)
Maurice F. Aburdene, Hoang M. Le, John E. Dorband
Computations of the symmetric cosine transform using Forsythe and Clenshaw's recurrence formulae. Electronic Imaging: Image and Video Communications and Processing (2005)