Computations of the symmetric cosine transform using Forsythe and Clenshaw's recurrence formulae. - Maurice F. Aburdene; Hoang M. Le; John E. Dorband (Electronic Imaging: Image and Video Communications and Processing, 2005)

Quantified Synthesis of Reversible Logic. - Robert Wille; Hoang Minh Le 001; Gerhard W. Dueck; Daniel Große (DATE, 2008)

Formal Verification of Abstract SystemC Models. - Daniel Große; Hoang Minh Le 001; Rolf Drechsler (Algorithms and Applications for Next Generation SAT Solvers, 2009)

Induction-Based Formal Verification of SystemC TLM Designs. - Daniel Große; Hoang Minh Le 001; Rolf Drechsler (MTV, 2009)

Towards analyzing functional coverage in SystemC TLM property checking. - Hoang Minh Le 001; Daniel Große; Rolf Drechsler (HLDVT, 2010)

Proving transaction and system-level properties of untimed SystemC TLM designs. - Daniel Große; Hoang Minh Le 001; Rolf Drechsler (MEMOCODE, 2010)

Automatic Fault Localization for SystemC TLM Designs. - Hoang Minh Le 001; Daniel Große; Rolf Drechsler (MTV, 2010)

The system verification methodology for advanced TLM verification. - Marcio Ferreira da Silva Oliveira; Christoph Kuznik; Hoang Minh Le 001; Daniel Große; Finn Haedicke; Wolfgang Müller 003; Rolf Drechsler; Wolfgang Ecker; Volkan Esen (CODES+ISSS, 2012)

Completeness-Driven Development. - Rolf Drechsler; Melanie Diepenbeck; Daniel Große; Ulrich Kühne; Hoang Minh Le 001; Julia Seiter 002; Mathias Soeken; Robert Wille (ICGT, 2012)

From Requirements and Scenarios to ESL Design in SystemC. - Hoang M. Le; Daniel Große; Rolf Drechsler (ISED, 2012)

CRAVE: An Advanced Constrained RAndom Verification Environment for SystemC. - Finn Haedicke; Hoang Minh Le 001; Daniel Große; Rolf Drechsler (MBMV, 2012)

Automatic TLM Fault Localization for SystemC. - Hoang Minh Le 001; Daniel Große; Rolf Drechsler (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2012)

Verifying SystemC using an intermediate verification language and symbolic simulation. - Hoang Minh Le 001; Daniel Große; Vladimir Herdt; Rolf Drechsler (DAC, 2013)

Scalable fault localization for SystemC TLM designs. - Hoang Minh Le 001; Daniel Große; Rolf Drechsler (DATE, 2013)

Safety Evaluation of Automotive Electronics Using Virtual Prototypes: State of the Art and Research Challenges. - Jan-Hendrik Oetjens; Nico Bannow; Markus Becker 001; Oliver Bringmann 001; Andreas Burger; Moomen Chaari; Samarjit Chakraborty; Rolf Drechsler; Wolfgang Ecker; Kim Grüttner; Thomas Kruse; Christoph Kuznik; et al. (DAC, 2014)

Towards verifying determinism of SystemC designs. - Hoang Minh Le 001; Rolf Drechsler (DATE, 2014)

Funktionale Abdeckungsanalyse von C-Programmen. - Aljoscha Windhorst; Hoang Minh Le 001; Daniel Große; Rolf Drechsler (MBMV, 2014)

Self-Verification as the Key Technology for Next Generation Electronic Systems. - Rolf Drechsler; Hoang Minh Le 001; Mathias Soeken (SBCCI, 2014)

Lazy-CSeq-SP: Boosting Sequentialization-Based Verification of Multi-threaded C Programs via Symbolic Pruning of Redundant Schedules. - Vladimir Herdt; Hoang Minh Le 001; Daniel Große; Rolf Drechsler (ATVA, 2015)

Verifying SystemC using stateful symbolic simulation. - Vladimir Herdt; Hoang Minh Le 001; Rolf Drechsler (DAC, 2015)

Funktionale Verifikation eingebetteter Systeme: Techniken und Werkzeuge auf Systemebene. - Hoang M. Le (Ausgezeichnete Informatikdissertationen, 2015)

Automated techniques for functional verification at the electronic system level. - Hoang Minh Le 001 (2015)

