marcel vinicius medeiros oliveira

DIM - DEPARTAMENTO DE INFORMÁTICA E MATEMÁTICA APLICADA

Produção Intelectual

Artigos (50)

  • 2017, D. I. de A. Pereira, M. V. M. Oliveira, M. S. Conserva Filho, S. R. Da R. Silva , BTS: A Tool for Formal Component-based Development, ISSN: 978-3-319-66844-4
  • 2017, S. L. M. Barrocas and M. V. M. Oliveira , A Sound Operational Semantics for Circus, ISSN:
  • 2016, D. I. A. Pereira, M. V. M. Oliveira and S. R. R. Silva , Tool Support for Formal Component-based Development, ISSN: 978-85-7669-357-4
  • 2016, Madiel S. Conserva Filho, Marcel Vinicius Medeiros Oliveira, Augusto Sampaio and Ana Cavalcanti , Local Livelock Analysis of Component-Based Models, ISSN: 978-3-319-47845-6
  • 2016, S. L. M. Barrocas and M. V. M. Oliveira , A Validation Strategy for an Automatic Code Generator using Java Pathfinder, ISSN: 1-60132-446-4
  • 2016, Juliana Teixeira da Camara Reis, Andreza Souza Santos, Barbara Fernandes, Apuena Vieira Gomes e Marcel Oliveira , Percepção de estudantes de curso técnico semipresencial em Tecnologia da Informação de uma Universidade Federal, ISSN: 1613-0073
  • 2016, M. V. M. Oliveira, P. Antonino, R. Ramos, A. Sampaio, A. Mota, and A. W. Roscoe , Rigorous Development of Component-Based Systems using Component Metadata and Patterns, ISSN: 0934-5043
  • 2015, Juliana Teixeira da Câmara Reis, Izabel Hazin, Jorge Tarcísio da Rocha Falcão, Luciano Meira, Pedro Bendassolli, Amanda Guerra, Taciana Pontual Falcão, Apuena Vieira Gomes, Marcel Vinícius Medeiros Oliveira, José Ivonildo do Rêgo , Development and Results of an Instrument to Search for Competences and Abilities in Information Technology, ISSN: 2151-4771
  • 2015, F. J. S. Macário and M. V. M. Oliveira , Hard-wiring CSP Hiding: Implementing Channel Abstraction to Generate Veri ed Concurrent Hardware, ISSN: 978-3-319-29472-8
  • 2015, José Dihego, Augusto Sampaio e Marcel Oliveira , Constructive Extensibility of Trustworthy Component-Based Systems, ISSN:
  • 2014, Marcel Vinicius Medeiros Oliveira , Análise do Livro “Linguagem, Prova e Lógica”, ISSN: 1983-5604
  • 2014, M. V. M. Oliveira and A. C. A. Sampaio and M. S. Conserva Filho , Model-checking Circus State-Rich Specifications, ISSN: 978-3-319-10180-4
  • 2014, P. R. G. Antonino, M. V. M. Oliveira, A. C. A. Sampaio, K. E. Kristensen e J. W. Bryans , Leadership Election: An Industrial SoS Application of Compositional Deadlock Verification, ISSN: 978-3-319-06199-3
  • 2014, M. V. M. Oliveira , The Pacemaker Grand Challenge – From Specification to Hardware, ISSN: 2192-5283
  • 2013, M. V. M. Oliveira, I. S. Medeiros Júnior e J. C. P. Woodcock , A Verified Protocol to Implement Multi-way Synchronisation and Interleaving in CSP, ISSN: 9783642405600
  • 2013, Marcel Vinicius Medeiros Oliveira, Jair Cavalcanti Leite, Adrião Duarte Dória Neto, Pablo Javier Alsina, José Ivonildo Rego, Izabel Hazin and Jorge Tarcísio da Rocha Falcão , Using IT Education to Reveal New Horizons: A Large Scale Case Study on Digital and Social Inclusion, ISSN: 9789898565532
  • 2013, M. V. M. Oliveira, A. L. C. Cavalcanti and J. C P. Woodcock , Unifying Theories in ProofPower-Z, ISSN: 0934-5043
  • 2012, M. S. C. Filho and M. V. M. Oliveira , Implementing Tactics of Refinement in CRefine, ISSN: 978-3-642-33825-0
  • 2012, I. S. Medeiros Jr, M. V. M. Oliveira e J. C. P. Woodcock , Hard-wiring CSP Parallelism: Implementing Multi-Synchronisation and Interleaving, ISSN: 2178-­‐6097
  • 2012, S. L. M. Barrocas e M. V. M. Oliveira , JCircus 2.0: an Extension of an Automatic Translator from Circus to Java, ISSN: 9780956540959
  • 2012, F. Zeyda, M. V. M. Oliveira and A. L. C. Cavalcanti , Mechanised support for sound refinement tactics, ISSN:
  • 2011, D. Oliveira and M. V. M. Oliveira , Joker: An Animation Framework for Formal Specications, ISSN: 978-85-87837-21-9
  • 2011, M. S. C. Filho and M. V. M. Oliveira , Extending CRefine to Support Tactics of Refinement, ISSN: 978-85-87837-21-9
  • 2011, M. V. M. Oliveira, D. B.P. Déharbe, and L. C. D. S. Cruz , B to CSP migration: towards a formal and automated model-driven engineering of hardware/software co-design, ISSN:
  • 2011, M. V. M. Oliveira, F. Zeyda and A. L. C. Cavalcanti , A tactic language for refinement of state-rich concurrent specifications, ISSN: 01676423
  • 2010, S. L. Barrocas, R. S. Coelho, and M. V. M. Oliveira , Jcspunit: A junit extension for testing jcsp programs, ISSN:
  • 2010, A. O. Gomes and M. V. M. Oliveira , Formal Development of a Cardiac Pacemaker: From Specification to Code, ISSN:
  • 2010, U. S. da Costa, I. S. de M. Júnior, and M. V. M. Oliveira , Specification and Verification of a MPI Implementation for a MP-Soc, ISSN:
  • 2010, J. C. P. Woodcock, M. V. M. Oliveira, A. Burns, and K. Wei , Modelling and implementing complex systems with timebands, ISSN:
  • 2010, J. C. Leite, U. Kulesza, U. S. da Costa, D. B. P. Déharbe, P. F. Pires, M. V. M. Oliveira, and E. Aranha , Curso de engenharia de software da ufrn, ISSN:
  • 2010, M. V. M. Oliveira A. C. Gurgel, V. G. de Medeiros Jr. and D. B. P. Déharbe , Integrating SMT-Solvers in Z and B Tools, ISSN:
  • 2009, Frank Zeyda, Marcel Oliveira and Ana Cavalcanti , Supporting ArcAngel in ProofPower, ISSN: 1571-0661
  • 2009, A. O. Gomes and M. V. M. Oliveira , Formal Specification of a Cardiac Pacing System, ISSN:
  • 2009, C. von F. Chavez, A. F. Garcia, T. V. Batista, C. Sant'anna, M. V. M. Oliveira, and A. Rashid , Composing architectural aspects based on style semantics, ISSN:
  • 2008, A. O. Gomes and M. V. M. Oliveira , Towards a Formal Development of an Artificial Pacemaker, ISSN:
  • 2008, M. V. M. Oliveira, A. C. Gurgel, and C. G. de Castro , CRefine: Support for the Circus Refinement Calculus, ISSN:
  • 2008, A. C. Gurgel, C. G. de Castro, and M. V. M. Oliveira , Tool Support for the Circus Refinement Calculus, ISSN:
  • 2008, M. V. M. Oliveira e A. L. C. Cavalcanti , ArcAngelC: a Refinement Tactic Language for Circus, ISSN: 15710661
  • 2008, C. J. S. Freire, P. F. Pires, Flávia C. Delicato, M. L. M. Campos, L. Pirmez, and M. V. M Oliveira , Regente: Um Arcabouço para Gerenciamento Eficiente de Orquestraçoes de Serviços Web, ISSN:
  • 2007, M. V. M. Oliveira, A. L. C. Cavalcanti, and J. C. P. Woodcock , A Denotational Semantics for Circus, ISSN: 1571-0661
  • 2007, M. V. M. Oliveira, A. L. C. Cavalcanti, and J. C. P. Woodcock , Unifying Theories in ProofPower-Z, ISSN: 1433-299X
  • 2007, M. V. M. Oliveira, A. L. C. Cavalcanti, J. C. P. Woodcock , A UTP Semantics for Circus, ISSN: 0934-5043
  • 2007, M. V. M. Oliveira and J. C. P. Woodcock , Automatic Generation of Verified Concurrent Hardware, ISSN:
  • 2006, M. V. M. Oliveira, A. L. C. Cavalcanti, and J. C. P. Woodcock , Unifying Theories in ProofPower-Z, ISSN:
  • 2005, M. V. M. Oliveira, A. L. C. Cavalcanti, and J. C. P. Woodcock , Formal Development of Industrial-Scale System, ISSN: 1614-5046
  • 2004, M. V. M. Oliveira and A. L. C. Cavalcanti , From Circus to JCSP, ISSN:
  • 2004, M. V. M. Oliveira, A. L. C. Cavalcanti, and J. C. P. Woodcock , Refining Industrial Scale Systems in Circus, ISSN:
  • 2004, M. V. M. Oliveira, M. Xavier, and A. L. C. Cavalcanti , Refine and Gabriel: Support for Refinement and Tactics, ISSN:
  • 2003, M. V. M. Oliveira, A. L. C. Cavalcanti, e J. C. P. Woodcock , ArcAngel: a Tactic Language for Refinement, ISSN: 0934-5043
  • 2000, M. V. M. Oliveira and A. L. C. Cavalcanti , Tactics of refinement, ISSN:

