Leonardo Amorim

According to our database, Leonardo Amorim authored at least 8 papers between 2005 and 2012.

Collaborative distances:

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

2012

A hierarchical pre-runtime scheduling for hard real-time systems considering fault-tolerance.

Eduardo Tavares, Paulo Romero Martins Maciel, Erica Sousa, Bruno Costa e Silva Nogueira, Leonardo Amorim, Victor Lira

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2012

2007

Software synthesis for hard real-time embedded systems with multiple processors.

Eduardo Tavares, Raimundo S. Barreto, Paulo Romero Martins Maciel, Meuse N. Oliveira Jr., Leonardo Amorim, Fernando Rocha, Ricardo Massa Ferreira Lima

ACM SIGSOFT Softw. Eng. Notes, 2007

2006

Mapping live sequence chart to coloured petri nets for analysis and verification of embedded systems.

Leonardo Amorim, Paulo Romero Martins Maciel, Meuse N. Nogueira Jr., Raimundo S. Barreto, Eduardo Tavares

ACM SIGSOFT Softw. Eng. Notes, 2006

2005

A methodology for mapping live sequence chart to coloured Petri net.

Leonardo Amorim, Paulo Romero Martins Maciel, Meuse N. Nogueira Jr., Raimundo S. Barreto, Eduardo Tavares

Proceedings of the IEEE International Conference on Systems, 2005

A Time Petri Net-Based Approach for Software Synthesis Considering Overheads.

Raimundo S. Barreto, Eduardo Tavares, Paulo Romero Martins Maciel, Meuse N. Oliveira Jr., Leonardo Amorim, Ricardo Massa Ferreira Lima, Cesar Carvalho, Carlos A. B. Mello

Proceedings of the 17th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2005), 2005

A Retargetable Environment for Power-Aware Code Evaluation: An Approach Based on Coloured Petri Net.

Meuse N. Oliveira Jr., Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima, Angelo Ribeiro, César A. L. de Oliveira, Adilson Arcoverde, Raimundo S. Barreto, Eduardo Tavares, Leonardo Amorim

Proceedings of the Integrated Circuit and System Design, 2005

Embedded Hard Real-Time Software Synthesis Considering Dispatcher Overheads.

Raimundo S. Barreto, Eduardo Tavares, Paulo Romero Martins Maciel, Marília Neves, Meuse N. Oliveira Jr., Leonardo Amorim, Arthur Bessa, Ricardo Massa Ferreira Lima

Proceedings of the From Specification to Embedded Systems Application [International Embedded Systems Symposium, 2005

A Methodology for Software Synthesis of Embedded Real-Time Systems Based on TPN and LSC.

Leonardo Amorim, Raimundo S. Barreto, Paulo Romero Martins Maciel, Eduardo Tavares, Meuse N. Oliveira Jr., Arthur Bessa, Ricardo Massa Ferreira Lima

Proceedings of the Embedded Software and Systems, Second International Conference, 2005