Márcio Lopes Cornélio

  • Endereço para acessar este CV: http://lattes.cnpq.br/3776948564582273
  • Última atualização do currículo em 30/03/2018


possui graduação em Ciência da Computação (Bacharelado) pela Universidade Federal da Paraíba (1996), mestrado em Ciências da Computação pela Universidade Federal de Pernambuco (1998) e doutorado em Ciência da Computação pela Universidade Federal de Pernambuco (2004). Atualmente é professor adjunto da Universidade Federal de Pernambuco. Tem experiência na área de Ciência da Computação, com ênfase em Engenharia de Software, atuando principalmente nos seguintes temas: métodos formais, refatoração e transformação de programas. (Texto informado pelo autor)


Identificação


Nome
Márcio Lopes Cornélio
Nome em citações bibliográficas
CORNÉLIO, M. L.;Cornélio, Márcio L.;CORNELIO, MARCIO L.;CORNÉLIO, MÁRCIO

Endereço


Endereço Profissional
Universidade Federal de Pernambuco, Centro de Informática.
Av. Jornalista Anibal Fernandes s/n
Cidade Universitária
50740560 - Recife, PE - Brasil
Telefone: (81) 21268430
Ramal: 4350
Fax: (81) 21268438
URL da Homepage: http://www.cin.ufpe.br/~mlc2


Formação acadêmica/titulação


1999 - 2004
Doutorado em Ciências da Computação.
Universidade Federal de Pernambuco, UFPE, Brasil.
Título: Refactorings as Formal Refinements, Ano de obtenção: 2004.
Orientador: Ana Lucia Caneca Cavalcanti.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Palavras-chave: Cálculo de refinamentos; Orientação a objetos; Reestruturação de Programas Orientados a Objetos; Refactoring.
Grande área: Ciências Exatas e da Terra
Setores de atividade: Informática.
1996 - 1998
Mestrado em Ciências da Computação.
Universidade Federal de Pernambuco, UFPE, Brasil.
Título: Design and Evaluation of an Object-Oriented Formal Specification Language,Ano de Obtenção: 1998.
Orientador: Paulo Henrique Monteiro Borba.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: Métodos Formais; MooZ; Z; Especificação orientada a objetos; Programação parametrizada; Projeto de Linguagens.
Grande área: Ciências Exatas e da Terra
Setores de atividade: Informática.
1992 - 1996
Graduação em Ciência da Computação (Bacharelado).
Universidade Federal da Paraíba, UFPB, Brasil.




Atuação Profissional



Universidade Federal de Pernambuco, UFPE, Brasil.
Vínculo institucional

2010 - Atual
Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Regime: Dedicação exclusiva.

Atividades

05/2015 - Atual
Direção e administração, Centro de Informática, .

Cargo ou função
Coordenador do Curso de Graduação em Ciência da Computação.
05/2013 - 04/2015
Direção e administração, Centro de Informática, .

Cargo ou função
Vice-coordenador do Curso de Graduação em Ciência da Computação.
09/2014 - 02/2015
Ensino, Engenharia da Computação, Nível: Graduação

Disciplinas ministradas
Introdução à Programação
Paradigmas de Linguagens Computacionais
09/2014 - 10/2014
Ensino, Ciências da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Fundamentos de Linguagem de Programação
03/2014 - 08/2014
Ensino, Engenharia da Computação, Nível: Graduação

Disciplinas ministradas
Engenharia de Software e Sistemas
Paradigmas de Linguagens Computacionais
10/2013 - 03/2014
Ensino, Engenharia da Computação, Nível: Graduação

Disciplinas ministradas
Engenharia de Software e Sistemas
Paradigmas de Linguagens Computacionais
05/2013 - 10/2013
Ensino, Engenharia da Computação, Nível: Graduação

Disciplinas ministradas
Engenharia de Software e Sistemas
Paradigmas de Linguagens Computacionais
12/2012 - 04/2013
Ensino, Engenharia da Computação, Nível: Graduação

Disciplinas ministradas
Engenharia de Software e Sistemas
Paradigmas de Linguagens Computacionais
03/2012 - 07/2012
Ensino, Engenharia da Computação, Nível: Graduação

Disciplinas ministradas
Engenharia de Software e Sistemas
Paradigmas de Linguagens Computacionais
07/2011 - 12/2011
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Paradigmas de Linguagens Computacionais
Engenharia de Software e Sistemas
03/2011 - 07/2011
Ensino, Abi - Engenharia, Nível: Graduação

Disciplinas ministradas
Computação Eletrônica
03/2011 - 07/2011
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Engenharia de Software e Sistemas
08/2010 - 12/2010
Ensino, Abi - Engenharia, Nível: Graduação

Disciplinas ministradas
Computação Eletrônica (Turma V1)
Computação Eletrônica (Turma V3)
03/2010 - 07/2010
Ensino, Estatística, Nível: Graduação

Disciplinas ministradas
Métodos Numéricos
03/2010 - 07/2010
Ensino, Abi - Engenharia, Nível: Graduação

Disciplinas ministradas
Computação Eletrônica

Universidade Federal Rural de Pernambuco, UFRPE, Brasil.
Vínculo institucional

2009 - 2010
Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Regime: Dedicação exclusiva.


Universidade de Pernambuco, UPE, Brasil.
Vínculo institucional

2003 - 2009
Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Carga horária: 40, Regime: Dedicação exclusiva.

Vínculo institucional

2003 - 2003
Vínculo: Professor com contrato temporá, Enquadramento Funcional: Professor, Carga horária: 12

Atividades

03/2008 - 02/2009
Direção e administração, Departamento de Sistemas e Computação, .

Cargo ou função
Vice-coordenador do Programa de Pós-Graduação em Engeharia da Computação.
08/2008 - 12/2008
Ensino, Engenharia da Computação, Nível: Graduação

Disciplinas ministradas
Lógica
08/2008 - 12/2008
Ensino, Mestrado em Engenharia da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Paradigmas de Linguagens de Programação
09/2008 - 11/2008
Ensino, Gestão Global de Projetos, Nível: Especialização

Disciplinas ministradas
Metodologia Científica I (15 horas)
Metodologia Científica II (15 horas)
02/2008 - 07/2008
Ensino, Engenharia da Computação, Nível: Graduação

Disciplinas ministradas
Lógica
Métodos Formais
Semântica de Linguagens de Programação
02/2008 - 07/2008
Ensino, Mestrado em Engenharia da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Paradigmas de Linguagens de Programação
09/2007 - 12/2007
Ensino, Especialização em Engenharia de Software, Nível: Especialização

Disciplinas ministradas
Metodologia Científica II (15 horas)
Metodologia Científica I (15 horas)
08/2007 - 12/2007
Ensino, Engenharia da Computação, Nível: Graduação

Disciplinas ministradas
Lógica
Semântica de Linguagens de Programação
08/2007 - 12/2007
Ensino, Mestrado em Engenharia da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Paradigmas de Linguagens de Programação
02/2007 - 06/2007
Ensino, Engenharia da Computação, Nível: Graduação

Disciplinas ministradas
Lógica
Métodos Formais
Semântica de Linguagens de Programação
02/2007 - 06/2007
Ensino, Engenharia da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Semântica de Linguagens de Programação
05/2007 - 05/2007
Ensino, Especialização em Engenharia de Software, Nível: Especialização

Disciplinas ministradas
Processo Unificado (15 h)
11/2005 - 02/2007
Direção e administração, Departamento de Sistemas Computacionais, .

Cargo ou função
Coordenador de Curso.
8/2006 - 12/2006
Ensino, Mestrado em Engenharia da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Paradigmas de Linguagens de Programação
8/2006 - 12/2006
Ensino, Engenharia da Computação, Nível: Graduação

Disciplinas ministradas
Lógica
Semântica de Linguagens de Programação
2/2006 - 7/2006
Ensino, Engenharia da Computação, Nível: Graduação

Disciplinas ministradas
Lógica
Métodos Formais
Semântica de Linguagens de Programação
8/2005 - 12/2005
Ensino, Engenharia da Computação, Nível: Graduação

Disciplinas ministradas
Semântica de Linguagens de Programação
Métodos Formais
Teoria das Categorias
03/2004 - 10/2005
Direção e administração, Departamento de Sistemas e Computação, .

Cargo ou função
Coordenador Pedagógico.
03/2004 - 10/2005
Direção e administração, Departamento de Sistemas e Computação, .

Cargo ou função
Vice-chefe de Departamento.
2/2005 - 6/2005
Ensino, Engenharia da Computação, Nível: Graduação

Disciplinas ministradas
Semântica de Linguagens de Programação
Teoria das Categorias
8/2004 - 12/2004
Ensino, Engenharia da Computação, Nível: Graduação