Publicação em Eventos (41)

  • 2016, S. L. M. Barrocas and M. V. M. Oliveira, A Validation Strategy for an Automatic Code Generator using Java Pathfinder, SERP'16 - The 14th International Conference on Software Engineering Research and Practice, Trabalho Completo
  • 2016, Marcel Oliveira, Simone Costa e Martin Musicante, I Escola de Informática Teórica e Métodos Formais, I Escola de Informática Teórica e Métodos Formais, Outros
  • 2016, Marcel Oliveira, XIX Simpósio Brasileiro de Métodos Formais, XIX Simpósio Brasileiro de Métodos Formais, Outros
  • 2016, Madiel S. Conserva Filho, Marcel Vinicius Medeiros Oliveira, Augusto Sampaio and Ana Cavalcanti, Local Livelock Analysis of Component-Based Models, 18th International Conference on Formal Engineering Methods, Trabalho Completo
  • 2016, Juliana Teixeira da Camara Reis, Andreza Souza Santos, Barbara Fernandes, Apuena Vieira Gomes e Marcel Oliveira , Percepção de estudantes de curso técnico semipresencial em Tecnologia da Informação de uma Universidade Federal, CTRL+E: Congresso Regional sobre Tecnologias na Educação, Trabalho Completo
  • 2015, F. J. S. Macário and M. V. M. Oliveira, Hard-wiring CSP Hiding: Implementing Channel Abstraction to Generate Veri ed Concurrent Hardware, 
