default search action

combined dblp search
author search
venue search
publication search

ask others

Huu-Vu Nguyen

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/NguyenT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/NguyenT19
Huu-Vu Nguyen, Tayssir Touili:
BCARET Model Checking for Malware Detection. ICTAC 2019: 273-291
2018
[b1]
- view
  - electronic edition @ archives-ouvertes.fr (open access)
  - details & citations
- export record
  dblp key:
  - phd/hal/Nguyen18l
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/hal/Nguyen18l
Huu-Vu Nguyen:
On CARET model-checking of pushdown systems: application to malware detection. (CARET model-checking d'automates à piles: application à la détection de malware). Sorbonne Paris Cité, France, 2018
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/NguyenT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/NguyenT18
Huu-Vu Nguyen, Tayssir Touili:
Branching Temporal Logic of Calls and Returns for Pushdown Systems. IFM 2018: 326-345
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1805-04580
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1805-04580
Huu-Vu Nguyen, Tayssir Touili:
Branching Temporal Logic of Calls and Returns for Pushdown Systems. CoRR abs/1805.04580 (2018)
2017
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/NguyenT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/NguyenT17
Huu-Vu Nguyen, Tayssir Touili:
CARET Analysis of Multithreaded Programs. LOPSTR 2017: 73-90
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/NguyenT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/NguyenT17
Huu-Vu Nguyen, Tayssir Touili:
CARET model checking for pushdown systems. SAC 2017: 1393-1400
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/NguyenT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/NguyenT17
Huu-Vu Nguyen, Tayssir Touili:
CARET model checking for malware detection. SPIN 2017: 152-161
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1709-09006
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1709-09006
Huu-Vu Nguyen, Tayssir Touili:
CARET analysis of multithreaded programs. CoRR abs/1709.09006 (2017)
2014
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/LeNNMPQAPL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/LeNNMPQAPL14
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: 242-247

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.