Ricardo Massa Ferreira Lima
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
33
Venues
13
Active years
2002–2025
Best venue rank
B
Where they publish
Papers
33 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | SMC | Multi-perspective log generator for declarative models. | Bruna Alves Wanderley de Siqueira, Katiane Oliveira Alpes da Silva, Ricardo Massa Ferreira Lima |
| 2023 | SMC | Investigating the Usability and Comprehensibility of Process Mining Tools Within an Application-Specific Context. | Thiago De Sousa Arajo, Ricardo Massa Ferreira Lima, Adriano Lorena Incio de Oliveira, Raphael Jos D'Castro, Brulio Gabriel Gusmo, Rafael Leite Paulo, Joo Thiago De Frana Guerra |
| 2020 | SMC | Evaluating Entrepreneurial Perceptions on Blended Learning. | Glenda Malta de Almeida, Alex Sandro Gomes, Jlia Carneiro de Almeida, Tiago Jos Dimas Dias Nogueira, Ricardo Massa Ferreira Lima, Thiago Suruagy de Melo, Lorenna Andrade de Mello |
| 2015 | ETFA | A modeling architecture for the orchestration of service components in factory automation. | Marcelo Teixeira, Richardson Ribeiro, Marco A. C. Barbosa, Fabrcio Enembreck, Ricardo Massa Ferreira Lima |
| 2013 | ICSOC | REFlex: An Efficient Web Service Orchestrator for Declarative Business Processes. | Natlia Cabral Silva, Renata Medeiros de Carvalho, Csar Augusto Lins de Oliveira, Ricardo Massa Ferreira Lima |
| 2013 | OOPSLA | Client-aware checking and information hiding in interface specifications with JML/ajmlc. | Henrique Reblo, Gary T. Leavens, Ricardo Massa Ferreira Lima |
| 2013 | SMC | ReFlex: An Efficient Graph-Based Rule Engine to Execute Declarative Processes. | Renata Medeiros de Carvalho, Natlia Cabral Silva, Ricardo Massa Ferreira Lima, Mrcio Cornlio |
| 2012 | ICWS | Computing Strategic Trade-Offs in Web Service Deployment and Selection. | Alan M. V. Neves, Csar A. L. de Oliveira, Ricardo Massa Ferreira Lima, Ceclia Leite Sabat |
| 2012 | SEKE | Enforcing Contracts for Aspect-oriented programs with Annotations, Pointcuts and Advice. | Henrique Reblo, Ricardo Massa Ferreira Lima, Alexandre Mota, Csar A. L. de Oliveira, Mrcio Ribeiro |
| 2012 | SEKE | Checking Contracts for AOP using XPIDRs. | Henrique Reblo, Ricardo Massa Ferreira Lima, Alexandre Mota, Csar A. L. de Oliveira, Mrcio Ribeiro |
| 2011 | SMC | An efficient algorithm for static task scheduling in parallel applications. | Renata Medeiros de Carvalho, Ricardo Massa Ferreira Lima, Adriano Lorena Incio de Oliveira |
| 2011 | SMC | Using process mining in software development process management: A case study. | Artini M. Lemos, Caio C. Sabino, Ricardo Massa Ferreira Lima, Csar A. L. de Oliveira |
| 2011 | SAC | Planning service agreements in soa-based systems through stochastic models. | Marcelo Teixeira, Ricardo Massa Ferreira Lima, Csar A. L. de Oliveira, Paulo Romero Martins Maciel |
| 2011 | SEKE | Conformance Checking of Software Development Processes Through Process Mining. | Artini M. Lemos, Caio C. Sabino, Ricardo Massa Ferreira Lima, Csar A. L. de Oliveira |
| 2011 | SEKE | Assessing the Impact of Aspects on Design By Contract Effort: A Quantitative Study. | Henrique Reblo, Ricardo Massa Ferreira Lima, Uir Kulesza, Cludio Sant'Anna, Roberta Coelho, Alexandre Mota, Mrcio Ribeiro, Csar A. L. de Oliveira |
| 2010 | CEC | Scheduling parallel jobs for multiphysics simulators. | Renata Medeiros de Carvalho, Ricardo Massa Ferreira Lima, Adriano L. I. Oliveira, Felix C. G. Santos |
| 2010 | ICSoft | An Aspect-based Approach for Concurrent Programming using CSP Features. | Jos Elias Arajo, Henrique Reblo, Ricardo Massa Ferreira Lima, Alexandre Mota, Fernando Castor, Tiago Lima, Juliana Lucena, Filipe Lima |
| 2010 | SMC | Identifying parallel jobs for Multi-Physics simulators scheduling. | Renata Medeiros de Carvalho, Ricardo Massa Ferreira Lima, Adriano L. I. de Oliveira, Felix Christian Guimares Santos |
| 2010 | SMC | A stochastic model for performance evaluation and bottleneck discovering on SOA-based systems. | Marcelo Teixeira, Ricardo Massa Ferreira Lima, Csar A. L. de Oliveira, Paulo Romero Martins Maciel |
| 2009 | SMC | Modeling and Analyzing Resource-Constrained Business Processes. | Csar A. L. de Oliveira, Ricardo Massa Ferreira Lima, Thiago Andre, Hajo A. Reijers |
| 2009 | SMC | Performance Evaluation of Service-Oriented Architecture through Stochastic Petri Nets. | Marcelo Teixeira, Ricardo Massa Ferreira Lima, Csar A. L. de Oliveira, Paulo Romero Martins Maciel |
| 2008 | ICST | A JML Compiler Based on AspectJ. | Henrique Reblo, Ricardo Massa Ferreira Lima, Mrcio Cornlio, Srgio Soares |
| 2008 | SMC | Performance evaluation of logistics with componentized stochastic models. | Gabriel Alves de Albuquerque, Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima, Armin Zimmermann |
| 2008 | SAC | Implementing Java modeling language contracts with AspectJ. | Henrique Reblo, Srgio Soares, Ricardo Massa Ferreira Lima, Leopoldo Ferreira, Mrcio Cornlio |
| 2007 | COMPSAC | Concurrency Control Modularization with Aspect-Oriented Programming. | Srgio Soares, Paulo Borba, Ricardo Massa Ferreira Lima |
| 2007 | SMC | A GSPN based approach to evaluate outbound logistics. | Gabriel Alves, Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima |
| 2007 | SMC | Performance evaluation of manufacturing systems using GSPN with energy consumption and human resource allocation annotations. | Adilson Arcoverde, Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima |
| 2007 | SBAC-PAD | An Intelligent Mechanism to Explore a Two-Level Cache Hierarchy Considering Energy Consumption and Time Performance. | Abel G. Silva-Filho, Carmelo J. A. Bastos Filho, Ricardo Massa Ferreira Lima, Davi M. A. Falco, Filipe R. Cordeiro, Marlia P. Lima |
| 2005 | SBAC-PAD | 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 |
| 2004 | ISoLA | EZPetri: A Petri net interchange framework for Eclipse based on PNML. | Gabriel Alves, Adilson Arcoverde, Ricardo Massa Ferreira Lima, Paulo Romero Martins Maciel |
| 2004 | SAC | A back-end for GHC based on categorical multi-combinators. | Ricardo Massa Ferreira Lima, Rafael Dueire Lins, Andr L. M. Santos |
| 2004 | SBAC-PAD | An Approach for Pre Runtime Scheduling in Embedded Hard Real Time Systems with Power Constraints. | Eduardo Tavares, Raimundo S. Barreto, Meuse N. Oliveira Jr., Paulo Romero Martins Maciel, Marlia Neves, Ricardo Massa Ferreira Lima |
| 2002 | SAC | Coordinating functional processes with Haskell | F. H. Carvalho, Ricardo Massa Ferreira Lima, Rafael Dueire Lins |