XVIII Simpósio Brasileiro de Métodos Formais (SBMF 2015)
, Trabalho Completo
  • 2014, Baldoino Fonseca Leandro Dias da Silva Márcio Ribeiro, 
8th Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS 2014), 
8th Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS 2014), Outros
  • 2014, Baldoino Fonseca Leandro Dias da Silva Márcio Ribeiro, 17th Brazilian Symposium on Formal Methods (SBMF 2014), 17th Brazilian Symposium on Formal Methods (SBMF 2014), Outros
  • 2014, Baldoino Fonseca Leandro Dias da Silva Márcio Ribeiro, 18th Brazilian Symposium on Programming Languages (SBLP 2014)
, 18th Brazilian Symposium on Programming Languages (SBLP 2014)
, Outros
  • 2014, Baldoino Fonseca Leandro Dias da Silva Márcio Ribeiro, 28th Brazilian Symposium on Software Engineering (SBES 2014), 28th Brazilian Symposium on Software Engineering (SBES 2014), Outros
  • 2014, M. V. M. Oliveira, A. C. A. Sampaio e M. S. Conserva Filho, Model-checking Circus State-Rich Specifications, 11th International Conference on Integrated Formal Methods, IFM 2014, Trabalho Completo
  • 2014, Marcel Oliveira and Artur Gomes, The Pacemaker grand challenge: from Specification to Hardware, Dagstuhl Seminar 1406 - The Pacemaker Challenge: Developing Certifiable Medical Devices, Trabalho Completo
  • 2013, M. V. M. Oliveira, I. S. Medeiros Júnior and J. C. P. Woodcock, A Verified Protocol to Implement Multi-way Synchronisation and Interleaving in CSP, 11th International Conference on Software Engineering and Formal Methods, Trabalho Completo
  • 2013, Marcel Vinicius Medeiros Oliveira, Jair Cavalcanti Leite, Adrião Duarte Dória Neto, Pablo Javier Alsina, José Ivonildo Rego, Izabel Hazin and Jorge Tarcísio da Rocha Falcão, Using IT Education to Reveal New Horizons: A Large Scale Case Study on Digital and Social Inclusion, 5th International Conference on Computer Supported Education, Trabalho Completo
  • 2012, I. S. Medeiros Jr, M. V. M. Oliveira e J. C. P. Woodcock, Hard-wiring CSP Parallelism: Implementing Multi-Synchronisation and Interleaving, Congresso Brasileiro de Software de 2012: Teoria e Prática, Resumo
  • 2011, D. Oliveira e M. V. M. Oliveira, Joker: An Animator for Formal Languages, Brazilian Symposium on Formal Methods, Resumo Expandido
  • 2011, M. S . C. Filho and M. V. M. Oliveira, Extending CRefine to Support Tactics of Refinement, Brazilian Symposium on Formal Methods - SBMF 2011, Resumo Expandido
  • 2011, Marcel Vinicius Medeiros Oliveira, David B. P. Déharbe e Luís C. D. S. Cruz, B to CSP Migration: Towards a Formal and Automated Model-Driven Engineering of Hardware/Software Co-design, Simpósio Brasileiro de Métodos Formais, Trabalho Completo
  • 2010, Samuel Lincoln M. Barrocas, Roberta Souza Coelho, Marcel Vinicius Medeiros Oliveira, JCSPUnit: A JUnit extension for testing JCSP programs, 4th Brazilian Workshop on Systematic and Automated Software Testing, Trabalho Completo
  • 2010, A. O. Gomes and M. V. M. Oliveira, Formal Development of a Cardiac Pacemaker: from Specification to Code, 13th Brazilian Symposium on Formal Methods, Trabalho Completo
  • 2010, Jair Cavalcanti Leite, Uirá Kulesza, Umberto Souza da Costa, David Deharbe, Paulo Pires, Marcel Oliveira, Eduardo Aranha, Curso de Engenharia de Software da UFRN, Fórum de Educação em Engenharia de Software - FEES 2010, Trabalho Completo
  • 2010, Umberto Souza da Costa, Ivan Soares de Medeiros Júnior, Marcel Vinícius Medeiros Oliveira, Specification and Verification of a MPI Implementation for a MP-Soc, 7th International Colloquium on Theoretical Aspects of Computing, Trabalho Completo
  • 2010, J. C. P. Woodcock, M. V. M. Oliveira, A. Burns e K. Wei, Modelling and Implementing Complex Systems with Timebands, 4th IEEE International Conference on Secure System Integration and Reliability Improvement, SSIRI 2010, Trabalho Completo
  • 2010, A. C. Gurgel, V. G. de M. Jr., M. V. M. Oliveira e D. B. P. Déharbe, Integrating SMT-Solvers in Z and B Tools, Second International Conference, ABZ 2010, Resumo
  • 2009, F. Zeyda, M. V. M. Oliveira, and A. L. C. Cavalcanti, Supporting ArcAngel in ProofPower, 14th BCS-FACS Refinement Workshop (REFINE 2009), Trabalho Completo
  • 2009, A. O. Gomes e M. V. M. Oliveira, Formal Specification of a Cardiac Pacing System, Formal Methods 2009, Trabalho Completo
  • 2009, Christina Chavez, Alessandro Garcia, Thais Batista, Marcel Oliveira, Claudio Sant'Anna, e Awais Rashid , Composing architectural aspects based on style semantics, Composing architectural aspects based on style semantics, Trabalho Completo
  • 2008, M. V. M. Oliveira, A. C. Gurgel e C. G. de Castro, CRefine: Support for the Circus Refinement Calculus, IEEE International Conference on Software Engineering and Formal Methods, Trabalho Completo
  • 2008, C. J. S. Freire, P. F. Pires, Flávia C. Delicato, M. L. M. Campos, L. Pirmez, e M. V. M Oliveira, Regente: Um Arcabouço para Gerenciamento Eficiente de Orquestrações de Serviços Web, Simpósio Brasileiro de Redes de Computadores, Trabalho Completo
  • 2008, M. V. M. Oliveira e A. L. C. Cavalcanti, ArcAngelC: a Refinement Tactic Language for Circus, International Refinement Workshop, Trabalho Completo
  • 2008, M. V. M. Oliveira, Logical and Semantics Frameworks and Applications, Logical and Semantics Frameworks and Applications, Outros
  • 2008, A. O. Gomes e M. V. M. Oliveira, Modelling the Pacemaker: early results on the pulse generator, Pilot Projects for the Grand Challenge in Verified Software, Outros
  • 2008, A. C. Gurgel, C. G. de Castro, e M. V. M. Oliveira, Tool Support for the Circus Refinement Calculus, ABZ2008 Conference, Resumo
  • 2008, M. V. M. Oliveira, Simpósio Brasileiro de Métodos Formais, Simpósio Brasileiro de Métodos Formais, Outros
  • 2008, A. O. Gomes e M. V. M. Oliveira, Towards a Formal Development of an Artificial Pacemaker, Simpósio Brasileiro de Métodos Formais, Resumo Expandido
  • 2007, M. V. M. Oliveira e J. C. P. Woodcock, Automatic Generation of Verified Concurrent Hardware, International Conference on Formal Engineering Methods, Trabalho Completo
  • 2006, M. V. M. Oliveira, A. L. C. Cavalcanti, e J. C. P. Woodcock, Unifying Theories in ProofPower-Z, Unifying Theories of Programming: First International Symposium, Trabalho Completo
  • 2004, M. V. M. Oliveira e A. L. C. Cavalcanti, From Circus to JCSP, International Conference on Formal Engineering Methods, Trabalho Completo
  • 2004, M. V. M. Oliveira, A. L. C. Cavalcanti, e J. C. P. Woodcock, Refining Industrial Scale System in Circus, Communicating Sequential Processes, Trabalho Completo
  • 2004, M. V. M. Oliveira, M. Xavier, e A. L. C. Cavalcanti, Refine and Gabriel: Support for Refinement and Tactics, IEEE International Conference on Software Engineering and Formal Methods, Trabalho Completo
  • 2000, M. V. M. Oliveira e A. L. C. Cavalcanti, Tactics of Refinement, Simpósio Brasileiro de Engenharia de Software, Trabalho Completo

