| 2023 | ACL | Quantifying Train-Evaluation Overlap with Nearest Neighbors. | Gauri Kambhatla, Thuy Nguyen, Eunsol Choi |
| 2022 | SAC | Leveraging hardware-dependent knowledge extraction with multiple program analysis techniques. | Thuy Nguyen, Takashi Tomita, Junpei Endo, Geon-ung Kang, Toshiaki Aoki |
| 2020 | VR | Design of Visual Deficit Simulation for Integration into a Geriatric Physical Diagnosis Course. | Drew Alexander, Thuy Nguyen, Patrick Keller, Jason Orlosky, Shilpa Brown, Elena Wood, Onyeka Ezenwoye, Wanda Jirau-Rosaly |
| 2019 | APSEC | Integrating Static Program Analysis Tools for Verifying Cautions of Microcontroller. | Thuy Nguyen, Toshiaki Aoki, Takashi Tomita, Junpei Endo |
| 2019 | RE | Formal Requirements and Constraints Modelling in FORM-L for the Engineering of Complex Socio-Technical Systems. | Thuy Nguyen |
| 2016 | UIC | Formal Requirements Engineering for Smart Industries: Toward a Model-Based Graphical Language. | Alexandre Le Borgne, Nicolas Belloir, Jean-Michel Bruel, Thuy Nguyen |
| 2011 | RE | Formalizing standards and regulations variability in longlife projects. A challenge for Model-driven engineering. | Nicolas Sannier, Benoit Baudry, Thuy Nguyen |
| 2003 | DSN | Dependability Assessment of Safety-Critical System Software by Static Analysis Methods. | Thuy Nguyen, Alain Ourghanlian |