| Verification and validation of (real time) COTS products using fault injection techniques R Barbosa, N Silva, J Duraes, H Madeira 2007 Sixth International IEEE Conference on Commercial-off-the-Shelf (COTS …, 2007 | 40 | 2007 |
| Challenges in Calculating the WCET of a Complex On-board Satellite Application. M Rodríguez, N Silva, J Esteves, L Henriques, D Costa, N Holsti, ... WCET, 11-15, 2003 | 27 | 2003 |
| Investigation on safety-related standards for critical systems C Esposito, D Cotroneo, N Silva 2011 First International Workshop on Software Certification, 49-54, 2011 | 21 | 2011 |
| A view on the past and future of fault injection N Silva, R Barbosa, JC Cunha, M Vieira 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems …, 2013 | 19 | 2013 |
| Adding security concerns to safety critical certification N Nostro, A Bondavalli, N Silva 2014 IEEE International Symposium on Software Reliability Engineering …, 2014 | 17 | 2014 |
| Errors on space software requirements: A field study and application scenarios PC Véras, E Villani, AM Ambrosio, N Silva, M Vieira, H Madeira 2010 IEEE 21st International Symposium on Software Reliability Engineering …, 2010 | 15 | 2010 |
| 10 years of ISVV: What's next? N Silva, R Lopes 2012 IEEE 23rd International Symposium on Software Reliability Engineering …, 2012 | 14 | 2012 |
| Towards making safety-critical systems safer: learning from mistakes N Silva, M Vieira 2014 IEEE International Symposium on Software Reliability Engineering …, 2014 | 13 | 2014 |
| Experience report: orthogonal classification of safety critical issues N Silva, M Vieira 2014 IEEE 25th International Symposium on Software Reliability Engineering …, 2014 | 12 | 2014 |
| SysML-based and Prolog-supported FMEA F Scippacercola, R Pietrantuono, S Russo, NP Silva 2015 IEEE international symposium on software reliability engineering …, 2015 | 11 | 2015 |
| Static Analysis tools, a practical approach for safety-critical software verification R Lopes, D Vicente, N Silva ESA Special Publication 669, 2009 | 11 | 2009 |
| A field study on root cause analysis of defects in space software N Silva, JC Cunha, M Vieira Reliability Engineering & System Safety 158, 213-229, 2017 | 10 | 2017 |
| A preliminary fault injection framework for evaluating multicore systems A Lanzaro, A Pecchia, M Cinque, D Cotroneo, R Barbosa, N Silva Computer Safety, Reliability, and Security: SAFECOMP 2012 Workshops: Sassur …, 2012 | 9 | 2012 |
| Qualification and selection of off-the-shelf components for safety critical systems: A systematic approach C Esposito, D Cotroneo, R Barbosa, N Silva 2011 Fifth Latin-American Symposium on Dependable Computing Workshops, 52-57, 2011 | 9 | 2011 |
| Software for embedded systems: a quality assessment based on improved odc taxonomy N Silva, M Vieira Proceedings of the 31st Annual ACM Symposium on Applied Computing, 1780-1783, 2016 | 8 | 2016 |
| Practical Experiences with real-world systems: Security in the World of Reliable and Safe Systems N Silva, R Lopes 2013 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks …, 2013 | 8 | 2013 |
| Independent assessment of safety-critical systems: We bring data! N Silva, R Lopes 2012 IEEE 23rd International Symposium on Software Reliability Engineering …, 2012 | 8 | 2012 |
| Independent test verification: what metrics have a word to say N Silva, R Lopes 2011 First International Workshop on Software Certification, 25-30, 2011 | 8 | 2011 |
| csxception®: First steps to provide fault injection for the development of safe systems in automotive industry R Barbosa, N Silva, JM Cunha Dependable Computing: 14th European Workshop, EWDC 2013, Coimbra, Portugal …, 2013 | 6 | 2013 |
| Overview of 10 years of ISVV findings in safety-critical systems N Silva, R Lopes 2012 IEEE 23rd International Symposium on Software Reliability Engineering …, 2012 | 6 | 2012 |
Marco VieiraCISUC, University of CoimbraEmail verificata su dei.uc.pt