Livros (3)

  • 2016, 1a Escola de Informática Teórica e Métodos Formais, ETMF 2016, S. A. da C. Cavalheiro and M. A. Musicante and L. Ribeiro and M. V. M. Oliveira
  • 2014, Linguagem, Prova e Lógica, Dave Barker-Plummer, Jon Barwise e John Etchemendy
  • 2009, Formal Methods: Foundations and Applications. 12th Brazilian Symposium on Formal Methods, SBMF 2009, M. V. M. Oliveira and J. C. P. Woodcock

Participações em Bancas de Concursos (2)

  • 2010, Comissão Examinadora de Concuso Público de Provas e Títulos,
  • 2008, Ciência da Computação,

Participações em Bancas de Cursos (59)

  • 2018, Dissertação de Mestrado Avaliacao Top-Down de Consultas de Caminhos Livres-de-Contexto em Grafos, CIRO MORAIS MEDEIROS
  • 2018, Tese Doutorado A Strategy to verify the Code Generation from Circus to Java, Samuel Lincoln Magalhães Barrocas
  • 2018, Dissertação de Mestrado BTestBox: uma ferramenta de teste para implementações B, Diego de Azevedo Oliveira
  • 2017, Qualificação de Doutorado Mission-driven System-of-Systems Architecture Development, Eduardo Alexandre Ferreira Silva
  • 2017, Qualificação de Mestrado Um Mecanismo para Avaliar Consultas Livres de Contexto em Base de Dados em Grafos Inspirado em analisadores LR(1), Fred de Castro Santos
  • 2017, Dissertação de Mestrado An Extension of a Tool for the Formal Support for Component-based Development, Dalay Israel de Almeida Pereira
  • 2017, Dissertação de Mestrado A Process for Sound Conformance Testing of Cyper-Physical Systems, Hugo Leonardo da Silva Araújo
  • 2017, Dissertação de Mestrado Um Ambiente Interativo de Apoio ao Ensino de Lógica de Programação nos Cursos Técnicos (EaD) do Instituto Metrópole Digital/UFRN, Nelson Ion de Oliveira
  • 2017, Qualificação de Doutorado New techniques for instantiation and proof production in SMT solving, Haniel Moreira Barbosa
  • 2017, Qualificação de Mestrado BTestBox: uma ferramenta de teste para implementações B, Diego de Azevedo Oliveira
  • 2017, Qualificação de Mestrado Um Sistema Tutor para Ensino de Programação na Educação Básica, Alan de Oliveira Santana
  • 2017, Qualificação de Mestrado Consultas LL em Grafos RDF, Ciro Morais Medeiros
  • 2017, Qualificação de Doutorado A strategy to validate the code generator from Circus to Java, Samuel Lincoln Magalhães Barrocas
  • 2017, Qualificação de Mestrado Uma extensão de uma ferramenta para suporte formal ao desenvolvimento baseado em componentes, Dalay Israel de Almeida Pereira
  • 2016, Qualificação de Mestrado Ensino de Lógica de Programação nos cursos técnicos semipresenciais do Instituto Metrópole Digital/UFRN: uma proposta de material interativo, Nelson Ion de Oliveira
  • 2016, Monografia de Graduação Especificação e Desenvolvimento do Sistema de Gerencia de Materiais (Gema) para o Instituto Metrópole Digital, WENDELL PAMPLONA BARRETO
  • 2016, Tese Doutorado Livelock Analysis for Component-Based Systems, Madiel de Souza Conserva Filho
  • 2016, Monografia de Graduação DESENVOLVIMENTO DE UM SISTEMA DE INFORMACAO WEB PARA CONTROLE DE ESPACOS FISICOS, RAFAEL FERNANDES DE QUEIROZ
  • 2016, Tese Doutorado BETA: uma Abordagem de Testes Baseada em B, ERNESTO CID BRASIL DE MATOS
  • 2016, Tese Doutorado Metodo B e a sintese verificada para codigo de montagem, VALERIO GUTEMBERG DE MEDEIROS JUNIOR
  • 2016, Tese Doutorado Formalisation of SysML Design Models and an Analysis Strategy using Refinement, Lucas Albertins Lima
  • 2015, Qualificação de Doutorado Livelock Analysis for Component-Based Systems, MADIEL DE SOUZA CONSERVA FILHO
  • 2015, Qualificação de Doutorado Formalisation of SysML Design Models and an Analysis Strategy using Refinement, Lucas Albertins Lima
  • 2015, Monografia de Graduação Inclusao de Suporte a Metadados a uma ferramenta de suporte formal ao desenvolvimento baseados em componentes, DALAY ISRAEL DE ALMEIDA PEREIRA
  • 2015, Monografia de Graduação Uma Implementacao Verificada de Abstracao CSP, FRANCISCO JOSÉ SILVA MACÁRIO
  • 2015, Dissertação de Mestrado Contribuições para o Processo de Verificação de Satisfatibilidade Módulo Teoria em Event-B, Paulo Ewerton Gomes Fragoso
  • 2014, Monografia de Graduação Service by Contract: Formalizando Contratos em Nuvem, RENATO HUGO SILVA DE ALMEIDA
  • 2014, Qualificação de Mestrado Contribuições para o Processo de Verificação de Satisfatibilidade Módulo Teoria em Event-B, Paulo Ewerton Gomes Fragoso
  • 2013, Dissertação de Mestrado BTS: Uma ferramenta de suporte ao desenvolvimento sistematico de sistemas confiaveis baseados em componentes, SARAH RAQUEL DA ROCHA SILVA
  • 2012, Dissertação de Mestrado Formal verification of PLC programs using the B Method, HANIEL MOREIRA BARBOSA
  • 2012, Tese Doutorado Desenvolvimento Formal de Aplicações Smart Cards, Bruno Emerson Gurgel Gomes
  • 2012, Dissertação de Mestrado Geração Automática de Hardware a partir de Especificações Formais: Estendendo uma Abordagem de Tradução, Ivan Soares de Medeiros Júnior
  • 2011, Qualificação de Mestrado Geração Automática de Hardware Verificado, Ivan Soares de Medeiros Júnior
  • 2011, Dissertação de Mestrado Estendendo CRefine para o Suporte de Taticas de Refinamento, MADIEL DE SOUSA CONSERVA FILHO
  • 2011, Dissertação de Mestrado Joker: Um Framework de Animacao para Especificacoes Formais, DIEGO HENRIQUE OLIVEIRA DE SOUZA
  • 2011, Dissertação de Mestrado JCircus 2.0: Uma Extensao da ferramenta de traducao de Circus para Java, SAMUEL LINCOLN MAGALHAES BARROCAS
  • 2011, Qualificação de Mestrado Uma Ferramenta para Geracao de Testes de Unidade a partir de Especificacoes B, ERNESTO CID BRASIL DE MATOS
  • 2011, Dissertação de Mestrado Algebraic Laws for Process Subtyping, José Dihego da Silva Oliveira
  • 2011, Qualificação de Mestrado JCIRCUS++: Uma Versão do Aplicativo JCIRCUS com uma Estratégia de Tradução de CIRCUS para Java mais Robusta, Samuel Lincoln Magalhães Barrocas
  • 2011, Qualificação de Mestrado Clown: A Generic GUI API for Animating Formal Specifications, Diego Henrique Oliveira de Souza
  • 2010, Dissertação de Mestrado Modelagem Formal do Sistema Operacional de Tempo Real FreeRTOS Utilizando o Método B, Presidente - 2220777 - DAVID BORIS PAUL DEHARBE - UFRN Interno - 1639701 - MARCEL VINICIUS MEDEIROS OLIVEIRA Externo à Instituição - ALINE MAIRA SANTOS ANDRADE - UFBA - UFBA
  • 2010, Dissertação de Mestrado Modelagem Formal do Sistema Operacional de Tempo Real FreeRTOS Utilizando o Método B, Stephenson de Sousa Lima Galvão
  • 2010, Monografia de Graduação Desenvolvendo um Sistema Crítico Através de Formalização de Requisitos Utilizando o Método B, Haniel Barbosa
  • 2010, Monografia de Graduação Formal Development of a Cardiac Pacemaker: from Specification to Code, Artur Oliveira Gomes
  • 2009, Monografia de Graduação Especificação e Verificação de uma Implementação MPI para MP-Soc, Ivan Soares de Medeiros Júnior
  • 2009, Monografia de Graduação Tradutor B-CSP, Luis Celso Dantas Silveira da Cruz
  • 2009, Monografia de Graduação Suporte ao Cálculo de Refinamentos de Sistemas Concorrentes, Alessandro Cavalcante Gurgel
  • 2009, Dissertação de Mestrado Geração de Casos de Teste a Partir de Especificações B, Fernanda Monteiro de Souza
  • 2009, Qualificação de Mestrado Modelagem Formal do Sistema Operacional de Tempo Real FreeRTOS Utilizando o Método B, Stephenson de Sousa Lima Galvão
  • 2009, Dissertação de Mestrado Design e Validação Formal de Sistemas de Controle de Voo Fly-by-Wire, Joabe Bezerra de Jesus Júnior
  • 2009, Dissertação de Mestrado Definição e Implementação de contratos para Serviços Web em PEWS, Interno - 1639701 - MARCEL VINICIUS MEDEIROS OLIVEIRA (UFRN) Presidente - 1221251 - MARTIN ALEJANDRO MUSICANTE (UFRN) Externo à Instituição - MIRIAN HALFELD FERRARI - UFR (UFR)
  • 2008, Dissertação de Mestrado Geração Parcial de Código Java a partir de Especificações Formais Z, Álvaro Heiji Miyazawa
  • 2008, Qualificação de Mestrado Definição e Implementação de Contratos para Serviços Web em PEWS, André Luiz de Souza Brito
  • 2008, Tese Doutorado A Model-Driven Approach to Formal Refactoring, Tiago Lima Massoni
  • 2008, Dissertação de Mestrado The Interval Constructor on MTL - Algebra and Axiomatic Extensions, Hélida Salles Santos
  • 2007, Monografia de Graduação BatCave: uma Ferramenta de Suporte à Verificação Formal para o Método B, Éberton da Silva Marinho
  • 2007, Dissertação de Mestrado BSmart: Desenvolvimento Rigoroso de Aplicações JavaCard com Base no Método B, Bruno Emerson Gurgel Gomes
  • 2007, Dissertação de Mestrado Deciding Difference Logic in a Nelson-Oppen Combination Framework, Diego Caminha Barbosa de Oliveira
  • 2007, Dissertação de Mestrado Prova Automática de Satisfatibilidade Módulo Teoria Aplicada ao Método B, Cláudia Fernanda Oliveira Kiermes Tavares

