Huu-Vu Nguyen

Publication Activity (10 Years)

Years Active: 2014-2019
Publications (10 Years): 7

Top Topics

Concurrent Systems

Malware Detection

Asynchronous Circuits

Top Venues

Sorbonne Paris Cité, France (PHD)

Education History

Sorbonne Paris Cité, France

PHD

Publications

Huu-Vu Nguyen, Tayssir Touili
BCARET Model Checking for Malware Detection. ICTAC (2019)
Huu-Vu Nguyen, Tayssir Touili
Branching Temporal Logic of Calls and Returns for Pushdown Systems. IFM (2018)
Huu-Vu Nguyen, Tayssir Touili
Branching Temporal Logic of Calls and Returns for Pushdown Systems. CoRR (2018)
Huu-Vu Nguyen, Tayssir Touili
CARET Analysis of Multithreaded Programs. LOPSTR (2017)
Huu-Vu Nguyen, Tayssir Touili
CARET analysis of multithreaded programs. CoRR (2017)
Huu-Vu Nguyen, Tayssir Touili
CARET model checking for pushdown systems. SAC (2017)
Huu-Vu Nguyen, Tayssir Touili
CARET model checking for malware detection. SPIN (2017)
Dinh-Thuan Le, Huu-Vu Nguyen, Van-Tinh Nguyen, Phuong-Nam Mai, Bao-Trung Pham-Duy, Thanh-Tho Quan, Étienne André, Laure Petrucci, Yang Liu
PeCAn: Compositional Verification of Petri Nets Made Easy. ATVA (2014)