A Retargetable Environment for Power-Aware Code Evaluation: An Approach Based on Coloured Petri Net. - 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 (PATMOS, 2005)

Modeling and Analyzing Resource-Constrained Business Processes. - César A. L. de Oliveira; Ricardo Massa Ferreira Lima; Thiago Andre; Hajo A. Reijers (SMC, 2009)

Performance Evaluation of Service-Oriented Architecture through Stochastic Petri Nets. - Marcelo Teixeira; Ricardo Massa Ferreira Lima; César A. L. de Oliveira; Paulo Romero Martins Maciel (SMC, 2009)

A stochastic model for performance evaluation and bottleneck discovering on SOA-based systems. - Marcelo Teixeira; Ricardo Massa Ferreira Lima; César A. L. de Oliveira; Paulo Romero Martins Maciel (SMC, 2010)

Planning service agreements in soa-based systems through stochastic models. - Marcelo Teixeira; Ricardo Massa Ferreira Lima; César A. L. de Oliveira; Paulo Romero Martins Maciel (SAC, 2011)

Conformance Checking of Software Development Processes Through Process Mining. - Artini M. Lemos; Caio C. Sabino; Ricardo Massa Ferreira Lima; César A. L. de Oliveira (SEKE, 2011)

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

Using process mining in software development process management: A case study. - Artini M. Lemos; Caio C. Sabino; Ricardo Massa Ferreira Lima; César A. L. de Oliveira (SMC, 2011)

Computing Strategic Trade-Offs in Web Service Deployment and Selection. - Alan M. V. Neves; César A. L. de Oliveira; Ricardo Massa Ferreira Lima; Cecília Leite Sabat (ICWS, 2012)

Petri-SW: Uma Metodologia baseada em Redes de Petri para Avaliação do Desempenho de Processos de Software. - Lívia Maria R. de Vasconcelos; César Augusto Lins de Oliveira; Ricardo Massa Ferreira Lima (SBQS, 2012)

Enforcing Contracts for Aspect-oriented programs with Annotations, Pointcuts and Advice. - Henrique Rebêlo; Ricardo Massa Ferreira Lima; Alexandre Mota 001; César A. L. de Oliveira; Márcio Ribeiro 001 (SEKE, 2012)

Checking Contracts for AOP using XPIDRs. - Henrique Rebêlo; Ricardo Massa Ferreira Lima; Alexandre Mota 001; César A. L. de Oliveira; Márcio Ribeiro 001 (SEKE, 2012)

Quantitative Analysis of Resource-Constrained Business Processes. - César A. L. de Oliveira; Ricardo Massa Ferreira Lima; Hajo A. Reijers; Joel Tiago S. Ribeiro (IEEE Trans. Syst. Man Cybern. Part A, 2012)

REFlex: An Efficient Web Service Orchestrator for Declarative Business Processes. - Natália Cabral Silva; Renata Medeiros de Carvalho; César Augusto Lins de Oliveira; Ricardo Massa Ferreira Lima (ICSOC, 2013)

A Solution to the State Space Explosion Problem in Declarative Business Process Modeling (S). - Natália C. Silva; César A. L. de Oliveira; Ricardo M. F. Lima (SEKE, 2013)

Reducing the Gap Between Business and Information Systems Through Complex Event Processing. - César A. L. de Oliveira; Natália Cabral Silva; Cecília Leite Sabat; Ricardo Massa Ferreira Lima (Comput. Informatics, 2013)

Optimizing generated aspect-oriented assertion checking code for JML using program transformations: An empirical study. - Henrique Rebêlo; Ricardo Massa Ferreira Lima; Gary T. Leavens; Márcio Cornélio; Alexandre Mota 001; César A. L. de Oliveira (Sci. Comput. Program., 2013)

Declarative Versus Imperative Business Process Languages - A Controlled Experiment. - Natália C. Silva; César A. L. de Oliveira; Fabiane A. L. A. Albino; Ricardo M. F. Lima (ICEIS (3), 2014)

Implementing a Digital Strategy through Business Process Management. - César A. L. de Oliveira; Ricardo M. F. Lima; Hajo A. Reijers (BPM, 2015)

A quality-driven approach for resources planning in Service-Oriented Architectures. - Marcelo Teixeira; Richardson Ribeiro; César Augusto Lins de Oliveira; Ricardo Massa Ferreira Lima (Expert Syst. Appl., 2015)