Disciplinas ministradas
Métodos Formais
Semântica de Linguagens de Programação
Teoria das Categorias
8/2003 - 12/2003
Ensino, Engenharia da Computação, Nível: Graduação

Disciplinas ministradas
Métodos Formais
Engenharia de Software
Semântica de Linguagens de Programação
2/2003 - 7/2003
Ensino, Engenharia da Computação, Nível: Graduação

Disciplinas ministradas
Engenharia de Software
Métodos Formais
Métodos Computacionais II


Projetos de pesquisa


2015 - Atual
Derivação de condições de leis de programação e definição de sequência de aplicação
Descrição: O objetivo deste projeto é derivar automaticamente as condições para aplicação de leis de programação tendo com base as semânticas estática e dinâmica de uma linguagem de programação, por meio do uso da linguagem Alloy e do Analisador dela. Além disso, busca-se a definição automática de sequências de aplicação de leis para a derivação de programas previamente determinados.
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Doutorado: (1) .
Integrantes: Márcio Lopes Cornélio - Coordenador / Alexandre Cabral Mota - Integrante / Lisieux Marie Marinho dos Santos Andrade - Integrante.
2013 - Atual
Modelagem, Verificação e Teste Composicional de Sistemas com Aplicações na Indústria Aeronáutica
Descrição: Neste projeto, propomos a sistematização de vários aspectos do projeto de grandes sistemas, particularmente, com ênfase em Sistemas de Sistemas (SoS, Systems of Sytems). O escopo inclui modelagem (semiformal e formal), verificação (análise formal de propriedades) e teste de tais sistemas. Utilizamos a linguagem SysML para descrever requisitos e os modelos de análise e projeto (design) de um SoS. SysML é uma linguagem semiformal, amplamente utilizada na indústria, com uma semântica definida em linguagem natural e através do uso de meta-modelos, também semiformais. Portanto, ambiguidades nos modelos SysML podem induzir a erros de implementação. No processo proposto, o modelo em SysML é traduzido (automaticamente) para um modelo descrito na linguagem formal Circus, que integra a álgebra de processos CSP, para expressar os aspectos reativos, a linguagem baseada em modelos Z, para expressar os aspectos de dados e a linguagem de comandos guardados de Dijkstra, fazendo de Circus não apenas uma linguagem de especificação, mas também de programação. Como segunda etapa do processo proposto, o modelo Circus será verificado com o objetivo de se garantir a preservação de propriedades de interesse. Isto permitirá, inicialmente, verificar a consistência, tanto individual, como integrada, dos diagramas SysML do sistema. Um outro aspecto da análise é o desenvolvimento de uma estratégia que garanta, por construção, a ausência de problemas clássicos como deadlock no SoS, a partir da verificação da ausência de deadlock em seus componentes. O desafio desta análise é escalabilidade. Como terceira e última etapa do processo, complementar à verificação, será desenvolvida uma estratégia automática de geração de vetores de teste a partir da especificação em Circus. Finalmente, o escopo do projeto inclui uma avaliação, em um ambiente industrial, com o apoio da Embraer, da eficácia dos métodos de modelagem, análise e teste propostos, através da aplicação na área de aviação e na arquitetura IMA (Integrated Modular Avionics) em particular. Este projeto inclui um breve relato das metas atingidas no período anterior. Alguns resultados, restritos a aspectos de controle em CSP e testados em exemplos pequenos, serão estendidos para um formalismo multiparadigma (Circus) e validados em aplicações reais de IMA..
Situação: Em andamento; Natureza: Pesquisa.
2010 - 2012
Refatoração Sincronizada de Programas Anotados com Especificações Formais
Descrição: A assimilação das necessidades de evolução em projetos de software que fazem uso de especicação e modelagem ainda é difícil e custosa na prática. No caso de refatoração de programas, por exemplo, modelos abstratos em conformidade com os programas tornam-se inconsistentes; técnicas como engenharia round-trip e MDA (Model-Driven Architecture) lidam parcialmente com o problema, já que estabelecem perda da abstração desejável em especi cações. Este projeto pretende propor, formalizar, implementar e avaliar uma abordagem prática de refatoração de especi cações que geram refatorações de programas automáticas, mantendo sua conformidade. Especi cações e código-fonte serão localizados em um único artefato, utilizando Java e a linguagem de especi cação JML (Java Modeling Language), facilitando sua adoção da abordagem. Como complemento, iremos de nir um catálogo de refatorações de programas que permanecem corretos mesmo com especi cações JML presentes, formando assim uma metodologia de refatoração completa. Como resultado, pretendemos de nir uma metodologia de refatoração de especi cações e programas com alto índice de automatização, e uma ferramenta que dará suporte à metodologia e estudos de caso documentados..
Situação: Concluído; Natureza: Pesquisa.
2010 - 2012
Refatoração de Programas Orientados a Objetos Formalmente Anotados
Descrição: Mudanças na estrutura de um programa são intrínsecas ao ciclo de vida do próprio programa. Estas mudanças devem preservar o comportamento do programa, melhorando apenas sua estrutura interna. No contexto da orientação a objetos já conhecidas leis de programação com prova de que preservam o comportamento de programas. Contudo, estas leis não levam em consideração mudanças em modelos formais descritos em linguagens de modelagem por meio de anotações. Leis de programação da orientação a objetos também devem considerar os impactos das mudanças de elementos de um programa sobre os modelos formais. Neste projeto, avaliaremos, descreveremos e implementaremos as mudanças sobre modelos formais de programas orientados a objetos decorrentes da transformação de elementos encontrados em código de programas..
Situação: Concluído; Natureza: Pesquisa.
2008 - Atual
Instituto Nacional de Ciência e Tecnologia para Engenharia de Software, INES
Descrição: O INES (Instituto Nacional de Ciência e Tecnologia para Engenharia de Software), sob a Coordenação do Prof. Silvio Meira, da UFPE, tem como tema global promover desenvolvimento de software com altíssima produtividade, aplicando de forma sistemática o conceito de fábrica. Primordialmente, os sistemas desenvolvidos apresentarão, de forma mensurável e configurável, fidedignidade (ou seja, poderemos depender deles sem receio). Em especial, as iniciativas do INES buscarão diminuir de forma radical as taxas de fracasso de projeto, aumentando o nível de satisfação com a qualidade dos produtos entregues, com custo e benefício controlados. Dentro deste contexto, o Instituto determinará e controlará a execução de atividades com metas de curto, médio e longo prazo, coordenando as contribuições das várias instituições e grupos de pesquisa participantes. A área de atuação dos pesquisadores que irão compor o INES, em termos gerais, engloba atividades de definição, viabilização e implantação de fábricas de software efetivas, com foco em alta produtividade e, ao mesmo tempo, fidedignidade mensurável e controlável. De forma específica, pesquisadores atuarão em diversas linhas de pesquisa conectadas em termos do objetivo em comum: (a) reuso sistemático e linhas de produto de software, (b) verificação e validação automática de sistemas, (c) técnicas de evolução e refatoração automáticas, (d) desenvolvimento dirigido por modelos, (e) linguagens de domínio específico, (f) qualidade de software e (g) engenharia de software experimental..
Situação: Em andamento; Natureza: Pesquisa.
2007 - 2009
Refatoração de Programas Baseada em Especificações Formais
Descrição: O objetivo deste projeto de pesquisa é contribuir para aperfeiçoar o processo de desenvolvimento de software, em particular de atividades ligadas à evolução, com ênfase em refatoração sincronizada de modelos e programas. Projeto multi-institucional liderado pelo Centro de Informática (UFPE), tendo o Departamento de Sistemas e Computação (UPE) e o Departamento de Computação (UFS) como instituições colaboradoras..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (1) .
Integrantes: Márcio Lopes Cornélio - Integrante / Paulo Borba - Integrante / Augusto César Alves Sampaio - Coordenador / Leila Silva - Integrante / Tiago Lima Massoni - Integrante / Rohit Gheyi - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Universidade Federal de Pernambuco - Cooperação / Universidade Federal de Sergipe - Cooperação.
2005 - 2007
CNPq PDPG-TI 506483/2004-5 Suporte Automatizado para Aplicação de Refactorings (SAAR)
Descrição: Objetivos Este projeto tem como um de seus objetivos a mecanização uso de regras para a transformação de programas orientados a objetos, também conhecidas como refactoring. Estas transformações tem como objetivo a reestruturação de sistemas com vistas a melhoria da capacidade de reuso do mesmo e também uma maior facilidade de compreensão dos mesmos. Aplicações de refactoring também têm como objetivo a obtenção de sistemas que estejam estruturados de acordo com padrões de projetos. O desenvolvimento de provas com auxílio de ferramentas computacionais tende a eliminar a possibilidade de erros que decorrem da manipulação de leis. Além disso, a prova mecância de regras permitirá a validação das provas já realizadas. A construção de um ambiente que auxilie na aplicação de leis de programação (já implementadas) para prova de regras de refactoring é um objetivo deste projeto. A construção de um ambiente no qual possamos realizar a aplicação de regras de refactoring a um programa orientado a objetos constitui um outro objetivo deste projeto. Com tal ambiente, será possível efetuarmos transformações em programas orientados a objetos a fim de estruturá-los de acordo com padrões de projeto ou simplesmente para melhorar sua estrutura interna com o objetivo de facilitar futuras mudanças bem como aumentar as chances de re-utilização do mesmo. A derivação de novas regras de refactoring. Metodologia As provas de regras de refactoring são realizadas por meio do uso de leis de programação e também de refinamento de dados. Estas provas, porém, foram realizadas manualmente, uma atividades bastante cansativa e que pode levar a erros. Além disso, não fica registrado que outros caminhos foram procurados para se conseguir a prova, apenas aquele que levou ao sucesso. Utilizaremos como suporte para a derivação de regras de refactoring, sistemas de reescritura como CafeOBJ, Maude ou ELAN..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Márcio Lopes Cornélio - Coordenador / Sérgio Castelo Branco Soares - Integrante / Marcel Pinheiro Caraciolo - Integrante / Leandro Dornelas de Freitas - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
Número de produções C, T & A: 2 / Número de orientações: 1


