| 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 | 223 | 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 | 106 | 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 | 81 | 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 | 53 | 2014 |
| A model checker for AADL M Bozzano, A Cimatti, JP Katoen, VY Nguyen, T Noll, M Roveri, ... Computer Aided Verification, 562-565, 2010 | 38 | 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 | 30* | 2009 |
| Formal verification and validation of AADL models M Bozzano, R Cavada, A Cimatti, JP Katoen, V Nguyen, T Noll, X Olive | 29 | 2010 |
| 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 | 29 | 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 International Symposium On Leveraging Applications of Formal Methods …, 2014 | 16 | 2014 |
| 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 |
| Slicing AADL specifications for model checking M Odenbrett, VY Nguyen, T Noll | 13 | 2010 |
| Characterization of failure effects on AADL models B Ern, VY Nguyen, T Noll International Conference on Computer Safety, Reliability, and Security, 241-252, 2013 | 11 | 2013 |
| 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 | 11 | 2011 |
| Model-Based Codesign of Critical Embedded Systems. M Bozzano, A Cimatti, JP Katoen, VY Nguyen, T Noll, M Roveri ACES-MB@ MoDELS, 2009 | 10 | 2009 |
| Incremental hashing for Spin VY Nguyen, T Ruys Model Checking Software, 232-249, 2008 | 9 | 2008 |
| 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 |
| Five Major Reasons Why Safety and Security Haven’t Married (Yet) T Amorim, D Schneider, VY Nguyen, C Schmittner, E Schoitsch ERCIM News 104, Trustworthy Systems of Systems, 16-17, 2015 | 6 | 2015 |
| Trustworthy spacecraft design using formal methods VY Nguyen Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2013 | 5 | 2013 |
| COMPASS project webpage M Bozzano, A Cimatti, JP Katoen, VY Nguyen, T Noll, M Roveri | 5 | 2009 |
| Optimising techniques for model checkers VY Nguyen University of Twente, 2007 | 5 | 2007 |
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteVerified email at cs.rwth-aachen.de
