Ricardo Massa Ferreira Lima

Publication Activity (10 Years)

Years Active: 1996-2023
Publications (10 Years): 2

Top Topics

Crosscutting Concerns

Programming Language Constructs

Aspect Oriented

Top Venues

MODULARITY (Companion)

Sci. Comput. Program.

Publications

Thiago De Sousa Araújo, Ricardo Massa Ferreira Lima, Adriano Lorena Inácio de Oliveira, Raphael José D'Castro, Bráulio Gabriel Gusmão, Rafael Leite Paulo, João Thiago De França Guerra
Investigating the Usability and Comprehensibility of Process Mining Tools Within an Application-Specific Context. SMC (2023)
Glenda Malta de Almeida, Alex Sandro Gomes, Júlia Carneiro de Almeida, Tiago José Dimas Dias Nogueira, Ricardo Massa Ferreira Lima, Thiago Suruagy de Melo, Lorenna Andrade de Mello
Evaluating Entrepreneurial Perceptions on Blended Learning. SMC (2020)
Marcelo Teixeira, Richardson Ribeiro, César Augusto Lins Oliveira, Ricardo Massa Ferreira Lima
A quality-driven approach for resources planning in Service-Oriented Architectures. Expert Syst. Appl. 42 (12) (2015)
Marcelo Teixeira, Richardson Ribeiro, Marco A. C. Barbosa, Fabrício Enembreck, Ricardo Massa Ferreira Lima
A modeling architecture for the orchestration of service components in factory automation. ETFA (2015)
Henrique Rebêlo, Gary T. Leavens, Mehdi Bagherzadeh, Hridesh Rajan, Ricardo Massa Ferreira Lima, Daniel M. Zimmerman, Márcio Cornélio, Thomas Thüm
Modularizing crosscutting contracts with AspectJML. MODULARITY (Companion) (2014)
Jonathan Aldrich, Ricardo Massa Ferreira Lima
Brazilian Symposium on Programming Languages (SBLP 2010). Sci. Comput. Program. 80 (2014)
Henrique Rebêlo, Gary T. Leavens, Mehdi Bagherzadeh, Hridesh Rajan, Ricardo Massa Ferreira Lima, Daniel M. Zimmerman, Márcio Cornélio, Thomas Thüm
AspectJML: modular specification and runtime checking for crosscutting contracts. MODULARITY (2014)
Renata Medeiros de Carvalho, Natália Cabral Silva, Ricardo Massa Ferreira Lima, Márcio Cornélio
ReFlex: An Efficient Graph-Based Rule Engine to Execute Declarative Processes. SMC (2013)
Henrique Rebêlo, Ricardo Massa Ferreira Lima, Gary T. Leavens, Márcio Cornélio, Alexandre Mota, César A. L. Oliveira
Optimizing generated aspect-oriented assertion checking code for JML using program transformations: An empirical study. Sci. Comput. Program. 78 (8) (2013)
Henrique Rebêlo, Gary T. Leavens, Ricardo Massa Ferreira Lima
Client-aware checking and information hiding in interface specifications with JML/ajmlc. SPLASH (Companion Volume) (2013)
César A. L. Oliveira, Natália Cabral Silva, Cecília Leite Sabat, Ricardo Massa Ferreira Lima
Reducing the Gap Between Business and Information Systems Through Complex Event Processing. Comput. Informatics 32 (2) (2013)
Henrique Rebêlo, Gary T. Leavens, Ricardo Massa Ferreira Lima, Paulo Borba, Márcio Ribeiro
Modular aspect-oriented design rule enforcement with XPIDRs. FOAL (2013)
Henrique Rebêlo, Ricardo Massa Ferreira Lima, Uirá Kulesza, Márcio Ribeiro, Yuanfang Cai, Roberta Coelho, Cláudio Sant'Anna, Alexandre Mota
Quantifying the effects of Aspectual Decompositions on Design by Contract Modularization: a Maintenance Study. Int. J. Softw. Eng. Knowl. Eng. 23 (7) (2013)
Gabriel Alves de Albuquerque, Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima, Fábio S. Magnani
Strategic and Tactical Evaluation of Conflicting Environment and Business Goals in Green Supply Chains. IEEE Trans. Syst. Man Cybern. Syst. 43 (5) (2013)
Natália Cabral Silva, Renata Medeiros de Carvalho, César Augusto Lins Oliveira, Ricardo Massa Ferreira Lima
REFlex: An Efficient Web Service Orchestrator for Declarative Business Processes. ICSOC (2013)
Cesar A. L. Oliveira, Ricardo Massa Ferreira Lima, Hajo A. Reijers, Joel Tiago S. Ribeiro
Quantitative Analysis of Resource-Constrained Business Processes. IEEE Trans. Syst. Man Cybern. Part A 42 (3) (2012)
Alan M. V. Neves, Cesar A. L. Oliveira, Ricardo Massa Ferreira Lima, Cecília Leite Sabat
Computing Strategic Trade-Offs in Web Service Deployment and Selection. ICWS (2012)
Henrique Rebêlo, Ricardo Massa Ferreira Lima, Alexandre Mota, César A. L. Oliveira, Márcio Ribeiro
Checking Contracts for AOP using XPIDRs. SEKE (2012)
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)
Lívia Maria R. de Vasconcelos, César Augusto Lins de Oliveira, Ricardo Massa Ferreira Lima
Petri-SW: Uma Metodologia baseada em Redes de Petri para Avaliação do Desempenho de Processos de Software. SBQS (2012)
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)
José Elias Araújo, Henrique Rebêlo, Ricardo Massa Ferreira Lima, Alexandre Mota, Uirá Kulesza, Cláudio Sant'Anna
An annotation-based approach for JCSP concurrent programming: a quantitative study. MISS@AOSD (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)
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)
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)
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)
Bruno Costa e Silva Nogueira, Paulo Romero Martins Maciel, Eduardo Tavares, Ermeson C. 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. Embed. Syst. 2011 (2011)
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 Trans. Syst. Man Cybern. Part A 40 (5) (2010)
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. Inf. Softw. Technol. 52 (11) (2010)
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)
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)
Renata Medeiros de Carvalho, Ricardo Massa Ferreira Lima, Adriano L. I. de Oliveira, Felix Christian Guimarães Santos
Identifying parallel jobs for Multi-Physics simulators scheduling. SMC (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)
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)
Cesar A. L. Oliveira, Ricardo Massa Ferreira Lima, Thiago Andre, Hajo A. Reijers
Modeling and Analyzing Resource-Constrained Business Processes. SMC (2009)
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)
Gabriel Alves de Albuquerque, Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima, Armin Zimmermann
Performance evaluation of logistics with componentized stochastic models. SMC (2008)
Henrique Rebêlo, Ricardo Massa Ferreira Lima, Márcio Cornélio, Sérgio Soares
A JML Compiler Based on AspectJ. ICST (2008)
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. Des. Autom. Embed. Syst. 12 (1-2) (2008)
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)
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)
Sérgio Soares, Paulo Borba, Ricardo Massa Ferreira Lima
Concurrency Control Modularization with Aspect-Oriented Programming. COMPSAC (1) (2007)
Gabriel Alves, Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima
A GSPN based approach to evaluate outbound logistics. SMC (2007)
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)
Gabriel Alves, Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima
Modeling and evaluation of supply chains with GSPN components. VALUETOOLS (2007)
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)
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)
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)
Adilson Arcoverde, Gabriel Alves, Ricardo Massa Ferreira Lima
Petri nets tools integration through Eclipse. eTX (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)
Martin A. Musicante, Ricardo Massa Ferreira Lima
Brazilian Symposium on Programming Languages J.UCS Special Issue. J. Univers. Comput. Sci. 11 (7) (2005)
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)
Raimundo S. Barreto, Paulo Romero Martins Maciel, Marília Neves, Eduardo Tavares, Ricardo Massa Ferreira Lima
A Novel Approach for Off-Line Multiprocessor Scheduling in Embedded Hard Real-Time Systems. DIPES (2004)
Ricardo Massa Ferreira Lima, Rafael Dueire Lins, André L. M. Santos
A back-end for GHC based on categorical multi-combinators. SAC (2004)
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)
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)
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)
Francisco Heron de Carvalho Junior, Rafael Dueire Lins, Ricardo Massa Ferreira Lima
Programs into Petri Nets. VECPAR (2002)
F. H. Carvalho, Ricardo Massa Ferreira Lima, Rafael Dueire Lins
. SAC (2002)
Ricardo Massa Ferreira Lima, Rafael Dueire Lins
Translating HCL Programs into Petri Nets. SBES (2000)
Genésio Gomes da Cruz Neto, Ricardo Massa Ferreira Lima, Rafael Dueire Lins, André L. M. Santos
Optimising Pseudoknotin FCMC. EUROMICRO (1996)