Minh D. Nguyen

According to our database, Minh D. Nguyen authored at least 18 papers between 2005 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

A Novel Fixed-Point Conversion Methodology For Digital Signal Processing Systems.

Phuong T. K. Dinh, Linh T. T. Dinh, Tung T. Tran, Pham Son Lam, Han Le Duc, Hoang Phuong Chi, Minh D. Nguyen

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., December, 2022

2020

Harmonization of Landsat and Sentinel 2 for Crop Monitoring in Drought Prone Areas: Case Studies of Ninh Thuan (Vietnam) and Bekaa (Lebanon).

Minh D. Nguyen, Oscar M. Baez-Villanueva, Duong Du Bui, Phong T. Nguyen, Lars Ribbe

Remote. Sens., 2020

A New Decision-Making Model for Manufacturing Line Designs in Vietnamese Manufacturing Plants.

Minh D. Nguyen

Int. J. Inf. Technol. Proj. Manag., 2020

2019

An Improved Density-Based Approach to Spatio-Textual Clustering on Social Media.

Minh D. Nguyen, Won-Yong Shin

IEEE Access, 2019

2018

Improved Density-Based Spatio-Textual Clustering on Social Media.

Minh D. Nguyen, Won-Yong Shin

CoRR, 2018

2017

DBSTexC: Density-Based Spatio-Textual Clustering on Twitter.

Minh D. Nguyen, Won-Yong Shin

Proceedings of the 2017 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining 2017, Sydney, Australia, July 31, 2017

2013

A New Formal Verification Approach for Hardware-dependent Embedded System Software.

Bernard Schmidt, Carlos Villarraga, Thomas Fehmel, Jörg Bormann, Markus Wedler, Minh D. Nguyen, Dominik Stoffel, Wolfgang Kunz

IPSJ Trans. Syst. LSI Des. Methodol., 2013

2011

Formal Hardware/Software Co-Verification by Interval Property Checking with Abstraction.

Minh D. Nguyen, Markus Wedler, Bernard Schmidt, Dominik Stoffel, Wolfgang Kunz

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2011

Formal hardware/software co-verification by interval property checking with abstraction.

Minh D. Nguyen, Markus Wedler, Dominik Stoffel, Wolfgang Kunz

Proceedings of the 48th Design Automation Conference, 2011

2010

Analyzing k-step induction to compute invariants for SAT-based property checking.

Max Thalmaier, Minh D. Nguyen, Markus Wedler, Dominik Stoffel, Wolfgang Kunz

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2010

Analyzing <i>k</i>-step induction to compute invariants for SAT-based property checking.

Max Thalmaier, Minh D. Nguyen, Markus Wedler, Dominik Stoffel, Jörg Bormann, Wolfgang Kunz

Proceedings of the 47th Design Automation Conference, 2010

2009

Novel synthesis design of a 3-DOF silicon piezoresistive micro accelerometer.

Tan D. Tran, Minh D. Nguyen, Long T. Nguyen, Tue Huu Huynh, Thuy P. Nguyen

Proceedings of the 4th IEEE International Conference on Nano/Micro Engineered and Molecular Systems, 2009

A Re-Use Methodology for SoC Protocol Compliance Verification.

Minh D. Nguyen, Max Thalmaier, Markus Wedler, Dominik Stoffel, Wolfgang Kunz

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2009

A re-use methodology for formal SoC protocol compliance verification.

Minh D. Nguyen, Max Thalmaier, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Jörg Bormann

Proceedings of the Forum on specification and Design Languages, 2009

2008

Unbounded Protocol Compliance Verification Using Interval Property Checking With Invariants.

Minh D. Nguyen, Max Thalmaier, Markus Wedler, Jörg Bormann, Dominik Stoffel, Wolfgang Kunz

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008

2007

Methoden zur Verifikation von Kommunikationsstrukturen.

Martin Braun, Minh D. Nguyen, Hans Eveking, Martin Schickel, Wolfgang Kunz

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2007

2005

Transition-by-transition FSM traversal for reachability analysis in bounded model checking.

Minh D. Nguyen, Dominik Stoffel, Markus Wedler, Wolfgang Kunz

Proceedings of the 2005 International Conference on Computer-Aided Design, 2005

Enhancing BMC-based Protocol Verification Using Transition-By-Transition FSM Traversal.

Minh D. Nguyen, Dominik Stoffel, Wolfgang Kunz

Proceedings of the 35. Jahrestagung der Gesellschaft für Informatik, 2005