Hoang M. Le

852 citations

37 papers · 418 indexed · h-index 12

Hardware and Architecture top 2%
- VLSI and Analog Circuit Testing 23
- Embedded Systems Design Techniques 22
- Physical Unclonable Functions (PUFs) and Hardware Security 3
Software top 5%
- Software Testing and Debugging Techniques 9
Computational Theory and Mathematics top 5%
- Formal Methods in Verification 14
Signal Processing
- Advanced Malware Detection Techniques 2
Artificial Intelligence top 10%
Electrical and Electronic Engineering
- Radiation Effects in Electronics 13
Control and Systems Engineering
- Real-time simulation and control systems 3

Co-authors: Rolf Drechsler Daniel Große Vladimir Herdt Daniel Grose Robert Wille Gerhard W. Dueck Mathias Soeken Wolfgang Ecker
Cited by: Hardware and Architecture Software Computational Theory and Mathematics
Journals: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (2 papers)International Journal on Software Tools for Technology Transfer (1 paper)CaltechAUTHORS (California Institute of Technology) (1 paper)
Partner nations: Germany Canada China

In The Last Decade

Hoang M. Le

37 papers receiving 411 citations

Peers

Countries citing papers authored by Hoang M. Le

Since Specialization

Citations

This map shows the geographic impact of Hoang M. Le's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Hoang M. Le with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Hoang M. Le more than expected).

Fields of papers citing papers by Hoang M. Le

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Hoang M. Le. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Hoang M. Le. The network helps show where Hoang M. Le may publish in the future.

Co-authorship network

The 14 scholars most cited alongside Hoang M. Le, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.

Border = papers with Hoang M. Le Line = papers co-authored together Hoang M. Le links everyone, so they are left out of the graph.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

#	Work
1	Imitation-Projected Policy Gradient for Programmatic Reinforcement Learning CaltechAUTHORS (California Institute of Technology) ·Abhinav Verma,Hoang M. Le,Yisong Yue,Swarat Chaudhuri	2019	1
2	Early Concolic Testing of Embedded Binaries with Virtual Prototypes Vladimir Herdt,Daniel Große,Hoang M. Le,Rolf Drechsler	2019	15
3	Combining sequentialization-based verification of multi-threaded C programs with symbolic Partial Order Reduction International Journal on Software Tools for Technology Transfer ·Vladimir Herdt,Hoang M. Le,Daniel Große,Rolf Drechsler	2019	3
4	Verifying SystemC Using Intermediate Verification Language and Stateful Symbolic Simulation IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems ·Vladimir Herdt,Hoang M. Le,Daniel GroBe,Rolf Drechsler	2018	21
5	Resilience evaluation via symbolic fault injection on intermediate code Hoang M. Le,Vladimir Herdt,Daniel Grose,Rolf Drechsler	2018	5
6	Towards fully automated TLM-to-RTL property refinement Vladimir Herdt,Hoang M. Le,Daniel Grose,Rolf Drechsler	2018	7
7	Data flow testing for virtual prototypes Muhammad Hassan,Vladimir Herdt,Hoang M. Le,Mingsong Chen,Daniel Grose,Rolf Drechsler	2017	8
8	Early SoC security validation by VP-based static information flow analysis Muhammad Hassan,Vladimir Herdt,Hoang M. Le,Daniel Grose,Rolf Drechsler	2017	17
9	Compiled symbolic simulation for systemC Vladimir Herdt,Hoang M. Le,Daniel Große,Rolf Drechsler	2016	16
10	Towards Formal Verification of Real-World SystemC TLM Peripheral Models — A Case Study Hoang M. Le,Vladimir Herdt,Daniel Große,Rolf Drechsler	2016	11
11	Towards verifying determinism of SystemC designs Design, Automation, and Test in Europe ·Hoang M. Le,Rolf Drechsler	2014	1
12	Scalable fault localization for SystemC TLM designs Design, Automation, and Test in Europe ·Hoang M. Le,Daniel Große,Rolf Drechsler	2013	1
13	Verifying SystemC using an intermediate verification language and symbolic simulation Hoang M. Le,Daniel Große,Vladimir Herdt,Rolf Drechsler	2013	24
14	CRAVE: An Advanced Constrained RAndom Verification Environment for SystemC. Finn Haedicke,Hoang M. Le,Daniel Große,Rolf Drechsler	2012	1
15	From Requirements and Scenarios to ESL Design in SystemC Hoang M. Le,Daniel Große,Rolf Drechsler	2012	1
16	Towards analyzing functional coverage in SystemC TLM property checking Hoang M. Le,Daniel Grose,Rolf Drechsler	2010	8
17	Structural heuristics for SAT-based ATPG Daniel Tille,Stephan Eggersglüß,Hoang M. Le,Rolf Drechsler	2009	1
18	Induction-Based Formal Verification of SystemC TLM Designs Daniel Große,Hoang M. Le,Rolf Drechsler	2009	6
19	Quantified synthesis of reversible logic Robert Wille,Hoang M. Le,Gerhard W. Dueck,Daniel Große	2008	30
20	Quantified Synthesis of Reversible Logic 2008 Design, Automation and Test in Europe ·Robert Wille,Hoang M. Le,Gerhard W. Dueck,Daniel GroBe	2008	17

About Hoang M. Le

Hoang M. Le is a scholar working on Hardware and Architecture, Software and Computational Theory and Mathematics, having authored 37 papers that have together received 418 indexed citations. Recurring topics across this work include VLSI and Analog Circuit Testing (23 papers), Embedded Systems Design Techniques (22 papers), Formal Methods in Verification (14 papers), Radiation Effects in Electronics (13 papers), Software Testing and Debugging Techniques (9 papers), Real-time simulation and control systems (3 papers), Physical Unclonable Functions (PUFs) and Hardware Security (3 papers) and Advanced Malware Detection Techniques (2 papers). The work is most often cited by research in Hardware and Architecture (290 citations), Software (124 citations) and Computational Theory and Mathematics (159 citations). Hoang M. Le has collaborated with scholars based in Germany, Canada and China. Frequent co-authors include Rolf Drechsler, Daniel Große, Vladimir Herdt, Daniel Grose, Robert Wille, Gerhard W. Dueck, Mathias Soeken, Wolfgang Ecker, Wolfgang Mueller and Karsten Einwich. Their work appears in journals such as IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, International Journal on Software Tools for Technology Transfer and CaltechAUTHORS (California Institute of Technology).

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact