Márcio Cornélio

21 papers A 2B 2Misc 1Journal 7Unranked 8
YearRankTypeTitle / Venue / Authors
2025 J jnl
Comparative Analysis of Hoare Logic-Based Formal Verification Tools for Solidity Smart Contracts.
J. Softw. Eng. Res. Dev.
Alexandre Mota, Manoel Villarim, Juliano Iyoda, Márcio Cornélio
2019 J jnl
Guest editorial for the special issue from the 18th Brazilian Symposium on Formal Methods (SBMF 2015).
Sci. Comput. Program.
Márcio Cornélio, A. W. Roscoe
2017 J jnl
An integrated semantics for reasoning about SysML design models using refinement.
Softw. Syst. Model.
Lucas Lima, Alvaro Miyazawa, Ana Cavalcanti, Márcio Cornélio, Juliano Iyoda, Augusto Sampaio, Ralph Hains, Adrian Larkham, Vaughan Lewis
2016 — ed.
Formal Methods: Foundations and Applications - 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings
SBMF
Márcio Cornélio, Bill Roscoe
2014 — conf
AspectJML: modular specification and runtime checking for crosscutting contracts.
MODULARITY
Henrique Rebêlo, Gary T. Leavens, Mehdi Bagherzadeh, Hridesh Rajan, Ricardo Massa Ferreira Lima, Daniel M. Zimmerman, Márcio Cornélio, Thomas Thüm
2014 — conf
Modularizing crosscutting contracts with AspectJML.
MODULARITY (Companion)
Henrique Rebêlo, Gary T. Leavens, Mehdi Bagherzadeh, Hridesh Rajan, Ricardo Massa Ferreira Lima, Daniel M. Zimmerman, Márcio Cornélio, Thomas Thüm
2013 — conf
A Formal Semantics for SysML Activity Diagrams.
SBMF
Lucas Lima, André Didier, Márcio Cornélio
2013 J jnl
Optimizing generated aspect-oriented assertion checking code for JML using program transformations: An empirical study.
Sci. Comput. Program.
Henrique Rebêlo, Ricardo Massa Ferreira Lima, Gary T. Leavens, Márcio Cornélio, Alexandre Mota, César A. L. de Oliveira
2013 B conf
ReFlex: An Efficient Graph-Based Rule Engine to Execute Declarative Processes.
SMC
Renata Medeiros de Carvalho, Natália Cabral Silva, Ricardo Massa Ferreira Lima, Márcio Cornélio
2010 J jnl
GA-based method for feature selection and parameters optimization for machine learning regression applied to software effort estimation.
Inf. Softw. Technol.
Adriano L. I. Oliveira, Petrônio L. Braga, Ricardo Massa Ferreira Lima, Márcio Cornélio
2010 J jnl
Sound refactorings.
Sci. Comput. Program.
Márcio Cornélio, Ana Cavalcanti, Augusto Sampaio
2009 — conf
Object-oriented Programming Laws for Annotated Java Programs
RULE
Gabriel Falconieri Freitas, Márcio Cornélio, Tiago Massoni, Rohit Gheyi
2008 A conf
A JML Compiler Based on AspectJ.
ICST
Henrique Rebêlo, Ricardo Massa Ferreira Lima, Márcio Cornélio, Sérgio Soares
2008 Misc conf
Implementing Java modeling language contracts with AspectJ.
SAC
Henrique Rebêlo, Sérgio Soares, Ricardo Massa Ferreira Lima, Leopoldo Ferreira, Márcio Cornélio
2007 — conf
Flexible Transformation Language.
WRT
Alexandre A. Santos, Luis Menezes, Márcio Cornélio
2005 — conf
Using CafeOBJ to Mechanise Refactoring Proofs and Application.
SBMF
Antonio Carvalho Júnior, Leila Silva, Márcio Cornélio
2004 J jnl
Algebraic reasoning for object-oriented programming.
Sci. Comput. Program.
Paulo Borba, Augusto Sampaio, Ana Cavalcanti, Márcio Cornélio
2004 — conf
Refactoring Towards a Layered Architecture.
SBMF
Márcio Cornélio, Ana Cavalcanti, Augusto Sampaio
2003 A conf
A Refinement Algebra for Object-Oriented Programming.
ECOOP
Paulo Borba, Augusto Sampaio, Márcio Cornélio
2002 — conf
Refactoring by Transformation.
Refine
Márcio Cornélio, Ana Cavalcanti, Augusto Sampaio
2000 B conf
Structuring Meachanisms for an Object-Oriented Formal Specification Language.
ICSR
Márcio Cornélio, Paulo Borba