Prêmios Recebidos (2)

  • 2012, Best Paper Award - WoTUG 34, Internacional
  • 2003, Prestigious Paper Award 2002-2003, University of Kent., Local

Organização de Eventos, Consultorias, Edição e Revisão de Períodicos (49)

  • 2017,Membro da Comissões Organizadora, Natal, Internacional, 1st IEEE Summer School on Smart Cities
  • 2016,Membro da Comissões de Programa, Natal, Nacional, Escola de Informática Teórica e Métodos Formais
  • 2016,Consultor ad hoc de revista científica, Netherlands, Internacional, Science of Computer Programming
  • 2016,Membro da Comissões de Programa, Reykjavík, Islândia, Internacional, 6th International Symposium on Unifying Theories of Programming
  • 2015,Presidente da Comissões de Programa, Belo Horizonte, Nacional, Congresso Brasileiro de Software: Teoria e Prática (CBSoft)
  • 2015,Membro da Comissões de Programa, Oslo, Internacional, Refinement Workshop 2015
  • 2014,Membro da Comissões de Programa, Maceió, Nacional, Simpósio Brasileiro de Métodos Formais
  • 2014,Membro da Comissões de Programa, Singapore, Internacional, 5th International Symposium on Unifying Theories of Programming
  • 2014,Revisor de Periodicos, Jornais e Similares, Estados Unidos da América, Internacional, Science of Computing Programming
  • 2013,Membro da Comissões de Programa, USA, Internacional, 7th International Conference on Software Testing
  • 2013,Membro da Comissões de Programa, Brasilia, Nacional, Congresso Brasileiro de Software: Teoria e Prática (CBSoft) - Sessão de Ferramentas 2013
  • 2013,Membro da Comissões de Programa, Maceió, Nacional, XL Seminário de Integrado de Software e Hardware - SEMISH 2013
  • 2013,Membro da Comissões de Programa, Maceió, Nacional, XL Seminário Integrado de Software e Hardware - SEMISH 2013
  • 2013,Membro da Comissões de Programa, Brasília, Nacional, Simpósio Brasileiro de Métodos Formais
  • 2012,Membro da Comissões Organizadora, Natal, Nacional, Congresso Brasileiro de Software de 2012: Teoria e Prática
  • 2012,Membro da Comissões de Programa, Natal, Nacional, Simpósio Brasileiro de Métodos Formais 2012
  • 2012,Membro da Comissões de Programa, Paris, França, Internacional, 18th International Symposium on Formal Methods
  • 2012,Revisor de Periodicos, Jornais e Similares, Natal, Internacional, Formal Aspects of Computing
  • 2012,Membro da Comissões de Programa, Curitiba - Brasil, Nacional, XXXIX Seminário Integrado de Software e Hardware
  • 2012,Consultor ad hoc de revista científica, China, Internacional, Journal of Zhejiang University Science C (Computers & Electronics)
  • 2012,Membro da Comissões de Programa, Natal, Nacional, Congresso Brasileiro de Software: Teoria e Prática (CBSoft) - Sessão de Ferramentas
  • 2012,Revisor de Periodicos, Jornais e Similares, Limerick, Internacional, Formal Aspects of Computing - Special Issue Refinement 2011
  • 2011,Membro da Comissões de Programa, Montreal, Internacional, Fifth International Conference on Software Testing, Verification and Validation
  • 2011,Membro da Comissões de Programa, São Paulo, Nacional, CBSoft 2011 - Sessão de Ferramentas
  • 2011,Membro da Comissões de Programa, Natal, Nacional, SEMISH - XXXVIII Seminário Integrado de Software e Hardware
  • 2011,Membro da Comissões Organizadora, Natal, Nacional, XXXI Congresso da Sociedade Brasileira de Computação
  • 2011,Membro da Comissões de Programa, Limerick, Irlanda, Internacional, 15º BCS FACS Refinement Workshop
  • 2011,Membro da Comissões de Programa, São Paulo, Nacional, CBSoft 2011 - Tutoriais
  • 2011,Revisor de Periodicos, Jornais e Similares, Elsevier, Internacional, Theoretical Computer Science
  • 2010,Responsavel pela Organização de Evento, Natal, Nacional, 4th Brazilian Workshop on Systematic and Automated Software Testing
  • 2010,Responsavel pela Organização de Evento, Natal, Internacional, 22nd IFIP International Conference on Testing Software and Systems
  • 2010,Responsavel pela Organização de Evento, Natal, Nacional, 13th Brazilian Symposium on Formal Methods
  • 2010,Membro da Comissões Organizadora, Natal, Internacional, 7th International Colloquium on Theoretical Aspects of Computing
  • 2010,Membro da Comissões Organizadora, Natal, Internacional, Workshop on Logical and Semantic Frameworks, with Applications
  • 2009,Consultor ad hoc de anais de evento, Québec, Internacional, ABZ 2010
  • 2009,Membro da Comissões de Programa, Orford, Quebec, Canada, Internacional, Workshop on Tool Building in Formal Methods
  • 2009,Membro da Comissões de Programa, Rio de Janeiro, Internacional, International Conference on Formal Engineering Methods
  • 2009,Membro da Comissões Organizadora, Natal, Nacional, III Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software
  • 2009,Editor de Periodicos, Jornais e Similares, Gramado, Internacional, Anais do Simpósio Brasileiro de Métodos Formais
  • 2009,Presidente da Comissões de Programa, Gramado, Internacional, Simpósio Brasileiro de Métodos Formais
  • 2009,Outra, Gramado, Nacional, Simpósio Brasileiro de Métodos Formais
  • 2009,Membro da Comissões de Programa, Brasília, Internacional, RULE 09 - The Tenth International Workshop on Rule-Based Programming
  • 2008,Membro da Comissões Organizadora, UFRN/Natal, Regional, EPOCA - Escola Potiguar de Computação e suas Aplicações
  • 2008,Membro da Comissões de Programa, Brasil, Nacional, Simpósio Brasileiro de Métodos Formais
  • 2008,Revisor de Periodicos, Jornais e Similares, Inglaterra, Internacional, Concurrency and Computation
  • 2007,Membro da Comissões Organizadora, Brasil, Nacional, Simpósio Brasileiro de Linguagens de Programação
  • 2006,Membro da Comissões Organizadora, Brasil, Nacional, Simpósio Brasileiro de Métodos Formais
  • 2006,Membro da Comissões Organizadora, Brasil, Internacional, International Conference on Graph Transformation
  • 2004,Membro da Comissões Organizadora, Inglaterra, Internacional, International Conference on Integrated Formal Methods

