| Safety, dependability and performance analysis of extended AADL models M Bozzano, A Cimatti, JP Katoen, VY Nguyen, T Noll, M Roveri The Computer Journal 54 (5), 754-775, 2011 | 266 | 2011 |
| The COMPASS approach: Correctness, modelling and performability of aerospace systems M Bozzano, A Cimatti, JP Katoen, VY Nguyen, T Noll, M Roveri Computer Safety, Reliability, and Security, 173-186, 2009 | 130 | 2009 |
| Formal correctness, safety, dependability, and performance analysis of a satellite MA Esteve, JP Katoen, VY Nguyen, B Postma, Y Yushtein 2012 34th International conference on software engineering (ICSE), 1022-1031, 2012 | 96 | 2012 |
| Spacecraft early design validation using formal methods M Bozzano, A Cimatti, JP Katoen, P Katsaros, K Mokos, VY Nguyen, ... Reliability engineering & system safety 132, 20-35, 2014 | 84 | 2014 |
| A model checker for AADL M Bozzano, A Cimatti, JP Katoen, VY Nguyen, T Noll, M Roveri, ... Computer Aided Verification, 562-565, 2010 | 47 | 2010 |
| Formal verification and validation of AADL models M Bozzano, R Cavada, A Cimatti, JP Katoen, V Nguyen, T Noll, X Olive ERTS2 2010, Embedded Real Time Software & Systems, 2010 | 41 | 2010 |
| Moonwalker: Verification of. net programs N Aan de Brugh, VY Nguyen, T Ruys Tools and Algorithms for the Construction and Analysis of Systems, 170-173, 2009 | 33 | 2009 |
| Codesign of dependable systems: a component-based modeling language M Bozzano, A Cimatti, M Roveri, JP Katoen, VY Nguyen, T Noll 2009 7th IEEE/ACM International Conference on Formal Methods and Models for …, 2009 | 32 | 2009 |
| A review of statistical model checking pitfalls on real-time stochastic models D Bohlender, H Bruintjes, S Junges, J Katelaan, VY Nguyen, T Noll Leveraging Applications of Formal Methods, Verification and Validation …, 2014 | 21 | 2014 |
| Slicing AADL specifications for model checking M Odenbrett, VY Nguyen, T Noll Proceedings of the Second NASA Formal Methods Symposium, 2010 | 17 | 2010 |
| Verification and performance evaluation of AADL models M Bozzano, A Cimatti, M Roveri, JP Katoen, VY Nguyen, T Noll Proceedings of the 7th joint meeting of the European software engineering …, 2009 | 16 | 2009 |
| Model-based codesign of critical embedded systems M Bozzano, A Cimatti, JP Katoen, VY Nguyen, T Noll, M Roveri 2nd International Workshop on Model Based Architecting and Construction of …, 2009 | 14 | 2009 |
| System-software co-engineering: Dependability and safety perspective Y Yushtein, M Bozzano, A Cimatti, JP Katoen, VY Nguyen, T Noll, X Olive, ... 2011 IEEE Fourth International Conference on Space Mission Challenges for …, 2011 | 12 | 2011 |
| Incremental hashing for Spin VY Nguyen, T Ruys Model Checking Software, 232-249, 2008 | 11 | 2008 |
| Characterization of failure effects on AADL models B Ern, VY Nguyen, T Noll International Conference on Computer Safety, Reliability, and Security, 241-252, 2013 | 10 | 2013 |
| Five major reasons why safety and security haven’t married (yet) T Amorim, D Schneider, VY Nguyen, C Schmittner, E Schoitsch ERCIM News 102, 16-17, 2015 | 9 | 2015 |
| Memoised Garbage Collection for Software Model Checking VY Nguyen, T Ruys Tools and Algorithms for the Construction and Analysis of Systems, 201-214, 2009 | 7 | 2009 |
| Trustworthy spacecraft design using formal methods VY Nguyen Aachen, Techn. Hochsch., Diss., 2012, 2013 | 5 | 2013 |
| Optimising techniques for model checkers VY Nguyen University of Twente, 2007 | 5 | 2007 |
| COMPASS project webpage M Bozzano, A Cimatti, JP Katoen, VY Nguyen, T Noll, M Roveri | 4 | 2009 |
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteVerified email at cs.rwth-aachen.de
