Minh D. Nguyen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2005–2011
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | DAC | Formal hardware/software co-verification by interval property checking with abstraction. | Minh D. Nguyen, Markus Wedler, Dominik Stoffel, Wolfgang Kunz |
| 2010 | DAC | Analyzing | Max Thalmaier, Minh D. Nguyen, Markus Wedler, Dominik Stoffel, Jrg Bormann, Wolfgang Kunz |
| 2009 | FDL | A re-use methodology for formal SoC protocol compliance verification. | Minh D. Nguyen, Max Thalmaier, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Jrg Bormann |
| 2005 | GI | Enhancing BMC-based Protocol Verification Using Transition-By-Transition FSM Traversal. | Minh D. Nguyen, Dominik Stoffel, Wolfgang Kunz |
| 2005 | ICCAD | Transition-by-transition FSM traversal for reachability analysis in bounded model checking. | Minh D. Nguyen, Dominik Stoffel, Markus Wedler, Wolfgang Kunz |