Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHoang 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 Price, Scott Cohen, Michael S. Brown:
GamutMLP: A Lightweight MLP for Color Loss Recovery. CVPR 2023: 18268-18277 - [i3]Hoang M. Le, Brian 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, Muhammad Awais, W. Ellahi, Nauman Aslam, Huan Xuan Nguyen, Hoang Minh Le:
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, Rolf Drechsler:
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, 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): 1359-1372 (2019) - [c41]Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler:
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, Hoang M. Le, Peter Chini, Prakash Saivasan, Roland Meyer, Rolf Drechsler:
Temporal Tracing of On-Chip Signals using Timeprints. DAC 2019: 186 - [c38]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: 188 - [c37]Vladimir Herdt, Daniel Große, Hoang M. Le, Rolf Drechsler:
Verifying Instruction Set Simulators using Coverage-guided Fuzzing*. DATE 2019: 360-365 - [c36]Muhammad Hassan, Daniel Große, Hoang M. Le, Rolf Drechsler:
Data Flow Testing for SystemC-AMS Timed Data Flow Models. DATE 2019: 366-371 - [c35]Hoang M. Le, Daniel Große, Niklas Bruns, Rolf Drechsler:
Detection of Hardware Trojans in SystemC HLS Designs via Coverage-guided Fuzzing. DATE 2019: 602-605 - [c34]Rehab Massoud, Hoang M. Le, Rolf Drechsler:
Property-Driven Timestamps Encoding for Timeprints-Based Tracing and Monitoring. FORMATS 2019: 41-58 - 2018
- [c33]Hoang M. Le, Vladimir Herdt, Daniel Große, Rolf Drechsler:
Resilience evaluation via symbolic fault injection on intermediate code. DATE 2018: 845-850 - [c32]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: 857-860 - [c31]Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler:
Towards fully automated TLM-to-RTL property refinement. DATE 2018: 1508-1511 - [c30]Vladimir Herdt, Daniel Große, Hoang M. Le, Rolf Drechsler:
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, Rolf Drechsler:
Data flow testing for virtual prototypes. DATE 2017: 380-385 - [c27]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: 1-8 - [c26]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: 25-44 - [c25]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: 400-407 - 2016
- [c24]Vladimir Herdt, Hoang Minh Le, Daniel Große, Rolf Drechsler:
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, 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: 1-8 - [c21]Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler:
Compiled symbolic simulation for systemC. ICCAD 2016: 52 - [c20]Daniel Große, Hoang M. Le, Muhammad Hassan, Rolf Drechsler:
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, Rolf Drechsler:
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, Rolf Drechsler, Wolfgang Ecker, Kim Grüttner, Thomas Kruse, Christoph Kuznik, Hoang Minh Le, Andreas Mauderer, Wolfgang Müller, Daniel Müller-Gritschneder, Frank Poppen, Hendrik Post, Sebastian Reiter, Wolfgang Rosenstiel, S. Roth, Ulf Schlichtmann, Andreas von Schwerin, Bogdan-Andrei Tabacaru, Alexander Viehl:
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, Hoang Minh Le, Mathias Soeken:
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, Vladimir Herdt, Rolf Drechsler:
Verifying SystemC using an intermediate verification language and symbolic simulation. DAC 2013: 116:1-116:6 - [c12]Hoang Minh Le, Daniel Große, Rolf Drechsler:
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 F. da S. Oliveira, Christoph Kuznik, Hoang Minh Le, Daniel Große, Finn Haedicke, Wolfgang Müller, Rolf Drechsler, Wolfgang Ecker, Volkan Esen:
The system verification methodology for advanced TLM verification. CODES+ISSS 2012: 313-322 - [c10]Rolf Drechsler, Melanie Diepenbeck, Daniel Große, Ulrich Kühne, Hoang Minh Le, Julia Seiter, Mathias Soeken, Robert Wille:
Completeness-Driven Development. ICGT 2012: 38-50 - [c9]Hoang M. Le, Daniel Große, Rolf Drechsler:
From Requirements and Scenarios to ESL Design in SystemC. ISED 2012: 183-187 - [c8]Finn Haedicke, Hoang Minh Le, Daniel Große, Rolf Drechsler:
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, Hoang Minh Le, Rolf Drechsler:
Proving transaction and system-level properties of untimed SystemC TLM designs. MEMOCODE 2010: 113-122 - [c4]Hoang Minh Le, Daniel Große, Rolf Drechsler:
Automatic Fault Localization for SystemC TLM Designs. MTV 2010: 35-40
2000 – 2009
- 2009
- [c3]Daniel Große, Hoang Minh Le, Rolf Drechsler:
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, Hoang Minh Le, Gerhard W. Dueck, Daniel Große:
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-04-25 05:45 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:
