R. Barbosa

Verifying, validating and monitoring the open Ravenscar real time kernel

Luis Miguel Pinho, Kjeld Hjortaes, R. Maia, 2003 .

Xception fault injection and robustness testing framework : a case-study of testing RTEMS

H. Madeira, R. Maia, R. Barbosa, 2005 .

Xception fault injection and robustness testing framework : a case-study of testing RTEMS

H. Madeira, R. Maia, R. Barbosa, 2005 .

Results from an Independent View on The Validation of Safety-Critical Space Systems

Nuno Silva, Ricardo Luis Barbosa, Alexandre Esper, 2013 .

Verification and Validation of (Real Time) COTS Products using Fault Injection Techniques

Nuno Silva, Henrique Madeira, Ricardo Barbosa, 2007, 2007 Sixth International IEEE Conference on Commercial-off-the-Shelf (COTS)-Based Software Systems (ICCBSS'07).

Injection of faults at component interfaces and inside the component code: are they equivalent?

Eliane Martins, Henrique Madeira, Ricardo Barbosa, 2006, 2006 Sixth European Dependable Computing Conference.

Experimental Risk Assessment and Comparison Using Software Fault Injection

Eliane Martins, Henrique Madeira, Ricardo Barbosa, 2007, 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'07).

Monitoring of Real Time Systems: a case for Reflection?

Luis Miguel Pinho, Ricardo Barbosa, L. M. Pinho, 2004 .

Safety-Critical Standards for Verification and Validation

Nuno Silva, Christian Esposito, Ricardo Luis Barbosa, 2013 .

On the Use of Boundary Scan for Code Coverage of Critical Embedded Software

João Carlos Cunha, Ricardo Barbosa, Gilberto Rodrigues, 2012, 2012 IEEE 23rd International Symposium on Software Reliability Engineering.

The PreCertification Kit for Operating Systems in Safety Domains

Nuno Silva, Domenico Cotroneo, Domenico Di Leo, 2011, 2011 First International Workshop on Software Certification.

A Preliminary Fault Injection Framework for Evaluating Multicore Systems

Nuno Silva, Domenico Cotroneo, Marcello Cinque, 2012, SAFECOMP Workshops.