Travelled to:1 × Switzerland
1 × The Netherlands
2 × United Kingdom
Collaborated with:T.C.Ruys J.Katoen N.H.M.A.d.Brugh M.Bozzano A.Cimatti T.Noll M.Roveri M.Esteve B.Postma Y.Yushtein R.Wimmer
Talks about:model (3) perform (2) verif (2) aadl (2) satellit (1) softwar (1) program (1) correct (1) collect (1) checker (1)
Person: Viet Yen Nguyen
DBLP: Nguyen:Viet_Yen
Contributed to:
2012
2010
2009
2009Wrote 5 papers:
- ICSE-2012-EsteveKNPY #analysis #correctness #dependence #performance #safety
- Formal correctness, safety, dependability, and performance analysis of a satellite (MAE, JPK, VYN, BP, YY), pp. 1022–1031.
- CAV-2010-BozzanoCKNNRW #model checking
- A Model Checker for AADL (MB, AC, JPK, VYN, TN, MR, RW), pp. 562–565.
- ESEC-FSE-2009-BozzanoCRKNN #evaluation #modelling #performance #verification
- Verification and performance evaluation of aadl models (MB, AC, MR, JPK, VYN, TN), pp. 285–286.
- TACAS-2009-BrughNR #dot-net #named #source code #verification
- MoonWalker: Verification of .NET Programs (NHMAdB, VYN, TCR), pp. 170–173.
- TACAS-2009-NguyenR #garbage collection #model checking
- Memoised Garbage Collection for Software Model Checking (VYN, TCR), pp. 201–214.