Membro de comitê de assessoramento


2014 - Atual
Agência de fomento: Instituto Nacional de Estudos e Pesquisas Educacionais Anísio Teixeira


Revisor de periódico


2013 - Atual
Periódico: Science of Computer Programming (Print)


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Engenharia de Software.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Linguagens de Programação.


Idiomas


Inglês
Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.
Francês
Compreende Pouco, Fala Pouco, Lê Razoavelmente, Escreve Pouco.
Espanhol
Compreende Razoavelmente, Fala Pouco, Lê Razoavelmente, Escreve Pouco.


Produções



Produção bibliográfica
Citações

SCOPUS

Artigos completos publicados em periódicos

1.
LIMA, LUCAS2015 LIMA, LUCAS ; MIYAZAWA, ALVARO ; CAVALCANTI, Ana ; CORNÉLIO, MÁRCIO ; IYODA, JULIANO ; SAMPAIO, Augusto ; HAINS, RALPH ; LARKHAM, ADRIAN ; LEWIS, VAUGHAN . An integrated semantics for reasoning about SysML design models using refinement. Software & Systems Modeling, v. 1, p. 1-28, 2015.

2.
REBÊLO, H.2013REBÊLO, H. ; Lima, Ricardo M.F. ; CORNÉLIO, M. L. ; G. T. Leavens ; MOTA, Alexandre Cabral ; C. Oliveira . Optimizing generated aspect-oriented assertion checking code for JML using program transformations: An empirical study. Science of Computer Programming (Print), v. 78, p. 1137-1156, 2013.

3.
CORNÉLIO, M. L.;Cornélio, Márcio L.;CORNELIO, MARCIO L.;CORNÉLIO, MÁRCIO2010 CORNÉLIO, M. L.; CAVALCANTI, Ana ; SAMPAIO, Augusto César Alves . Sound refactorings. Science of Computer Programming (Print), v. 75, p. 106-133, 2010.

4.
Falconieri Freitas, Gabriel2010Falconieri Freitas, Gabriel ; CORNÉLIO, M. L. ; Massoni, Tiago ; Gheyi, Rohit . Object-oriented Programming Laws for Annotated Java Programs. Electronic Proceedings in Theoretical Computer Science, v. 21, p. 65-76, 2010.

5.
Oliveira, Adriano L.I.2010Oliveira, Adriano L.I. ; Braga, Petronio L. ; Lima, Ricardo M.F. ; CORNÉLIO, M. L. . GA-based method for feature selection and parameters optimization for machine learning regression applied to software effort estimation. Information and Software Technology, v. 52, p. 1155-1166, 2010.

6.
FREITAS, L.2007FREITAS, L. ; CARACIOLO, M. ; CORNÉLIO, M. L. . Logic Programming for Verification of Object-Oriented Programming Law Conditions. Journal of Universal Computer Science (Online), v. 13, p. 721-736, 2007.

7.
de Oliveira Jr., F.2007de Oliveira Jr., F. ; LIMA, Ricardo Massa Ferreira ; CORNÉLIO, M. L. ; SOARES, Sérgio Castelo Branco ; MACIEL, Paulo ; BARRETO, R. ; OLIVEIRA Jr., M . CML: C Modeling Language. Journal of Universal Computer Science (Online), v. 13, p. 682-700, 2007.

8.
CARVALHO JÚNIOR, Antônio2007CARVALHO JÚNIOR, Antônio ; SILVA, Leila ; CORNÉLIO, M. L. . Using CafeOBJ to Mechanise Refactoring Proofs and Application. Electronic Notes in Theoretical Computer Science, v. 184, p. 39-61, 2007.

9.
CORNÉLIO, M. L.;Cornélio, Márcio L.;CORNELIO, MARCIO L.;CORNÉLIO, MÁRCIO2005CORNÉLIO, M. L.; CAVALCANTI, Ana ; SAMPAIO, Augusto . Refactoring towards a Layered Architecture. Electronic Notes in Theoretical Computer Science, v. 130, p. 281-300, 2005.

10.
BORBA, Paulo2004 BORBA, Paulo ; SAMPAIO, Augusto ; CAVALCANTI, Ana ; CORNÉLIO, M. L. . Algebraic Reasoning for Object-Oriented Programming. Science of Computer Programming, v. 52, p. 53-100, 2004.

11.
CORNÉLIO, M. L.;Cornélio, Márcio L.;CORNELIO, MARCIO L.;CORNÉLIO, MÁRCIO2002CORNÉLIO, M. L.; CAVALCANTI, Ana ; SAMPAIO, Augusto . Refactoring by Transformation. Electronic Notes in Theoretical Computer Science, v. 70, p. 311-330, 2002.

Textos em jornais de notícias/revistas
1.
FREITAS, Gabriel Ramos Falconieri ; CORNÉLIO, M. L. . Design by Contract e Java. Java Magazine, p. 60 - 67.

Trabalhos completos publicados em anais de congressos
1.
CARVALHO, RENATA M. DE ; SILVA, NATALIA C. ; LIMA, RICARDO M. F. ; CORNELIO, MARCIO L. . ReFlex: An Efficient Graph-Based Rule Engine to Execute Declarative Processes. In: 2013 IEEE International Conference on Systems, Man and Cybernetics (SMC 2013), 2013, Manchester. 2013 IEEE International Conference on Systems, Man, and Cybernetics, 2013. p. 1379.

2.
LIMA, L. ; DIDIER, A. ; CORNÉLIO, M. L. . A Formal Semantics for SysML Activity Diagrams. In: 16th Brazilian Symposium, SBMF 2013, 2013, Brasília. Formal Methods: Foundations and Application (Lecture Notes in Computer Science), 2013. v. 8195. p. 179-194.

3.
REBÊLO, H. ; LIMA, Ricardo Massa Ferreira ; CORNÉLIO, M. L. ; G. T. Leavens ; MOTA, Alexandre Cabral ; C. Oliveira . Optimizing JML Feature Compilation in Ajmlc Using Aspect-Oriented Refactorings. In: XIII Simpósio Brasileiro de Linguagens de Programação, 2009, Gramado - RS. Anais do XIII Simpósio Brasileiro de Linguagens de Programação, 2009. p. 117-130.

4.
SOARES, G. ; GHEYI, R. ; MASSONI, Tiago Lima ; CORNÉLIO, M. L. ; CAVALCANTI, D. . Generating Unit Tests for Checking Refactoring Safety. In: XIII Simpósio Brasileiro de Linguagens de Programação, 2009, Gramado - RS. Anais do XIII Simpósio Brasileiro de Linguagens de Programação, 2009. p. 159-172.

5.
REBÊLO, H. ; LIMA, Ricardo Massa Ferreira ; CORNÉLIO, M. L. ; SOARES, Sérgio Castelo Branco ; BORBA, Paulo . JML and Aspects: The Benefits of Instrumenting JML Features with AspectJ. In: Seventh International Workshop on Specification and Verification of Component-Based Systems (SAVCBS 2008), 2008, Atlanta. Specification and Verification of Component-Based Systems. p. 11-18.

