| 2014 | SEKE | A Method for Verifying the Consistency of Business Rules Using Alloy. | Denilson Guimaraes, Eber A. Schmitz, Antonio Juarez Alencar, Priscila Lima, Alexandre L. Correa |
| 2012 | SEKE | Defining RESTful Web Services Test Cases from UML Models. | Alexandre L. Correa, Thiago Silva-de-Souza, Eber Assis Schmitz, Antonio Juarez Alencar |
| 2011 | SEKE | Maximizing the Financial Benefits Yielded by IT Projects While Ensuring their Strategic Fit. | Antonio Juarez Alencar, Gustavo Taveira, Eber Assis Schmitz, Anglica Fonseca da Silva Dias, Alexandre L. Correa |
| 2010 | SAC | A method for validating the compliance of business processes to business rules. | Bruno de Moura Araujo, Eber Assis Schmitz, Alexandre L. Correa, Antonio Juarez Alencar |
| 2008 | SAC | Elaboration of use case specifications: an approach based on use case fragments. | Felipe G. Dias, Eber A. Schmitz, Maria Luiza Machado Campos, Alexandre L. Correa, Antonio J. Alencar |
| 2007 | MODELS | An Empirical Study of the Impact of OCL Smells and Refactorings on the Understandability of OCL Specifications. | Alexandre L. Correa, Cludia M. L. Werner, Mrcio de Oliveira Barros |
| 2004 | RE | Precise Specification and Validation of Transactional Business Software. | Alexandre L. Correa, Cludia Maria Lima Werner |
| 2004 | SEKE | Specification and Validation of Transactional Business Software: An Approach Based on the Exploration of Concrete Scenarios. | Alexandre L. Correa, Cludia Maria Lima Werner |
| 2000 | ICSR | Object Oriented Design Expertise Reuse: An Approach Based on Heuristics, Design Patterns and Anti-patterns. | Alexandre L. Correa, Cludia Maria Lima Werner, Gerson Zaverucha |