Hoang Minh Le - RankMe

28 papers A* 3A 5B 2C 1Misc 1Journal 3Unranked 12

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Improved Mapping Between Illuminations and Sensors for RAW Images. CoRR Abhijith Punnappurath, Luxi Zhao, Hoang Minh Le, Abdelrahman Abdelhamed, SaiKiran Kumar Tedla, Michael S. Brown
2021	—	`conf`	2D DDoA-based Self-Positioning for Mobile Devices. EUSIPCO Hoang Minh Le, Dirk T. M. Slock, Jean-Pierre Rossi
2021	—	`conf`	2D DoA-based Positioning with Phase Jump Corrections and An Approximate Maximum Likelihood Estimator. MENACOMM Hoang Minh Le, Dirk T. M. Slock, Jean-Pierre Rossi
2021	—	`conf`	3D Self-Positioning Algorithm based on joint DDoA-ToA. MENACOMM Hoang Minh Le, Dirk T. M. Slock, Jean-Pierre Rossi
2021	A	`conf`	Online Robust Control of Nonlinear Systems with Large Uncertainty. AISTATS Dimitar Ho, Hoang Minh Le, John Doyle, Yisong Yue
2019	J	`jnl`	Diagnosis and monitoring of Alzheimer's patients using classical and deep learning techniques. Expert Syst. Appl. Mohsin Raza, Muhammad Awais, W. Ellahi, Nauman Aslam, Huan Xuan Nguyen, Hoang Minh Le
2016	—	`conf`	ParCoSS: Efficient Parallelized Compiled Symbolic Simulation. CAV (2) Vladimir Herdt, Hoang Minh Le, Daniel Große, Rolf Drechsler
2016	A	`conf`	Towards formal verification of real-world SystemC TLM peripheral models - a case study. DATE Hoang Minh Le, Vladimir Herdt, Daniel Große, Rolf Drechsler
2015	—	`—`	Automated techniques for functional verification at the electronic system level. Hoang Minh Le
2015	B	`conf`	Lazy-CSeq-SP: Boosting Sequentialization-Based Verification of Multi-threaded C Programs via Symbolic Pruning of Redundant Schedules. ATVA Vladimir Herdt, Hoang Minh Le, Daniel Große, Rolf Drechsler
2015	A*	`conf`	Verifying SystemC using stateful symbolic simulation. DAC Vladimir Herdt, Hoang Minh Le, Rolf Drechsler
2014	—	`conf`	Funktionale Abdeckungsanalyse von C-Programmen. MBMV Aljoscha Windhorst, Hoang Minh Le, Daniel Große, Rolf Drechsler
2014	A*	`conf`	Safety Evaluation of Automotive Electronics Using Virtual Prototypes: State of the Art and Research Challenges. DAC 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
2014	—	`conf`	Self-Verification as the Key Technology for Next Generation Electronic Systems. SBCCI Rolf Drechsler, Hoang Minh Le, Mathias Soeken
2014	A	`conf`	Towards verifying determinism of SystemC designs. DATE Hoang Minh Le, Rolf Drechsler
2013	A	`conf`	Scalable fault localization for SystemC TLM designs. DATE Hoang Minh Le, Daniel Große, Rolf Drechsler
2013	A*	`conf`	Verifying SystemC using an intermediate verification language and symbolic simulation. DAC Hoang Minh Le, Daniel Große, Vladimir Herdt, Rolf Drechsler
2012	J	`jnl`	Automatic TLM Fault Localization for SystemC. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Hoang Minh Le, Daniel Große, Rolf Drechsler
2012	—	`conf`	CRAVE: An Advanced Constrained RAndom Verification Environment for SystemC. MBMV Finn Haedicke, Hoang Minh Le, Daniel Große, Rolf Drechsler
2012	—	`conf`	CRAVE: An advanced constrained random verification environment for SystemC. ISSoC Finn Haedicke, Hoang Minh Le, Daniel Große, Rolf Drechsler
2012	B	`conf`	Completeness-Driven Development. ICGT Rolf Drechsler, Melanie Diepenbeck, Daniel Große, Ulrich Kühne, Hoang Minh Le, Julia Seiter, Mathias Soeken, Robert Wille
2012	Misc	`conf`	The system verification methodology for advanced TLM verification. CODES+ISSS Marcio Ferreira da Silva Oliveira, Christoph Kuznik, Hoang Minh Le, Daniel Große, Finn Haedicke, Wolfgang Müller, Rolf Drechsler, Wolfgang Ecker, Volkan Esen
2010	—	`conf`	Automatic Fault Localization for SystemC TLM Designs. MTV Hoang Minh Le, Daniel Große, Rolf Drechsler
2010	C	`conf`	Proving transaction and system-level properties of untimed SystemC TLM designs. MEMOCODE Daniel Große, Hoang Minh Le, Rolf Drechsler
2010	—	`conf`	Towards analyzing functional coverage in SystemC TLM property checking. HLDVT Hoang Minh Le, Daniel Große, Rolf Drechsler
2009	—	`conf`	Formal Verification of Abstract SystemC Models. Algorithms and Applications for Next Generation SAT Solvers Daniel Große, Hoang Minh Le, Rolf Drechsler
2009	—	`conf`	Induction-Based Formal Verification of SystemC TLM Designs. MTV Daniel Große, Hoang Minh Le, Rolf Drechsler
2008	A	`conf`	Quantified Synthesis of Reversible Logic. DATE Robert Wille, Hoang Minh Le, Gerhard W. Dueck, Daniel Große