BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Nguyen:Viet_Yen

Contributed to:

ICSE 20122012
CAV 20102010
ESEC/FSE 20092009
TACAS 20092009

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.