Nuno Silva
Nuno Silva
Program Manager, Critical Software, SA
Verified email at criticalsoftware.com - Homepage
Title
Cited by
Cited by
Year
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
352007
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
232003
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
172013
Investigation on safety-related standards for critical systems
C Esposito, D Cotroneo, N SIlva
2011 First International Workshop on Software Certification, 49-54, 2011
172011
Adding security concerns to safety critical certification
N Nostro, A Bondavalli, N Silva
2014 IEEE International Symposium on Software Reliability Engineering …, 2014
152014
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
152010
Experience report: orthogonal classification of safety critical issues
N Silva, M Vieira
2014 IEEE 25th International Symposium on Software Reliability Engineering …, 2014
112014
10 years of ISVV: What's next?
N Silva, R Lopes
2012 IEEE 23rd International Symposium on Software Reliability Engineering …, 2012
112012
Towards making safety-critical systems safer: learning from mistakes
N Silva, M Vieira
2014 IEEE International Symposium on Software Reliability Engineering …, 2014
102014
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
82017
A preliminary fault injection framework for evaluating multicore systems
A Lanzaro, A Pecchia, M Cinque, D Cotroneo, R Barbosa, N Silva
International Conference on Computer Safety, Reliability, and Security, 106-116, 2012
82012
Independent test verification: what metrics have a word to say
N Silva, R Lopes
2011 First International Workshop on Software Certification, 25-30, 2011
82011
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
82011
Static Analysis tools, a practical approach for safety-critical software verification
R Lopes, D Vicente, N Silva
ESA Special Publication 669, 2009
82009
SysML-based and Prolog-supported FMEA
F Scippacercola, R Pietrantuono, S Russo, NP Silva
2015 IEEE international symposium on software reliability engineering …, 2015
72015
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
72013
Independent assessment of safety-critical systems: We bring data!
N Silva, R Lopes
2012 IEEE 23rd International Symposium on Software Reliability Engineering …, 2012
72012
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
52016
Results from an Independent View on The Validation of Safety-Critical Space Systems
N Silva, R Lopes, A Esper, R Barbosa
ESASP 720, 49, 2013
52013
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
52013
The system can't perform the operation now. Try again later.
Articles 1–20