Ricardo Massa Ferreira Lima

Cesar A. L. Oliveira, Ricardo Massa Ferreira Lima, Hajo A. Reijers, Joel Tiago S. Ribeiro: Quantitative Analysis of Resource-Constrained Business Processes. IEEE Transactions on Systems, Man, and Cybernetics, Part A 42(3): 669-684 (2012)

Alan M. V. Neves, Cesar A. L. Oliveira, Ricardo Massa Ferreira Lima, Cecilia L. Sabat: Computing Strategic Trade-Offs in Web Service Deployment and Selection. ICWS 2012: 210-217

Henrique Rebêlo, Ricardo Massa Ferreira Lima, Alexandre Mota, Cesar A. L. Oliveira, Márcio Ribeiro: Enforcing Contracts for Aspect-oriented programs with Annotations, Pointcuts and Advice. SEKE 2012: 148-153

Henrique Rebêlo, Ricardo Massa Ferreira Lima, Alexandre Mota, César Oliveria, Márcio Ribeiro: Checking Contracts for AOP using XPIDRs. SEKE 2012

Bruno Costa e Silva Nogueira, Paulo Romero Martins Maciel, Eduardo Tavares, Ermeson Andrade, Ricardo Massa Ferreira Lima, Gustavo Rau de Almeida Callou, Rodolfo Ferraz: A Formal Model for Performance and Energy Evaluation of Embedded Systems. EURASIP J. Emb. Sys. 2011 (2011)

Marcelo Teixeira, Ricardo Massa Ferreira Lima, Cesar A. L. Oliveira, Paulo Romero Martins Maciel: Planning service agreements in soa-based systems through stochastic models. SAC 2011: 1576-1581

Henrique Rebêlo, Ricardo Massa Ferreira Lima, Uirá Kulesza, Cláudio Sant'Anna, Roberta Coelho, Alexandre Mota, Márcio Ribeiro, Cesar A. L. Oliveira: Assessing the Impact of Aspects on Design By Contract Effort: A Quantitative Study. SEKE 2011: 450-455

Artini M. Lemos, Caio C. Sabino, Ricardo Massa Ferreira Lima, Cesar A. L. Oliveira: Conformance Checking of Software Development Processes Through Process Mining. SEKE 2011: 654-659

Artini M. Lemos, Caio C. Sabino, Ricardo Massa Ferreira Lima, Cesar A. L. Oliveira: Using process mining in software development process management: A case study. SMC 2011: 1181-1186

Renata Medeiros de Carvalho, Ricardo Massa Ferreira Lima, Adriano Lorena Inácio de Oliveira: An efficient algorithm for static task scheduling in parallel applications. SMC 2011: 2313-2318

Adriano L. I. Oliveira, Petrônio L. Braga, Ricardo Massa Ferreira Lima, Márcio Cornélio: GA-based method for feature selection and parameters optimization for machine learning regression applied to software effort estimation. Information & Software Technology 52(11): 1155-1166 (2010)

Gabriel Alves de Albuquerque, Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima, Armin Zimmermann: Automatic Modeling for Performance Evaluation of Inventory and Outbound Distribution. IEEE Transactions on Systems, Man, and Cybernetics, Part A 40(5): 1025-1044 (2010)

Renata M. Carvalho, Ricardo Massa Ferreira Lima, Adriano L. I. Oliveira, Felix C. G. Santos: Scheduling parallel jobs for multiphysics simulators. IEEE Congress on Evolutionary Computation 2010: 1-8

José Elias Araújo, Henrique Rebêlo, Ricardo Massa Ferreira Lima, Alexandre Mota, Fernando Castor, Tiago Lima, Juliana Lucena, Filipe Lima: An Aspect-based Approach for Concurrent Programming using CSP Features. ICSOFT (2) 2010: 226-231

Marcelo Teixeira, Ricardo Massa Ferreira Lima, Cesar A. L. Oliveira, Paulo Romero Martins Maciel: A stochastic model for performance evaluation and bottleneck discovering on SOA-based systems. SMC 2010: 358-365

Renata Medeiros de Carvalho, Ricardo Massa Ferreira Lima, Adriano L. I. de Oliveira, Felix Christian Guimaraes Santos: Identifying parallel jobs for Multi-Physics simulators scheduling. SMC 2010: 923-930

Cesar A. L. Oliveira, Ricardo Massa Ferreira Lima, Thiago Andre, Hajo A. Reijers: Modeling and Analyzing Resource-Constrained Business Processes. SMC 2009: 2824-2830

Marcelo Teixeira, Ricardo Massa Ferreira Lima, Cesar A. L. Oliveira, Paulo Romero Martins Maciel: Performance Evaluation of Service-Oriented Architecture through Stochastic Petri Nets. SMC 2009: 2831-2836

Raimundo S. Barreto, Paulo Romero Martins Maciel, Eduardo Tavares, Romulo Devezas Freitas, Meuse N. Oliveira Jr., Ricardo Massa Ferreira Lima: A time Petri net-based method for embedded hard real-time software synthesis. Design Autom. for Emb. Sys. 12(1-2): 31-62 (2008)