6.
REBÊLO, H. ; LIMA, Ricardo Massa Ferreira ; CORNÉLIO, M. L. ; SOARES, Sérgio Castelo Branco ; FERREIRA, Leopoldo . Implementing Java Modeling Language Contracts with AspectJ. In: Symposium on Applied Computing, 2008, Fortaleza. Proceedings of the 23rd Annual ACM Symposium on Applied Computing. New York: Association for Computing Machinery , Inc., 2008. v. 1. p. 228-233.

7.
FREITAS, L. ; CARACIOLO, M. ; CORNÉLIO, M. L. . Logic Programming for Verification of Object-Oriented Programming Law Conditions. In: XI Brazilian Symposium on Programming Languages - SBLP 2007, 2007, Natal. XI Brazilian Symposium on Programming Languages, 2007. p. 33-46.

8.
de Oliveira Jr., F. ; LIMA, Ricardo Massa Ferreira ; CORNÉLIO, M. L. ; SOARES, Sérgio Castelo Branco ; MACIEL, Paulo ; BARRETO, R. ; OLIVEIRA Jr., M ; TAVARES, E. . CML: The C Modeling Language. In: XI Brazilian Symposium on Programming Languages - SBLP 2007, 2007, Natal. XI Brazilian Symposium on Programming Languages, 2007. p. 5-18.

9.
CARVALHO JÚNIOR, Antônio ; SILVA, Leila ; CORNÉLIO, M. L. . Using CafeOBJ to Mechanise Refactoring Proofs and Applications. In: Brazilian Symposium on Formal Methods, 2005, Porto Alegre. Brazilian Symposium on Formal Methods, 2005. p. 32-46.

10.
CORNÉLIO, M. L.; CAVALCANTI, Ana ; SAMPAIO, Augusto . Refactoring towards a Layered Architecture. In: Simpósio Brasileiro de Métodos Formais, 2004, Recife. Simpósio Brasileiro de Métodos Formais, 2004. p. 199-216.

11.
BORBA, Paulo ; SAMPAIO, Augusto ; CORNÉLIO, M. L. . A Refinement Algebra for Object-oriented Programming. In: 17th European Conference on Object-Oriented Programming, ECOOP'2003, 2003, Darmstadt. 17th European Conference on Object-Oriented Programming, ECOOP'2003, 2003. v. 2743. p. 257-282.

12.
CORNÉLIO, M. L.; BORBA, Paulo . Structuring Mechanisms for an Object-Oriented Formal Specification Language. In: VI International Conference on Software Reuse, 2000, Viena. Lecture Notes in Computer Science, 2000.

13.
CORNÉLIO, M. L.; BORBA, Paulo . Design of an object-oriented formal specification language. In: I Workshop Brasileiro de Métodos Formais, 1998, Porto Alegre - RS. Anais do WMF'98 - I Workshop Brasileiro de Métodos Formais. Potro Alegre - RS: Instituto de Informática da UFRGS, 1998. p. 94-99.

Resumos expandidos publicados em anais de congressos
1.
COSTA, M. ; MOTA, Alexandre Cabral ; CORNÉLIO, M. L. . From SCR to SCADE. In: SBMF 2012 - XV Simpósio Brasileiro de Métodos Formais, 2012, Natal - RN. SBMF 2012 - XV Simpósio Brasileiro de Métodos Formais, 2012. v. 11. p. 1-6.

Resumos publicados em anais de congressos
1.
REBÊLO, H. ; LIMA, Ricardo Massa Ferreira ; CORNÉLIO, M. L. ; SOARES, Sérgio Castelo Branco . A JML Compiler Based on AspectJ. In: International Conference on Software Testing, Verification, and Validation, 2008, Lillehammer. International Conference on Software Testing, Verification, and Validation, 2008. Los Alamitos, CA, USA: IEEE Computer Society, 2008. p. 541-544.

2.
CORNÉLIO, M. L.; BORBA, Paulo . Projeto e avaliação de uma linguagem de especificação formal orientada a objetos. In: II Workshop de Teses em Engenharia de Software, 1997, Fortaleza. II Workshop de Teses em Engenharia de Software, 1997. p. 44-46.

3.
BORGES, A. ; CORNÉLIO, M. L. ; et. al. . Integração (?) entre o Campus I e a Rede Nacional de Pesquisas. In: III Encontro de Iniciação Cientiífica da UFPB, 1995, João Pessoa. Anais do III Encontro de Iniciação Cientiífica da UFPB. João Pessoa: UFPB, 1995.

4.
TOURÉ, M. ; CORNÉLIO, M. L. ; et. al. . Especificação de um Chip (o Digicode) utilizando os conceitos de Autômatos Finitos. In: III Encontro de Iniciação Científica da UFPB, 1995, João Pessoa. Anais do III Encontro de Iniciação Científica da UFPB. João Pessoa: UFPB, 1995.

5.
CÂMARA, F. V. ; CORNÉLIO, M. L. ; et. al. . Concepção Estruturada de Circuitos Integrados: Implementação de um Comutador ATM. In: III Encontro de Iniciação Científica da UFPB, 1995, João Pessoa. Anais do III Encontro de Iniciação Científica da UFPB. João Pessoa: UFPB, 1995.

6.
CÂMARA, F. V. ; TOURÉ, M. ; CORNÉLIO, M. L. ; et. al. . Metodologia Hierarquizadapara Projeto de Circuitos Integrados Dedicados. In: II Encontro de Iniciação Científica da UFPB, 1994, João Pessoa. Anais do II Encontro de Iniciação Científica da UFPB. João Pessoa: UFPB, 1994.

7.
TOURÉ, M. ; CORNÉLIO, M. L. ; et. al. . Internet: A Teia Mundial. In: II Encontro de Iniciação Científica da UFPB, 1994, João Pessoa. Anais do II Encontro de Iniciação Científica da UFPB. João Pessoa: UFPB, 1994.


Demais tipos de produção técnica
1.
CORNÉLIO, M. L.; ROSCOE, B. . Formal Methods: Foundations and Applications - 18th Brazilian Symposium, SBM 2015. 2016. (Editoração/Anais).


Produção artística/cultural
Outras produções artísticas/culturais
1.
CORNÉLIO, M. L.; SIQUEIRA, Roxana Alves de . Fatores de Localização da Cidade do Recife. 2008 (Revisão de tradução).

Demais trabalhos
1.
CORNÉLIO, M. L.. Refactoring as Formal Refinements. 2004 (Tese de Doutorado) .

2.
CORNÉLIO, M. L.. Design and Evaluation of an Object-Oriented Formal Specification Language. 1998 (Dissertação de Mestrado) .



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
GUSMÃO, Cristine Martins Gomes de; SOARES, Sérgio Castelo Branco; CORNELIO, MARCIO L.. Participação em banca de Alex Nery Borges Júnior. Mecanismos Utilizados para Conduzir Estudos Empíricos na Engenharia de Software. 2015. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

2.
MOTA, Alexandre Cabral; MASSONI, Tiago Lima; CORNÉLIO, M. L.. Participação em banca de Karina da Silva Correia. Evolução Arquitetural de um Web Service: transformação de código e avaliação de arquitetura. 2015. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

3.
CORNÉLIO, M. L.; CORREA, R. F.; Oliveira, Adriano L.I.. Participação em banca de Paulo César de Oliveira. Abordagem Semi-Supervisionada para Detecção de Módulos de Software Defeituosos. 2015. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

4.
CORNÉLIO, M. L.; RIBEIRO, M. M.; LIMA FILHO, F. C.. Participação em banca de Francisco Miranda Soares da Silva Neto. Rewriting Concurrent Haskell Programs to STM. 2014. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

5.
MASSONI, Tiago Lima; FARIAS, A. C; GUERRERO, D. D. S.; CORNELIO, MARCIO L.. Participação em banca de Mikaela Anuska Oliveira Maia. Uma Abordagem para Adaptação de Clientes do Java Collections Framework Baseada em Técnicas de Migração de API's. 2014. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

6.
CORNÉLIO, M. L.; SANTOS, J. P.; de MOURA, H. P. Participação em banca de Suzane Mendes da Silva. Uma Proposta para a Melhoria do Gerenciamento de Projetos de Pesquisa Ambiental. 2013. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

