Leonardo Amorim

Publication Activity (10 Years)

Years Active: 2005-2012
Publications (10 Years): 0

Top Topics

Component Failures

Distributed Query Processing

High Scalability

Top Venues

Publications

Eduardo Tavares, Paulo Romero Martins Maciel, Erica Sousa, Bruno Costa e Silva Nogueira, Leonardo Amorim, Victor Lira
A hierarchical pre-runtime scheduling for hard real-time systems considering fault-tolerance. SMC (2012)
Eduardo Tavares, Raimundo S. Barreto, Paulo Romero Martins Maciel, Meuse N. Oliveira Jr., Leonardo Amorim, Fernando Rocha, Ricardo Massa Ferreira Lima
Software synthesis for hard real-time embedded systems with multiple processors. ACM SIGSOFT Softw. Eng. Notes 32 (2) (2007)
Leonardo Amorim, Paulo Romero Martins Maciel, Meuse N. Nogueira Jr., Raimundo S. Barreto, Eduardo Tavares
Mapping live sequence chart to coloured petri nets for analysis and verification of embedded systems. ACM SIGSOFT Softw. Eng. Notes 31 (3) (2006)
Raimundo S. Barreto, Eduardo Tavares, Paulo Romero Martins Maciel, Meuse N. Oliveira Jr., Leonardo Amorim, Ricardo Massa Ferreira Lima, Cesar Carvalho, Carlos Mello
A Time Petri Net-Based Approach for Software Synthesis Considering Overheads. SBAC-PAD (2005)
Meuse N. Oliveira Jr., Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima, Angelo Ribeiro, Cesar A. L. Oliveira, Adilson Arcoverde, Raimundo S. Barreto, Eduardo Tavares, Leonardo Amorim
A Retargetable Environment for Power-Aware Code Evaluation: An Approach Based on Coloured Petri Net. PATMOS (2005)
Raimundo S. Barreto, Eduardo Tavares, Paulo Romero Martins Maciel, Marília Neves, Meuse N. Oliveira Jr., Leonardo Amorim, Arthur Bessa, Ricardo Massa Ferreira Lima
Embedded Hard Real-Time Software Synthesis Considering Dispatcher Overheads. IESS (2005)
Leonardo Amorim, Raimundo S. Barreto, Paulo Romero Martins Maciel, Eduardo Tavares, Meuse N. Oliveira Jr., Arthur Bessa, Ricardo Massa Ferreira Lima
A Methodology for Software Synthesis of Embedded Real-Time Systems Based on TPN and LSC. ICESS (2005)
Leonardo Amorim, Paulo Romero Martins Maciel, Meuse N. Nogueira Jr., Raimundo S. Barreto, Eduardo Tavares
A methodology for mapping live sequence chart to coloured Petri net. SMC (2005)