Journal Papers

Quantitative Analysis of Resource-Constrained Business Processes
Oliveira, C.A.L.; Lima, R.M.F; Reijers, H.A.; Ribeiro, J.T.S
IEEE Transactions on Systems, Man, and Cybernetics - Part A, v. 42, p. 669-684, 2012.

Optimizing generated aspect-oriented assertion checking code for JML using program transformations: An empirical study
Rebelo, H.E.M.; Lima, R.M.F.; Leavens, G.T.; Cornélio, M.; Mota, A.C.; Oliveira, C.A.L.
Science of Computer Programming, v. 78 (8), p. 1137-1156, 2013.

Reducing the Gap Between Business and Information Systems Through Complex Event Processing
Oliveira, C.A.L.; Silva, N.C.; Sabat, C.L.; Lima, R.M.F
Computing and Informatics, v. 32 (2), p. 225-250, 2013.

Dynamic Interface for Muilti-physics Simulators
Oliveira, C.A.L. ; Rocha, F.A.F.; Medeiros, R.W.; Lima, R.M.F.; Soares, S.C.B.; Santos, F.C.G.; Santos, I.H.S.
International Journal of Modeling and Simulation for the Petroleum Industry, v. 2, p. 35-42, 2008.

Conference Papers

REFlex: An Efficient Web Services Orchestrator for Declarative Business Processes.
Silva, Natália C.; Carvalho, Renata; Oliveira, Cesar A.L.; Lima, Ricardo M.F.
11th International Conference on Service Oriented Computing (ICSOC'13).

Integrating Declarative Processes and SOA: A declarative web service orchestrator.
Silva, Natália C.; Carvalho, Renata; Oliveira, Cesar A.L.; Lima, Ricardo M.F.
2013 International Conference on Semantic Web and Web Services (SWWS'13).

A Solution to the State-Space Explosion Problem in Declarative Business Process Modeling.
Carvalho, Renata; Silva, Natália C.; Oliveira, Cesar A.L.; Lima, Ricardo M.F.
25th International Conference on Software Engineering and Knowledge Engineering (SEKE'13) (short paper).

Computing Strategic Trade-Offs in Web Service Deployment and Selection.
Neves, Alan M.V. ; Oliveira, Cesar A.L. ; Lima, Ricardo M.F. ; Sabat, Cecilia L.
IEEE 19th International Conference on Web Services (ICWS'12), p. 210-217.

Enforcing Contracts for Aspect-oriented programs with Annotations, Pointcuts and Advice.
Rebêlo, Henrique E. M. ; Lima, Ricardo Massa F. ; Mota, Alexandre C. ; Oliveira, César Augusto L. ; Ribeiro, Márcio
24th International Conference on Software Engineering and Knowledge Engineering (SEKE'12), p. 148-153.

Conformance Checking of Software Development Processes Through Process Mining.
Lemos, Artini M. ; Sabino, Caio C. ; Oliveira, César Augusto L.; Lima, Ricardo M. F.
23rd International Conference on Software Engineering and Knowledge Engineering (SEKE'11), p. 211-218.

Assessing the Impact of Aspects on Design By Contract Effort: A Quantitative Study
Rebêlo, Henrique E. M. ; Lima, Ricardo M. F. ; Kulesza, U. ; Santanna, C. ; Coelho, R. ;
Mota, Alexandre C. ; Ribeiro, Márcio ; Oliveira, César Augusto L.
23rd International Conference on Software Engineering and Knowledge Engineering (SEKE'11)

Planning Service Agreements in SOA-Based Systems through Stochastic Models
Teixeira, Marcelo ; Lima, Ricardo M. F. ; Oliveira, César Augusto L. ; Maciel, P. R. M.
26th Symposium On Applied Computing, 2011, Taiwan (SAC'11)

A Stochastic Model for Performance Evaluation and Bottleneck Discovering on SOA-Based Systems
Teixeira, Marcelo ; Lima, Ricardo M. F. ; Oliveira, Cesar A. L. ; Maciel, P. R. M.
2010 IEEE International Conference on Systems, Man, and Cybernetics (SMC'10)

Modeling and Analyzing Resource-Constrained Business Processes
Oliveira, C.A.L.; Lima, R.M.F; André, T.M; Reijers, H.A.
2009 IEEE International Conference on Systems, Man, and Cybernetics (SMC'09)

Optimizing JML Features Compilation in Ajmlc Using Aspect-Oriented Refactorings
Mostaert, Henrique ; Lima, Ricardo M. F. ; Cornélio, M. L. ; Leavens, Gary T. ; Mota, Alexandre C. ; Oliveira, Cesar A. L.
XIII Simpósio Brasileiro de Linguagens de Programação (SBLP'09)

Performance Evaluation of Service-Oriented Architecture through Stochastic Petri Nets
Teixeira, Marcelo ; Lima, Ricardo M. F. ; Oliveira, Cesar A. L. ; Maciel, P. R. M.
2009 IEEE International Conference on Systems, Man, and Cybernetics (SMC'09)

Book Chapters

Integrating Business Process Analysis and Complex Event Processing
Silva, N.C.; Sabat, C.L.; Oliveira, C.A.L; Lima, R.M.F
Lee, Roger (Ed.) Computer and Information Science 2011
Studies In Computational Intelligence (SCI), Springer, 2011

Monographies

Uma Abordagem para Melhoria de Workflow Baseada em Redes de Petri Estocásticas Generalizadas (PDF 1.74Mb) (Portuguese)
Dissertação de Mestrado
Universidade de Pernambuco, 2008

Simulação de Redes de Petri em Ambiente Java (PDF 618Kb) (Portuguese)
Monografia de Conclusão de Curso
Universidade de Pernambuco, 2006

Technical Reports

Performance Analysis of Business Processes (PDF 260Kb)
Oliveira, C.A.L. and Lima, R.M.F
Technical Report
Federal University of Pernambuco, 2009