default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDViet Yen Nguyen
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2013
[b1]Viet Yen Nguyen:
Trustworthy spacecraft design using formal methods. RWTH Aachen University, 2013, pp. 1-187
Journal Articles
- 2014
- [j3]Marco Bozzano
, Alessandro Cimatti, Joost-Pieter Katoen, Panagiotis Katsaros, Konstantinos Mokos, Viet Yen Nguyen, Thomas Noll, Bart Postma, Marco Roveri:
Spacecraft early design validation using formal methods. Reliab. Eng. Syst. Saf. 132: 20-35 (2014) - 2013
- [j2]Viet Yen Nguyen, Theo C. Ruys:
Selected dynamic issues in software model checking. Int. J. Softw. Tools Technol. Transf. 15(4): 337-362 (2013) - 2011
- [j1]Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri:
Safety, Dependability and Performance Analysis of Extended AADL Models. Comput. J. 54(5): 754-775 (2011)
Conference and Workshop Papers
- 2021
- [c15]Viet Yen Nguyen, Andréa B. Duque, Jules Belveze, Lukas D. Baker, Astrid Harsaae, Pedro Pessoa, Inês Oliveira:
Atlastic Reputation AI: Four Years of Advancing and Applying a SOTA NLP Classifier. DSAA 2021: 1-2 - 2014
- [c14]Viet Yen Nguyen, Benjamin Bittner, Joost-Pieter Katoen, Thomas Noll:
Compositional Analysis Using Component-Oriented Interpolation. FACS 2014: 68-85 - [c13]Dimitri Bohlender, Harold Bruintjes, Sebastian Junges, Jens Katelaan, Viet Yen Nguyen, Thomas Noll:
A Review of Statistical Model Checking Pitfalls on Real-Time Stochastic Models. ISoLA (2) 2014: 177-192 - 2013
- [c12]Bernhard Ern, Viet Yen Nguyen, Thomas Noll:
Characterization of Failure Effects on AADL Models. SAFECOMP 2013: 241-252 - 2012
- [c11]Marie-Aude Esteve, Joost-Pieter Katoen, Viet Yen Nguyen, Bart Postma, Yuri Yushtein:
Formal correctness, safety, dependability, and performance analysis of a satellite. ICSE 2012: 1022-1031 - 2010
- [c10]Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri, Ralf Wimmer:
A Model Checker for AADL. CAV 2010: 562-565 - [c9]Falko Dulat, Joost-Pieter Katoen, Viet Yen Nguyen:
Model Checking Markov Chains Using Krylov Subspace Methods: An Experience Report. EPEW 2010: 115-130 - [c8]Viet Yen Nguyen, Thomas Noll, Max Odenbrett:
Slicing AADL Specifications for Model Checking. NASA Formal Methods 2010: 217-221 - 2009
- [c7]Marco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll:
Codesign of dependable systems: A component-based modeling language. MEMOCODE 2009: 121-130 - [c6]Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri:
Model-Based Codesign of Critical Embedded Systems. ACES-MB@MoDELS 2009 - [c5]Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri:
The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems. SAFECOMP 2009: 173-186 - [c4]Marco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll:
Verification and performance evaluation of aadl models. ESEC/SIGSOFT FSE 2009: 285-286 - [c3]Niels H. M. Aan de Brugh, Viet Yen Nguyen, Theo C. Ruys:
MoonWalker: Verification of .NET Programs. TACAS 2009: 170-173 - [c2]Viet Yen Nguyen, Theo C. Ruys:
Memoised Garbage Collection for Software Model Checking. TACAS 2009: 201-214 - 2008
- [c1]Viet Yen Nguyen, Theo C. Ruys:
Incremental Hashing for Spin. SPIN 2008: 232-249
Parts in Books or Collections
- 2014
- [p1]Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll:
Formal validation methods in model-based spacecraft systems engineering. Modeling and Simulation-Based Systems Engineering Handbook 2014: 339-376
Informal and Other Publications
- 2015
- [i1]Tiago Amorim, Daniel Schneider, Viet Yen Nguyen, Christoph Schmittner, Erwin Schoitsch:
Five Major Reasons Why Safety and Security Haven't Married (Yet). ERCIM News 2015(102) (2015)
Coauthor Index
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.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:45 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
