Márcio Cornélio

Publication Activity (10 Years)

Years Active: 2000-2019
Publications (10 Years): 2

Top Topics

Software Engineering

Formal Semantics

Aspect Oriented Programming

Top Venues

Sci. Comput. Program.

MODULARITY (Companion)

Softw. Syst. Model.

Publications

Márcio Cornélio, A. W. Roscoe
Guest editorial for the special issue from the 18th Brazilian Symposium on Formal Methods (SBMF 2015). Sci. Comput. Program. 181 (2019)
Lucas Lima, Alvaro Miyazawa, Ana Cavalcanti, Márcio Cornélio, Juliano Iyoda, Augusto Sampaio, Ralph Hains, Adrian Larkham, Vaughan Lewis
An integrated semantics for reasoning about SysML design models using refinement. Softw. Syst. Model. 16 (3) (2017)
Henrique Rebêlo, Gary T. Leavens, Mehdi Bagherzadeh, Hridesh Rajan, Ricardo Massa Ferreira Lima, Daniel M. Zimmerman, Márcio Cornélio, Thomas Thüm
Modularizing crosscutting contracts with AspectJML. MODULARITY (Companion) (2014)
Henrique Rebêlo, Gary T. Leavens, Mehdi Bagherzadeh, Hridesh Rajan, Ricardo Massa Ferreira Lima, Daniel M. Zimmerman, Márcio Cornélio, Thomas Thüm
AspectJML: modular specification and runtime checking for crosscutting contracts. MODULARITY (2014)
Renata Medeiros de Carvalho, Natália Cabral Silva, Ricardo Massa Ferreira Lima, Márcio Cornélio
ReFlex: An Efficient Graph-Based Rule Engine to Execute Declarative Processes. SMC (2013)
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)
Lucas Lima, André Didier, Márcio Cornélio
A Formal Semantics for SysML Activity Diagrams. SBMF (2013)
Adriano L. I. Oliveira, Petrônio L. Braga, Ricardo Massa Ferreira Lima, Márcio Cornélio
GA-based method for feature selection and parameters optimization for machine learning regression applied to software effort estimation. Inf. Softw. Technol. 52 (11) (2010)
Márcio Cornélio, Ana Cavalcanti, Augusto Sampaio
Sound refactorings. Sci. Comput. Program. 75 (3) (2010)
Gabriel Falconieri Freitas, Márcio Cornélio, Tiago Massoni, Rohit Gheyi
Object-oriented Programming Laws for Annotated Java Programs RULE (2009)
Henrique Rebêlo, Sérgio Soares, Ricardo Massa Ferreira Lima, Leopoldo Ferreira, Márcio Cornélio
Implementing Java modeling language contracts with AspectJ. SAC (2008)
Henrique Rebêlo, Ricardo Massa Ferreira Lima, Márcio Cornélio, Sérgio Soares
A JML Compiler Based on AspectJ. ICST (2008)
Alexandre A. Santos, Luis Menezes, Márcio Cornélio
Flexible Transformation Language. WRT (2007)
Antonio Carvalho Júnior, Leila Silva, Márcio Cornélio
Using CafeOBJ to Mechanise Refactoring Proofs and Application. Electron. Notes Theor. Comput. Sci. 184 (2007)
Márcio Cornélio, Ana Cavalcanti, Augusto Sampaio
Refactoring Towards a Layered Architecture. Electron. Notes Theor. Comput. Sci. 130 (2005)
Paulo Borba, Augusto Sampaio, Ana Cavalcanti, Márcio Cornélio
Algebraic reasoning for object-oriented programming. Sci. Comput. Program. 52 (2004)
Paulo Borba, Augusto Sampaio, Márcio Cornélio
A Refinement Algebra for Object-Oriented Programming. ECOOP (2003)
Márcio Cornélio, Ana Cavalcanti, Augusto Sampaio
Refactoring by Transformation. Electron. Notes Theor. Comput. Sci. 70 (3) (2002)
Márcio Cornélio, Paulo Borba
Structuring Meachanisms for an Object-Oriented Formal Specification Language. ICSR (2000)