Participação em Sociedades Científicas e Culturais (1)

  • 2008, Sociedade Brasileira de Computação, Socio Efetivo

Participação em Colegiados e Comissões (32)

  • Comiisão de Homologação do Estágio Probatório, Presidente, UNIVERSIDADE FEDERAL DO RIO GRANDE DO NORTE
  • Núcleo Docente Estruturante do Bacharelado em Ciência da Computação, Membro, UNIVERSIDADE FEDERAL DO RIO GRANDE DO NORTE
  • Avaliação da Docência e Tutoria nos Cursos Técnicos do Instituto Metrópole Digital, Presidente, UNIVERSIDADE FEDERAL DO RIO GRANDE DO NORTE
  • Comissão de Avaliação do processo de Docência e Tutoria nos Cursos Técnicos do Instituto Metrópole Digital, Presidente, UNIVERSIDADE FEDERAL DO RIO GRANDE DO NORTE
  • Comissão Permanente de Auditagem, Membro, UNIVERSIDADE FEDERAL DO RIO GRANDE DO NORTE
  • Comissão de Elaboração de Proposta de Criação da SEBTT, Membro, UNIVERSIDADE FEDERAL DO RIO GRANDE DO NORTE
  • Comissão de Avaliação de Estágio Probatório, Presidente, UNIVERSIDADE FEDERAL DO RIO GRANDE DO NORTE
  • Comissão de Sindicância, Presidente, UNIVERSIDADE FEDERAL DO RIO GRANDE DO NORTE
  • Comissão de Avaliação de Estágio Probatório, Membro, UNIVERSIDADE FEDERAL DO RIO GRANDE DO NORTE
  • Núcleo Docente Estruturante do Bacharelado em Engenharia de Software, Membro, UNIVERSIDADE FEDERAL DO RIO GRANDE DO NORTE
  • Comissão de Desenvolvimento Acadêmico do Instituto Metrópole Digital, Membro, UNIVERSIDADE FEDERAL DO RIO GRANDE DO NORTE
  • Comissão de Avaliação de Estágio Probatório, Presidente, UNIVERSIDADE FEDERAL DO RIO GRANDE DO NORTE
  • Comissão de Progressão Docente, Presidente, UNIVERSIDADE FEDERAL DO RIO GRANDE DO NORTE
  • Comissão de Seleção da Pós-Graduação 2014.1, Membro, UNIVERSIDADE FEDERAL DO RIO GRANDE DO NORTE
  • Comissão de Revalidação de Diploma de Doutorado, Membro, UNIVERSIDADE FEDERAL DO RIO GRANDE DO NORTE
  • Comissão de Sindicância Processo 23077.030654/2013-01, Presidente, UNIVERSIDADE FEDERAL DO RIO GRANDE DO NORTE
  • Comissão Processo 23077.031171/2013-15, Presidente, UNIVERSIDADE FEDERAL DO RIO GRANDE DO NORTE
  • Colegiado do Curso de Engenharia de Software, Membro, UNIVERSIDADE FEDERAL DO RIO GRANDE DO NORTE
  • Comissão - Processo 23077.030654/2013-01, Presidente, UNIVERSIDADE FEDERAL DO RIO GRANDE DO NORTE
  • Comissão de Revalidação de Diploma de Doutorado, Membro, UNIVERSIDADE FEDERAL DO RIO GRANDE DO NORTE
  • Comissão de Revalidação de Diploma de Doutorado, Presidente, UNIVERSIDADE FEDERAL DO RIO GRANDE DO NORTE
  • Colegiado do Bacharelado em Engenharia de Software, Membro, UNIVERSIDADE FEDERAL DO RIO GRANDE DO NORTE
  • Comissão de Planejamento Docente - Instituto Metrópole Digital, Membro, UNIVERSIDADE FEDERAL DO RIO GRANDE DO NORTE
  • Comissão de Seleção da Pós-Graduação 2010.2, Membro, UNIVERSIDADE FEDERAL DO RIO GRANDE DO NORTE
  • Comissão de Seleção da Pós-Graduação 2010.1, Membro, UNIVERSIDADE FEDERAL DO RIO GRANDE DO NORTE
  • Comissão de Coordenação do Simpósio Brasileiro de Métodos Formais, Presidente, UNIVERSIDADE FEDERAL DO RIO GRANDE DO NORTE
  • Comissão de Seleção da Pós-Graduação 2009.2, Membro, UNIVERSIDADE FEDERAL DO RIO GRANDE DO NORTE
  • Comissão de Elaboração do Projeto Pedagógico do Bacharelado em Engenharia de Software, Membro, UNIVERSIDADE FEDERAL DO RIO GRANDE DO NORTE
  • Comissão de Seleção de Pós-Graduação 2009.1, Membro, UNIVERSIDADE FEDERAL DO RIO GRANDE DO NORTE
  • Comissão de Coordenação do Simpósio Brasileiro de Métodos Formais, Membro, UNIVERSIDADE FEDERAL DO RIO GRANDE DO NORTE
  • Comissão Eleitoral, Membro, UNIVERSIDADE FEDERAL DO RIO GRANDE DO NORTE
  • Comissão de Coordenação do Simpósio Brasileiro de Métodos Formais, Membro, UNIVERSIDADE FEDERAL DO RIO GRANDE DO NORTE

