Digital PM demodulator for brazilian data collecting system. - Jose Marcelo Lima Duarte; Francisco das Chagas Mota; Manoel J. M. Carvalho (SBCCI, 2007)

Addressing Verification and Validation Challenges in Future Cyber-Physical Systems. - Nuno Laranjeiro; Camilo Gomez; Enrico Schiavone; Leonardo Montecchi; Manoel J. M. Carvalho; Paolo Lollini; Zoltán Micskei (LADC, 2019)

Fault injection platform for affordable verification and validation of CubeSats software. - David Paiva; Jose Marcelo Lima Duarte; Raffael S. C. G. de Lima; Manoel J. M. Carvalho; Fátima Mattiello-Francisco; Henrique Madeira (LADC, 2021)

A multiuser decoder based on spectrum analysis for the Brazilian Environmental Data Collecting System. - Jose Marcelo Lima Duarte; Raffael S. C. G. de Lima; Vítor S. Ramos; Manoel J. M. Carvalho (Int. J. Satell. Commun. Netw., 2021)

Enhanced software development process for CubeSats to cope with space radiation faults. - David Paiva; Raffael S. C. G. de Lima; Manoel J. M. Carvalho; Fátima Mattiello-Francisco; Henrique Madeira (PRDC, 2022)