Seguir
Fátima Mattiello-Francisco
Fátima Mattiello-Francisco
Tecnologista Senior INPE
E-mail confirmado em inpe.br
Título
Citado por
Citado por
Ano
A practical approach for automated test case generation using statecharts
V Santiago, ASM Do Amaral, NL Vijaykumar, MF Mattiello-Francisco, ...
30th Annual International Computer Software and Applications Conference …, 2006
602006
InRob: An approach for testing interoperability and robustness of real-time embedded software
F Mattiello-Francisco, E Martins, AR Cavalli, ET Yano
Journal of Systems and Software 85 (1), 3-15, 2012
342012
Towards increasing nanosatellite subsystem robustness
CLG Batista, AC Weller, E Martins, F Mattiello-Francisco
Acta Astronautica 156, 187-196, 2019
242019
Designing fault injection experiments using state-based model to test a space software
AM Ambrosio, F Mattiello-Francisco, VA Santiago, WP Silva, E Martins
Dependable Computing: Third Latin-American Symposium, LADC 2007, Morella …, 2007
222007
A Independent Software Verification and Validation Process for Space Applications
A Ambrosio, F Mattiello-Francisco, E Martins
SpaceOps 2008 Conference, 3517, 2008
172008
QSEE Project: An Experience in Outsourcing Software Development for Space Applications.
VA de Santiago Jr, M de Fátima Mattiello-Francisco, R Costa, WP da Silva, ...
SEKE 7, 51-56, 2007
152007
A tool for fault injection and conformance testing of distributed systems
E Martins, M de Fátima Mattiello-Francisco
Latin-American Symposium on Dependable Computing, 282-302, 2003
152003
The NanosatC-Br, CubeSat Development Program-A Joint CubeSat Program Developed By UFSM and INPE/MCTIC-Space GeoPhysics Mission Payloads and First Results
NJ Schuch, OSC Durão, MR da Silva, F Mattiello-Francisco, JBS Martins, ...
Brazilian Journal of Geophysics 37 (1), 95-103, 2019
132019
The protoMIRAX hard X-ray imaging balloon experiment
J Braga, F D’Amico, MAC Avila, AV Penacchioni, JR Sacahui, ...
Astronomy & Astrophysics 580, A108, 2015
112015
O sistema nacional de dados ambientais e a coleta de dados por satélite
MAF dos Santos, MFM Francisco, W Yamaguti, CRNCR do Nordeste, ...
XVI SBSR Simpósio Brasileiro de Sensoriamento Remoto, 2013
92013
Extended interoperability models for timed system robustness testing
F Mattiello-Francisco, E Martins, A Corsetti, AR Cavalli, E Yano
2009 IEEE Latin-American Conference on Communications, 1-6, 2009
82009
QSEE-TAS: Uma ferramenta para execuçao e relato automatizados de testes de software para aplicaçoes espaciais
WP Silva, V Santiago, MF Mattiello-Francisco, D Passos
XX Brazilian Symposium on Software Engineering-SBES, 2006
82006
The Brazilian scientific microsatellite SACI-1
JACF Neri, WA Dos Santos, S Rabay, IM Fonseca, PN De Souza, ...
Acta Astronautica 39 (9-12), 707-709, 1996
81996
SACI-1-a cost-effective microsatellite bus for multiple mission payloads
J Neri, WA Dos Santos, S Rabay, PN De Souza, OB Oliveira Filho, ...
International Conference on Small Satellites: Missions and Technology 9 (13), 1996
81996
ATIFS: a testing toolset with software fault injection
E Martins, AM Ambrosio, MF Mattiello-Francisco
Proceedings of York Computer Science Yellow Report 2003-Workshop SofTest: UK …, 2003
72003
Modeling of the interoperability between on-board computer and payloads of the nanosat-br2 with support of the uppaal tool
D Almeida, F Mattiello-Francisco
1st IAA Latin American Symp. on Small Satellites. Colombia, Session 9, 2017
62017
Dependability verification of nanosatellite embedded software supported by a reusable Test System
CAPL Conceicao, F Mattiello-Francisco, CLG Batista
2016 Seventh Latin-American Symposium on Dependable Computing (LADC), 157-163, 2016
62016
In Rob-UML: uma Abordagem para Testes de Interoperabilidade e Robustez baseados em Modelos
AC Weller, E Martins, F Mattiello-Francisco
62015
Fault injection platform for affordable verification and validation of CubeSats software
D Paiva, JM Duarte, R Lima, M Carvalho, F Mattiello-Francisco, ...
2021 10th Latin-American Symposium on Dependable Computing (LADC), 1-11, 2021
52021
Enhanced software development process for CubeSats to cope with space radiation faults
D Paiva, R Lima, M Carvalho, F Mattiello-Francisco, H Madeira
2022 IEEE 27th Pacific Rim International Symposium on Dependable Computing …, 2022
32022
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20