Trabalho de Fim de Curso(8)

  • ESPECIFICAÇÃO E VERIFICAÇÃO DE UMA IMPLEMENTAÇÃO MPI PARA MP-SOC, IVAN SOARES DE MEDEIROS JUNIOR , 12/2009
  • TRADUTOR B-CSP, LUIS CELSO DANTAS SILVEIRA CRUZ , 12/2009
  • Suporte ao Cálculo de Refi namentos de Sistemas Concorrentes, ALESSANDRO CAVALCANTE GURGEL , 12/2009
  • Formal Development of a Cardiac Pacemaker: from Specification to Code, ARTUR OLIVEIRA GOMES , 07/2010
  • Service by contract: Formalizando contrato em nuvem, RENATO HUGO SILVA DE ALMEIDA , 11/2014
  • Inclusão de Suporte a Metadados a uma ferramenta de suporte formal ao desenvolvimento baseados em componentes, DALAY ISRAEL DE ALMEIDA PEREIRA , 06/2015
  • Uma Implementação Verificada de Abstração CSP, FRANCISCO JOSÉ SILVA MACÁRIO , 06/2015
  • Especificação e Desenvolvimento do Sistema de Gestão de Produção Multimídia (Gema) para o Instituto Metrópole Digital, WENDELL PAMPLONA BARRETO , 11/2016

