RIFLE: A general purpose pin-level fault injector H Madeira, M Rela, F Moreira, JG Silva European Dependable Computing Conference, 197-216, 1994 | 251 | 1994 |
Experimental evaluation of a COTS system for space applications H Madeira, RR Some, F Moreira, D Costa, D Rennels Dependable Systems and Networks, 2002. DSN 2002. Proceedings. International …, 2002 | 96 | 2002 |
Experimental assessment of parallel systems JG Silva, J Carreira, H Madeira, D Costa, F Moreira Fault Tolerant Computing, 1996., Proceedings of Annual Symposium on, 415-424, 1996 | 56 | 1996 |
DBench dependability benchmarks K Kanoun, H Madeira, Y Crouzet, M Dal Cin, F Moreira, JCR Garcia DBench, Project IST-2000-25425, 2004 | 14 | 2004 |
ParLin: from a centralized tuple space to adaptive hashing JG Silva, J Carreira, F Moreira Transputer Applications and Systems 94, 91-104, 1993 | 13 | 1993 |
Static and Dynamic Verification of Critical Software for Space Applications F Moreira, R Maia, D Costa, N Duro, P Rodríguez-Dapena, K Hjortnaes DASIA 2003-Data Systems In Aerospace 532, 2003 | 10 | 2003 |
DeBERT: dependability benchmarking of embedded Real-Time Off-the-Shelf components for space applications D Costa, R Barbosa, R Maia, F Moreira Dependability Benchmarking for Computer Systems 72, 255, 2008 | 6 | 2008 |
Technology harmonization-developing a reference architecture for the ground segment software N Duro, F Moreira, J Rogado, J Reis, N Peccia Aerospace Conference, 2005 IEEE, 3968-3979, 2005 | 6 | 2005 |
Verifying, validating and monitoring the open Ravenscar real time kernel R Maia, F Moreira, R Barbosa, D Costa, K Hjortaes, P Rodriguez, ... ACM SIGAda Ada Letters 23 (4), 74-81, 2003 | 5 | 2003 |
Pin-level fault injection for dependability validation: some research results at the University of Coimbra H Madeira, F Moreira, M Rela, P Furtado, JG Silva IEEE Intntl. Workshop on Fault and Error Injection for Dependability …, 1993 | 4 | 1993 |
Cost Estimation for Independent Systems Verification and Validation A Pataricza, L Gönczy, F Brancati, F Moreira, N Silva, R Esposito, ... | 4* | |
A Process for Finding and Tackling the Main Root Causes that Affect Critical Systems Quality N Silva, F Moreira, JC Cunha, M Vieira | 1* | |
Applicability of the Common Safety Method for Risk Evaluation and Assessment (CSM-RA) to the Space Domain F Moreira, N Silva DASIA 2016-Data Systems In Aerospace 736, 2016 | | 2016 |
Towards an Analysis Framework for Cost & Quality Estimation of V&V Projects A Patricia, L Gonczy, F Brancati, F Moreira, N Silva, R Esposito, A Salani, ... DASIA 2016-Data Systems In Aerospace 736, 2016 | | 2016 |
Common Safety Method for Risk Evaluation and Assessment (CSM-RA) and Hazard Analysis Tutorial: Managing Effectively Significant Changes in a Railway System F Moreira, NP Silva Dependable Systems and Networks Workshop, 2016 46th Annual IEEE/IFIP …, 2016 | | 2016 |
Applicability of the Common Safety Method for Risk Evaluation and Assessment (CSM-RA) to the Space Domain NS Francisco Moreira DASIA – Data Systems In Aerospace – 2016, 2016 | | 2016 |
Experimental evaluation of a COTS system for space applications RR Some, H Madeira, F Moreira, D Costa, D Rennels | | 2002 |