Leonardo Amorim de Barros

Idiomas

Áreas de atuação

Produções bibliográficas

• Tavares, Eduardo ; Barreto, Raimundo ; Maciel, Paulo ; Oliveira, Meuse ; Amorim, Leonardo ; Rocha, Fernando ; Lima, Ricardo . Software synthesis for hard real-time embedded systems with multiple processors. Software Engineering Notes , v. 32, p. 1, 2007.

• BARROS, Leonardo Amorim de ; Maciel, Paulo ; Nogueira, Meuse ; Barreto, Raimundo ; Tavares, Eduardo . Mapping live sequence chart to coloured petri nets for analysis and verification of embedded systems. Software Engineering Notes , v. 31, p. 1, 2006.

• BARROS, Leonardo Amorim de ; Barreto, Raimundo ; Maciel, Paulo ; Tavares, Eduardo ; Nogueira, Meuse ; Lima, Ricardo . A Methodology for Software Synthesis of Embedded Real-Time Systems Based on TPN and LSC. In: Yang, Laurence and Zhou, Xingshe and Zhao, Wei and Wu, Zhaohui and Zhu, Yian and Lin, Man. (Org.). Embedded Software and Systems. Heidelberg: Springer Berlin, 2005, v. 3820, p. 50-62.

• Barreto, Raimundo ; Tavares, Eduardo ; Maciel, Paulo ; Marília Neves ; Nogueira, Meuse ; Amorim, Leonardo ; Arthur Bessa ; Lima, Ricardo . Embedded Hard Real-Time Software Synthesis Considering Dispacher Overheads. In: Rettberg, Achim and Zanella, Mauro C. and Rammig, Franz J.. (Org.). From Specification to Embedded Systems Application. Boston: Sringer, 2005, v. 184, p. 77-86.

• BARROS, Leonardo Amorim de ; Maciel, Paulo ; Erica Sousa ; Lima, Ricardo ; Tavares, Eduardo . A Performance Comparison of Public Cloud Storage Services. In: SMC, 2012, Seoul. Human-Machine Systems, 2012.

• Tavares, Eduardo ; Maciel, Paulo ; Erica Sousa ; Bruno Nogueira ; Amorim, Leonardo ; Victor Lira . A Hierarchical Pre-runtime Scheduling for Hard Real-Time Systems Considering Fault-Tolerance. In: SMC, 2012, Seoul. Systems Science & Engineering, 2012.

• Tavares, Eduardo ; Barreto, Raimundo ; Maciel, Paulo ; Nogueira, Meuse ; Marília Neves ; Amorim, Leonardo ; Lima, Ricardo . Embedded Hard Real-Time Software Synthesis Considering Dispatcher Overheads. In: International Embedded Systems Symposium, 2005, Manaus. From Specification to Embedded Systems Application, 2005.

• Tavares, Eduardo ; Barreto, Raimundo ; Maciel, Paulo ; Nogueira, Meuse ; Lima, Ricardo ; BARROS, Leonardo A. ; BESSA, Arthur . A time petri net based approach for embedded hard real-time software synthesis with multiple operational modes. In: 18th Symposium on Integrated Circuits and Systems, 2005, Florianópolis. Proceedings of the 18th annual symposium on Integrated circuits and system design. New York, NY, USA: ACM, 2005. p. 98-103.

• BARROS, Leonardo Amorim de ; MACIEL, P. R. M. ; Tavares, Eduardo ; Nogueira, Meuse ; Barreto, Raimundo . A Methodology for Mapping Live Sequence Chart to Coloured Petri Net. In: IEEE International Conference on Systems, Man, and Cybernetics, 2005, Hawaii. Proceedings of IEEE SMC, 2005.

• Barreto, Raimundo ; Tavares, Eduardo ; MACIEL, P. R. M. ; Nogueira, Meuse ; BARROS, Leonardo A. ; LIMA, Ricardo Massa Ferreira ; BESSA, Arthur . A Time Petri Net-Based Approach for Software Synthesis Considering Dispatcher Overheads. In: 17th International Symposium on Computer Architecture and High Performance Computing, 2005, Rio de Janeiro. Proceedings of SBAC/PAD, 2005.

• BARROS, Leonardo Amorim de ; Barreto, Raimundo ; MACIEL, P. R. M. ; Tavares, Eduardo ; Nogueira, Meuse ; BESSA, Arthur ; LIMA, Ricardo Massa Ferreira . A Methodology for Software Synthesis of Embedded Real-Time Systems Based on TPN and LSC. In: International Conference. In: Second International Conference, ICESS 2005, 2005, Xi an. ICESS 2005 Proceedings. Heidelberg: Springer, 2005. v. 3820. p. 50-62.

• TAVARES, E. A. G. ; BARRETO, R. S. ; OLIVEIRA JUNIOR, M. N. ; MACIEL, P. R. M. ; LIMA, R. M. ; BESSA, A. ; BARROS, Leonardo A. . An Integrated Environment for Embedded Hard Real-Time Systems Scheduling with Timing and Energy Constraints. In: International Workshop on Power and Timing Modeling, Optimization and Simulation, 2005, Leuven. PATMOS, 2005.

• OLIVEIRA JUNIOR, M. N. ; MACIEL, P. R. M. ; LIMA, R. M. ; RIBEIRO, A ; OLIVEIRA, C. ; ARCOVERDE, A. ; BARRETO, R. S. ; TAVARES, E. A. G. ; BARROS, Leonardo A. . A Retargetable Environment for Power-Aware Code Evaluation: An Approach Based on Coloured Petri Net. In: International Workshop on Power and Timing Modeling, Optimization and Simulation, 2005, Leuven. PATMOS 2005. Berlin: Springer, 2005.

Prêmios