ParCoSS: Efficient Parallelized Compiled Symbolic Simulation. - Vladimir Herdt; Hoang Minh Le 001; Daniel Große; Rolf Drechsler (CAV (2), 2016)

Towards formal verification of real-world SystemC TLM peripheral models - a case study. - Hoang Minh Le 001; Vladimir Herdt; Daniel Große; Rolf Drechsler (DATE, 2016)

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. - Vladimir Herdt; Hoang M. Le; Daniel Große; Rolf Drechsler (FDL, 2016)

Compiled symbolic simulation for systemC. - Vladimir Herdt; Hoang M. Le; Daniel Große; Rolf Drechsler (ICCAD, 2016)

Guided lightweight Software test qualification for IP integration using Virtual Prototypes. - Daniel Große; Hoang M. Le; Muhammad Hassan 002; Rolf Drechsler (ICCD, 2016)

Data flow testing for virtual prototypes. - Muhammad Hassan 002; Vladimir Herdt; Hoang M. Le; Mingsong Chen 001; Daniel Große; Rolf Drechsler (DATE, 2017)

Towards Early Validation of Firmware-Based Power Management Using Virtual Prototypes: A Constrained Random Approach. - Vladimir Herdt; Hoang M. Le; Daniel Große; Rolf Drechsler (FDL (Selected Papers), 2017)

Early SoC security validation by VP-based static information flow analysis. - Muhammad Hassan 002; Vladimir Herdt; Hoang M. Le; Daniel Große; Rolf Drechsler (ICCAD, 2017)

Testbench qualification for SystemC-AMS timed data flow models. - Muhammad Hassan 002; Daniel Große; Hoang M. Le; Thilo Vörtler; Karsten Einwich; Rolf Drechsler (DATE, 2018)

Towards fully automated TLM-to-RTL property refinement. - Vladimir Herdt; Hoang M. Le; Daniel Große; Rolf Drechsler (DATE, 2018)

Resilience evaluation via symbolic fault injection on intermediate code. - Hoang M. Le; Vladimir Herdt; Daniel Große; Rolf Drechsler (DATE, 2018)

Extensible and Configurable RISC-V Based Virtual Prototype. - Vladimir Herdt; Daniel Große; Hoang M. Le; Rolf Drechsler (FDL, 2018)

Towards Automated Refinement of TLM Properties to RTL. - Vladimir Herdt; Hoang M. Le; Daniel Große; Rolf Drechsler (MBMV, 2018)

Maximizing power state cross coverage in firmware-based power management. - Vladimir Herdt; Hoang M. Le; Daniel Große; Rolf Drechsler (ASP-DAC, 2019)

KLUZZER: Whitebox Fuzzing on Top of LLVM. - Hoang M. Le (ATVA, 2019)

Early Concolic Testing of Embedded Binaries with Virtual Prototypes: A RISC-V Case Study. - Vladimir Herdt; Daniel Große; Hoang M. Le; Rolf Drechsler (DAC, 2019)

Temporal Tracing of On-Chip Signals using Timeprints. - Rehab Massoud; Hoang M. Le; Peter Chini; Prakash Saivasan; Roland Meyer 001; Rolf Drechsler (DAC, 2019)

Data Flow Testing for SystemC-AMS Timed Data Flow Models. - Muhammad Hassan 002; Daniel Große; Hoang M. Le; Rolf Drechsler (DATE, 2019)

Verifying Instruction Set Simulators using Coverage-guided Fuzzing*. - Vladimir Herdt; Daniel Große; Hoang M. Le; Rolf Drechsler (DATE, 2019)

Detection of Hardware Trojans in SystemC HLS Designs via Coverage-guided Fuzzing. - Hoang M. Le; Daniel Große; Niklas Bruns; Rolf Drechsler (DATE, 2019)

Property-Driven Timestamps Encoding for Timeprints-Based Tracing and Monitoring. - Rehab Massoud; Hoang M. Le; Rolf Drechsler (FORMATS, 2019)

Diagnosis and monitoring of Alzheimer's patients using classical and deep learning techniques. - Mohsin Raza; Muhammad Awais 003; W. Ellahi; Nauman Aslam; Huan Xuan Nguyen; Hoang Minh Le 001 (Expert Syst. Appl., 2019)

