Structuring Meachanisms for an Object-Oriented Formal Specification Language. - Márcio Cornélio; Paulo Borba (ICSR, 2000)

Refactoring by Transformation. - Márcio Cornélio; Ana Cavalcanti 001; Augusto Sampaio 001 (Refine, 2002)

A Refinement Algebra for Object-Oriented Programming. - Paulo Borba; Augusto Sampaio 001; Márcio Cornélio (ECOOP, 2003)

Refactoring Towards a Layered Architecture. - Márcio Cornélio; Ana Cavalcanti 001; Augusto Sampaio 001 (SBMF, 2004)

Algebraic reasoning for object-oriented programming. - Paulo Borba; Augusto Sampaio 001; Ana Cavalcanti 001; Márcio Cornélio (Sci. Comput. Program., 2004)

Using CafeOBJ to Mechanise Refactoring Proofs and Application. - Antonio Carvalho Júnior; Leila Silva; Márcio Cornélio (SBMF, 2005)

Flexible Transformation Language. - Alexandre A. Santos; Luis Menezes; Márcio Cornélio (WRT, 2007)

A JML Compiler Based on AspectJ. - Henrique Rebêlo; Ricardo Massa Ferreira Lima; Márcio Cornélio; Sérgio Soares (ICST, 2008)

Implementing Java modeling language contracts with AspectJ. - Henrique Rebêlo; Sérgio Soares; Ricardo Massa Ferreira Lima; Leopoldo Ferreira; Márcio Cornélio (SAC, 2008)

Object-oriented Programming Laws for Annotated Java Programs - Gabriel Falconieri Freitas; Márcio Cornélio; Tiago Massoni; Rohit Gheyi (RULE, 2009)

GA-based method for feature selection and parameters optimization for machine learning regression applied to software effort estimation. - Adriano L. I. Oliveira; Petrônio L. Braga; Ricardo Massa Ferreira Lima; Márcio Cornélio (Inf. Softw. Technol., 2010)

Sound refactorings. - Márcio Cornélio; Ana Cavalcanti 001; Augusto Sampaio 001 (Sci. Comput. Program., 2010)

A Formal Semantics for SysML Activity Diagrams. - Lucas Lima 001; André Didier; Márcio Cornélio (SBMF, 2013)

ReFlex: An Efficient Graph-Based Rule Engine to Execute Declarative Processes. - Renata Medeiros de Carvalho; Natália Cabral Silva; Ricardo Massa Ferreira Lima; Márcio Cornélio (SMC, 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)

Modularizing crosscutting contracts with AspectJML. - Henrique Rebêlo; Gary T. Leavens; Mehdi Bagherzadeh 001; Hridesh Rajan; Ricardo Massa Ferreira Lima; Daniel M. Zimmerman; Márcio Cornélio; Thomas Thüm (MODULARITY (Companion), 2014)

AspectJML: modular specification and runtime checking for crosscutting contracts. - Henrique Rebêlo; Gary T. Leavens; Mehdi Bagherzadeh 001; Hridesh Rajan; Ricardo Massa Ferreira Lima; Daniel M. Zimmerman; Márcio Cornélio; Thomas Thüm (MODULARITY, 2014)

An integrated semantics for reasoning about SysML design models using refinement. - Lucas Lima 001; Alvaro Miyazawa; Ana Cavalcanti 001; Márcio Cornélio; Juliano Iyoda; Augusto Sampaio 001; Ralph Hains; Adrian Larkham; Vaughan Lewis (Softw. Syst. Model., 2017)

Guest editorial for the special issue from the 18th Brazilian Symposium on Formal Methods (SBMF 2015). - Márcio Cornélio; A. W. Roscoe 001 (Sci. Comput. Program., 2019)