Skip to content

Viet-Tan Nguyen

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

1

Venues

1

Active years

2020–2020

Best venue rank

C

Where they publish

Papers

1 indexed papers, newest first.

YearVenueTitleAuthors
2020DSDAutomatic State Space Analysis for Modeling Untrusted Embedded Device Drivers.Thomas Fehmel, Viet-Tan Nguyen, Dominik Stoffel, Wolfgang Kunz