Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Viet Yen Nguyen" ( http://dblp.L3S.de/Authors/Viet_Yen_Nguyen )

  Author page on DBLP  Author page in RDF  Community of Viet Yen Nguyen in ASPL-2

Publication years (Num. hits)
2008 (1) 2009 (5) 2010 (2) 2011 (1)
Publication types (Num. hits)
article(1) inproceedings(8)
Venues (Conferences, Journals, ...)
TACAS(2) CAV(1) Comput. J.(1) EPEW(1) ESEC/SIGSOFT FSE(1) MEMOCODE(1) SAFECOMP(1) SPIN(1)
Authors
Viet Yen Nguyen(9) Joost-Pieter Katoen(6) Alessandro Cimatti(5) Marco Bozzano(5) Marco Roveri(5) Thomas Noll(5) Theo C. Ruys(3) Falko Dulat(1) Niels H. M. Aan de Brugh(1) Ralf Wimmer(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 5 occurrences of 5 keywords
Results
Found 9 publication records. Showing 9 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri Safety, Dependability and Performance Analysis of Extended AADL Models. Search on Bibsonomy Comput. J. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri, Ralf Wimmer A Model Checker for AADL. Search on Bibsonomy CAV The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Falko Dulat, Joost-Pieter Katoen, Viet Yen Nguyen Model Checking Markov Chains Using Krylov Subspace Methods: An Experience Report. Search on Bibsonomy EPEW The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll Codesign of dependable systems: A component-based modeling language. Search on Bibsonomy MEMOCODE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Niels H. M. Aan de Brugh, Viet Yen Nguyen, Theo C. Ruys MoonWalker: Verification of .NET Programs. Search on Bibsonomy TACAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Viet Yen Nguyen, Theo C. Ruys Memoised Garbage Collection for Software Model Checking. Search on Bibsonomy TACAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems. Search on Bibsonomy SAFECOMP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll Verification and performance evaluation of aadl models. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF performability, model checking, reliability, dependability, aadl
1Viet Yen Nguyen, Theo C. Ruys Incremental Hashing for Spin. Search on Bibsonomy SPIN The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #9 of 9 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.