Suivre
Francisco Moreira
Francisco Moreira
Critical Software S.A.
Adresse e-mail validée de criticalsoftware.com
Titre
Citée par
Citée par
Année
RIFLE: A general purpose pin-level fault injector
H Madeira, M Rela, F Moreira, JG Silva
European Dependable Computing Conference, 197-216, 1994
2501994
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
972002
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
561996
DBench dependability benchmarks
K Kanoun, H Madeira, Y Crouzet, M Dal Cin, F Moreira, JCR Garcia
DBench, Project IST-2000-25425, 2004
142004
ParLin: from a centralized tuple space to adaptive hashing
JG Silva, J Carreira, F Moreira
Transputer Applications and Systems 94, 91-104, 1993
131993
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
102003
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
62008
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
62005
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
52003
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
41993
Cost Estimation for Independent Systems Verification and Validation
A Pataricza, L Gönczy, F Brancati, F Moreira, N Silva, R Esposito, ...
3*
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
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–17