7.
CORNÉLIO, M. L.; MOTA, C. M. M.; SOARES, Sérgio Castelo Branco. Participação em banca de Liliane Sheyla da Silva. A Risk Identification Technique for Requirements Assessment. 2012. Dissertação (Mestrado em Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

8.
CORNÉLIO, M. L.; ALENCAR, M. H.; de MOURA, H. P. Participação em banca de Júlio Venâncio de Menezes Junior. Indicators for Risk Assessment in Environments of Software Projects. 2012. Dissertação (Mestrado em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

9.
CORNÉLIO, M. L.; MOTA, C. M. M.; SOARES, Sérgio Castelo Branco. Participação em banca de Nielson José Pontes da Silva Júnior. Riskontrol: A Proposal of an Approach for Controlling and Monitoring of Risks in Software Project. 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

10.
CORNÉLIO, M. L.; CAMPOS, F. F.da C.; GOMES, A. S.. Participação em banca de Alessandro Ferreira Lima. Análise da Eficácia de Tarefas com Plataformas Sociais Educacionais por Usuários Professores. 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

11.
CORNÉLIO, M. L.; MASSONI, Tiago Lima; Lima, Ricardo M.F.. Participação em banca de Walter Maymone de Melo Neto. Validando AJCSP com o uso de JPF em leis algébricas. 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

12.
CORNÉLIO, M. L.; SAMPAIO, Augusto César Alves; RAMALHO, F. de S.. Participação em banca de Vitor Torres Braga. Integrando SOA e MDE em um Processo Sistemático de Desenvolvimento de Software. 2011. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

13.
CORNÉLIO, M. L.; LIMA, M. G.; SOARES, Sérgio Castelo Branco. Participação em banca de Thaysa Suely Beltrão Paiva. Um Ambiente para Biblioteca Digital: PROHIST - Processamento de Imagens em Documentos Históricos. 2011. Dissertação (Mestrado em Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

14.
CORNÉLIO, M. L.; GUSMÃO, Cristine Martins Gomes de; de MOURA, H. P. Participação em banca de Aristides Vicente de Paula Neto. Avaliação de Progresso da Qualidade em Projetos de Software. 2011. Dissertação (Mestrado em Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

15.
CORNÉLIO, M. L.; GHEYI, R.; MASSONI, Tiago Lima. Participação em banca de Thiago Affonso de Melo Novaes Viana. Uma Técnica de Refatoração de Programas Dirigidos por Contratos. 2010. Dissertação (Mestrado em Mestrado em Engenharia da Computação) - Universidade de Pernambuco.

16.
CORNÉLIO, M. L.; CACHO, N. A. A.; LIMA FILHO, F. C.. Participação em banca de Júlio César de Freitas Taveira. Reuso de Tratadores de Exceções em Programas Orientados a Aspectos. 2010. Dissertação (Mestrado em Mestrado em Engenharia da Computação) - Universidade de Pernambuco.

17.
ALVES, C. F.; CORNÉLIO, M. L.; LIMA, Ricardo Massa Ferreira. Participação em banca de Márcio Magalhães de Souza. Uma Proposta para Aplicar Análise Quantitativa de Riscos em Projetos de Software Ágeis. 2010. Dissertação (Mestrado em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

18.
CORNÉLIO, M. L.; BATISTA, M. C. M.; OLIVEIRA, Adriano Lorena Inácio. Participação em banca de Christiane Tavares Cavalcanti de Albuquerque. Proposta de Melhoria na Contratação de Fábricas de Software por Órgãos Públicos. 2010. Dissertação (Mestrado em Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

19.
da SILVA, F. Q. B.; CORNÉLIO, M. L.; de MOURA, H. P. Participação em banca de Gustavo Tibério d'Anunciação. Uma Extensão do Rational Unified Process baseada na Criação de Valor. 2009. Dissertação (Mestrado em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

20.
MOTTA, G. H. M. B.; CAVALCANTI, A. C.; TAVARES, T. A.; CORNÉLIO, M. L.. Participação em banca de José Teixeira de Carvalho Neto. Arquitetura de referência para mediação da segurança na interoperabilidade em ambientes federados. 2009. Dissertação (Mestrado em Informática) - Universidade Federal da Paraíba.

21.
MOTA, Alexandre Cabral; CORNÉLIO, M. L.; SAMPAIO, Augusto. Participação em banca de Manoel Messias da Silva Menezes. Mapeando CSP em UML-RT. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

22.
SAMPAIO, Augusto César Alves; CORNÉLIO, M. L.; MOTA, Alexandre Cabral. Participação em banca de Adriana Carla Damasceno. Geração Mecanizada de Abstrações Seguras para Especificações CSP. 2008. Dissertação (Mestrado em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

23.
Gustavo Motta; CABRAL, L. A. F.; CORNÉLIO, M. L.. Participação em banca de Bruno César Barreto de Figueiredo. Pragma SR: um modelo pragmático de separação de responsabilidades para o controle de acesso baseado em papéis. 2008. Dissertação (Mestrado em Informática) - Universidade Federal da Paraíba.

24.
SAMPAIO, Augusto César Alves; MOTA, Alexandre Cabral; CORNÉLIO, M. L.. Participação em banca de Rafael Machado Duarte. Parallelizing Java Programs Using Transformation Laws. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

25.
SAMPAIO, Augusto César Alves; CORNÉLIO, M. L.; MOTA, Alexandre Cabral. Participação em banca de Flavia Merylyn Carneiro Falcão. Multissincronização em Message Sequence Chart. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

26.
CORNÉLIO, M. L.. Participação em banca de Gláucia Boudoux Peres. A Black-box Testing Technique for the Detection of Crashes Based on Automated Test Scenarios. 2008. Dissertação (Mestrado em Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

27.
CORNÉLIO, M. L.. Participação em banca de Ellen Polliana Ramos Souza. RBTProcess - Modelo de Processo de Teste de Software baseado em Riscos. 2008. Dissertação (Mestrado em Mestrado em Engenharia da Computação) - Universidade de Pernambuco.

28.
VASCONCELOS, Alexandre Marcos Lins de; CORNÉLIO, M. L.; SAMPAIO, Augusto César Alves. Participação em banca de Manuela de Almeida Xavier. Definição e Implementação do Sistema de Tipos da Linguagem Circus. 2006. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

29.
Gustavo Motta; Glêdson Silveira; CORNÉLIO, M. L.. Participação em banca de Rodrigo Galvão Lourenço da Silva. Basegen: Uma Ferramenta Baseada em MDA para Construção Semi-automática de Aplicações WEB. 2006. Dissertação (Mestrado em Informática) - Universidade Federal da Paraíba.

30.
Gustavo Motta; CABRAL, L. A. F.; CAVALCANTI, A. C.; CORNÉLIO, M. L.. Participação em banca de Williams Ferreira da Silva. Uma Arquitetura para Controle de Acesso Diferenciado Através da WEB a Recursos Informacionais. 2006. Dissertação (Mestrado em Informática) - Universidade Federal da Paraíba.

31.
BORBA, Paulo; SANTOS, A. L. M.; CORNÉLIO, M. L.. Participação em banca de João Marcos Pedrosa de Vasconcelos. Reuso de Casos de Teste em Linhas de Produtos de Software. 2006. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

32.
SAMPAIO, Augusto; CORNÉLIO, M. L.; MOTA, Alexandre Cabral. Participação em banca de Carla Maria do Nascimento Pinheiro. Verificação de Modelos para Programas JCSP. 2006. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

33.
CORNÉLIO, M. L.; VASCONCELOS, Alexandre Marcos Lins de; SAMPAIO, Augusto César Alves. Participação em banca de Robson Godoi de Albuquerque Maranhão. Uma Disciplina de Análise e Projeto para Aplicações Concorrentes Baseada no RUP. 2005. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

Teses de doutorado
1.
BORBA, P. H. M.; SIMAO, A.; MELO, A. C. V.; IYODA, J. M.; CORNÉLIO, M. L.. Participação em banca de Gustavo Henrique Porto de Carvalho. NAT2TEST: Generating Test Cases from Natural Language Requirements based on CSP. 2016. Tese (Doutorado em Doutorado em Ciência da Computação) - Universidade Federal de Pernambuco.

2.
BORBA, P. H. M.; IYODA, J. M.; CORNÉLIO, M. L.; MELO, A. C. V.; DÉHARBE, D. B. P.. Participação em banca de Rodrigo Teixeira Ramos. Systematic Development of Trustworthy Component-based Systems. 2011. Tese (Doutorado em Doutorado em Ciência da Computação) - Universidade Federal de Pernambuco.

3.
CORNÉLIO, M. L.. Participação em banca de Adalberto Cajueiro Farias. Abstraction of Infinite and Communicating CSPZ Processes. 2009. Tese (Doutorado em Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

4.
MARUYAMA, N.; COZMAN, F. G.; ROCHA, R. L. A.; MELO, A. C. V.; CORNÉLIO, M. L.. Participação em banca de Marcelo Figueiredo Polido. Um método de refinamento para desenvolvimento de software embarcado: uma abordagem baseada em UML-RT e especificações formais. 2007. Tese (Doutorado em Engenharia Mecânica) - Universidade de São Paulo.

Qualificações de Doutorado
1.
MOTA, Alexandre Cabral; MASSONI, Tiago Lima; CORNÉLIO, M. L.. Participação em banca de Giovanny Fernando Lucero Palma. Algebraic Laws for Object Oriented Programming with References. 2014. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

2.
VASCONCELOS, A. M. L.; PEREIRA, J. P. A.; CORNÉLIO, M. L.. Participação em banca de Francielle da Silva Santos. Social Based Software Engineering. 2013. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

3.
SOARES, Sérgio Castelo Branco; REIS, C. A. L.; CORNÉLIO, M. L.. Participação em banca de Luciana de Queiroz Leal Gomes. Indicators of Progress in Project Management Based on Project Success. 2013. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

Monografias de cursos de aperfeiçoamento/especialização
1.
CORNÉLIO, M. L.. Participação em banca de Ivan Patriota de Siqueira Júnior. Um guia de boas práticas para o alcance da motivação dos stakeholders através do desenvolvimento da competência social dos gerentes de projeto. 2009. Monografia (Aperfeiçoamento/Especialização em Especialização em Gestão Global de Projetos) - Universidade de Pernambuco.

2.
CORNÉLIO, M. L.. Participação em banca de Samuel Meira de Oliveira. Controle de Transações em Aplicações Distribuídas (Web Services). 2009. Monografia (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Universidade de Pernambuco.

3.
CORNÉLIO, M. L.. Participação em banca de Cledimar Machado de Lima. Estudo Comparativo entre as Técnicas de Testes. 2009. Monografia (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Universidade de Pernambuco.

4.
CORNÉLIO, M. L.. Participação em banca de Hadautho Roberto Barros da Silva. Utilizando SCRUM no Gerenciamento das Operações de uma Organização. 2009. Monografia (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Universidade de Pernambuco.

5.
LIMA, Ricardo Massa Ferreira; SOARES, Sérgio Castelo Branco; CORNÉLIO, M. L.. Participação em banca de Suzana de Matos Melor Brayner. Sistemas Legados - Critérios Decisórios para uma Migração. 2008. Monografia (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Universidade de Pernambuco.

6.
LIMA, Ricardo Massa Ferreira; CORNÉLIO, M. L.; SOARES, Sérgio Castelo Branco. Participação em banca de Thiago Ribeiro Tavares. Programação Orientada a Aspectos - ;Aplicação em Ambientes Corporativos. 2008. Monografia (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Universidade de Pernambuco.

7.
CORNÉLIO, M. L.; LIMA FILHO, F. C.. Participação em banca de Reinaldo José Cosme da Silva. Simulação de uma Arquitetura para Replicação de Dados Geograficamente Distribuídos. 2008. Monografia (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Universidade de Pernambuco.

8.
CORNÉLIO, M. L.; SOARES, Sérgio Castelo Branco. Participação em banca de Pedro Henrique Amblard Wanderley. Testes no Desenvolvimento de Software. 2008. Monografia (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Universidade de Pernambuco.

9.
MASSONI, Tiago Lima; CORNÉLIO, M. L.; LIMA FILHO, F. C.. Participação em banca de Esneilton Oliveira do Nascimento. Avaliação de uma Estrutura para Revisão de Código Java. 2008. Monografia (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Universidade de Pernambuco.

10.
SOARES, Sérgio Castelo Branco; LIMA FILHO, F. C.; CORNÉLIO, M. L.. Participação em banca de Flávia Bacic Vilela Campos. Proposta de Modelo de Referência para a Produção de Documentos de Requisitos de Qualidade. 2008. Monografia (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Universidade de Pernambuco.

11.
CORNÉLIO, M. L.; SOARES, Sérgio Castelo Branco. Participação em banca de Teresa Novais Silva. Testes de Software para Empresas que Terceirizam Desenvolvimento. 2008. Monografia (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Universidade de Pernambuco.

12.
CORNÉLIO, M. L.. Participação em banca de Vamberto Pereira Lemos Filho. Requisitos e Arquitetura para Ambiente de Construção Colaborativa de Software. 2008. Monografia (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Universidade de Pernambuco.

13.
SOARES, Sérgio Castelo Branco; GUSMÃO, Cristine Martins Gomes de; CORNÉLIO, M. L.. Participação em banca de Marcelle Frazão Dornelas Câmara de Araújo. Medindo a Produtividade de uma Equipe de Testes. 2008. Monografia (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Universidade de Pernambuco.

14.
CORNÉLIO, M. L.; MASSONI, Tiago Lima; SOARES, Sérgio Castelo Branco. Participação em banca de Roberto Silva de Almeida. Um Processo para Implantação de Software de Suporte nas Organizações de TI Visando as Práticas de ITIL. 2008. Monografia (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Universidade de Pernambuco.

15.
CORNÉLIO, M. L.; SOARES, Sérgio Castelo Branco; GUSMÃO, Cristine Martins Gomes de. Participação em banca de Jônatas Cavalcanti Pereira. Levantamento de Ambientes Digitais para Educação a Distância. 2008. Monografia (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Universidade de Pernambuco.

16.
CORNÉLIO, M. L.. Participação em banca de José Claudemir Pacheco Júnior. Gestão de Conteúdo como Apoio à Gestão do Conhecimento: uma Análise das Soluções Existentes no Mercado. 2008. Monografia (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Universidade de Pernambuco.

17.
CORNÉLIO, M. L.. Participação em banca de Daniela de Castro Pereira Alves. Obtendo Vantagem Competitiva nos Setores Públicos e Privados com a Utilização da Tecnologia E-procurement. 2008. Monografia (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Universidade de Pernambuco.

18.
CORNÉLIO, M. L.; GUSMÃO, Cristine Martins Gomes de. Participação em banca de Clebson de Morais Borba. Implementando Projetos de Software com Six Sigma Baseados no Guia PMBOK. 2008. Monografia (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Universidade de Pernambuco.

19.
CORNÉLIO, M. L.. Participação em banca de Paulo Anselmo da Mota Silveira Neto. Um Framework para Linha de Produto de Software. 2008. Monografia (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Universidade de Pernambuco.

Trabalhos de conclusão de curso de graduação
1.
CORNÉLIO, M. L.. Participação em banca de Renata Priscilla Lima Lira Farias de Melo.Estimando Quantidade de Casos de Teste de Software Usando Redes Neurais Artificiais. 2008. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.

2.
CORNÉLIO, M. L.. Participação em banca de Vicente Bezerra de Souza Neto.Aplicação de um Processo Ágil com Foco em Gestão de Riscos. 2008. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.

3.
CORNÉLIO, M. L.. Participação em banca de Keldjan Alves de Oliveira.RBT Tool: Uma Ferramenta para Identificação de Riscos no Teste de Software. 2008. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.

4.
CORNÉLIO, M. L.; MASSONI, Tiago Lima. Participação em banca de Tássia de Souza Lima.Análise Automática de Diagramas de Classes UML. 2007. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.

5.
CORNÉLIO, M. L.; SOARES, Sérgio Castelo Branco. Participação em banca de José Guilherme.Uma Proposta de Metodologia de Desenvolvimento para Aplicativos Pegagógicos. 2007. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.

6.
CORNÉLIO, M. L.; GUSMÃO, Cristine Martins Gomes de. Participação em banca de Andreza Diniz.Uma Nova Abordagem para Testes Baseados em Riscos nos Requisitos de Software. 2007. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.

7.
CORNÉLIO, M. L.; MACIEL, Paulo. Participação em banca de César Augusto de Oliveira.Simulação de Redes de Petri em Ambiente Java. 2006. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.

8.
CORNÉLIO, M. L.; MASSONI, Tiago Lima. Participação em banca de Paulo André Ferreira.Desenvolvimento de Sistema de Informação Web para o Controle de Protocolos Interno da Escola Politécnica de Pernambuco. 2006. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.

9.
CORNÉLIO, M. L.; MASSONI, Tiago Lima. Participação em banca de Cleyton Mário Rodrigues.Mapeando estruturas LSC em redes de Petri coloridas. 2006. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.

10.
CORNÉLIO, M. L.; LIMA, Ricardo Massa Ferreira. Participação em banca de Nívia Cruz Quental.Modelagem de Desempenho de programas paralelos utilizando Redes de Petri Temporizadas. 2006. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.

11.
LIMA, Ricardo Massa Ferreira; CORNÉLIO, M. L.; SOARES, Sérgio Castelo Branco. Participação em banca de André Gonçalves Benício de Almeida.Análise Comparativa de Tecnologias para Transferência de Dados entre Sistemas Web. 2005. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.

12.
LIMA, Ricardo Massa Ferreira; CORNÉLIO, M. L.; SOARES, Sérgio Castelo Branco. Participação em banca de Bruna Georgina Bunzen de Albuquerque Romeiro.Desenvolvimento de Aplicativos para Dispositivos Móveis na Plataforma J2ME. 2005. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.

13.
SOARES, Sérgio Castelo Branco; MELLOR, Carlos Alexandre Barros de; CORNÉLIO, M. L.. Participação em banca de Rafael Bandeira de Oliveira.Serviço de Distribuição de Conteúdos RSS para Dispositivos Móveis Através de Web Services. 2005. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.

14.
SOARES, Sérgio Castelo Branco; LIMA, Ricardo Massa Ferreira; CORNÉLIO, M. L.. Participação em banca de Renato Augusto Gomes Pina França.Uma Aplicação Telnet para Dispositivos Móveis. 2005. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.

15.
CORNÉLIO, M. L.; SOARES, Sérgio Castelo Branco; OLIVEIRA, Adriano Lorena Inácio de. Participação em banca de Rodrigo Fagner Brayner de Brito.Doulox Linux Live: Uma Distribuição Linux para Ambientes VoIP E H.323. 2005. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.

16.
CORNÉLIO, M. L.; SOARES, Sérgio Castelo Branco; LIMA, Ricardo Massa Ferreira. Participação em banca de Adilson Arcoverde Jr..EZPetri - Um Ambiente para integração de linguagens de descrição de redes de Petri. 2004. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.

17.
CORNÉLIO, M. L.; SOARES, Sérgio Castelo Branco; LIMA, Ricardo Massa Ferreira. Participação em banca de Gabriel Alves de Albuquerque Jr..EZPetri: Um Ambiente para redes de Petri no Eclipse. 2004. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.



Participação em bancas de comissões julgadoras
Concurso público
1.
ALBUQUERQUE, J. O.; SOUZA, R. A. C.; CORNELIO, MARCIO L.. Concurso Público de Provas e Títulos - Professor da Carreira de Magistério Superior, Classe A. 2015. Universidade Federal Rural de Pernambuco.

2.
CORNÉLIO, M. L.; SCHUENEMANN, C. T. L. L. S.; MORAES, R. M.. Seleção Pública para Professor Substituto. 2015. Universidade Federal de Pernambuco.

3.
ALBUQUERQUE, J. O.; ALBUQUERQUE JUNIOR, G. A.; CORNÉLIO, M. L.. Concurso Público de Provas e Títulos - Professor da Carreira de Magistério Superior, Classe A. 2014. Universidade Federal Rural de Pernambuco.

4.
SOARES, Sérgio Castelo Branco; CORNÉLIO, M. L.; SANTANA, C.. Concurso Público de Provas e Títulos para Professor Adjunto I. 2013. Universidade Federal Rural de Pernambuco.

5.
RIBEIRO, A. R L.; CORNÉLIO, M. L.; da ROCHA, T.. Concurso Público de Provas e Títulos - Categoria Professor Adjunto Nível 1. 2009. Universidade Federal de Sergipe.

6.
CORNÉLIO, M. L.. Concurso Público para Professor Assitente. 2009. Universidade Federal de Sergipe.

7.
CORNÉLIO, M. L.; MASSONI, Tiago Lima; SANTOS, A. L. M.. Concurso Público para Professor Assistente na Área de Engenharia de Software. 2007. Universidade de Pernambuco.

8.
LIMA, Ricardo Massa Ferreira; CORNÉLIO, M. L.; VASCONCELOS, Alexandre Marcos Lins de. Concurso Público para Professor Adjunto na Área de Engenharia de Softwre. 2007. Universidade de Pernambuco.

9.
CORNÉLIO, M. L.; SOARES, Sérgio Castelo Branco; MOTA, Alexandre Cabral. Concurso Público para Professor Assistente de Engenharia de Software. 2006. Universidade de Pernambuco.

10.
CORNÉLIO, M. L.; MELLO, Carlos Alexandre de Barros. Concurso Público para Professor Adjunto de Engenharia de Software. 2004. Universidade de Pernambuco.

Outras participações
1.
CORNÉLIO, M. L.. Projetos dos Programa Institucional de Base de Iniciação Científica (2008-2009) e Programa de Desenvolvimento Tecnológico e Extensão (2008-2009). 2008. Universidade de Pernambuco.

2.
CORNÉLIO, M. L.. Programa Institucional de Base de Iniciação Científica (2006-2007) e Programa de Desenvolvimento Tecnológico e Extensão (2006-2007). 2007. Universidade de Pernambuco.

3.
CORNÉLIO, M. L.. Simpósio Brasileiro de Linguagens de Programação. 2007. Sociedade Brasileira de Computação - Porto Alegre.

4.
CORNÉLIO, M. L.. Simpósio Brasileiro de Métodos Formais 2005. 2005. Sociedade Brasileira de Computação - Porto Alegre.

5.
CORNÉLIO, M. L.. XVII Simpósio Brasileiro de Engenharia de Software. 2003. Sociedade Brasileira de Computação - Porto Alegre.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
Brazilian Symposium on Formal Methods.Using CafeOBJ to Mechanise Refactoring Proofs and Applications. 2005. (Simpósio).

2.
IX Simpósio Brasileiro de Lingugagens de Programação.IX Simpósio Brasileiro de Linguagens de Programação. 2005. (Simpósio).


Organização de eventos, congressos, exposições e feiras
1.
CORNÉLIO, M. L.. Delegado Institucional - XVII Olimpíada Brasileira de Informática. 2015. .

2.
CORNÉLIO, M. L.. Delegado Institucional - XVI Olimpíada Brasileira de Informática. 2014. .

3.
CORNÉLIO, M. L.. XIII Olimpíada Brasileira de Informática (OBI2011). 2011. (Concurso).

4.
CORNÉLIO, M. L.. XI Workshop Iberoamericano de Ambientes de Softwares e Engenharia de Requisitos. 2008. (Congresso).

5.
CORNÉLIO, M. L.. Sexta Conferência Latino-americana em Linguages de Padrões para Programação. 2007. (Congresso).

6.
LIMA, Ricardo Massa Ferreira ; CORNÉLIO, M. L. . IX Simpósio Brasileiro de Linguagens de Programação. 2005. (Congresso).

7.
MOTA, Alexandre Cabral ; SAMPAIO, Augusto César Alves ; FARIAS, A. C ; CORNÉLIO, M. L. . Simpósio Brasileiro de Métodos Formais. 2004. (Congresso).



Orientações



Orientações e supervisões em andamento
Dissertação de mestrado
1.
Debora Leonardo da Silva. Transformações e avaliação de fatores de qualidade de aplicativos Android com base em análise de repositórios de software. Início: 2017. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco. (Orientador).

2.
Everton Renne Barros de Oliveira. Identificação de code smells e vulnerabilidade em código para aplicativos Android com base em análise de repositórios de software. Início: 2017. Dissertação (Mestrado em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico. (Orientador).

Tese de doutorado
1.
Lisieux Marie Marinho dos Santos Andrade. Derivação Automática de Condições para Aplicação de Leis de Programação. Início: 2015. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco. (Orientador).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
Karina da Silva Correia. Evolução Arquitetural de um Web Service: transformação de código e avaliação de arquitetura. 2015. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, . Orientador: Márcio Lopes Cornélio.

2.
Kamila Nayara Carvalho Serafim. Transformação sistemática entre modelos Scade e SCR. 2014. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, . Orientador: Márcio Lopes Cornélio.

3.
Marcelo Costa. Metodologia de Análise de Tempo de Resposta para Modelos Simulink. 2011. Dissertação (Mestrado em Pós-Graduação em Ciência da Computação) - Centro de Informática, . Coorientador: Márcio Lopes Cornélio.

4.
Polyana Lima Olegário. Comparação de Métodos de Otimização Global para Geração Automática de Dados para Teste de Software. 2010. Dissertação (Mestrado em Mestrado em Engenharia da Computação) - Universidade de Pernambuco, . Coorientador: Márcio Lopes Cornélio.

5.
Lilian Oliveira Ramires. Análise de Ontologias por Meio de um Analisador Baseado em Busca de Modelos. 2009. Dissertação (Mestrado em Engenharia da Computação) - Universidade de Pernambuco, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Márcio Lopes Cornélio.

6.
Gabriel Ramos Falconieri Freitas. Refactoring Annotated Java Programs: a Rule-based Approach. 2009. Dissertação (Mestrado em Mestrado em Engenharia da Computação) - Universidade de Pernambuco, . Orientador: Márcio Lopes Cornélio.

7.
Alexandre Alves do Santos Júnior. FxTL: Uma Linguagem para Transformações de Programas. 2008. Dissertação (Mestrado em Engenharia da Computação) - Universidade de Pernambuco, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco. Coorientador: Márcio Lopes Cornélio.

8.
Henrique Emanuel Mostaert Rebêlo. Implementing JML Contracts with AspectJ. 2008. Dissertação (Mestrado em Mestrado em Engenharia da Computação) - Universidade de Pernambuco, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Coorientador: Márcio Lopes Cornélio.

Tese de doutorado
1.
Renata Medeiros de Carvalho. Reflex: a Graph-based Model for Declarative Business Processes. 2015. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco, . Coorientador: Márcio Lopes Cornélio.

Monografia de conclusão de curso de aperfeiçoamento/especialização
1.
Max Arruda Diniz Filho. Um Estudo de Caso Envolvendo a Implementação de um Processo de Coaching para Desenvolvimento de Líderes em um Empresa Pública de Desenvolvimento de Software. 2009. Monografia. (Aperfeiçoamento/Especialização em Especialização em Gestão Global de Projetos) - Universidade de Pernambuco. Orientador: Márcio Lopes Cornélio.

2.
Suzana de Matos Melo Brayner. Sistemas Legados - Critérios Decisórios para uma Migração. 2008. Monografia. (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Universidade de Pernambuco. Orientador: Márcio Lopes Cornélio.

3.
Esneilton Oliveira do Nascimento. Avaliação de uma Estrutura para Revisão de Código Java. 2008. Monografia. (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Universidade de Pernambuco. Orientador: Márcio Lopes Cornélio.

4.
Vamberto Pereira Lemos Filho. Requisitos e Arquitetura para Ambiente de Construção Colaborativa de Software. 2008. Monografia. (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Universidade de Pernambuco. Orientador: Márcio Lopes Cornélio.

5.
Marcelle Frazão Dornelas Câmara de Araújo. Medindo a Produtividade de uma Equipe de Testes. 2008. Monografia. (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Universidade de Pernambuco. Orientador: Márcio Lopes Cornélio.

6.
Flávia Bacic Vilela Campos. Proposta de Modelo de Referência para a Produção de Documentos de Requisitos de Qualidade. 2008. Monografia. (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Universidade de Pernambuco. Orientador: Márcio Lopes Cornélio.

7.
Samuel Meira de Oliveira. Controle de Transações em Aplicações Distribuídas (Web Services). 2008. Monografia. (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Universidade de Pernambuco. Orientador: Márcio Lopes Cornélio.

Trabalho de conclusão de curso de graduação
1.
Pedro Henrique Martins Barbosa. Análise das Permissões e Violações de Privacidade em Aplicações para Android. 2017. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco. Orientador: Márcio Lopes Cornélio.

2.
Larissa Oliveira Ribeiro da Paz. Aplicando Regras de Programação para Refatoração de Programas em Dafny: uma Linguagem Imperativa com Especificação Nativa. 2015. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco. Orientador: Márcio Lopes Cornélio.

3.
Leandro Dornelas de Freitas. Uma Ferramenta Web para Geração Automática de Casos de Teste. 2008. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Universidade de Pernambuco. Orientador: Márcio Lopes Cornélio.

4.
Pollyanna Mendonça Barros. Um Sistema Web para Gerenciamento do Processo de Estágio Supervisionado na Poli-UPE. 2008. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Universidade de Pernambuco. Orientador: Márcio Lopes Cornélio.

5.
Antônio Carlos Costa Larré Júnior. Um Modelo de Processo Ágil de Testes. 2008. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Universidade de Pernambuco. Orientador: Márcio Lopes Cornélio.

6.
Herbert de Menezes e Silva Filho. Geração Semi-Automática de Testes Unitários na Ferramenta BASEGen. 2007. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Universidade de Pernambuco. Orientador: Márcio Lopes Cornélio.

7.
Thiago Henrique de Oliveira Fragoso. Geração de diagrama de classes UML a partir de histórias de usuários em metodologias de desenvolvimento ágil. 2007. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Universidade de Pernambuco. Orientador: Márcio Lopes Cornélio.

8.
Tiago Moraes de Miranda Farias. Aplicação de Padrões ao Processo de Desenvolvimento de Software RUP. 2006. 0 f. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Universidade de Pernambuco. Orientador: Márcio Lopes Cornélio.

9.
Gabriel Ramos Falconieri Freitas. Verificação de Condições de Leis de Programação em um Sistema de Reescrita. 2006. 0 f. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Universidade de Pernambuco. Orientador: Márcio Lopes Cornélio.

10.
Filipe da Silva Regueira. Padrões de Projetos no Desenvolvimento de Aplicações J2ME. 2006. 0 f. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Universidade de Pernambuco. Orientador: Márcio Lopes Cornélio.

11.
Polyana Lima. Suporte a Teste de Unidade de Aplicativos J2ME no Ambiente Eclipse. 2005. 0 f. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Universidade de Pernambuco. Orientador: Márcio Lopes Cornélio.

12.
Carolina Mattos Cavalcanti. Verificação de Qualidade de Software: estudo de casos de empresas da Região Metropolitana do Recife. 2005. 0 f. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Universidade de Pernambuco. Orientador: Márcio Lopes Cornélio.

13.
Ronaldo Cisneiros Veras. Especificação Comportamental de um Subconjunto da Plataforma J2ME. 2005. 154 f. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Universidade de Pernambuco. Orientador: Márcio Lopes Cornélio.

Iniciação científica
1.
Estela Domingues Nunes. Ambiente para Construção de Programas Orientados a Objetos Formalmente Anotados. 2012. Iniciação Científica. (Graduando em Sistemas de Informação) - Universidade Federal de Pernambuco. Orientador: Márcio Lopes Cornélio.

2.
David Fraga. Um Sistema Orientado à Semântica para Construção de Ambientes de Desenvolvimento Integrado. 2008. Iniciação Científica. (Graduando em Engenharia da Computação) - Universidade de Pernambuco. Orientador: Márcio Lopes Cornélio.

3.
Carlos Henrique Maciel Sobral Timóteo. Uso de Ferramentas para Avaliação da Transformação de Programas Formalmente Anotados. 2008. Iniciação Científica. (Graduando em Engenharia da Computação) - Universidade de Pernambuco. Orientador: Márcio Lopes Cornélio.

4.
Carlos Henrique Sobral Timóteo. Análise Empírica de Leis de Programação para Programas Orientados a Objetos Formalmente Anotados. 2008. Iniciação Científica. (Graduando em Engenharia da Computação) - Universidade de Pernambuco, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco. Orientador: Márcio Lopes Cornélio.

5.
Jefferson Silva de Amorim. Refatoração Automática de Código de Tratamento de Exceções para Aspectos. 2008. Iniciação Científica. (Graduando em Engenharia da Computação) - Universidade de Pernambuco, Escola Politécnica de Pernambuco. Orientador: Márcio Lopes Cornélio.

6.
Hilda Maria Borborema Bezerra. Refatoração de Programas JML. 2006. 33 f. Iniciação Científica. (Graduando em Engenharia da Computação) - Universidade de Pernambuco, Escola Politécnica de Pernambuco. Orientador: Márcio Lopes Cornélio.

7.
Marcel Pinheiro Caraciolo. Desenvolvimento de um Ambiente para Provas de Refactorings. 2005. 0 f. Iniciação Científica. (Graduando em Engenharia da Computação) - Universidade de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Márcio Lopes Cornélio.

8.
Leandro Dornelas de Freitas. Mecanização de Leis de Programação e Derivação de Refactorings. 2005. 0 f. Iniciação Científica. (Graduando em Engenharia da Computação) - Universidade de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Márcio Lopes Cornélio.

9.
Pollyana Mendonça Barros. Estudo de Sistemas de Reescritura com Vistas à Mecanização de Leis de Programação. 2005. Iniciação Científica. (Graduando em Engenharia da Computação) - Universidade de Pernambuco, Escola Politécnica de Pernambuco. Orientador: Márcio Lopes Cornélio.

10.
Marcela Maira Santos. Mecanização de Leis de Programação com Vistas à Derivação de Regras de Refactorings. 2005. 0 f. Iniciação Científica. (Graduando em Engenharia da Computação) - Universidade de Pernambuco. Orientador: Márcio Lopes Cornélio.



Educação e Popularização de C & T



Organização de eventos, congressos, exposições e feiras
1.
CORNÉLIO, M. L.. Delegado Institucional - XVI Olimpíada Brasileira de Informática. 2014. .




Página gerada pelo Sistema Currículo Lattes em 22/10/2018 às 19:21:29