| 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 | 60 | 2006 |
| 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 | 34 | 2012 |
| Towards increasing nanosatellite subsystem robustness CLG Batista, AC Weller, E Martins, F Mattiello-Francisco Acta Astronautica 156, 187-196, 2019 | 24 | 2019 |
| 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 | 22 | 2007 |
| A Independent Software Verification and Validation Process for Space Applications A Ambrosio, F Mattiello-Francisco, E Martins SpaceOps 2008 Conference, 3517, 2008 | 17 | 2008 |
| 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 | 15 | 2007 |
| 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 | 15 | 2003 |
| 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 | 13 | 2019 |
| The protoMIRAX hard X-ray imaging balloon experiment J Braga, F D’Amico, MAC Avila, AV Penacchioni, JR Sacahui, ... Astronomy & Astrophysics 580, A108, 2015 | 11 | 2015 |
| 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 | 9 | 2013 |
| 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 | 8 | 2009 |
| 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 | 8 | 2006 |
| 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 | 8 | 1996 |
| 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 | 8 | 1996 |
| 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 | 7 | 2003 |
| 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 | 6 | 2017 |
| 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 | 6 | 2016 |
| In Rob-UML: uma Abordagem para Testes de Interoperabilidade e Robustez baseados em Modelos AC Weller, E Martins, F Mattiello-Francisco | 6 | 2015 |
| 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 | 5 | 2021 |
| 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 | 3 | 2022 |
