Marcelo Custódio

Pre-Runtime Scheduling Considering Timing and Energy Constraints in Embedded Systems with Multiple Processors

Paulo Romero Martins Maciel, Raimundo S. Barreto, Eduardo Antonio Guimarães Tavares, 2006, DIPES.

Formal Verification of UML Sequence Diagrams in the Embedded Systems Context

Raimundo S. Barreto, Marcelo Custódio, Herbert Rocha, 2011, 2011 Brazilian Symposium on Computing System Engineering.

A Formal Modeling for Embedded Hard Real-Time Systems

Marcelo Custódio, Raimundo Barreto, Meuse Oliveira, 2006 .