C. Oliveira

Implementing a Digital Strategy through Business Process Management

Hajo A. Reijers, Ricardo Massa Ferreira Lima, César Augusto Lins Oliveira, 2015, BPM.

Computing Strategic Trade-Offs in Web Service Deployment and Selection

Ricardo Massa Ferreira Lima, César Augusto Lins Oliveira, Alan M. V. Neves, 2012, 2012 IEEE 19th International Conference on Web Services.

Quantitative Analysis of Resource-Constrained Business Processes

Hajo A. Reijers, Ricardo Massa Ferreira Lima, César Augusto Lins Oliveira, 2012, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

Using process mining in software development process management: A case study

Ricardo Massa Ferreira Lima, César Augusto Lins Oliveira, Artini M. Lemos, 2011, 2011 IEEE International Conference on Systems, Man, and Cybernetics.

Conformance Checking of Software Development Processes Through Process Mining

Ricardo Massa Ferreira Lima, César Augusto Lins Oliveira, Artini M. Lemos, 2011, SEKE.

A Solution to the State Space Explosion Problem in Declarative Business Process Modeling (S)

Ricardo Massa Ferreira Lima, Natália Cabral Silva, César Augusto Lins Oliveira, 2013, SEKE.

A quality-driven approach for resources planning in Service-Oriented Architectures

Ricardo Massa Ferreira Lima, Richardson Ribeiro, César Augusto Lins Oliveira, 2015, Expert Syst. Appl..

A stochastic model for performance evaluation and bottleneck discovering on SOA-based systems

Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima, César Augusto Lins Oliveira, 2010, 2010 IEEE International Conference on Systems, Man and Cybernetics.

Optimizing generated aspect-oriented assertion checking code for JML using program transformations: An empirical study

Gary T. Leavens, Ricardo Massa Ferreira Lima, Henrique Rebêlo, 2013, Sci. Comput. Program..

Optimizing Generated Aspect-Oriented Assertion Checking Code for JML Using Programming Laws: An Empirical Study I

Gary T. Leavens, Alexandre Mota, Henrique Reb, 2010 .