Manoel J. M. Carvalho

According to our database, Manoel J. M. Carvalho authored at least 5 papers between 2007 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

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

Proceedings of the 27th IEEE Pacific Rim International Symposium on Dependable Computing, 2022

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

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

Proceedings of the 10th Latin-American Symposium on Dependable Computing, 2021

2019

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

Proceedings of the 9th Latin-American Symposium on Dependable Computing, 2019

2007

Digital PM demodulator for brazilian data collecting system.

Jose Marcelo Lima Duarte, Francisco das Chagas Mota, Manoel J. M. Carvalho

Proceedings of the 20th Annual Symposium on Integrated Circuits and Systems Design, 2007