César A. L. Oliveira

Publication Activity (10 Years)

Years Active: 2012-2013
Publications (10 Years): 0

Top Topics

Business Processes

Complex Event Processing

Cross Cutting Concerns

Programs Written

Top Venues

Comput. Informatics

Sci. Comput. Program.

Publications

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)
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)
Natália C. Silva, César A. L. Oliveira, Ricardo M. F. Lima
A Solution to the State Space Explosion Problem in Declarative Business Process Modeling (S). SEKE (2013)
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)