default search action
Hoang Minh Le 0001
Person information
- affiliation: University of Bremen, Institute of Computer Science, Germany
Other persons with the same name
- Hoang Minh Le — disambiguation page
- Hoang Minh Le 0002 — California Institute of Technology, Computing + Mathematical Sciences Department, Pasadena, CA, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [i4]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 abs/2402.01955 (2024) - 2023
- [c51]Hoang M. Le, Brian L. Price, Scott Cohen, Michael S. Brown:
GamutMLP: A Lightweight MLP for Color Loss Recovery. CVPR 2023: 18268-18277 - [i3]Hoang M. Le, Brian L. Price, Scott Cohen, Michael S. Brown:
GamutMLP: A Lightweight MLP for Color Loss Recovery. CoRR abs/2304.11743 (2023) - 2022
- [c50]Hoang M. Le, Dirk T. M. Slock, Jean-Pierre Rossi:
3D DDoA-based Self-Positioning of Mobile Devices. EUSIPCO 2022: 1946-1950 - 2021
- [c49]Dimitar Ho, Hoang Minh Le, John Doyle, Yisong Yue:
Online Robust Control of Nonlinear Systems with Large Uncertainty. AISTATS 2021: 3475-3483 - [c48]Hoang Minh Le, Dirk T. M. Slock, Jean-Pierre Rossi:
2D DDoA-based Self-Positioning for Mobile Devices. EUSIPCO 2021: 1711-1715 - [c47]Hoang M. Le, Taehong Jeong, Abdelrahman Abdelhamed, Hyun Joon Shin, Michael S. Brown:
GamutNet: Restoring Wide-Gamut Colors for Camera-Captured Images. CIC 2021: 7-12 - [c46]Hoang Minh Le, Dirk T. M. Slock, Jean-Pierre Rossi:
2D DoA-based Positioning with Phase Jump Corrections and An Approximate Maximum Likelihood Estimator. MENACOMM 2021: 19-24 - [c45]Hoang Minh Le, Dirk T. M. Slock, Jean-Pierre Rossi:
3D Self-Positioning Algorithm based on joint DDoA-ToA. MENACOMM 2021: 125-129 - [i2]Dimitar Ho, Hoang M. Le, John C. Doyle, Yisong Yue:
Online Robust Control of Nonlinear Systems with Large Uncertainty. CoRR abs/2103.11055 (2021) - 2020
- [c44]Hoang M. Le, Jean-Pierre Rossi, Dirk T. M. Slock:
A Geometric Interpretation of Trilateration for RSS-based Localization. EUSIPCO 2020: 1797-1801 - [c43]Hoang M. Le
:
LLVM-based Hybrid Fuzzing with LibKluzzer (Competition Contribution). FASE 2020: 535-539 - [c42]Hoang M. Le, Mahmoud Afifi, Michael S. Brown:
Improving Color Space Conversion for Camera-Captured Images via Wide-Gamut Metadata. CIC 2020: 193-198
2010 – 2019
- 2019
- [j4]Mohsin Raza
Diagnosis and monitoring of Alzheimer's patients using classical and deep learning techniques. Expert Syst. Appl. 136: 353-364 (2019) - [j3]Vladimir Herdt, Hoang M. Le, Daniel Große
Combining sequentialization-based verification of multi-threaded C programs with symbolic Partial Order Reduction. Int. J. Softw. Tools Technol. Transf. 21(5): 545-565 (2019) - [j2]Vladimir Herdt
Verifying SystemC Using Intermediate Verification Language and Stateful Symbolic Simulation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 38(7): 1359-1372 (2019) - [c41]Vladimir Herdt, Hoang M. Le, Daniel Große
Maximizing power state cross coverage in firmware-based power management. ASP-DAC 2019: 335-340 - [c40]Hoang M. Le:
KLUZZER: Whitebox Fuzzing on Top of LLVM. ATVA 2019: 246-252 - [c39]Rehab Massoud
Temporal Tracing of On-Chip Signals using Timeprints. DAC 2019: 186 - [c38]Vladimir Herdt, Daniel Große
Early Concolic Testing of Embedded Binaries with Virtual Prototypes: A RISC-V Case Study. DAC 2019: 188 - [c37]Vladimir Herdt, Daniel Große
Verifying Instruction Set Simulators using Coverage-guided Fuzzing*. DATE 2019: 360-365 - [c36]Muhammad Hassan, Daniel Große
Data Flow Testing for SystemC-AMS Timed Data Flow Models. DATE 2019: 366-371 - [c35]Hoang M. Le, Daniel Große
Detection of Hardware Trojans in SystemC HLS Designs via Coverage-guided Fuzzing. DATE 2019: 602-605 - [c34]Rehab Massoud
Property-Driven Timestamps Encoding for Timeprints-Based Tracing and Monitoring. FORMATS 2019: 41-58 - 2018
- [c33]Hoang M. Le, Vladimir Herdt, Daniel Große
Resilience evaluation via symbolic fault injection on intermediate code. DATE 2018: 845-850 - [c32]Muhammad Hassan, Daniel Große
Testbench qualification for SystemC-AMS timed data flow models. DATE 2018: 857-860 - [c31]Vladimir Herdt, Hoang M. Le, Daniel Große
Towards fully automated TLM-to-RTL property refinement. DATE 2018: 1508-1511 - [c30]Vladimir Herdt, Daniel Große
Extensible and Configurable RISC-V Based Virtual Prototype. FDL 2018: 5-16 - [c29]Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler:
Towards Automated Refinement of TLM Properties to RTL. MBMV 2018 - 2017
- [c28]Muhammad Hassan, Vladimir Herdt, Hoang M. Le, Mingsong Chen, Daniel Große
Data flow testing for virtual prototypes. DATE 2017: 380-385 - [c27]Vladimir Herdt, Hoang M. Le, Daniel Große
Towards early validation of firmware-based power management using virtual prototypes: A constrained random approach. FDL 2017: 1-8 - [c26]Vladimir Herdt, Hoang M. Le, Daniel Große
Towards Early Validation of Firmware-Based Power Management Using Virtual Prototypes: A Constrained Random Approach. FDL (Selected Papers) 2017: 25-44 - [c25]Muhammad Hassan, Vladimir Herdt, Hoang M. Le, Daniel Große
Early SoC security validation by VP-based static information flow analysis. ICCAD 2017: 400-407 - 2016
- [c24]Vladimir Herdt, Hoang Minh Le, Daniel Große
ParCoSS: Efficient Parallelized Compiled Symbolic Simulation. CAV (2) 2016: 177-183 - [c23]Hoang Minh Le, Vladimir Herdt, Daniel Große, Rolf Drechsler:
Towards formal verification of real-world SystemC TLM peripheral models - a case study. DATE 2016: 1160-1163 - [c22]Vladimir Herdt, Hoang M. Le, Daniel Große
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: 1-8 - [c21]Vladimir Herdt, Hoang M. Le, Daniel Große
Compiled symbolic simulation for systemC. ICCAD 2016: 52 - [c20]Daniel Große
Guided lightweight Software test qualification for IP integration using Virtual Prototypes. ICCD 2016: 606-613 - 2015
- [b1]Hoang Minh Le:
Automated techniques for functional verification at the electronic system level. University of Bremen, Germany, 2015, pp. 1-124 - [c19]Vladimir Herdt, Hoang Minh Le, Daniel Große
Lazy-CSeq-SP: Boosting Sequentialization-Based Verification of Multi-threaded C Programs via Symbolic Pruning of Redundant Schedules. ATVA 2015: 228-233 - [c18]Vladimir Herdt, Hoang Minh Le, Rolf Drechsler
Verifying SystemC using stateful symbolic simulation. DAC 2015: 49:1-49:6 - [p1]Hoang M. Le:
Funktionale Verifikation eingebetteter Systeme: Techniken und Werkzeuge auf Systemebene. Ausgezeichnete Informatikdissertationen 2015: 179-188 - 2014
- [c17]Jan-Hendrik Oetjens, Nico Bannow, Markus Becker, Oliver Bringmann, Andreas Burger, Moomen Chaari, Samarjit Chakraborty
Safety Evaluation of Automotive Electronics Using Virtual Prototypes: State of the Art and Research Challenges. DAC 2014: 113:1-113:6 - [c16]Hoang Minh Le, Rolf Drechsler:
Towards verifying determinism of SystemC designs. DATE 2014: 1-4 - [c15]Aljoscha Windhorst, Hoang Minh Le, Daniel Große, Rolf Drechsler:
Funktionale Abdeckungsanalyse von C-Programmen. MBMV 2014: 201-204 - [c14]Rolf Drechsler
Self-Verification as the Key Technology for Next Generation Electronic Systems. SBCCI 2014: 15:1-15:4 - 2013
- [c13]Hoang Minh Le, Daniel Große
Verifying SystemC using an intermediate verification language and symbolic simulation. DAC 2013: 116:1-116:6 - [c12]Hoang Minh Le, Daniel Große
Scalable fault localization for SystemC TLM designs. DATE 2013: 35-38 - 2012
- [j1]Hoang Minh Le, Daniel Große, Rolf Drechsler
Automatic TLM Fault Localization for SystemC. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 31(8): 1249-1262 (2012) - [c11]Marcio Ferreira da Silva Oliveira, Christoph Kuznik, Hoang Minh Le, Daniel Große
The system verification methodology for advanced TLM verification. CODES+ISSS 2012: 313-322 - [c10]Rolf Drechsler
Completeness-Driven Development. ICGT 2012: 38-50 - [c9]Hoang M. Le, Daniel Große
From Requirements and Scenarios to ESL Design in SystemC. ISED 2012: 183-187 - [c8]Finn Haedicke, Hoang Minh Le, Daniel Große
CRAVE: An advanced constrained random verification environment for SystemC. ISSoC 2012: 1-7 - [c7]Finn Haedicke, Hoang Minh Le, Daniel Große, Rolf Drechsler:
CRAVE: An Advanced Constrained RAndom Verification Environment for SystemC. MBMV 2012: 37-48 - 2010
- [c6]Hoang Minh Le, Daniel Große, Rolf Drechsler
Towards analyzing functional coverage in SystemC TLM property checking. HLDVT 2010: 67-74 - [c5]Daniel Große
Proving transaction and system-level properties of untimed SystemC TLM designs. MEMOCODE 2010: 113-122 - [c4]Hoang Minh Le, Daniel Große
Automatic Fault Localization for SystemC TLM Designs. MTV 2010: 35-40
2000 – 2009
- 2009
- [c3]Daniel Große
Induction-Based Formal Verification of SystemC TLM Designs. MTV 2009: 101-106 - [i1]Daniel Große, Hoang Minh Le, Rolf Drechsler:
Formal Verification of Abstract SystemC Models. Algorithms and Applications for Next Generation SAT Solvers 2009 - 2008
- [c2]Robert Wille
Quantified Synthesis of Reversible Logic. DATE 2008: 1015-1020 - 2005
- [c1]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
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-02 00:08 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: