Hoang Minh Le

Publication Activity (10 Years)

Years Active: 2008-2021
Publications (10 Years): 7

Top Venues

DAC

DATE

MBMV

MENACOMM

University of Bremen, Germany (PHD)

Education History

University of Bremen, Germany

PHD

Publications

Dimitar Ho, Hoang Minh Le, John Doyle, Yisong Yue
Online Robust Control of Nonlinear Systems with Large Uncertainty. AISTATS (2021)
Hoang Minh Le, Dirk T. M. Slock, Jean-Pierre Rossi
2D DDoA-based Self-Positioning for Mobile Devices. EUSIPCO (2021)
Hoang Minh Le, Dirk T. M. Slock, Jean-Pierre Rossi
3D Self-Positioning Algorithm based on joint DDoA-ToA. MENACOMM (2021)
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)
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 (2019)
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)
Vladimir Herdt, Hoang Minh Le, Daniel Große, Rolf Drechsler
ParCoSS: Efficient Parallelized Compiled Symbolic Simulation. CAV (2) (2016)
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)
Vladimir Herdt, Hoang Minh Le, Rolf Drechsler
Verifying SystemC using stateful symbolic simulation. DAC (2015)
Rolf Drechsler, Hoang Minh Le, Mathias Soeken
Self-Verification as the Key Technology for Next Generation Electronic Systems. SBCCI (2014)
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, Mauderer 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)
Aljoscha Windhorst, Hoang Minh Le, Daniel Große, Rolf Drechsler
Funktionale Abdeckungsanalyse von C-Programmen. MBMV (2014)
Hoang Minh Le, Rolf Drechsler
Towards verifying determinism of SystemC designs. DATE (2014)
Hoang Minh Le, Daniel Große, Vladimir Herdt, Rolf Drechsler
Verifying SystemC using an intermediate verification language and symbolic simulation. DAC (2013)
Hoang Minh Le, Daniel Große, Rolf Drechsler
Scalable fault localization for SystemC TLM designs. DATE (2013)
Finn Haedicke, Hoang Minh Le, Daniel Große, Rolf Drechsler
CRAVE: An Advanced Constrained RAndom Verification Environment for SystemC. MBMV (2012)
Rolf Drechsler, Melanie Diepenbeck, Daniel Große, Ulrich Kühne, Hoang Minh Le, Julia Seiter, Mathias Soeken, Robert Wille
Completeness-Driven Development. ICGT (2012)
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)
Hoang Minh Le, Daniel Große, Rolf Drechsler
Automatic TLM Fault Localization for SystemC. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 31 (8) (2012)
Finn Haedicke, Hoang Minh Le, Daniel Große, Rolf Drechsler
CRAVE: An advanced constrained random verification environment for SystemC. ISSoC (2012)
Hoang Minh Le, Daniel Große, Rolf Drechsler
Towards analyzing functional coverage in SystemC TLM property checking. HLDVT (2010)
Daniel Große, Hoang Minh Le, Rolf Drechsler
Proving transaction and system-level properties of untimed SystemC TLM designs. MEMOCODE (2010)
Hoang Minh Le, Daniel Große, Rolf Drechsler
Automatic Fault Localization for SystemC TLM Designs. MTV (2010)
Daniel Große, Hoang Minh Le, Rolf Drechsler
Induction-Based Formal Verification of SystemC TLM Designs. MTV (2009)
Daniel Große, Hoang Minh Le, Rolf Drechsler
Formal Verification of Abstract SystemC Models. Algorithms and Applications for Next Generation SAT Solvers (2009)
Robert Wille, Hoang Minh Le, Gerhard W. Dueck, Daniel Große
Quantified Synthesis of Reversible Logic. DATE (2008)

Hoang Minh Le.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Hoang Minh Le