Ricardo Massa Ferreira Lima

65 papers A 3B 14C 8Misc 4Journal 14Unranked 22

Year	Rank	Type	Title / Venue / Authors
2025	B	`conf`	Multi-perspective log generator for declarative models. SMC Bruna Alves Wanderley de Siqueira, Katiane Oliveira Alpes da Silva, Ricardo Massa Ferreira Lima
2025	J	`jnl`	Process mining for agile software process assessment and improvement. Inf. Softw. Technol. Katiane Oliveira Alpes da Silva, Ricardo Massa Ferreira Lima, Vanderson Botelho da Silva
2023	B	`conf`	Investigating the Usability and Comprehensibility of Process Mining Tools Within an Application-Specific Context. SMC 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
2020	B	`conf`	Evaluating Entrepreneurial Perceptions on Blended Learning. SMC 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
2015	C	`conf`	A modeling architecture for the orchestration of service components in factory automation. ETFA Marcelo Teixeira, Richardson Ribeiro, Marco A. C. Barbosa, Fabrício Enembreck, Ricardo Massa Ferreira Lima
2015	J	`jnl`	A quality-driven approach for resources planning in Service-Oriented Architectures. Expert Syst. Appl. Marcelo Teixeira, Richardson Ribeiro, César Augusto Lins de Oliveira, Ricardo Massa Ferreira Lima
2014	—	`conf`	AspectJML: modular specification and runtime checking for crosscutting contracts. MODULARITY Henrique Rebêlo, Gary T. Leavens, Mehdi Bagherzadeh, Hridesh Rajan, Ricardo Massa Ferreira Lima, Daniel M. Zimmerman, Márcio Cornélio, Thomas Thüm
2014	J	`jnl`	Brazilian Symposium on Programming Languages (SBLP 2010). Sci. Comput. Program. Jonathan Aldrich, Ricardo Massa Ferreira Lima
2014	—	`conf`	Modularizing crosscutting contracts with AspectJML. MODULARITY (Companion) Henrique Rebêlo, Gary T. Leavens, Mehdi Bagherzadeh, Hridesh Rajan, Ricardo Massa Ferreira Lima, Daniel M. Zimmerman, Márcio Cornélio, Thomas Thüm
2013	—	`conf`	Client-aware checking and information hiding in interface specifications with JML/ajmlc. SPLASH (Companion Volume) Henrique Rebêlo, Gary T. Leavens, Ricardo Massa Ferreira Lima
2013	—	`conf`	Modular aspect-oriented design rule enforcement with XPIDRs. FOAL Henrique Rebêlo, Gary T. Leavens, Ricardo Massa Ferreira Lima, Paulo Borba, Márcio Ribeiro
2013	J	`jnl`	Optimizing generated aspect-oriented assertion checking code for JML using program transformations: An empirical study. Sci. Comput. Program. Henrique Rebêlo, Ricardo Massa Ferreira Lima, Gary T. Leavens, Márcio Cornélio, Alexandre Mota, César A. L. de Oliveira
2013	J	`jnl`	Quantifying the effects of Aspectual Decompositions on Design by Contract Modularization: a Maintenance Study. Int. J. Softw. Eng. Knowl. Eng. Henrique Rebêlo, Ricardo Massa Ferreira Lima, Uirá Kulesza, Márcio Ribeiro, Yuanfang Cai, Roberta Coelho, Cláudio Sant'Anna, Alexandre Mota
2013	A	`conf`	REFlex: An Efficient Web Service Orchestrator for Declarative Business Processes. ICSOC Natália Cabral Silva, Renata Medeiros de Carvalho, César Augusto Lins de Oliveira, Ricardo Massa Ferreira Lima
2013	B	`conf`	ReFlex: An Efficient Graph-Based Rule Engine to Execute Declarative Processes. SMC Renata Medeiros de Carvalho, Natália Cabral Silva, Ricardo Massa Ferreira Lima, Márcio Cornélio
2013	J	`jnl`	Reducing the Gap Between Business and Information Systems Through Complex Event Processing. Comput. Informatics César A. L. de Oliveira, Natália Cabral Silva, Cecília Leite Sabat, Ricardo Massa Ferreira Lima
2013	J	`jnl`	Strategic and Tactical Evaluation of Conflicting Environment and Business Goals in Green Supply Chains. IEEE Trans. Syst. Man Cybern. Syst. Gabriel Alves de Albuquerque, Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima, Fábio S. Magnani
2012	C	`conf`	Checking Contracts for AOP using XPIDRs. SEKE Henrique Rebêlo, Ricardo Massa Ferreira Lima, Alexandre Mota, César A. L. de Oliveira, Márcio Ribeiro
2012	A	`conf`	Computing Strategic Trade-Offs in Web Service Deployment and Selection. ICWS Alan M. V. Neves, César A. L. de Oliveira, Ricardo Massa Ferreira Lima, Cecília Leite Sabat
2012	C	`conf`	Enforcing Contracts for Aspect-oriented programs with Annotations, Pointcuts and Advice. SEKE Henrique Rebêlo, Ricardo Massa Ferreira Lima, Alexandre Mota, César A. L. de Oliveira, Márcio Ribeiro
2012	—	`conf`	Petri-SW: Uma Metodologia baseada em Redes de Petri para Avaliação do Desempenho de Processos de Software. SBQS Lívia Maria R. de Vasconcelos, César Augusto Lins de Oliveira, Ricardo Massa Ferreira Lima
2012	J	`jnl`	Quantitative Analysis of Resource-Constrained Business Processes. IEEE Trans. Syst. Man Cybern. Part A César A. L. de Oliveira, Ricardo Massa Ferreira Lima, Hajo A. Reijers, Joel Tiago S. Ribeiro
2011	J	`jnl`	A Formal Model for Performance and Energy Evaluation of Embedded Systems. EURASIP J. Embed. Syst. 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
2011	—	`conf`	An annotation-based approach for JCSP concurrent programming: a quantitative study. MISS@AOSD José Elias Araújo, Henrique Rebêlo, Ricardo Massa Ferreira Lima, Alexandre Mota, Uirá Kulesza, Cláudio Sant'Anna
2011	B	`conf`	An efficient algorithm for static task scheduling in parallel applications. SMC Renata Medeiros de Carvalho, Ricardo Massa Ferreira Lima, Adriano Lorena Inácio de Oliveira
2011	C	`conf`	Assessing the Impact of Aspects on Design By Contract Effort: A Quantitative Study. SEKE Henrique Rebêlo, Ricardo Massa Ferreira Lima, Uirá Kulesza, Cláudio Sant'Anna, Roberta Coelho, Alexandre Mota, Márcio Ribeiro, César A. L. de Oliveira
2011	C	`conf`	Conformance Checking of Software Development Processes Through Process Mining. SEKE Artini M. Lemos, Caio C. Sabino, Ricardo Massa Ferreira Lima, César A. L. de Oliveira
2011	Misc	`conf`	Planning service agreements in soa-based systems through stochastic models. SAC Marcelo Teixeira, Ricardo Massa Ferreira Lima, César A. L. de Oliveira, Paulo Romero Martins Maciel
2011	B	`conf`	Using process mining in software development process management: A case study. SMC Artini M. Lemos, Caio C. Sabino, Ricardo Massa Ferreira Lima, César A. L. de Oliveira
2010	B	`conf`	A stochastic model for performance evaluation and bottleneck discovering on SOA-based systems. SMC Marcelo Teixeira, Ricardo Massa Ferreira Lima, César A. L. de Oliveira, Paulo Romero Martins Maciel
2010	—	`conf`	An Aspect-based Approach for Concurrent Programming using CSP Features. ICSOFT (2) José Elias Araújo, Henrique Rebêlo, Ricardo Massa Ferreira Lima, Alexandre Mota, Fernando Castor, Tiago Lima, Juliana Lucena, Filipe Lima
2010	J	`jnl`	Automatic Modeling for Performance Evaluation of Inventory and Outbound Distribution. IEEE Trans. Syst. Man Cybern. Part A Gabriel Alves de Albuquerque, Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima, Armin Zimmermann
2010	J	`jnl`	GA-based method for feature selection and parameters optimization for machine learning regression applied to software effort estimation. Inf. Softw. Technol. Adriano L. I. Oliveira, Petrônio L. Braga, Ricardo Massa Ferreira Lima, Márcio Cornélio
2010	B	`conf`	Identifying parallel jobs for Multi-Physics simulators scheduling. SMC Renata Medeiros de Carvalho, Ricardo Massa Ferreira Lima, Adriano L. I. de Oliveira, Felix Christian Guimarães Santos
2010	B	`conf`	Scheduling parallel jobs for multiphysics simulators. IEEE Congress on Evolutionary Computation Renata Medeiros de Carvalho, Ricardo Massa Ferreira Lima, Adriano L. I. Oliveira, Felix C. G. Santos
2009	B	`conf`	Modeling and Analyzing Resource-Constrained Business Processes. SMC César A. L. de Oliveira, Ricardo Massa Ferreira Lima, Thiago Andre, Hajo A. Reijers
2009	B	`conf`	Performance Evaluation of Service-Oriented Architecture through Stochastic Petri Nets. SMC Marcelo Teixeira, Ricardo Massa Ferreira Lima, César A. L. de Oliveira, Paulo Romero Martins Maciel
2008	A	`conf`	A JML Compiler Based on AspectJ. ICST Henrique Rebêlo, Ricardo Massa Ferreira Lima, Márcio Cornélio, Sérgio Soares
2008	J	`jnl`	A time Petri net-based method for embedded hard real-time software synthesis. Des. Autom. Embed. Syst. Raimundo S. Barreto, Paulo Romero Martins Maciel, Eduardo Tavares, Romulo Devezas Freitas, Meuse N. Oliveira Jr., Ricardo Massa Ferreira Lima
2008	Misc	`conf`	Implementing Java modeling language contracts with AspectJ. SAC Henrique Rebêlo, Sérgio Soares, Ricardo Massa Ferreira Lima, Leopoldo Ferreira, Márcio Cornélio
2008	B	`conf`	Performance evaluation of logistics with componentized stochastic models. SMC Gabriel Alves de Albuquerque, Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima, Armin Zimmermann
2007	B	`conf`	A GSPN based approach to evaluate outbound logistics. SMC Gabriel Alves, Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima
2007	C	`conf`	An Intelligent Mechanism to Explore a Two-Level Cache Hierarchy Considering Energy Consumption and Time Performance. SBAC-PAD 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
2007	—	`conf`	Concurrency Control Modularization with Aspect-Oriented Programming. COMPSAC (1) Sérgio Soares, Paulo Borba, Ricardo Massa Ferreira Lima
2007	—	`conf`	Modeling and evaluation of supply chains with GSPN components. VALUETOOLS Gabriel Alves, Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima
2007	B	`conf`	Performance evaluation of manufacturing systems using GSPN with energy consumption and human resource allocation annotations. SMC Adilson Arcoverde, Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima
2007	J	`jnl`	Software synthesis for hard real-time embedded systems with multiple processors. ACM SIGSOFT Softw. Eng. Notes Eduardo Tavares, Raimundo S. Barreto, Paulo Romero Martins Maciel, Meuse N. Oliveira Jr., Leonardo Amorim, Fernando Rocha, Ricardo Massa Ferreira Lima
2006	—	`conf`	Analyzing Software Performance and Energy Consumption of Embedded Systems by Probabilistic Modeling: An Approach Based on Coloured Petri Nets. ICATPN Meuse N. Oliveira Jr., Silvino Neto, Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima, Angelo Ribeiro, Raimundo S. Barreto, Eduardo Tavares, Frederico Braga
2005	—	`conf`	A Methodology for Software Synthesis of Embedded Real-Time Systems Based on TPN and LSC. ICESS Leonardo Amorim, Raimundo S. Barreto, Paulo Romero Martins Maciel, Eduardo Tavares, Meuse N. Oliveira Jr., Arthur Bessa, Ricardo Massa Ferreira Lima
2005	—	`conf`	A Retargetable Environment for Power-Aware Code Evaluation: An Approach Based on Coloured Petri Net. PATMOS Meuse N. Oliveira Jr., Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima, Angelo Ribeiro, César A. L. de Oliveira, Adilson Arcoverde, Raimundo S. Barreto, Eduardo Tavares, Leonardo Amorim
2005	C	`conf`	A Time Petri Net-Based Approach for Software Synthesis Considering Overheads. SBAC-PAD 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
2005	—	`conf`	A time petri net based approach for embedded hard real-time software synthesis with multiple operational modes. SBCCI Eduardo Tavares, Paulo Romero Martins Maciel, Arthur Bessa, Raimundo S. Barreto, Leonardo Barros, Meuse N. Oliveira Jr., Ricardo Massa Ferreira Lima
2005	—	`conf`	An Integrated Environment for Embedded Hard Real-Time Systems Scheduling with Timing and Energy Constraints. PATMOS 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
2005	—	`conf`	Embedded Hard Real-Time Software Synthesis Considering Dispatcher Overheads. IESS Raimundo S. Barreto, Eduardo Tavares, Paulo Romero Martins Maciel, Marília Neves, Meuse N. Oliveira Jr., Leonardo Amorim, Arthur Bessa, Ricardo Massa Ferreira Lima
2005	—	`conf`	Petri nets tools integration through Eclipse. eTX Adilson Arcoverde, Gabriel Alves, Ricardo Massa Ferreira Lima
2005	J	`jnl`	The 9 J. Univers. Comput. Sci. Martin A. Musicante, Ricardo Massa Ferreira Lima
2004	—	`conf`	A Novel Approach for Off-Line Multiprocessor Scheduling in Embedded Hard Real-Time Systems. DIPES Raimundo S. Barreto, Paulo Romero Martins Maciel, Marília Neves, Eduardo Tavares, Ricardo Massa Ferreira Lima
2004	Misc	`conf`	A back-end for GHC based on categorical multi-combinators. SAC Ricardo Massa Ferreira Lima, Rafael Dueire Lins, André L. M. Santos
2004	—	`conf`	A formal software synthesis approach for embedded hard real-time systems. SBCCI Raimundo S. Barreto, Marília Neves, Meuse N. Oliveira Jr., Paulo Romero Martins Maciel, Eduardo Tavares, Ricardo Massa Ferreira Lima
2004	C	`conf`	An Approach for Pre Runtime Scheduling in Embedded Hard Real Time Systems with Power Constraints. SBAC-PAD Eduardo Tavares, Raimundo S. Barreto, Meuse N. Oliveira Jr., Paulo Romero Martins Maciel, Marília Neves, Ricardo Massa Ferreira Lima
2004	—	`conf`	EZPetri: A Petri net interchange framework for Eclipse based on PNML. ISoLA (Preliminary proceedings) Gabriel Alves, Adilson Arcoverde, Ricardo Massa Ferreira Lima, Paulo Romero Martins Maciel
2002	Misc	`conf`	Coordinating functional processes with Haskell SAC F. H. Carvalho, Ricardo Massa Ferreira Lima, Rafael Dueire Lins
2002	—	`conf`	Translating Haskell VECPAR Francisco Heron de Carvalho Junior, Rafael Dueire Lins, Ricardo Massa Ferreira Lima
2000	—	`conf`	Translating HCL Programs into Petri Nets. SBES Ricardo Massa Ferreira Lima, Rafael Dueire Lins
1996	—	`conf`	Optimising Pseudoknotin FCMC. EUROMICRO Genésio Gomes da Cruz Neto, Ricardo Massa Ferreira Lima, Rafael Dueire Lins, André L. M. Santos