Orientações de Pós-Graduação (13)

  • Doutorado, SAMUEL LINCOLN MAGALHAES BARROCAS, 02/2013 - , Orientação em Andamento
  • Doutorado, CAMILA DE ARAUJO, 08/2017 - , Orientação em Andamento
  • Doutorado, MADIEL DE SOUSA CONSERVA FILHO, 02/2012 - 12/2016 , Concluída em
  • Mestrado, SARAH RAQUEL DA ROCHA SILVA, 08/2011 - , Concluída em 12/2013
  • Mestrado, IVAN SOARES DE MEDEIROS JUNIOR, 02/2010 - 09/2012 , Concluída em
  • Mestrado, FRANCISCO JOSÉ SILVA MACÁRIO, 08/2016 - , Orientação em Andamento
  • Mestrado, DALAY ISRAEL DE ALMEIDA PEREIRA, 07/2015 - 10/2017 , Concluída em
  • Mestrado, NELSON ION DE OLIVEIRA, 02/2015 - 10/2017 , Concluída em
  • Mestrado, FAGNER MORAIS DIAS, 02/2018 - , Orientação em Andamento
  • Mestrado, DIEGO HENRIQUE OLIVEIRA DE SOUZA, 08/2009 - , Concluída em 02/2011
  • Mestrado, LUCIANO ALEXANDRE DE FARIAS SILVA, 02/2018 - , Orientação em Andamento
  • Mestrado, SAMUEL LINCOLN MAGALHAES BARROCAS, 08/2009 - , Concluída em 02/2011
  • Mestrado, MADIEL DE SOUSA CONSERVA FILHO, 08/2009 - , Concluída em 02/2011

SIGAA | Superintendência de Informática - (84) 3215-3148 | Copyright © 2006-2018 - UFRN - sigaa09-producao.info.ufrn.br.sigaa09-producao v3.36.13_2