Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Co-authors
(13)
Joost-Pieter Katoen
10
Thomas Noll
10
Alessandro Cimatti
9
Marco Bozzano
9
Marco Roveri
8
Conferences
(3)
TACAS
2
MEMOCODE
1
SAFECOMP
1
Journals
(1)
CJ
1
Keywords
(57)
Embed
Subscribe
Academic
Authors
Viet Yen Nguyen
Edit
Viet Yen Nguyen
Rheinisch Westfalische Technische Hochschule Aachen
Publications: 17
|
Citations: 42
|
G-Index: 5
|
H-Index: 4
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Software Engineering
,
Security & Privacy
,
Programming Languages
View FAQ about top research area and research interests
Collaborated with
13 co-authors
from 2007 to 2011
; Cited by
62 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(17)
BibTeX
|
EndNote
|
RefWorks
Download
System-Software Co-Engineering: Dependability and Safety Perspective
(
Citations: 1
)
Yuri Yushstein
,
Marco Bozzano
,
Alessandro Cimatti
,
Joost-Pieter Katoen
,
Viet Yen Nguyen
,
Thomas Noll
,
Xavier Olive
,
Marco Roveri
Published in 2011.
Safety, Dependability, and Performance Analysis of Extended AADL Models
(
Citations: 8
)
Marco Bozzano
,
Alessandro Cimatti
,
Joost-Pieter Katoen
,
Viet Yen Nguyen
,
Thomas Noll
,
Marco Roveri
Journal:
The Computer Journal - CJ
, vol. doi: 10.10, no. 7, 2010
Formal Verification and Validation of AADL Models
(
Citations: 3
)
Marco Bozzano
,
Roberto Cavada
,
Alessandro Cimatti
,
Joost-Pieter Katoen
,
Viet Yen Nguyen
,
Thomas Noll
,
Xavier Olive
Published in 2010.
Slicing AADL Specifications for Model Checking
(
Citations: 2
)
Maximilian R. Odenbrett
,
Viet Yen Nguyen
,
Thomas Noll
Published in 2010.
A Model Checker for AADL
(
Citations: 1
)
Marco Bozzano
,
Alessandro Cimatti
,
Joost-Pieter Katoen
,
Viet Yen Nguyen
,
Thomas Noll
,
Marco Roveri
,
Ralf Wimmer
Published in 2010.
Order by:
Citations
(42 times by 30 publications)
System-Software Co-Engineering: Dependability and Safety Perspective
(
Citations: 1
)
Yuri Yushstein
,
Marco Bozzano
,
Alessandro Cimatti
,
Joost-Pieter Katoen
,
Viet Yen Nguyen
,
Thomas Noll
,
Xavier Olive
,
Marco Roveri
Published in 2011.
Multi-Core LTSmin: Marrying Modularity and Scalability
(
Citations: 1
)
Alfons Laarman
,
Jaco van de Pol
,
Michael Weber
Published in 2011.
Integrating AADL-Based Tool Chain into Existing Industrial Processes
Alexey Khoroshilov
,
Igor Koverninskiy
,
Alexander Petrenko
,
Alexander Ugnenko
Conference:
International Conference on Engineering of Complex Computer Systems - ICECCS
, 2011
ABV - A Verifier for the Architecture Analysis and Design Language (AADL)
Stefan Björnander
,
Cristina Seceleanu
,
Kristina Lundqvist
,
Paul Pettersson
Conference:
International Conference on Engineering of Complex Computer Systems - ICECCS
, 2011
System synthesis from AADL using Polychrony
Yue Ma
,
Huafeng Yu
,
Thierry Gautier
,
Jean-Pierre Talpin
,
Loic Besnard
,
Paul Le Guernic
Published in 2011.
Comments