Combining sequentialization-based verification of multi-threaded C programs with symbolic Partial Order Reduction. - Vladimir Herdt; Hoang M. Le; Daniel Große; Rolf Drechsler (Int. J. Softw. Tools Technol. Transf., 2019)

Verifying SystemC Using Intermediate Verification Language and Stateful Symbolic Simulation. - Vladimir Herdt; Hoang M. Le; Daniel Große; Rolf Drechsler (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2019)

A Geometric Interpretation of Trilateration for RSS-based Localization. - Hoang M. Le; Jean-Pierre Rossi; Dirk T. M. Slock (EUSIPCO, 2020)

LLVM-based Hybrid Fuzzing with LibKluzzer (Competition Contribution). - Hoang M. Le (FASE, 2020)

Improving Color Space Conversion for Camera-Captured Images via Wide-Gamut Metadata. - Hoang M. Le; Mahmoud Afifi; Michael S. Brown (CIC, 2020)

Online Robust Control of Nonlinear Systems with Large Uncertainty. - Dimitar Ho; Hoang Minh Le 001; John Doyle 001; Yisong Yue (AISTATS, 2021)

2D DDoA-based Self-Positioning for Mobile Devices. - Hoang Minh Le 001; Dirk T. M. Slock; Jean-Pierre Rossi (EUSIPCO, 2021)

GamutNet: Restoring Wide-Gamut Colors for Camera-Captured Images. - Hoang M. Le; Taehong Jeong; Abdelrahman Abdelhamed; Hyun Joon Shin; Michael S. Brown (CIC, 2021)

2D DoA-based Positioning with Phase Jump Corrections and An Approximate Maximum Likelihood Estimator. - Hoang Minh Le 001; Dirk T. M. Slock; Jean-Pierre Rossi (MENACOMM, 2021)

3D Self-Positioning Algorithm based on joint DDoA-ToA. - Hoang Minh Le 001; Dirk T. M. Slock; Jean-Pierre Rossi (MENACOMM, 2021)

3D DDoA-based Self-Positioning of Mobile Devices. - Hoang M. Le; Dirk T. M. Slock; Jean-Pierre Rossi (EUSIPCO, 2022)

GamutMLP: A Lightweight MLP for Color Loss Recovery. - Hoang M. Le; Brian L. Price; Scott Cohen; Michael S. Brown (CVPR, 2023)

OPSurv: Orthogonal Polynomials Quadrature Algorithm for Survival Analysis. - Lilian W. Bialokozowicz; Hoang M. Le; Tristan Sylvain; Peter A. I. Forsyth; Vineel Nagisetty; Greg Mori (CoRR, 2024)

A Lightweight Moment Retrieval System with Global Re-Ranking and Robust Adaptive Bidirectional Temporal Search. - Tinh-Anh Nguyen-Nhu; Huu-Loc Tran; Nguyen-Khang Le; Minh-Nhat Nguyen; Tien-Huy Nguyen; Hoang-Long Nguyen-Huu; Huu-Phong Phan-Nguyen; Huy-Thach Pham; Quan Nguyen; Hoang M. Le; Quang-Vinh Dinh (CVPR Workshops, 2025)

Cycle Training with Semi-Supervised Domain Adaptation: Bridging Accuracy and Efficiency for Real-Time Mobile Scene Detection. - Huu-Phong Phan-Nguyen; Anh Dao; Tien-Huy Nguyen; Tuan Quang; Huu-Loc Tran; Tinh-Anh Nguyen-Nhu; Huy-Thach Pham; Quan Nguyen; Hoang M. Le; Quang-Vinh Dinh (CVPR Workshops, 2025)

Towards Efficient and Robust Moment Retrieval System: A Unified Framework for Multi-Granularity Models and Temporal Reranking. - Huu-Loc Tran; Tinh-Anh Nguyen-Nhu; Huu-Phong Phan-Nguyen; Tien-Huy Nguyen; Nhat-Minh Nguyen-Dich; Anh Dao; Huy-Duc Do; Quan Nguyen; Hoang M. Le; Quang-Vinh Dinh (CVPR Workshops, 2025)

Improved Mapping Between Illuminations and Sensors for RAW Images. - Abhijith Punnappurath; Luxi Zhao 002; Hoang Minh Le 001; Abdelrahman Abdelhamed; SaiKiran Kumar Tedla; Michael S. Brown (CoRR, 2025)