Huu-Vu Nguyen

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2019
BCARET Model Checking for Malware Detection.
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).
PhD thesis, 2018

Branching Temporal Logic of Calls and Returns for Pushdown Systems.
Proceedings of the Integrated Formal Methods - 14th International Conference, 2018

2017
CARET model checking for malware detection.
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017

CARET model checking for pushdown systems.
Proceedings of the Symposium on Applied Computing, 2017

CARET Analysis of Multithreaded Programs.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2017

2014
PeCAn: Compositional Verification of Petri Nets Made Easy.
Proceedings of the Automated Technology for Verification and Analysis, 2014


  Loading...