Huu-Vu Nguyen

According to our database, Huu-Vu Nguyen authored at least 7 papers between 2014 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

BCARET Model Checking for Malware Detection.

Huu-Vu Nguyen, Tayssir Touili

Proceedings of the Theoretical Aspects of Computing - ICTAC 2019 - 16th International Colloquium, Hammamet, Tunisia, October 31, 2019

2018

On CARET model-checking of pushdown systems: application to malware detection. (CARET model-checking d'automates à piles: application à la détection de malware).

Huu-Vu Nguyen

PhD thesis, 2018

Branching Temporal Logic of Calls and Returns for Pushdown Systems.

Huu-Vu Nguyen, Tayssir Touili

Proceedings of the Integrated Formal Methods - 14th International Conference, 2018

2017

CARET model checking for malware detection.

Huu-Vu Nguyen, Tayssir Touili

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017

CARET model checking for pushdown systems.

Huu-Vu Nguyen, Tayssir Touili

Proceedings of the Symposium on Applied Computing, 2017

CARET Analysis of Multithreaded Programs.

Huu-Vu Nguyen, Tayssir Touili

Proceedings of the Logic-Based Program Synthesis and Transformation, 2017

2014

PeCAn: Compositional Verification of Petri Nets Made Easy.

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

Proceedings of the Automated Technology for Verification and Analysis, 2014