Viet Yen Nguyen

Safety, Dependability and Performance Analysis of Extended AADL Models

Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen et al. · The Computer Journal · 2010 · 216 citations

Engineering, Aerospace Engineering, Computer Science +17

Spacecraft early design validation using formal methods

Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen et al. · Reliability Engineering & System Safety · 2014 · 62 citations · Full text

Engineering, Aerospace Engineering, Systems Engineering +14

Formal correctness, safety, dependability, and performance analysis of a satellite

Marie-Aude Esteve, Joost-Pieter Katoen, Viet Yen Nguyen et al. · 2012 · 51 citations · Full text

Computing, Computer Science, Systems Engineering +17

Verification and performance evaluation of aadl models

Marco Bozzano, Alessandro Cimatti, Marco Roveri et al. · 2009 · 14 citations

Computing, Aerospace Engineering, Computer Science +17

Model-Based Codesign of Critical Embedded Systems.

Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen et al. · Institutional Research Information System (Università degli Studi di Trento) · 2009 · 13 citations

Engineering, Computer Engineering, Computer Science +17