| 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 | 41 | 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 | 22 | 2011 |
| 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 | 19 | 2017 |
| Adding security concerns to safety critical certification N Nostro, A Bondavalli, N Silva 2014 IEEE International Symposium on Software Reliability Engineering …, 2014 | 19 | 2014 |
| 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 |
| 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 |
| Experience report: orthogonal classification of safety critical issues N Silva, M Vieira 2014 IEEE 25th International Symposium on Software Reliability Engineering …, 2014 | 14 | 2014 |
| 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 |
| SysML-based and Prolog-supported FMEA F Scippacercola, R Pietrantuono, S Russo, NP Silva 2015 IEEE international symposium on software reliability engineering …, 2015 | 12 | 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 |
| 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 | 10 | 2013 |
| 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 |
| 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 |
| 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 |
| 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 | 8 | 2011 |
| Integrating FMEA in a model-driven methodology F Scippacercola, R Pietrantuono, S Russo, A Esper, N Silva DASIA 2016-Data Systems In Aerospace 736, 10, 2016 | 6 | 2016 |
| csxception®: First steps to provide fault injection for the development of safe systems in automotive industry R Barbosa, N Silva, JM Cunha European Workshop on Dependable Computing, 202-205, 2013 | 6 | 2013 |
Marco VieiraUniversity of North Carolina at Charlotte, University of CoimbraGeverifieerd e-mailadres voor uncc.edu