Henrique Rebêlo, Ricardo Massa Ferreira Lima, Márcio Cornélio, Sérgio Soares: A JML Compiler Based on AspectJ. ICST 2008: 541-544

Henrique Rebêlo, Sérgio Soares, Ricardo Massa Ferreira Lima, Leopoldo Ferreira, Márcio Cornélio: Implementing Java modeling language contracts with AspectJ. SAC 2008: 228-233

Gabriel Alves de Albuquerque, Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima, Armin Zimmermann: Performance evaluation of logistics with componentized stochastic models. SMC 2008: 2087-2092

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 Software Engineering Notes 32(2): 1-10 (2007)

Sérgio Soares, Paulo Borba, Ricardo Massa Ferreira Lima: Concurrency Control Modularization with Aspect-Oriented Programming. COMPSAC (1) 2007: 295-300

Abel G. Silva-Filho, Carmelo J. A. Bastos Filho, Ricardo Massa Ferreira Lima, Davi M. A. Falcão, Filipe R. Cordeiro, Marília P. Lima: An Intelligent Mechanism to Explore a Two-Level Cache Hierarchy Considering Energy Consumption and Time Performance. SBAC-PAD 2007: 177-184

Gabriel Alves, Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima: A GSPN based approach to evaluate outbound logistics. SMC 2007: 708-713

Adilson Arcoverde, Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima: Performance evaluation of manufacturing systems using GSPN with energy consumption and human resource allocation annotations. SMC 2007: 2894-2900

Gabriel Alves, Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima: Modeling and evaluation of supply chains with GSPN components. VALUETOOLS 2007: 31

Meuse N. Oliveira Jr., Silvino Neto, Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima, Angelo Ribeiro, Raimundo S. Barreto, Eduardo Tavares, Frederico Braga: Analyzing Software Performance and Energy Consumption of Embedded Systems by Probabilistic Modeling: An Approach Based on Coloured Petri Nets. ICATPN 2006: 261-281

Martin A. Musicante, Ricardo Massa Ferreira Lima: The 9_th Brazilian Symposium on Programming Languages J.UCS Special Issue. J. UCS 11(7): 1115-1116 (2005)

Adilson Arcoverde, Gabriel Alves, Ricardo Massa Ferreira Lima: Petri nets tools integration through Eclipse. ETX 2005: 90-94

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: 50-62

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: 49-58

Eduardo Tavares, Raimundo S. Barreto, Paulo Romero Martins Maciel, Meuse N. Oliveira Jr., Adilson Arcoverde, Gabriel Alves, Ricardo Massa Ferreira Lima, Leonardo Barros, Arthur Bessa: An Integrated Environment for Embedded Hard Real-Time Systems Scheduling with Timing and Energy Constraints. PATMOS 2005: 382-392

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: 184-192

Eduardo Tavares, Paulo Romero Martins Maciel, Arthur Bessa, Raimundo S. Barreto, Leonardo Barros, Meuse N. Oliveira Jr., Ricardo Massa Ferreira Lima: A time petri net based approach for embedded hard real-time software synthesis with multiple operational modes. SBCCI 2005: 98-103

Raimundo S. Barreto, Paulo Romero Martins Maciel, Marília Neves, Eduardo Tavares, Ricardo Massa Ferreira Lima: A Novel Approach for Off-Line Multiprocesor Scheduling in Embedded Hard Real-Time Systems. DIPES 2004: 157-166

Gabriel Alves, Adilson Arcoverde, Ricardo Massa Ferreira Lima, Paulo Romero Martins Maciel: EZPetri: A Petri net interchange framework for Eclipse based on PNML. ISoLA (Preliminary proceedings) 2004: 143-149

Ricardo Massa Ferreira Lima, Rafael Dueire Lins, André L. M. Santos: A back-end for GHC based on categorical multi-combinators. SAC 2004: 1482-1489

Eduardo Tavares, Raimundo S. Barreto, Meuse N. Oliveira Jr., Paulo Romero Martins Maciel, Marília Neves, Ricardo Massa Ferreira Lima: An Approach for Pre Runtime Scheduling in Embedded Hard Real Time Systems with Power Constraints. SBAC-PAD 2004: 188-195

Raimundo S. Barreto, Marília Neves, Meuse N. Oliveira Jr., Paulo Romero Martins Maciel, Eduardo Tavares, Ricardo Massa Ferreira Lima: A formal software synthesis approach for embedded hard real-time systems. SBCCI 2004: 163-168

F. H. Carvalho, Ricardo Massa Ferreira Lima, Rafael Dueire Lins: Coordinating functional processes with Haskell_#. SAC 2002: 393-400

Francisco Heron de Carvalho Junior, Rafael Dueire Lins, Ricardo Massa Ferreira Lima: Translating Haskell_# Programs into Petri Nets. VECPAR 2002: 635-649

Genésio Gomes da Cruz Neto, Ricardo Massa Ferreira Lima, Rafael Dueire Lins, André L. M. Santos: Optimising Pseudoknotin FCMC. EUROMICRO 1996: 120-126