Minh D. Nguyen

18 papers A* 2A 1B 1C 1Journal 7Unranked 6
YearRankTypeTitle / Venue / Authors
2022 J jnl
A Novel Fixed-Point Conversion Methodology For Digital Signal Processing Systems.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Phuong T. K. Dinh, Linh T. T. Dinh, Tung T. Tran, Pham Son Lam, Han Le Duc, Hoang Phuong Chi, Minh D. Nguyen
2020 J jnl
A New Decision-Making Model for Manufacturing Line Designs in Vietnamese Manufacturing Plants.
Int. J. Inf. Technol. Proj. Manag.
Minh D. Nguyen
2020 J jnl
Harmonization of Landsat and Sentinel 2 for Crop Monitoring in Drought Prone Areas: Case Studies of Ninh Thuan (Vietnam) and Bekaa (Lebanon).
Remote. Sens.
Minh D. Nguyen, Oscar M. Baez-Villanueva, Duong Du Bui, Phong T. Nguyen, Lars Ribbe
2019 J jnl
An Improved Density-Based Approach to Spatio-Textual Clustering on Social Media.
IEEE Access
Minh D. Nguyen, Won-Yong Shin
2018 J jnl
Improved Density-Based Spatio-Textual Clustering on Social Media.
CoRR
Minh D. Nguyen, Won-Yong Shin
2017 B conf
DBSTexC: Density-Based Spatio-Textual Clustering on Twitter.
ASONAM
Minh D. Nguyen, Won-Yong Shin
2013 J jnl
A New Formal Verification Approach for Hardware-dependent Embedded System Software.
IPSJ Trans. Syst. LSI Des. Methodol.
Bernard Schmidt, Carlos Villarraga, Thomas Fehmel, Jörg Bormann, Markus Wedler, Minh D. Nguyen, Dominik Stoffel, Wolfgang Kunz
2011 — conf
Formal Hardware/Software Co-Verification by Interval Property Checking with Abstraction.
MBMV
Minh D. Nguyen, Markus Wedler, Bernard Schmidt, Dominik Stoffel, Wolfgang Kunz
2011 A* conf
Formal hardware/software co-verification by interval property checking with abstraction.
DAC
Minh D. Nguyen, Markus Wedler, Dominik Stoffel, Wolfgang Kunz
2010 A* conf
Analyzing
DAC
Max Thalmaier, Minh D. Nguyen, Markus Wedler, Dominik Stoffel, Jörg Bormann, Wolfgang Kunz
2010 — conf
Analyzing k-step induction to compute invariants for SAT-based property checking.
MBMV
Max Thalmaier, Minh D. Nguyen, Markus Wedler, Dominik Stoffel, Wolfgang Kunz
2009 — conf
A Re-Use Methodology for SoC Protocol Compliance Verification.
MBMV
Minh D. Nguyen, Max Thalmaier, Markus Wedler, Dominik Stoffel, Wolfgang Kunz
2009 C conf
A re-use methodology for formal SoC protocol compliance verification.
FDL
Minh D. Nguyen, Max Thalmaier, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Jörg Bormann
2009 — conf
Novel synthesis design of a 3-DOF silicon piezoresistive micro accelerometer.
NEMS
Tan D. Tran, Minh D. Nguyen, Long T. Nguyen, Tue Huu Huynh, Thuy P. Nguyen
2008 J jnl
Unbounded Protocol Compliance Verification Using Interval Property Checking With Invariants.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Minh D. Nguyen, Max Thalmaier, Markus Wedler, Jörg Bormann, Dominik Stoffel, Wolfgang Kunz
2007 — conf
Methoden zur Verifikation von Kommunikationsstrukturen.
MBMV
Martin Braun, Minh D. Nguyen, Hans Eveking, Martin Schickel, Wolfgang Kunz
2005 — conf
Enhancing BMC-based Protocol Verification Using Transition-By-Transition FSM Traversal.
GI Jahrestagung (1)
Minh D. Nguyen, Dominik Stoffel, Wolfgang Kunz
2005 A conf
Transition-by-transition FSM traversal for reachability analysis in bounded model checking.
ICCAD
Minh D. Nguyen, Dominik Stoffel, Markus Wedler, Wolfgang Kunz