- A Formal Method for Modeling, Verification and Synthesis of Embedded Reactive Systems. Raimundo Da Silva Barreto; Lucas Cordeiro; Sergio Vale Aguiar Campos; Ruiter Braga Caldas; IADIS International Conference Applied Computing, 2011. Completo.
- Otimização de Seqüências de Montagem SMD usando Algoritmo Memético. Elidelson Carvalho; Raimundo Da Silva Barreto; João Edgar Chaves Filho; Ruiter Braga Caldas; XVII Congresso Brasileiro de Automática (CBA), 2008. Completo.
- Modeling and Analysis of Flexible Manufacturing Systems through Hierarchical and Colored Petri Nets. Marcelo Aguiar; Raimundo Da Silva Barreto; João Edgar Chaves Filho; Ruiter Braga Caldas; International Conference on Industrial Technology (ICIT'08), 2008. Completo.
- On the use of X-machine Formal Model to Design Sensor Network Applications. Raimundo Da Silva Barreto; Sergio Campos; Ruiter Braga Caldas; IEEE Symposium on Industrial Embedded Systems (SIES2008)-Work In Progress, 2008. Completo.
- A Logics-based Framework for Hard Real-Time Embedded Systems Scheduling. Marcelo Custódio; Raimundo Da Silva Barreto; Ruiter Braga Caldas; 9th Workshop on Real-Time Systems WTR'07. In conjunction with the 25th Brazilian Symposium on Computer Networks, 2007. Completo.
- An Automated Theorem Proving Method for Scheduling Embedded Hard Real-time Systems. Marcelo Custódio; Raimundo Da Silva Barreto; Ruiter Braga Caldas; 27th IEEE Real-Time Systems Symposium- Work-in-Progress, 2006. Completo.
- Low Power/High Performance Self-Adapting Sensor Node Architecture. Fábio L. Corrêa Jr; José Augusto Nacif; Thiago R. Roque; Linnyer B. Ruiz; Antônio O. Fernandes; José M. Da Mata; Claudionor Coelho Jr; Ruiter Braga Caldas; Low Power/High Performance Self-Adapting Sensor Node Architecture,
- Reconfigurable Sensor Node for Low Power/High Performance Applications. Fábio L. Corrêa Jr; José Augusto Nacif; Thiago R. Roque; Linnyer B. Ruiz; Antônio O. Fernandes; Claudionor Coelho Jr; Ruiter Braga Caldas; Ifip International Conference On Very Large Scale Integration Systems Vlsi Soc,