Márcio Cornélio

According to our database, Márcio Cornélio authored at least 19 papers between 2000 and 2019.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2019

Guest editorial for the special issue from the 18th Brazilian Symposium on Formal Methods (SBMF 2015).

Márcio Cornélio, A. W. Roscoe

Sci. Comput. Program., 2019

2017

An integrated semantics for reasoning about SysML design models using refinement.

Lucas Lima, Alvaro Miyazawa, Ana Cavalcanti, Márcio Cornélio, Juliano Iyoda, Augusto Sampaio, Ralph Hains, Adrian Larkham, Vaughan Lewis

Softw. Syst. Model., 2017

2014

AspectJML: modular specification and runtime checking for crosscutting contracts.

Henrique Rebêlo, Gary T. Leavens, Mehdi Bagherzadeh, Hridesh Rajan, Ricardo Massa Ferreira Lima, Daniel M. Zimmerman, Márcio Cornélio, Thomas Thüm

Proceedings of the 13th International Conference on Modularity, 2014

Modularizing crosscutting contracts with AspectJML.

Henrique Rebêlo, Gary T. Leavens, Mehdi Bagherzadeh, Hridesh Rajan, Ricardo Massa Ferreira Lima, Daniel M. Zimmerman, Márcio Cornélio, Thomas Thüm

Proceedings of the 13th International Conference on Modularity, 2014

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, César A. L. de Oliveira

Sci. Comput. Program., 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

Proceedings of the IEEE International Conference on Systems, 2013

A Formal Semantics for SysML Activity Diagrams.

Lucas Lima, André Didier, Márcio Cornélio

Proceedings of the Formal Methods: Foundations and Applications - 16th Brazilian Symposium, 2013

2010

Sound refactorings.

Márcio Cornélio, Ana Cavalcanti, Augusto Sampaio

Sci. Comput. Program., 2010

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

2009

Object-oriented Programming Laws for Annotated Java Programs

Gabriel Falconieri Freitas, Márcio Cornélio, Tiago Massoni, Rohit Gheyi

Proceedings of the Proceedings Tenth International Workshop on Rule-Based Programming, 2009

2008

Implementing Java modeling language contracts with AspectJ.

Henrique Rebêlo, Sérgio Soares, Ricardo Massa Ferreira Lima, Leopoldo Ferreira, Márcio Cornélio

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

A JML Compiler Based on AspectJ.

Henrique Rebêlo, Ricardo Massa Ferreira Lima, Márcio Cornélio, Sérgio Soares

Proceedings of the First International Conference on Software Testing, 2008

2007

Flexible Transformation Language.

Alexandre A. Santos, Luis Menezes, Márcio Cornélio

Proceedings of the 1st Workshop on Refactoring Tools, 2007

2005

Using CafeOBJ to Mechanise Refactoring Proofs and Application.

Antonio Carvalho Júnior, Leila Silva, Márcio Cornélio

Proceedings of the Second Brazilian Symposium on Formal Methods, 2005

2004

Algebraic reasoning for object-oriented programming.

Paulo Borba, Augusto Sampaio, Ana Cavalcanti, Márcio Cornélio

Sci. Comput. Program., 2004

Refactoring Towards a Layered Architecture.

Márcio Cornélio, Ana Cavalcanti, Augusto Sampaio

Proceedings of the Seventh Brazilian Symposium on Formal Methods, 2004

2003

A Refinement Algebra for Object-Oriented Programming.

Paulo Borba, Augusto Sampaio, Márcio Cornélio

Proceedings of the ECOOP 2003, 2003

2002

Refactoring by Transformation.

Márcio Cornélio, Ana Cavalcanti, Augusto Sampaio

Proceedings of the BCS FACS Refinement Workshop 2002, 2002

2000

Structuring Meachanisms for an Object-Oriented Formal Specification Language.

Márcio Cornélio, Paulo Borba

Proceedings of the Software Reuse: Advances in Software Reusability, 2000