Hoang M. Le - Concepedia

Author

Hoang M. Le

University of Bremen ORCID

Also Known As

H. M. Le, Hoang M. Le, Le, Hoang M.

Publications

850

Citations

H-Index

Concepts

All Affiliations

University of Bremen German Research Centre for Artificial Intelligence University of New Brunswick Paderborn University Infineon Technologies (Germany)

About

Hoang M. Le is an author at University of Bremen specializing in computer engineering, engineering, and computer science.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	16	23	599
2	Computer Engineering	16	23	599
3	Computer Science	15	22	544
4	Systems Engineering	15	22	558
5	Social Sciences	1	1	55

Hoang M. Le

Publications

680

Citations

H-Index

Page 1

	Year	Citations
Proving transaction and system-level properties of untimed SystemC TLM designs Hoang M. Le, Rolf Drechsler	2010	81
Safety Evaluation of Automotive Electronics Using Virtual Prototypes Jan-Hendrik Oetjens, Nico Bannow, Matthias Becker, Automotive EngineeringEngineeringSafety ScienceAdvanced Driver-assistance SystemIntelligent Automotive Electronics	2014	55
Extensible and Configurable RISC-V Based Virtual Prototype Vladimir Herdt, Hoang M. Le, Rolf Drechsler EngineeringHardware EmulationVirtual EngineeringConfigurable Risc-vNew World	2018	52
Verifying SystemC using an intermediate verification language and symbolic simulation Hoang M. Le, Daniel Große, Vladimir Herdt, EngineeringVerificationComputer-aided VerificationModel CheckingModel Verification	2013	48
Verifying SystemC Using Intermediate Verification Language and Stateful Symbolic Simulation Vladimir Herdt, Hoang M. Le, Daniel GroBe, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems EngineeringVerificationComputer ArchitectureComputer-aided VerificationModel Checking	2018	42
Quantified synthesis of reversible logic Robert Wille, Hoang M. Le, Gerhard W. Dueck, Circuit ComplexityReversible LogicEngineeringBoolean FunctionToffoli Networks	2008	41
Verifying Instruction Set Simulators using Coverage-guided Fuzzing Vladimir Herdt, Daniel Grose, Hoang M. Le, EngineeringVerificationTest Data GenerationSoftware EngineeringInstruction Set Simulators	2019	41
Compiled symbolic simulation for systemC Vladimir Herdt, Hoang M. Le, Daniel Große, EngineeringCompiler TechnologyComputer ArchitectureSimulationSoftware Analysis	2016	34
Automatic TLM Fault Localization for SystemC Hoang M. Le, Rolf Drechsler IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems EngineeringVerificationSoftware EngineeringSystem-level DesignFault-tolerant Messaging	2012	30
CRAVE: An advanced constrained random verification environment for SystemC Finn Haedicke, Hoang M. Le, Rolf Drechsler EngineeringVerificationComputer ArchitectureComputer-aided VerificationSystem-level Design	2012	30

Page 1