Christiano de Oliveira Braga

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


Possui graduação em Engenharia de Computação (1992), Mestrado (1996) e Doutorado (2001) em Informática pela Pontifícia Universidade Católica do Rio de Janeiro. Durante seu doutoramento, foi International Fellow no Computer Science Laboratory do Stanford Research Institute (1998-2000). Desenvolveu pesquisa pós-doutoral na Universidad Complutense de Madrid, no grupo UCMaude de pesquisa em lógica de reescrita (2006-2008). Coordenou o comitê de programa do Simpósio Brasileiro de Linguagens de Programação em 2011, do Simpósio Brasileiro de Métodos Formais em 2014 e o Formal Aspects of Component Software em 2015. Atua em importantes conferências internacionais e nacionais como International Colloquium on Theoretical Computer Science, Formal Aspects of Component Software, Simpósio Brasileiro de Linguagens de Programação e Simpósio Brasileiro de Métodos Formais. Contribui a periódicos e conferências internacionais como Logic Journal of the IGPL, Journal of Systems and Software, Science of Computer Programming, Information and Software Technology, Mathematical Reviews, Theoretical Computer Science e Algebraic Methodology and Software Technology. Atualmente é Professor Associado da Universidade Federal Fluminense e pesquisador do Laboratório de Métodos Formais, Inteligência Artificial e Lógica em Ciência da Computação da UFF (FR∀M∃ Lab). Tem experiência na área de Ciência da Computação, com ênfase em Lógicas e Semântica de Programas. Seus interesses em pesquisa incluem métodos formais, semântica de linguagens de programação e lógica aplicada à Ciência da Computação. (Texto informado pelo autor)


Identificação


Nome
Christiano de Oliveira Braga
Nome em citações bibliográficas
BRAGA, C.;Braga, Christiano

Endereço


Endereço Profissional
Universidade Federal Fluminense, Instituto de Computação, Departamento de Ciência da Computação.
Rua Passo da Pátria, 156 - Bloco E - 3 andar
São Domingos
24210240 - Niterói, RJ - Brasil
Telefone: (21) 26295652
Fax: (21) 26295665
URL da Homepage: http://www.ic.uff.br/~cbraga


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


1997 - 2001
Doutorado em Informática.
Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil.
com período sanduíche em SRI International (Orientador: José Meseguer e Peter D. Mosses).
Título: Lógica de reescrita como um framework semântico para semântica operacional estrutural modular, Ano de obtenção: 2001.
Orientador: Edward Hermann Haeusler.
Coorientador: José Meseguer e Peter D. Mosses.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
1993 - 1996
Mestrado em Informática.
Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil.
Título: Uma ferramenta para documentação de sistemas de software,Ano de Obtenção: 1996.
Orientador: Arndt von Staa.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
1988 - 1992
Graduação em Engenharia de computação.
Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil.


Pós-doutorado


2016 - 2016
Pós-Doutorado.
Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil.
Grande área: Ciências Exatas e da Terra
2006 - 2008
Pós-Doutorado.
Universidad Complutense de Madrid, UCM, Espanha.
Bolsista do(a): Ministerio de Ciencia y Innovación, MICINN, Espanha.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Lógicas e Semântica de Programas.


Atuação Profissional



Centro Federal de Educação Tecnológica Celso Suckow da Fonseca, CEFET/RJ, Brasil.
Vínculo institucional

2017 - Atual
Vínculo: , Enquadramento Funcional:


INDRA S.A. e UCM, INDRA-UCM, Espanha.
Vínculo institucional

2007 - 2007
Vínculo: Pesquisador, Enquadramento Funcional: Pesquisador


Universidad Complutense de Madrid, UCM, Espanha.
Vínculo institucional

2006 - 2008
Vínculo: Professor Visitante, Enquadramento Funcional: Pesquisador, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações
Pesquisador Ramón y Cajal

Vínculo institucional

2005 - 2005
Vínculo: Colaborador, Enquadramento Funcional: Pesquisador, Carga horária: 40
Outras informações
Visita ao grupo do Prof. Narciso Martí-Oliet para investigar o uso de continuações no relacionamento entre semântica operacional e lógica de reescrita.

Atividades

1/2005 - 2/2005
Pesquisa e desenvolvimento , Faculdad de Informática, Departamento de Sistemas Informáticos y Progrmación.

Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Vínculo institucional

2003 - 2006
Vínculo: Outro, Enquadramento Funcional: Pesquisador nível 2, Carga horária: 20
Outras informações
Projeto Desenvolvimento de Sistemas Orientado por Linguagens Formais, processo 300294/2003-4.

Atividades

8/2003 - Atual
Pesquisa e desenvolvimento , Conselho Nacional de Desenvolvimento Científico e Tecnológico, .

University of Illinois - System, UILLINOIS, Estados Unidos.
Vínculo institucional

2003 - 2003
Vínculo: Professor Visitante, Enquadramento Funcional: Professor Visitante, Carga horária: 40
Outras informações
Visita ao grupo de Métodos Formais e Linguagens Declarativas do departamento de ciência da computação da Universidade de Illionois em Urbana-Champaign (UIUC). Visita a convite do Prof. José Meseguer para trabalhar no formalismo Algebraic Operational Semantics, proposto por mim, e sua relação com lógica de reescrita. As despesas da viagem foram cobertas pela UIUC.

Vínculo institucional

2003 - 2003
Vínculo: Professor Visitante, Enquadramento Funcional: Professor visitante, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações
Finalizacao do trabalho comecado na visita anterior de 02/2003 a 04/2003 no formalismo que entao estava batizado de Algebraic Operational Semantics e agora chama-se Modular Rewriting Semantics.

Atividades

2/2003 - 4/2003
Pesquisa e desenvolvimento , Departamento de Ciência da Computação, Laboratório de Métodos Formais e Linguagens Declarativas.

Fundação Getúlio Vargas, FGV, Brasil.
Vínculo institucional

2002 - 2002
Vínculo: Professor, Enquadramento Funcional: Professor

Atividades

05/2002 - 05/2002
Ensino, MBA Em Gestão Industrial, Nível: Especialização

Disciplinas ministradas
Sistemas de informação

Universidade Federal Fluminense, UFF, Brasil.
Vínculo institucional

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

Atividades

07/2002 - Atual
Pesquisa e desenvolvimento , Centro Tecnológico, Instituto de Computação.

03/2013 - 06/2013
Conselhos, Comissões e Consultoria, Reitoria, Conselho de curadores.

Cargo ou função
Conselheiro.
11/2003 - 10/2004
Conselhos, Comissões e Consultoria, Centro Tecnológico, Instituto de Computação.

Cargo ou função
Comissão de pesquisa.
08/2003 - 07/2004
Ensino, Computação, Nível: Pós-Graduação

Disciplinas ministradas
Teoria da computação
6/2003 - 5/2004
Conselhos, Comissões e Consultoria, Centro Tecnológico, Instituto de Computação.

Cargo ou função
Comissão de análise do curriculum do curso de graduação em ciência da computação.
6/2003 - 5/2004
Conselhos, Comissões e Consultoria, Centro Tecnológico, Instituto de Computação.

Cargo ou função
Colegiado do curso de graduação em ciência da computção.
01/2004 - 02/2004
Conselhos, Comissões e Consultoria, Centro Tecnológico, Instituto de Computação.

Cargo ou função
Comissões de monitoria: linguagens de programação, estruturas de dados I, estruturas de dados II, compiladores, linguagens formais e teoria da computação.
12/2003 - 02/2004
Conselhos, Comissões e Consultoria, Centro Tecnológico, Instituto de Computação.

Cargo ou função
Comissão eleitoral para chefe de departamento.
3/2003 - 2/2004
Outras atividades técnico-científicas , Centro Tecnológico, Centro Tecnológico.

Atividade realizada
Orientação de projeto acadêmico de monitoria na cadeira Estrutura de Dados.
10/2002 - 09/2003
Ensino, Ciência da computação, Nível: Graduação

Disciplinas ministradas
Linguagens de programação
3/2003 - 08/2003
Ensino, Computação, Nível: Pós-Graduação

Disciplinas ministradas
Linguagens de programação
10/2002 - 07/2003
Ensino, Ciência da computação, Nível: Graduação

Disciplinas ministradas
Estruturas de dados
7/2002 - 6/2003
Conselhos, Comissões e Consultoria, Centro Tecnológico, Instituto de Computação.

Cargo ou função
Colegiado do curso de graduação em ciências contábeis.
10/2002 - 10/2002
Conselhos, Comissões e Consultoria, Centro Tecnológico, Instituto de Computação.

Cargo ou função
Comissão avaliadora da VI Semana de Monitoria.

Stanford Research Institute, SRI, Estados Unidos.
Vínculo institucional

1998 - 2000
Vínculo: Pesquisador, Enquadramento Funcional: International fellow, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações
Bolsista CAPES.

Atividades

11/1998 - 04/2000
Pesquisa e desenvolvimento , Computer Science Laboratory, .

Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil.
Vínculo institucional

1997 - 2002
Vínculo: Professor, Enquadramento Funcional: Professor adjunto, Carga horária: 12

Atividades

03/2001 - 07/2002
Pesquisa e desenvolvimento , Centro Técnico-Científico, Departamento de Informática.
03/2001 - 07/2002
Ensino, Bacharelado em Informática, Nível: Graduação

Disciplinas ministradas
Programação modular
Programação orientada a objetos
08/2000 - 11/2000
Ensino, Engenharia de computação, Nível: Graduação

Disciplinas ministradas
Linguagens de programação
03/1997 - 06/1997
Ensino, Engenharia de computação, Nível: Graduação

Disciplinas ministradas
Introdução a ciência da computação

International Business Machines, IBM BRASIL, Brasil.
Vínculo institucional

1995 - 2000
Vínculo: Consultor, Enquadramento Funcional: Instrutor

Atividades

11/1995 - 05/2000
Ensino, Análise e desenvolvimento orientado à objetos, Nível: Aperfeiçoamento

Disciplinas ministradas
Desenvolvimento OO com C++
Desenvolvimento OO com Smalltalk

Laboratório de Engenharia de Software do Depto. de Informática da PUC-Rio, LES, Brasil.
Vínculo institucional

1994 - 1998
Vínculo: Pesquisador, Enquadramento Funcional: Pesquisador, Carga horária: 20

Atividades

08/1994 - 03/1998
Pesquisa e desenvolvimento , LES, .


Linhas de pesquisa


1.
Métodos formais
2.
Semântica de linguagens de programação


Projetos de pesquisa


2017 - Atual
BPLC: a library of basic programming language constructs
Descrição: BPLC is a library of basic programming language constructs (such as declarations, expressions and commands) implemented in the Maude language. It is being used both as a pedagogical tool to teach Compiler construction and in the BMaude research project to create a formal tool for B specifications..
Situação: Em andamento; Natureza: Pesquisa.
2017 - Atual
BMaude: a formal tool for Abstract Machine Notation specifications
Descrição: BMaude is a formal tool for Abstract Machine Notation specifications that relies on its formal semantics. It is efficiently implemented on the Maude system on top of the Basic Programming Languages Constructs library..
Situação: Em andamento; Natureza: Pesquisa.
2017 - Atual
Sistema Automático para Monitoramento de Qualidade de Água com Tecnologias de Baixo Custo
Descrição: A água é um recurso essencial para existência e manutenção da vida, sendo sua preservação de suma importância para a sociedade. Os riscos ambientais e de saúde associados a uma possível escassez de água são inúmeros, o que deveria tornar crescente a busca de novas fontes de abastecimento, mas principalmente de novas medidas de proteção e controle da poluição. Nesse contexto, o gerenciamento dos recursos hídricos tem como objetivo principal garantir o suprimento de água em quantidade suficiente e qualidade satisfatória. Apesar de toda sua importância, o processo de monitoramento da qualidade de água ainda é rudimentar, pesquisadores realizam esse controle de forma quase manual. A automatização desse processo poderia auxiliar a gestores públicos na tomada de decisão para o planejamento de políticas nacionais mais eficientes, bem como de gestores privados na redução de custos devido a multas por processos de poluição indevidos. Um grande empecilho no processo de monitoramento automático é o alto custo dos sistemas embarcados responsáveis por capturar e disponibilizar as informações ambientais. Com o advento das novas tecnologias de hardware livre o custo de sistemas embarcados teve uma redução considerável, permitindo que novas soluções sejam desenvolvidas. O presente projeto visa fornecer um sistema automático de baixo custo para o monitoramento ambiental que possa auxiliar tanto usuários residências quanto gestores públicos e privados no controle da qualidade da água.
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (1) .
Integrantes: Christiano de Oliveira Braga - Coordenador / Christiano Braga - Integrante / Diego Nunes Brandão - Integrante.Financiador(es): Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ - Auxílio financeiro.
2014 - 2017
Teoria das Categorias e Teoria da Prova: Uma interação via Computação

Projeto certificado pelo(a) coordenador(a) Edward Hermann Haeusler em 20/11/2014.
Descrição: CNPq 442127/2014-6. Este projeto de pesquisa investiga como a Teoria da Prova e a Teoria das Categorias podem contribuir como base teórica para a fundamentação de Linguagens e Abordagens Lógicas e Semânticas. Seus objetivos globais são: (i) Investigar como técnicas e ferramentas da Teoria das Categorias podem ser usadas no processo de especificação semântica de modelos e sistemas (ii) Investigar como o uso de conceitos, técnicas e abordagens em Teoria da Prova podem ser usados na fundamentação de Linguagens e abordagens lógicas para a representação de conhecimento e modelos de sistemas (provavelmente com o uso de Ontologias Formais) (iii) Relacionar os ítens i e ii acima através de morfismos composicionais (Funtores) e associar uma semântica computável a estes morfismos. Os objetivos gerais são bastante amplos e ambiciosos. Vamos então passar aos objetivos específicos. Destacam-se: (i) A elaboração de sistemas dedutivos mais estruturados, que facilitam a geração de explicação de teoremas. (ii) Estender a pesquisa já iniciada e relatada em \citet{LewHaeusler1, LewHaeusler2} no que diz respeito a obtenção de esquemas heurísticos para obtenção de provas curtas (tamanho polinomial em relação a apresentação da teoria) para lógicas já conhecidas da comunidade de representação do conhecimento (iii) Definição de novas lógicas mais adequadas a certos domínios específicos, como a representação de conhecimento legal, onde trabalhos anteriores em devem ser considerados (iv) Aplicar a álgebra de operações de composição e refinamento de ontologias, e seus respectivos algoritmos, como descrito por Kelsen, de forma efetiva a contribuir para a construção e validação composicional de ontologias; (v) Estudar a existência de Categorias com noções internas de finitude não padrão, de forma a incorpora-las em modelos computacionais para estudo teórico de hipercomputação..
Situação: Concluído; Natureza: Pesquisa.
2014 - 2017
Logic and Information

Projeto certificado pelo(a) coordenador(a) Edward Hermann Haeusler em 20/11/2014.
Descrição: This project aims to propose an improvement on a long-term already existing collaboration between INRIA, the brazilians and the argentin named team. We already have a CAPES-COFECUB cooperation (n. 690/10, namely ``Teorias lógicas contemporâneas e a filosofia da linguagem: questões epistemológicas e semânticas'') that leaded to many students interchange and technical visits of Professors, including the organisation of some workshops (the last one was the II Workshop on Logic and Semantics, at UERJ, Ilha Grande-RJ, Brazil - http://www.tecmf.inf.puc-rio.br/LogicSemanticsII). Prof. Gilles Dowek is also a Co-Advisor with Prof. Edward Hermann Haeusler of a brazilian Ph.D. Candidate in this project (and a former one also in this project, these two candidates finalised recently a sandwich doctorate - similar to stage doctorale - at INRIA). Prof. Gilles Dowek also collaborates with other members of this team and is supervising a post-doc project of another member. Since 2011 members of the team presents seminars in the Deducteam group, also coordinated by Prof. Gilles Dowek (more information in http://www.cri.ensmp.fr/people/hermant/deducteam/seminars.html), and since 2009 for the former group of Prof. Gilles Dowek at Laboratoire d'Informatique de l'École polytechnique (LIX). Among our collaboration we propose the development of some subprojects as specific goals. We propose the continuation of an ongoing joint work to propose a resolution based system for automatic theorem proving in some modal logics. The project also presents a subproject for reasoning about model-driven engineering discipline models defining a metamodel (the description of the syntax of a modeling language). Another subproject proposes two tasks regarding information extraction using logical background. The first one regards how to extract, process and interoperate data and the last one uses counterfactuals to reason about the future. It is important to notice that the results of the subprojects are interchangeable. More specifically we proposes a joint research with Deducteam about proof-compression, and developments in about verifying properties and extracting data about programs properties..
Situação: Concluído; Natureza: Pesquisa.
2014 - 2017
Verificação de modelos de software com Lógica Dinâmica e Redes de Petri
Descrição: CNPq 441952/2014-3. Lógica Proposicional Dinâmica (PDL) é um sistema lógico multi-modal utilizada para especificar e verificar propriedades em programas sequenciais. Redes de Petri são um formalismo largamente utilizado na especificação de sistemas concorrentes e possuem uma interpretação gráfica bastante intuitiva. Neste trabalho apresentam-se aplicações de extensões da Lógica Proposicional Dinâmica onde os programas são substituídos por Redes de Petri Estocásticas de forma a efetuar a verificação formal de propriedades em software. O objetivo é converter automaticamente especificações UML em Redes de Petri Estocásticas para efetuar inferências e certificar propriedades..
Situação: Concluído; Natureza: Pesquisa.
2013 - 2017
A2MTV Autoria e Análise Multimídia para TV Digital Interativa

Projeto certificado pelo(a) coordenador(a) Debora Christina Muchaluat Saade em 18/11/2013.
Descrição: O governo brasileiro determinou em 2007 o padrão para o sistema brasileiro de televisão digital (SBTVD), tendo como um dos principais objetivos a inclusão digital. Como a TV atinge uma grande parte da população brasileira, a implementação de serviços de governo através de serviços digitais interativos é uma ferramenta importante de inclusão digital. O suporte ao desenvolvimento de aplicações interativas no SBTVD é dado pelo middleware chamado GINGA, que utiliza as linguagens NCL (Nested Context Language), Lua e Java. O Projeto A2MTV tem como foco principal o suporte a autoria e análise de aplicações multimídia NCL para TV digital, propondo soluções para facilitar a autoria de programas e para garantir a corretude das aplicações transmitidas pelas emissoras. Os principais objetivos do projeto A2MTV são: especificação de novas facilidades para criação de documentos NCL; desenvolvimento de um ambiente gráfico de apoio à autoria de programas interativos para TV digital com suporte a templates de programas e reúso de especificações genéricas; desenvolvimento de técnicas para analisar a consistência das aplicações multimídia, garantindo a corretude dos programas desenvolvidos antes de serem transmitidos por emissoras de TV. Como principais resultados esperados, destacam-se: nova versão da linguagem XTemplate e do processador de templates para documentos NCL; proposta da linguagem JNS para autoria multimídia e conversor de documentos JNS para documentos NCL; tradutor de documentos NCL para documentos HTML5, permitindo a execução de documentos NCL em browser web; ambiente de edição gráfica para facilitar autoria de conteúdo declarativo para TV digital interativa com suporte a templates; API para autoria e análise de documentos NCL; ferramenta web para análise de documentos NCL; orientações de alunos de pós-graduação e de graduação; publicações de artigos completos em periódicos, simpósios internacionais e nacionais. (PROJETO UNIVERSAL CNPq).
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Doutorado: (1) .
Integrantes: Christiano de Oliveira Braga - Integrante / Debora Muchaluat-Saade - Coordenador.
2012 - 2015
Facilitando a Autoria de Aplicações de Governo Eletrônico para o Sistema Brasileiro de TV Digital
Descrição: O governo brasileiro determinou em 2007 o padrão para o sistema brasileiro de televisão digital (SBTVD), tendo como um dos principais objetivos a inclusão digital. Como a TV atinge uma grande parte da população brasileira, a implementação de serviços de governo através de serviços digitais interativos é uma ferramenta importante de inclusão digital. O suporte ao desenvolvimento de aplicações interativas no SBTVD é dado pelo middleware chamado GINGA, que utiliza as linguagens NCL (Nested Context Language), Lua e Java. O Projeto Canal Rio Poupa Tempo tem como foco principal o suporte a autoria de aplicações interativas para o SBTVD, com foco na oferta de serviços de governo eletrônico oferecidos pelo Governo do Estado do Rio de Janeiro. Sendo assim, um dos objetivos principais deste projeto de pesquisa é o desenvolvimento de soluções para facilitar a autoria de programas, e permitir um menor custo de geração de conteúdo interativo e manutenção de código em aplicações de governo eletrônico. Os principais objetivos do projeto Canal Rio Poupa Tempo são: desenvolvimento de um ambiente gráfico para facilitar a autoria de programas NCL; desenvolvimento de uma ferramenta de análise de consistência de aplicações NCL; desenvolvimento de um framework para facilitar a implementação de jogos para o SBTVD e desenvolvimento da aplicação interativa Canal Rio Poupa Tempo, oferecendo o programa do Governo do Estado do Rio de Janeiro, chamado Rio Poupa Tempo, através do SBTVD. O escopo deste projeto está inserido na área/tema Informação, Planejamento e Gestão do edital Prioridade Rio e se caracteriza por desenvolver soluções interativas voltadas para serviços de governo em TV Digital contribuindo com a formação de recursos humanos especializados em desenvolvimento de aplicações para TV digital e disponibilizando ferramentas estratégicas para o desenvolvimento de aplicações de governo para o Estado do Rio de Janeiro..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (3) / Doutorado: (3) .
Integrantes: Christiano de Oliveira Braga - Integrante / Christiano Braga - Integrante / Claudia M. Lima Werner - Integrante / Debora Muchaluat-Saade - Coordenador / Esteban Clua - Integrante.Financiador(es): Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ - Auxílio financeiro.
2011 - 2013
Núcleo Emergente de Pesquisa em Sistemas Inteligentes: Modelagem de Sistemas Inteligentes
Descrição: Este projeto têm por objetivo primário criar um núcleo de pesquisa em sistemas inteligentes entendidos como sendo aqueles projetados e implementados com componentes situados em um ambiente, com tarefas bem atribuídas, com recursos limitados e do qual se espera o melhor desempenho possível dentro das restrições do sistema. O grupo aplicará sua expertise em sistemas de comando e controle estudando como estes sistemas, e em particular, o controle de acesso neste tipo de sistema, podem ser modelados, verificados e implementados utilizando técnicas de desenvolvimento dirigido à modelos aplicadas a interpretação de que sistemas inteligentes são sistemas multi-agente, isto é, compostos por entidades autônomas munidas de crenças, desejos e intenções. Edital FAPERJ 25/2010, Apoio a Núcleos Emergentes de Pesquisa no Estado do Rio de Janeiro ? 2010 ? PRONEM.
Situação: Em andamento; Natureza: Pesquisa.
2010 - 2012
SCIADS: Sistema computacional inteligente de assistência domiciliar à saúde
Descrição: Este projeto enfoca a aplicação ao do paradigma de computação ubíqua em sistemas de assistência domiciliar remota à saúde, onde dispositivos computacionais, sensores e atuadores, operam de forma cooperativa, permitindo o tele-monitoramento em tempo-real de pacientes em suas habitações. O potencial benefício clínico da monitoração remota foi comprovado em estudos que demonstraram sua capacidade de reduzir enormemente (quase a zero) a taxa de re-internações para pacientes com determinadas doenças, e.g., insuficiência cardíaca. Numa etapa anterior dessa pesquisa, identificamos diversas questões, nas áreas de Ciência da Computação e Ciências Médicas, fundamentais para a viabilização da assistência domiciliar a pacientes baseada em computação ubíqua. Pretendemos criar um ambiente tipo Smart Home, para testes preliminares dos sistemas, e também realizar experimentos pilotos com pacientes reais em suas residências, essenciais para avaliar os aspectos clínicos da proposta. A tecnologia a ser desenvolvida tem o potencial de aumentar a qualidade de vida do paciente e do atendimento médico geral da população. Adicionalmente, com sua utilização, o custo de provisionamento dos serviços de saúde por entidades governamentais poderá ser reduzido. O conhecimento adquirido poderá ser empregado no desenvolvimento de produtos de ponta, numa área de grande demanda, na qual somos extremamente carentes. Finalmente, pretendemos consolidar uma rede de conhecimento numa área multidisciplinar, com grandes desafios de pesquisa, estabelecendo uma base sólida para futuras colaborações..
Situação: Em andamento; Natureza: Pesquisa.
2009 - 2011
Engenharia de software orientada a linguagens
Descrição: Engenharia de software orientada a linguagens (ESL) objetiva dar suporte ao desenvolvimento de software orientado a domínios utilizando linguagens padronizadas. No desenvolvimento orientado a domínios estes são definidos por linguagens. O processo de desenvolvimento se caracteriza então pela composição de transformações que, em última análise, refinam descrições em linguagens de domínio, num alto-nível de abstração, a código executável. No contexto de engenharia de software orientada a objetos, quando utilizamos padrões do Object Management Group (OMG), dentro do processo de desenvolvimento descrito no parágrafo anterior, obtêm-se a chamada Model-driven Architecture (MDA). A inicitaiva MDA propõe o uso de metamodelos, descritos na Unified Modeling Language (UML), para definir linguagens de domínio e transformações utilizando a linguagem Query View Transformation (QVT). Tanto UML e QVT são padrões da OMG. Transformações podem ser utilizadas para refinar descrições utilizando linguagens de domínio de alto-nível de abstração. Mais ainda, quando linguagens que possuem uma semântica precisa são utilizadas, podemos também: (i) raciocinar sobre estas descrições e (ii) especificar transformações, garantindo que suas implementações estejam em conformidade com as especificações dadas. Isto pode ser feito tanto dentro do contexto de MDA, utilizando a Object Constraint Language (OCL), quanto em outras abordagens que utilizam outras linguagens de especificação, transformação e validação. O grande trunfo de MDA é a padronização: com ela ferramentas podem interoperar. No entanto, os padrões associados a MDA pecam pela falta ou fraco suporte no que tange a análise e transformação. Este projeto têm como objeto final criar suporte ferramental a ESL. Isto significa produzir ferramentas que permitam, principalmente no contexto de MDA: (i) auxiliar no processo de análise de descrições específicas de domínio e (ii) auxiliar na definição de transformações entre domínios construíd.
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) .
Integrantes: Christiano de Oliveira Braga - Coordenador.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
2009 - Atual
INCT em Ciência da WEB
Descrição: Este projeto propõe a criação do Instituto Brasileiro de Pesquisa em Ciência da Web, que integrará 10 instituições brasileiras congregando esforços para melhor compreender e planejar a Web. O Instituto possui como missões: 1. Fazer avançar a pesquisa científica em linhas associadas à Ciência da Web, nas quais os pesquisadores do Instituto vêm produzindo contribuições de qualidade para as comunidades científicas nacional e internacional; 2. Educar profissionais e pesquisadores, para garantir inovação e promover colaboração interdisciplinar; 3. Transferir conhecimento para todos os setores da sociedade através de programas educacionais abrangentes; e 4. Transferir conhecimento para a indústria e o setor de serviços através de programas específicos, incluindo residências no Instituto. O programa de pesquisa do Instituto está organizado em 5 camadas: Pessoas e Sociedade , Tecnologias de Software para Aplicações na Web , Gerenciamento de Dados da Web , Infraestrutura da Web e Fundamentos da Ciência da Web . O Instituto congregará cerca de 100 pesquisadores doutores, com alto perfil de produção, liderados por 6 pesquisadores sênior. A equipe de pesquisa conta com: 7 pesquisadores com nível máximo de bolsa de produtividade do CNPq (1A), 3 detentores Ordem Nacional do Mérito Científico na classe Grã-Cruz, 6 detentores Ordem Nacional do Mérito Científico na classe Comendador, 4 membros da Academia Brasileira de Ciências, e um total de 55 bolsistas de produtividade de pesquisa do CNPq. O Instituto certamente congrega o grupo de pesquisadores mais representativo em Ciência da Computação no Brasil, com relevância nacional e internacional. As duas instituições que lideram a proposta, o Departamento de Informática da PUC-Rio e o Programa de Engenharia de Sistemas e Computação (PESC) da UFRJ , receberam a avaliação máxima (Nível 7) na última avaliação d CAPES. Conta com 106 colaboradores..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) .
Integrantes: Christiano de Oliveira Braga - Integrante / Christiano Braga - Integrante / Carlos José P. de Lucena - Coordenador.Financiador(es): Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ - Auxílio financeiro / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2006 - 2009
PROMESAS-Programa de métodos para el desarrollo de software fiable de alta calidad y seguro de la Comunidad de Madrid
Descrição: Utilização de métodos formais, em particular, sobre lógica de reescrita, para modelagem e análise de sistemas concorrentes e distribuídos..
Situação: Em andamento; Natureza: Pesquisa.
2006 - 2008
Red Maude
Descrição: Reunir pesquisadores espanhois que utilizam o sistema Maude e divulgar a linguagem Maude assim como o formalismo lógica de reescrita..
Situação: Em andamento; Natureza: Pesquisa.
2006 - 2008
DESAFIOS-Desarrollo de software de alta calidad, fiable, distribuido y seguro
Descrição: Desenvolver modelos formais e técnicas de análise para o desenvolvimento de software distribuído com ênfase em propriedades relativas a segurança de software..
Situação: Em andamento; Natureza: Pesquisa.
2006 - 2006
MIDAS-Metalenguajes para el diseño y análisis integrado de Sistemas Móviles y Distribuidos
Descrição: O projeto MIDAS contribuiu para o desenvolvimento de modelos formais de programação para a computação distribuída e móvel, e também no desenvolvimento de técnicas de prova de propriedades de segurança e comportamento associados a estes modelos..
Situação: Concluído; Natureza: Pesquisa.
2005 - 2008
Anubis-Um Framework para Análise Formal de Sistemas Multi-Agente para Segurança da Informação
Descrição: Segurança em sistemas de informação é um problema não-trivial, que se apresenta em diferentes níveis de abstração, tanto no nível de negócio quanto no nível de sistema. Por segurança da informação no nível de negócio, referimo-nos aos processos e ás pessoas envolvidas em uma empresa; por segurança da informação no nível de sistema, referimo-nos ao software e hardware sob vigilância. Inúmeros são os casos de ataques registrados, por exemplo, pelo CERT/CC, que é o centro para registro de problemas de segurança na Internet da Carnegie Mellon University. Técnicas de análise formal de software são mecanismos rigorosos, embasados matematicamente, que permitem aumentar a confiança de que um artefato de software realmente faz o que se espera que ele faça. O uso destas técnicas, por exemplo, identificou diversos problemas em protocolos de comunicação. Estas técnicas incluem simulação (ou teste), verificação de modelos (model checking) e prova de teoremas. Com base em argumentos epistemológicos e fazendo um paralelo com a teoria da ciência no que diz respeito á confirmação de teoria científicas, conclui-se, primeiramente via argumentos Carnapianos, em favor de uma abordagem linguística para o desenvolvimento de Sistemas de Informação, e, tomando o princípio da falseabilidade de Popper, que o uso de Análise Formal em uma abordagem baseada em linguagem para o desenvolvimento de sistemas de informação oferece uma via segura para o desenvolvimento de sistemas de informação. Quando o aspecto de segurança da informação é incluído neste panorama, esta via segura se torna mais atraente ainda. Por outro lado, a abstração de Agentes, devido a suas características de autonomia, proatividade e indepedência, é bastante interessante de ser assimilada pela arquitetura de um SI que tem seguranaça como característica funcional, para não dizer essencial..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Christiano de Oliveira Braga - Integrante / Edward Hermann Haeusler - Coordenador / Geiza Hmazaki - Integrante / Fernando Naufel - Integrante / Carlos Bazílio - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2004 - 2008
Caravela - Contratos para Aplicaçõesem Redes de Alta Velocidade
Descrição: O foco principal do projeto concentra-se no sub-tema --- Gerenciamento de Redes Avançadas, dentro do qual estamos propondo uma nova abordagem, baseada em contratos de alto nível, que permite automatizar diversas atividades de gerenciamento a partir de especificações de QoS associadas à arquitetura da aplicação. A proposta também se relaciona ao sub-tema ---Protocolos de Rede e Transporte em Redes Avançadas, que engloba diversos mecanismos necessários ao suporte das aplicações. Como aplicação alvo, enfocaremos sistemas de teleconferência e televisão corporativa, enquadrados no sub-tema --- Aplicações Multimídia de Tempo Real em Redes Avançadas. Deve-se ressaltar que os mecanismos de especificação e gerenciamento de QoS propostos podem ser imediatamente empregados em aplicações enquadradas no sub-tema --- Aplicações Distribuídas de Larga Escala..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (7) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Christiano de Oliveira Braga - Integrante / Alexandre Sztajnberg - Integrante / Orlando Loques - Coordenador / Michael Stanton - Integrante / Julius Leite - Integrante / Maurício Magalhães - Integrante / Antônio Jorge Gomes Abelém - Integrante.Financiador(es): Financiadora de Estudos e Projetos - Bolsa.
2003 - 2005
VAS- Verificação de Arquiteturas de Software
Descrição: Este projeto objetiva unir o desenvolvimento baseado em ADL, utilizando a liguagem CBabel assim como o middleware R-RIO, à técnicas de validação formal como verificação de modelos (model checking) e uso de provadores de teoremas. Utilizaremos o formalismo lógica de reescrita por ser um formalismo com características interessantes como um framework lógico e semântico, devido a sua visão unificada de computação e prova. Propomos então definir um método rigoroso para desenvolvimento de aplicações complexas amparado pelos conceitos de CBabel e formalizado em lógica de reescrita. Será implementada uma ferramenta que suporte este método utilizando o sistema Maude, uma implementação de alta-performance de lógica de reescrita..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (1) .
Integrantes: Christiano de Oliveira Braga - Integrante / Alexandre Sztajnberg - Coordenador / Alexandre Rademaker - Integrante / Matheus Mansur - 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
2002 - 2006
DLF-Desenvolvimento de Sistemas Orientado a Linguagens Formais
Descrição: O nível de abstração das linguagens de programação existentes hoje em dia permite um foco cada vez maior sobre "o que" se deseja realizar ao invés de "como". Exemplos típicos são especificações executáveis em linguagens funcionais, lógicas ou algébricas. Uma das tecnologias existentes para suportar este foco é a tecnologia transformacional. Essa tecnologia permite o desenvolvimento num processo de refinamento onde o produto de cada fase é correto por construção, pois no processo de refinamento as transformações são provadas corretas. Dentro deste contexto propomos o projeto de pesquisa Desenvolvimento de Sistemas Orientado a Linguagens Formais (DLF) que visa desenvolver e aplicar métodos e tecnologias e desenvolvimento de sistemas de software orientados por linguagens formais..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (1) .
Integrantes: Christiano de Oliveira Braga - Coordenador / Fabrício Chalub - Integrante.Financiador(es): Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ - Auxílio financeiro / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
Número de produções C, T & A: 10


Projetos de desenvolvimento


2012 - 2013
ADDCIM-TBM
Descrição: Desenvolver técnicas para melhoria da análise das faixas de funcionamento de turbomáquinas..
Situação: Concluído; Natureza: Desenvolvimento.
Alunos envolvidos: Graduação: (1) .
Integrantes: Christiano de Oliveira Braga - Integrante / Christiano Braga - Integrante / Ana Cristina Bicharra - Coordenador.
2011 - 2012
Modelagem e validação de aplicações de pagamento eletrônico
Descrição: Este projeto de pesquisa visa atender a uma necessidade da APPI relativa a verificação e validação de sua solução para pagamento eletrônico. Propõe-se a utilização de uma técnica baseada de desenvolvimento dirigido a modelos (DDM) para a modelagem e validação da solução APPI de pagamento eletrônico..
Situação: Concluído; Natureza: Desenvolvimento.
Alunos envolvidos: Graduação: (1) .
Integrantes: Christiano de Oliveira Braga - Integrante / Christiano Braga - Coordenador / Cassio Santos - Integrante / Luiz Carlos Guedes - Integrante.
2010 - 2011
Modelagem e validação de aplicações sísmicas
Descrição: A empresa Schlumberger atua no seguimento de análise de dados geofísicos. O ambiente PETREL/OCEAN, de propriedade da Schlumberger, é um software extensível que possibilita a implementação de diferentes aplicações, através do mecanismo de componentes de software ("plugins"), para manipulação destes dados. O mecanismo de plugins do sistema consiste essencialmente na disponibilização de tipos de dados que podem ser customizados por uma aplicação. Um exemplo de subconjuntos destes tipos de dados são aqueles para manipulação de informações sismológicas. Uma questão importante no desenvolvimento de aplicações PETREL/OCEAN é com relação a manutenção da consistência das propriedades dos tipos de dados do ambiente PETREL/OCEAN por um plugin. Esta é a pergunta que este projeto visa a responder. Para tanto, utilizaremos a técnica de desenvolvimento dirigido por modelos e o conceito de contratos de transformação para especificação de plugins PETREL/OCEAN no domínio de dados sismológicos. São dois os objetivos deste projeto: por um lado, visa a definição de uma linguagem de modelagem para um subconjunto do domínio de informações sismológicas, tal como representado na ferramenta PE-TREL/OCEAN, assim como a validação de modelos descritos nesta linguagem utilizando técnicas como avaliação de invariantes OCL, verificação de consistência com lógica de des-crição e ?model checking?. Por outro lado, trata-se de um projeto piloto para verificar a usabi-lidade de técnicas de desenvolvimento dirigido a modelos no contexto da Schlumberger, e em particular, pela aplicação da técnica de contratos de transformação ao domínio de infor-mações sismológicas, tal como representado na ferramenta PETREL/OCEAN..
Situação: Concluído; Natureza: Desenvolvimento.
Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) .
Integrantes: Christiano de Oliveira Braga - Integrante / Christiano Braga - Coordenador / Roberto Menezes - Integrante / Cassio Santos - Integrante.
2010 - 2011
Modelagem e validação de projetos de engenharia
Descrição: Este projeto têm por objetivo aplicar a técnica de desenvolvimento dirigido a modelos baseada em contratos de transformação ao padrão ISO 15926 para interoperabilidade de dados na automação de projetos de engenharia..
Situação: Concluído; Natureza: Desenvolvimento.
2007 - 2007
SAMe Software's Test Reporting Configuration and Management Improvement
Descrição: O objetivo deste projeto de P&D foi remodelar rigrosamente, utilizando UML e OCL, o sistema de relatórios de teste da empresa INDRA S.A., realizando análises e re-implementando o sistema a partir da nova modelagem..
Situação: Concluído; Natureza: Desenvolvimento.


Revisor de periódico


2003 - 2003
Periódico: Theoretical Computer Science
2008 - 2008
Periódico: Logic Journal of the IGPL
2009 - 2009
Periódico: Journal of Systems and Software
2012 - Atual
Periódico: Science of Computer Programming (Print)
2010 - 2010
Periódico: Science of Computer Programming (Print)
2011 - 2011
Periódico: International Journal of Distributed Sensor Networks (Online)
2011 - Atual
Periódico: Information and Software Technology
2014 - Atual
Periódico: IET Software (Print)
2016 - Atual
Periódico: Mathematical Reviews


Á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: Teoria da Computação/Especialidade: Lógicas e Semântica de Programas.
3.
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 Bem, Lê Bem, Escreve Bem.
Espanhol
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.


Prêmios e títulos


2017
Palestrante convidado do IV Workshop Escola de Informática Teórica (WEIT 2017), Universidade Federal de Santa Maria.
2017
Palestrante convidado da II Escola de Informática Teórica e Métodos Formais, SBC.
2017
Em reconhecimento a dedicação, contribuição e trabalho dedicado ao Simpósio Brasileiro de Métodos Formais, SBC.
2016
O trabalho "Massive Open Online Courses and Monoids", do aluno Hugo Farias, foi considerado o 3o melhor artigo do SBMF 2016., SBC.
2013
O trabalho "An Executable Semantics for a Multimedia Authoring Languages", do aluno Joel Santos, foi considerando um dos cinco melhores trabalhos do SBMF13, SBC.
2013
Palestrante convidado no CBSoft 2013 pelo SBMF 2013, SBC.
2013
O trabalho "Suporte ferramental para verificação de consistência em transformação de modelos", de Cássio Santos, ficou classificado entre os 10 melhores trabalhos de Ciências exatas e da terra no seminário PIBIC da UFF, Universidade Federal Fluminense.
2012
O trabalho "Corretude de contratos de transformação", de Cássio Santos, ficou em 3o. lugar na área de Engenharia e Computação no seminário PIBIC, Universidade Federal Fluminense.
2008
Um dos dois melhores artigos de NFPinDSL 08 - Non-functional properties in domain-specific modeling, MoDELS 2008 workshop, TrustSoft Research Training Group, Unversity of Oldenburg e German Research Foundation.
2007
Habilitação "Profesor contratado doctor", Agencia Nacional de Evaluación de la Calidad y Acreditación (ANECA), Espanha.
2007
Revalidação do título de doutor, Universidade Complutense de Madrid.
2006
Contrato Ramón y Cajal, MICINN Ministério de Ciencia y Innovación, Espanha.
2005
Bolsa de pós-doutorado, CAPES.
2002
Aprovação em concurso público para Professor Adjunto com indicação para vaga, UFF.
2002
Aprovação em concurso público para Professor Adjunto, UFRJ.
2002
Aprovação em concurso público para Professor Adjunto com indicação para vaga, UFPR.
2000
Bolsa de doutorado, CNPq.
1998
Bolsa de doutorado com estágio no exterior (sandwich), CAPES.
1996
Bolsa de doutorado, CAPES.


Produções



Produção bibliográfica
Artigos completos publicados em periódicos

1.
SANTOS NETO, B.2015SANTOS NETO, B. ; RIBEIRO, M. ; SILVA, V. T. ; BRAGA, C. ; COSTA, E. ; LUCENA, Carlos José P. de . AutoRefactoring: A platform to build refactoring agents. Expert Systems with Applications, v. 42, p. 1652-1664, 2015.

2.
SANTOS, J.2015SANTOS, J. ; BRAGA, C. ; MUCHALUAT-SAADE, D. . A Rewriting Logic Semantics for NCL. Science of Computer Programming (Print), v. 107-108, p. 64-92, 2015.

3.
Braga, Christiano2014 Braga, Christiano ; SANTOS, CÁSSIO ; DA SILVA, VIVIANE TORRES . Consistency of model transformation contracts. Science of Computer Programming (Print), v. 92, p. 86-104, 2014.

4.
BRAGA, C.2012BRAGA, C. ; MENEZES, R. ; COMICIO, T. ; SANTOS, C. ; Landim, E. . Transformation contracts in practice. IET Software (Print), v. 6, p. 16, 2012.

5.
Braga, Christiano2011 Braga, Christiano . A transformation contract to generate aspects from access control policies. Software and Systems Modeling (Print), v. 10, p. 395-409, 2011.

6.
BRAGA, C.2010 BRAGA, C. ; HAEUSLER, Edward Hermann . Lightweight Analysis of Access Control Models with Description Logic. Innovations in Systems and Software Engineering (Print), v. 6, p. 115-123, 2010.

7.
BRAGA, C.;Braga, Christiano2009BRAGA, C.; Chalub, Fabricio ; SZTAJNBERG, Alexandre . A Formal Semantics for a Quality of Service Contract Language. Electronic Notes in Theoretical Computer Science, v. 203, p. 103-120, 2009.

8.
BRAGA, C.;Braga, Christiano2007BRAGA, C.; VERDEJO, A . Modular Structural Operational Semantics with Strategies?. Electronic Notes in Theoretical Computer Science, v. 175, p. 3-17, 2007.

9.
CHALUB, F2007CHALUB, F ; BRAGA, C. . Maude MSOS Tool. Electronic Notes in Theoretical Computer Science, v. 176, p. 133-146, 2007.

10.
BRAGA, C.;Braga, Christiano2005BRAGA, C.; MESEGUER, J . Modular Rewriting Semantics in Practice. Electronic Notes in Theoretical Computer Science, v. 117, p. 393-416, 2005.

11.
RADEMAKER, A2005RADEMAKER, A ; BRAGA, C ; SZTAJNBERG, A . A Rewriting Semantics for a Software Architecture Description Language. Electronic Notes in Theoretical Computer Science, v. 130, p. 345-377, 2005.

12.
BRAGA, C2004BRAGA, C; SZTAJNBERG, A . Towards a Rewriting Semantics for a Software Architecture Description Language. Electronic Notes in Theoretical Computer Science, v. 95, p. 149-168, 2004.

13.
BRAGA, C.;Braga, Christiano2004BRAGA, C.; CHALUB, F . A Modular Rewriting Semantics for CML. Journal of Universal Computer Science (Online), v. 10, p. 789-807, 2004.

14.
Fontoura, M.2000Fontoura, M. ; BRAGA, C. ; MOURA, L. ; Lucena, C. . Using domain specific languages to instantiate object-oriented frameworks. IEE Proceedings. Software, Inglaterra, v. 147, n.4, p. 109, 2000.

15.
BRAGA, C.;Braga, Christiano1998BRAGA, C.; STAA, A. V. ; LEITE, Julio C. S. P. . Documentu: A flexible architecture for documentation production based on a reverse-engineering strategy. Journal of Software Maintenance and Evolution: Research and Practice, Estados Unidos, v. 10, n.4, p. 279-303, 1998.

Livros publicados/organizados ou edições
1.
BRAGA, C. (Org.) . Science of Computer Programming, vol. 146, special issue with extended selected papers from FACS 2015. 146. ed. , 2017. v. 1. 104p .

2.
BRAGA, C. (Org.) ; OLVECZKY, P. (Org.) . Formal Aspects of Component Software - 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers. 1. ed. LNCS 9539: Springer International Publishing, 2016.

3.
BRAGA, C. (Org.) ; MARTÍ OLIET, N. (Org.) . Science of Computer Programming Volume, vol. 121, Selected Papers from the 17th Brazilian Symposium on Formal Methods (SBMF 2014). 1. ed. Elsevier B. V., 2016. v. 1. 110p .

4.
BRAGA, C. (Org.) ; MARTÍ OLIET, N. (Org.) . Formal Methods: Foundations and Applications - 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings. 1. ed. LNCS 8941: Springer International Publishing, 2014.

5.
BRAGA, C. (Org.) . Truth and Meaning - Essays dedicated to Edward Hermann Haeusler on the occasion of his 50th birthday. 1. ed. , 2012.

6.
BRAGA, C. (Org.) ; FIADEIRO, J. L. (Org.) . Science of Computer Programming Volume 93, Part A, Pages 1-86 (1 November 2014) Special Issue with Selected Papers from the Brazilian Symposium on Programming Languages (SBLP 2011). 1. ed. Elsevier, 2011.

7.
BRAGA, C. (Org.) . Proceedings of I Logic and Semantic Frameworks with Applications (LSFA 2006) Journal of Algorithms Volume 62, Issues 3?4, Pages 93-168 (July?October 2007). 1. ed. Elsevier, 2007.

8.
BRAGA, C. (Org.) ; LINS, R. D. (Org.) . Proceedings VIII Simpósio Brasileiro de Linguagens de Programação (SBLP 2004). 1. ed. , 2004. v. 1.

Capítulos de livros publicados
1.
CLAVEL, M. G. ; DURAN, F. ; EKER, S. ; LINCOLN, P. ; MARTÍ OLIET, N. ; MESEGUER, J. ; TALCOTT, C. ; BRAGA, C. ; FARZAN, A. ; HENDRIX, J. ; OLVECZKY, P. ; PALOMINO, M. ; VERDEJO, A. . Some Tools. In: Manuel Clave;Francisco Durán;Steven Eker;Patrick Lincoln;Narciso Martí-Oliet;José Meseguer;Carolyn Talcott. (Org.). All About Maude - A High-Performance Logical Framework. : Lecture Notes in Computer Science. Springer, 2007, v. 4350, p. 667-693.

Trabalhos completos publicados em anais de congressos
1.
METELO, A. ; BRAGA, C. ; BRANDAO, D. . Towards the Modular Specification and Validation of Cyber-Physical Systems - A Case-Study on Reservoir Modeling with Hybrid Automata. In: The 18th International Conference on Computational Science and Its Applications, 2018, Melbourne. Proceedings of The 18th International Conference on Computational Science and Its Applications, 2018. p. 80-95.

2.
BRAGA, C. ; MARTÍ OLIET, N. ; ZAHN, J. . Automata on predecessor-closed words and multi-agent systems. In: IV Workshop?Escola de Informática Teórica (WEIT 2017), 2017, Santa Maria, RS. Anais IV Workshop?Escola de Informática Teórica (WEIT 2017), 2017. p. 33-40.

3.
PIRES, M. ; BRAGA, C. . Verification of B specifications through narrowing in rewriting logic. In: IV Workshop?Escola de Informática Teórica, 2017, Santa Maria, RS. Anais IV Workshop?Escola de Informática Teórica (WEIT 2017), 2017. p. 41-48.

4.
FARIAS, H. ; BRAGA, C. ; BLAUTH, P. . Massive Open Online Courses and Monoids. In: Simpósio Brasileiro de Métodos Formais (SBMF 2016), 2016, Natal. Formal Methods: Foundations and Applications, LNCS, ISBN: 9783642376344. Berlin: Springer, 2016. v. 10090. p. 179-195.

5.
BRAGA, C. ; HAEUSLER, Edward Hermann . Notes on Topoi and Refinement. In: School of Theoretical Computer Science and Formal Methods (ETMF 2016), ISBN 978-85-7669-357-4, 2016, Natal. Proceedings of School of Theoretical Computer Science and Formal Methods (ETMF 2016). Porto Alegre: Sociedade Brasileira de Computação, 2016. p. 21-32.

6.
BRAGA, C. ; DERHARBE, D. ; MOREIRA, Anamaria Martins ; MARTÍ OLIET, N. . A Rewriting Logic Semantics for the Generalized Substitution Language. In: School of Theoretical Computer Science and Formal Methods (ETMF 2016), 2016, Natal. Proceedings of School of Theoretical Computer Science and Formal Methods (ETMF 2016), ISBN 978-85-7669-357-4. Porto Alegre: Sociedade Brasileira de Computação, 2016. p. 93-104.

7.
LIMA, G. F. ; BRAGA, C ; HAEUSLER, Edward Hermann . The Smix synchronous multimedia language: Operational semantics and coroutine implementation, ISBN 978-85-7669-357-4. In: School of Theoretical Computer Science and Formal Methods (ETMF 2016), 2016, Natal. Proceedings of School of Theoretical Computer Science and Formal Methods (ETMF 2016). Porto Alegre: Sociedade Brasileira de Computação, 2016. p. 145-154.

8.
SILVA, V. T. ; BRAGA, C. ; ZAHN, J. . Indirect Normative Conflict: Conflict that Depends on the Application Domain. In: 17th International Conference on Enterprise Information Systems, 2015, Barcelona. Proceedings of 17th International Conference on Enterprise Information Systems (Also to be presented at Normative Multi-Agent Systems, Dagstuhl Seminar, March 22-27, 2015), 2015. v. 1. p. 452-461.

9.
SANTOS, J. ; BRAGA, C. ; MUCHALUAT-SAADE, D. ; ROISIN, C. ; LAYAIDA, N. . Spatio-temporal validation of multimedia documents. In: The 15th ACM SIGWEB International Symposium on Document Engineering, 2015, Lausanne. DocEng '15 Proceedings of the 2015 ACM Symposium on Document Engineering. New York, NY, USA: ACM, 2015. p. 133-142.

10.
BRAGA, C. ; VIEIRA, B. L. . Towards Reasoning in Dynamic Logics with Rewriting Logic: the Petri-PDL Case. In: 15o. Simpósio Brasileiro de Métodos Formais, 2015, Belo Horizonte. Formal Methods: Foundations and Applications - 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, MG, Brazil, September 21-25, 2015. Proceedings, ISBN: 9783642376344. Switzerland: Springer International Publishing, 2015. v. 9526. p. 74-89.

11.
SANTOS, J. ; BRAGA, C. ; MUCHALUAT-SAADE, D. . An Executable Semantics for a Multimedia Authoring Language. In: Brazilian Symposium on Formal Methods, 2013, Brasília. Proc. of 16th Brazilian Symposium on Formal Methods, LNCS 8195,, 2013. p. 67-82.

12.
SANTOS, J. ; Braga, Christiano ; MUCHALUAT-SAADE, D. . Automated reasoning of NCL documents with a model-driven approach. In: Brazilian Symposium on Multimedia and the Web, 2013, Salvador. Proc. of 19th Brazilian Symposium on Multimedia and the Web, 2013. p. 193-200.

13.
BRAGA, C. ; SANTOS, C. . Meaningful Models. In: Brazilian Symposium on Formal Methods, 2013, Brasília. Proc. of 16th Brazilian Symposium on Formal Methods. (Invited paper), LNCS 8195,, 2013. p. 1-16.

14.
SANTOS, J. ; BRAGA, C. ; MUCHALUAT-SAADE, D. . A Model-driven Approach for the Analysis of Multimedia Documents. In: Software Language Engineering Doctoral Symposium, 2012, Dresden. Proceedings of the Doctoral Symposium of the Software Language Engineering, CEUR-WS, ISSN 1613-0073, 2012. v. 935. p. 37-44.

15.
FIGUEIREDO, K. ; SILVA, V. T. ; BRAGA, C. . Modeling Norms in Multi-agent Systems with NormML. In: Coordination, Organization, Institutions and Norms in Multi-Agent Systems COIN@AAMAS 2010, 2011, Toronto. Proceedings of Coordination, Organization, Institutions and Norms in Multi-Agent Systems COIN@AAMAS 2010, LNCS, 2011. v. 6541. p. 39-57.

16.
BRAGA, C. ; MENEZES, R. ; SANTOS, C. ; TRACK, A. ; IVERSEN, T. ; SILVA, R. . Towards Model-driven Development of Seismic Applications with Transformation Contracts. In: Brazilian workshop on model-driven software development, 2011, São Paulo. Proceedings of the 2nd. Brazilian workshop on model-driven software development (WB-DSDM'11), 2011. p. 34-42.

17.
BRAGA, C. ; MENEZES, R. ; COMICIO, T. ; SANTOS, C. ; ALMEIDA, E. . On the specification, verification and implementation of model transformations with transformation contracts. In: Brazilian Symposium on Formal Methods, 2011, São Paulo. Proceedings of the 14th Brazilian Symposium on Formal Methods,Lecture Notes in Computer Science, Springer., 2011. v. 7021. p. 108-123.

18.
BRAGA, C. . Model-driven Development from a Programming Language Perspective. In: 1st. Brazilian Workshop on Model Driven Development, 2010, Salvador. Proceedings of the 1st. Brazilian Workshop on Model Driven Development, 2010. p. 69-76.

19.
BRAGA, C.. From Access Control Policies to an Aspect-Based Infrastructure: A Metamodel-Based Approach. In: MODELS 2008 Workshops - 1st International Workshop on Non-functional System Properties in Domain Specific Modeling Languages, 2009, Tolouse. Lecture Notes in Computer Science. Berlin Heidelberg: Springer-Verlag, 2009. v. 5421. p. 243-256.

20.
BRAGA, C.; HAEUSLER, Edward Hermann . Programming Games and their Equilibria in Maude. In: RULE 09 - The Tenth International Workshop on Rule-Based Programming, 2009, Brasilia. Proceedings of RULE 09 - The Tenth International Workshop on Rule-Based Programming, 2009. p. 46-56.

21.
BRAGA, C.. A Constructive Semantics for Basic Aspect Constructs. In: Symposium in honor of Prof. Peter Mosses, 2009, Udine. Semantics and Algebraic Specification Essays Dedicated to Peter D. Mosses on the Occasion of his 60th Birthday. Lecture Notes in Computer Science, 2009. v. 5700. p. 106-120.

22.
SILVA, V. T. ; BRAGA, C. . Modeling and Validating Norms. In: Normative Multi-Agent Systems, 2009., 2009, Dagstuhl. Dagstuhl Seminar Proceedings, 2009. v. 09121.

23.
BRAGA, C. ; HAEUSLER, Edward Hermann . Lightweight Analysis of Access Control Models with Description Logic. In: International Workshop on Unified Modeling Language and Formal Methods, 2009, Rio de Janeiro. Proc. of UML&FM'09, 2009.

24.
Chalub, Fabricio ; BRAGA, C. ; SZTAJNBERG, Alexandre . A Formal Semantics for a Quality of Service Contract Language. In: Formal Foundations of Embedded Software and Component-Based Software Architectures, 2008, Braga. Proceedings of the Formal Foundations of Embedded Software and Component-Based Software Architectures (FESCA 2007), 2007.

25.
CLAVEL, M. G. ; SILVA, V. T. ; BRAGA, C. ; EGEA, M. . Model-Driven Security in Practice: An Industrial Experience. In: Model Driven Architecture ? Foundations and Applications 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings, 2008, Berlim. Lecture Notes in Computer Science, 2008. v. 5095. p. 326-337.

26.
CHALUB, F ; BRAGA, C. . Maude MSOS Tool. In: International Workshop on Rewriting Logic and its Applications, 2006, Vienna. Proc. of International Workshop on Rewriting Logic and its Applications, 2006.

27.
BRAGA, C. ; VERDEJO, A . Modular SOS with Strategies. In: Structural Operational Semantics 2006, 2006, Bonn. Proc. of Structural Operational Semantics 2006, 2006. p. 25-40.

28.
BRAGA, C. ; MESEGUER, J. . Modular Rewriting Semantics in Practice. In: International Workshop on Rewriting Logic and its Applications, 2005, Barcelona. Proc. of International Workshop on Rewriting Logic and its Applications, 2004.

29.
BRAGA, C.; MESEGUER, J. . Modular Rewriting Semantics of Programming Languages. In: 10th International Conference on Algebraic Methodology And Software Technology AMAST'2004, 2004, Stirling. Lecture Notes in Computer Science, 2004. v. 3116. p. 364-378.

30.
CHALUB, F ; BRAGA, C. . A Modular Rewriting Semantics for CML. In: VIII Simpósio Brasileiro de Linguagens de Programação, 2004, Niterói. Anais do VIII Simpósio Brasileiro de Linguagens de Programação, 2004. p. 31-45.

31.
RADEMAKER, Alexandre ; BRAGA, C. ; SZTAJNBERG, Alexandre . A Rewriting Semantics for a Software Architecture Description Language. In: Simpósio Brasileiro de Métodos Formais, 2004, Recife. Anais do Simpósio Brasileiro de Métodos Formais, 2004. p. 249-265.

32.
BRAGA, C. ; SZTAJNBERG, Alexandre . Towards a Rewriting Semantics for a Software Architecture Description Language. In: Workshop de Métodos Formais, 2003, Campina Grande. Anais do VI Workshop de Métodos Formais, 2003. p. 105-120.

33.
BRAGA, C.; HAEUSLER, Edward Hermann ; MESEGUER, J. ; MOSSES, P. D. . Mapping Modular SOS to Rewriting Logic. In: International Workshop on Logic-based Program Synthesis and Transformation, 2002, Madri. Lecture Notes in Computer Science, 2002. v. 2664. p. 262-277.

34.
BRAGA, C.; HAEUSLER, Edward Hermann ; MESEGUER, J. ; MOSSES, P. D. . Maude Action Tool: Using reflection to map action semantics to rewriting logic. In: AMAST 2000 - 8th International Conference on Algebraic Methodology and Software Technology, 2000, Iowa. Lecture Notes in Computer Science. Berlin: Springer, 2000. v. 1816. p. 407-421.

35.
BRAGA, C.; STAA, A. V. ; LEITE, Julio C. S. P. ; MOREIRA, M. . Dynadoc: A dynamic hypertext documentation generation tool for software systems. In: V International Workshop Series on Incorporating Hypertext Functionality Into Software Systems, 1998, Kyoto. Proceedings of the Fifth International Workshop on Engineering Hypertext Functionality into Future Information Systems, 1998.

36.
BRAGA, C.; FONTOURA, M. F. M. C. ; HAEUSLER, Edward Hermann ; LUCENA, Carlos José P. de . Formalizing OO frameworks and framework instantiation. In: I Workshop Brasileiro de Métodos Formais, 1998, Porto Alegre. Anais do I Workshop Brasileiro de Métodos Formais. Porto Alegre: Universidade Federal do Rio Grande do Sul, 1998. p. 100-105.

37.
BRAGA, C.; STAA, A. V. ; MOREIRA, M. . Geração automática de documentação a partir de código fonte. In: XI Simpósio brasileiro de engenharia de software, 1997, Fortaleza. Anais do XI Simpósio brasileiro de engenharia de software. Fortaleza: Universidade Federal do Ceará, 1997. p. 469-473.

Resumos expandidos publicados em anais de congressos
1.
SARKIS, LAURA COSTA ; DA SILVA, VIVIANE TORRES ; Braga, Christiano . Detecting indirect conflicts between access control policies. In: the 31st Annual ACM Symposium, 2016, Pisa. Proceedings of the 31st Annual ACM Symposium on Applied Computing - SAC '16. New York: ACM Press, 2016. p. 1570-1572.

2.
BRAGA, C. . Behavioral Transformation Contracts. In: 15th Brazilian Symposium on Formal Methods, 2012, Natal. Proceedings of 15th Brazilian Symposium on Formal Methods, 2012.

Resumos publicados em anais de congressos
1.
BRAGA, C. ; VIEIRA, B. L. . Certifying Massive Open Online Courses. In: Encontro Brasileiro de Lógica, 2017, Pirenópolis. XVIII EBL: Book of Abstracts, 2017. p. 61-61.

2.
METELO, A. ; BRAGA, C. . Cyber-Physical System Classification and Design Methods. In: I Workshop Escola de Inverno em Teoria da Computação, 2017, Niterói. I Workshop Escola de Inverno em Teoria da Computação, 2017. p. 34.

3.
BRAGA, C. ; BRANDAO, D. ; SILVA, F. L. E. ; CARVALHO, C. . Estudo sobre propriedades de um sistema ciber-físico para controle de qualidade de água em ambientes industriais. In: I Workshop Escola de Inverno em Teoria da Computação, 2017, Niterói. I Workshop Escola de Inverno em Teoria da Computação, 2017. p. 35.

4.
SILVA, V. F. T. ; BRAGA, C. . Formal reasoning on KT45n. In: I Workshop Escola de Inverno em Teoria da Computação, 2017, Niterói. I Workshop Escola de Inverno em Teoria da Computação, 2017. p. 23.

5.
PIRES, M. ; BRAGA, C. . Verification of B Machines through Narrowing. In: I Workshop Escola de Inverno em Teoria da Computação, 2017, Niterói. I Workshop Escola de Inverno em Teoria da Computação, 2017. p. 27.

6.
BRAGA, C. ; MARTÍ OLIET, N. ; ZAHN, J. . Ordered Monoid Automata and Normative Multi-Agent Systems. In: I Workshop Escola de Inverno em Teoria da Computação, 2017, Niterói. I Workshop Escola de Inverno em Teoria da Computação, 2017. p. 46.

7.
BRAGA, C.; HAEUSLER, Edward Hermann ; MESEGUER, J. ; MOSSES, P. D. . Maude Action Tool: Using reflection to map action semantics to rewriting logic (Abstract). In: AS 2000 - Third international workshop on action semantics, 2000, Recife. Proceedings of the Third international workshop on action semantics. Aarhus: BRICS - Basic Research in Computer Science, 2000. v. NS. p. 133-133.

Apresentações de Trabalho
1.
BRAGA, C. . Logics of change in action. 2017. (Apresentação de Trabalho/Conferência ou palestra).

2.
BRAGA, C. ; CALEGARI, D. . Maude in a Nutshell with Pecan Pie. 2016. (Apresentação de Trabalho/Conferência ou palestra).

3.
BRAGA, C. . A Rewriting Logic Semantics for the Generalized Substitution Language. 2016. (Apresentação de Trabalho/Conferência ou palestra).

4.
BRAGA, C. . Massive Open Online Courses and Monoids. 2016. (Apresentação de Trabalho/Conferência ou palestra).

5.
BRAGA, C. . Notes on Topoi and Refinement. 2016. (Apresentação de Trabalho/Conferência ou palestra).

6.
SILVA, V. T. ; BRAGA, C. ; ZAHN, J. . Indirect Normative Conflicts. 2015. (Apresentação de Trabalho/Conferência ou palestra).

7.
BRAGA, C. ; VIEIRA, B. L. . Towards Reasoning in Dynamic Logics with Rewriting Logic: the Petri-PDL Case. 2015. (Apresentação de Trabalho/Conferência ou palestra).

8.
BRAGA, C. . Palestra convidada pelos coordenadores do PC do 16o. Simpósio Brasileiro de Métodos Formais (SBMF'13) a ser realizada na 4a. Conferência Brasileira de Software (CBSoft'13). 2013. (Apresentação de Trabalho/Conferência ou palestra).

9.
BRAGA, C. . Behavioral Transformation Contracts. 2012. (Apresentação de Trabalho/Simpósio).

10.
BRAGA, C. . Transformation contracts. 2011. (Apresentação de Trabalho/Conferência ou palestra).

11.
BRAGA, C. . On the Specification, Verification and Implementation of Model Transformations with Transformation Contracts. 2011. (Apresentação de Trabalho/Congresso).

12.
BRAGA, C. ; SANTOS, C. . Towards Model-driven Development of Seismic Applications with Transformation Contracts. 2011. (Apresentação de Trabalho/Congresso).

13.
BRAGA, C. . Language-oriented Software Engineering. 2010. (Apresentação de Trabalho/Conferência ou palestra).

14.
BRAGA, C. . Model-driven development from a Programming Language Perspective. 2010. (Apresentação de Trabalho/Simpósio).

15.
BRAGA, C.. A Constructive Semantics for Basic Aspect Constructs. 2009. (Apresentação de Trabalho/Simpósio).

16.
BRAGA, C.; HAEUSLER, Edward Hermann . Lightweight Analysis of Access Control Models with Description Logic. 2009. (Apresentação de Trabalho/Conferência ou palestra).

17.
BRAGA, C.. From Access Control Policies to an Aspect-Based Infrastructure: A Metamodel-Based Approach. 2008. (Apresentação de Trabalho/Conferência ou palestra).

18.
BRAGA, C.; HAEUSLER, Edward Hermann . Análise Formal de Sistemas: uma abordagem baseada em linguagens. 2006. (Apresentação de Trabalho/Conferência ou palestra).

19.
BRAGA, C.; CHALUB, F ; SZTAJNBERG, Alexandre . A Formal Semantics for a QoS Contract Language. 2006. (Apresentação de Trabalho/Conferência ou palestra).

20.
BRAGA, C.. Language-oriented Software Development and Rewriting Logic. 2005. (Apresentação de Trabalho/Comunicação).

21.
BRAGA, C.. Language-oriented Software Development and Rewriting Logic. 2005. (Apresentação de Trabalho/Comunicação).

22.
BRAGA, C.. Tool support for MSOS and CBabel using Maude. 2005. (Apresentação de Trabalho/Comunicação).

23.
BRAGA, C.. Desenvolvimento orientado a linguagens e lógica de reescrita. 2005. (Apresentação de Trabalho/Comunicação).

24.
BRAGA, C.; SZTAJNBERG, Alexandre . Towards a Rewriting Semantics to a Software Architecture Description Language. 2003. (Apresentação de Trabalho/Simpósio).

25.
BRAGA, C.; MESEGUER, J. . Modular rewriting semantics of programming languages. 2003. (Apresentação de Trabalho/Outra).

26.
BRAGA, C.; SZTAJNBERG, Alexandre . FormArch: A Formal Architecture Development Environment using Eclipse. 2003. (Apresentação de Trabalho/Comunicação).

27.
BRAGA, C.. Mapeando MSOS em Lógica de Reescrita. 2002. (Apresentação de Trabalho/Outra).

28.
BRAGA, C.. Um Mapeamento de Semântica Estrutural Modular em Lógica de Reescrita. 2002. (Apresentação de Trabalho/Outra).

Outras produções bibliográficas
1.
BRAGA, C.. Lógica de reescrita como um framework semântico para semântica operacional estrutural modular. Rio de Janeiro: Pontifícia Universidade Católica do Rio de Janeiro, 2001 (Tese de Doutorado).

2.
BRAGA, C.. Uma ferramenta para geração de documentação de sistemas de software. Rio de Janeiro: Pontifícia Universidade Católica do Rio de Janeiro, 1996 (Dissertação de Mestrado).


Produção técnica
Programas de computador sem registro
1.
BRAGA, C. . BMaude. 2018.

2.
BRAGA, C. . Pi Framework. 2018.

3.
SANTOS, C. ; Braga, Christiano . ECC: An ECore Validation Tool. 2014.

4.
BRAGA, C. ; SANTOS, C. . Consistency checker. 2012.

5.
CHALUB, F ; BRAGA, C. . Maude MSOS Tool. 2011.

6.
SANTOS, C. ; BRAGA, C. . OCLPad. 2011.

7.
COMICIO, T. ; BRAGA, C. . SecureUMLToAAC - Transformador de SecureUML para aspectos. 2010.

8.
MENEZES, R. ; BRAGA, C. . UMLToEJB - Transformador de modelos UML para código EJB. 2010.

9.
BRAGA, C.; CHALUB, F ; SZTAJNBERG, Alexandre . QoS Tool. 2006.

10.
BRAGA, C.; CHALUB, F . Maude MSOS Tool. 2004.

11.

12.
BRAGA, C.. MSOSSL Interpreter. 2001.

13.
BRAGA, C.. Maude Action Tool. 2000.

14.
BRAGA, C.; MOREIRA, M. . Dynadoc. 1998.

15.
BRAGA, C.. Documentu. 1996.

Trabalhos técnicos
1.
BRAGA, C.. Consultor ad-hoc CNPq. 2005.

2.
BRAGA, C.. Consultor ad-hoc CNPq. 2004.

3.
BRAGA, C.. Consultor ad-hoc CNPq. 2003.


Demais tipos de produção técnica
1.
BRAGA, C. . Maude in a nutshell with pecan pie. 2016. (Curso de curta duração ministrado/Outra).

2.
Braga, Christiano ; MARTÍ OLIET, N. . Proceedings of XVII Simpósio Brasileiro de Métodos Formais, SBMF 2014, Maceió 29 Set. - 01 Out. 2014, LNCS 8941, Springer, http://dx.doi.org/10.1007/978-3-319-15075-8. 2015. (Editoração/Anais).

3.
Braga, Christiano ; FIADEIRO, J. L. . XV Simpósio Brasileiro de Linguagens de Programação (SBLP 2011), Science of Computer Programming, Volume 93, Part A, 1 November 2014, Elsevier, DOI:10.1016/j.scico.2014.01.001. 2014. (Editoração/Anais).

4.
BRAGA, C. . Logic and Semantic Frameworks with Applications (LSFA 2006), Journal of Algorithms, vol. 62, issues 3, 4, Elsevier, 2007. 2007. (Editoração/Anais).

5.
BRAGA, C. . VIII Simpósio Brasileiro de Linguagens de Programação (SBLP 2004). 2004. (Editoração/Anais).

6.
BRAGA, C.. Lógica de reescrita e Maude: Especificações em semântica operacional executáveis. 2003. (Curso de curta duração ministrado/Outra).



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
HAEUSLER, Edward Hermann; ENDLER, M.; SANTOS, J.; BRAGA, C.. Participação em banca de Guilherme Gomes Felix da Silva. Formalização de Algoritmos de Criptografia em um Assistente de Provas Interativo. 2018. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

2.
RIBEIRO, L.; FOSS, L.; MACHADO, R.; BRAGA, C.. Participação em banca de Guilherme Grochau Azzi. Improving Conflict Detection in Double-Pushout Graph Transformation. 2018. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

3.
SILVA, V. T.; BRAGA, C.; SIQUEIRA, S.. Participação em banca de Jéssica Soares dos Santos. Identificando Conflitos Normativos Indiretos em Sistemas Multi-Agentes com base na WordNet. 2016. Dissertação (Mestrado em Pós-Graduação em Computação da UFF) - Universidade Federal Fluminense.

4.
SILVA, V. T.; SIQUEIRA, S.; BRAGA, C.. Participação em banca de Jean de Oliveira Zahn. Um Mecanismos para Verificação de Conflitos Normativos Indiretos. 2015. Dissertação (Mestrado em Computação) - Universidade Federal Fluminense.

5.
BRAGA, C.; SILVA, V. T.; CHOREN, R.; MURTA, L. G. P.. Participação em banca de Karen da Silva Figueiredo. Modelando e Validando Normas em Sistemas Multi-agentes. 2011. Dissertação (Mestrado em Computação) - Universidade Federal Fluminense.

6.
BRAGA, C.; LOQUES, Orlando; SZTAJNBERG, Alexandre; CERQUEIRA, Renato Fontoura de Gusmão; ALBUQUERQUE, Célio. Participação em banca de Alexsandro Mattos Corradi. Um framework de suporte a requisitos não-funcionais para serviços de nível alto. 2005. Dissertação (Mestrado em Computação) - Universidade Federal Fluminense.

7.
RINCON, Maurício Ayala; BRAGA, C.; MELO, Alba Cristina Magalhães Alves de. Participação em banca de Thomas Mailleux Sant'Anna. SAEPTUM: Uma Metodologia de verificação de especificações de sistemas de reescrita por meio de tradução de teorias lógicas. 2005. Dissertação (Mestrado em Ciência da Computação) - Universidade de Brasília.

8.
BRAGA, C.; HAEUSLER, Edward Hermann; VELOSO, Paulo; BENEVIDES, Mario. Participação em banca de Juliana Carpes Temporal. Técnicas para o uso de Cálculo de Hoare em PCC. 2003. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

9.
MOURA, A. M. C.; BERGMANN, U.; LEITE, Julio C. S. P.; BRAGA, C.; GARCIA, Alex. Participação em banca de Tânia Mara Lima da Fonseca. Um processo de definição de cenários abstratos. 2002 - Instituto Militar de Engenharia.

10.
BRAGA, C.; BERGMANN, U.; ROCHA, A. R. C.; VELOSO, M.; TANAKA, A. K.. Participação em banca de Juliana Kaercher. Análise e concepção de um ambiente de ensino à distância na web. 2002 - Instituto Militar de Engenharia.

Teses de doutorado
1.
SAMPAIO, A. C. A.; MOTA, A. C.; BORBA, P. H. M.; ROSA, N. S.; RIBEIRO, L.; BRAGA, C.. Participação em banca de José Dihego da Silva Oliveira. Constructive extensibility of trustworthy component-based systems. 2016. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

2.
RAMALHO, F.; FIGUEIREDO, J.; BRAGA, C.. Participação em banca de Paulo Eduardo e Silva Barbosa. MDA-Veritas: Uma arquitetura MDA estendida para transformações de sistemas concorrentes preservadoras de semântica. 2011. Tese (Doutorado em Pós-Graduação em Ciência da Computação) - Universidade Federal de Campina Grande.

3.
HAEUSLER, Edward Hermann; BRAGA, C.; SCHWABE, D.; CASANOVA, M. A.. Participação em banca de Juliana Carpes Imperial. Confiança em Agentes Inteligentes. 2007. Tese (Doutorado em Doutorado) - Pontifícia Universidade Católica do Rio de Janeiro.

4.
HAEUSLER, Edward Hermann; BRAGA, C.; ENDLER, Markus; CERQUEIRA, Renato Fontoura de Gusmão; MACEDO, Raimundo José de Araújo. Participação em banca de Carlos Bazílio Martins. Análise formal de protocolos e algoritmos distribuídos: Uma abordagem baseada em linguagem. 2005. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

5.
IERUSALIMSCHY, Roberto; BRAGA, C.; BIGONHA, Roberto; HAEUSLER, Edward Hermann; RODRIGUEZ, Noemi. Participação em banca de Marcus Amorim Leal. Finalizadores e referências fracas: Interagindo com o coletor de lixo. 2005. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

6.
BRAGA, C.; HAEUSLER, Edward Hermann; GARCIA, Alex; SOARES, Luis Fernando Gomes; MOREIRA, Anamaria Martins; LEITE, Julio C. S. P.; LUCENA, Carlos José P. de. Participação em banca de Marcelo Fagundes Félix. Análise formal de modelos de software orientada por abstrações arquiteturais. 2004. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

7.
BRAGA, C.; LUCENA, Carlos José P. de; STAA, A. V.; FONTOURA, M. F. M. C.; GARCIA, Alex. Participação em banca de Mariela Inês Cortés. Suporte Computacional à Definição de Frameworks. 2003. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

8.
LEITE, Julio C. S. P.; STAA, A. V.; PRADO, A. F.; LUCENA, Carlos José P. de; WERNER, C. M. L.; BRAGA, C.; BREITMAN, K. K.. Participação em banca de Ulf Bergmann. Evolução de cenários através de um mecanismo de rastreamento baseado em transformações. 2002. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

Qualificações de Doutorado
1.
BRAGA, C.; HAEUSLER, Edward Hermann; SILVA, V. T.; PROTTI, F.. Participação em banca de Jean de Oliveira Zahn. Uma abordagem lógica para validação de sistemas multi-agente. 2018. Exame de qualificação (Doutorando em Computação) - Universidade Federal Fluminense.

2.
SILVA, V. T.; BRAGA, C.; SIQUEIRA, S.. Participação em banca de Mairon de Araúlo Belchior. Detecção e resolução de conflitos normativos que dependem de Informações relativas a tempo de execução dos agentes em sistemas multi-agentes. 2016. Exame de qualificação (Doutorando em Pós-Graduação em Computação da UFF) - Universidade Federal Fluminense.

3.
MUCHALUAT-SAADE, D.; SOARES, Luis Fernando Gomes; BRAGA, C.. Participação em banca de Glauco Fiorott Amorim. Leiautes dinâmicos para documentos multimidia baseados em templates. 2015. Exame de qualificação (Doutorando em Pós-Graduação em Computação da UFF) - Universidade Federal Fluminense.

4.
SAMPAIO, A. C. A.; BORBA, P. H. M.; MOTA, A. C.; BRAGA, C.. Participação em banca de José Dihego da Silva Oliveira. Constructive extensibility of trustworthy component-based systems. 2015. Exame de qualificação (Doutorando em Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

5.
RAMALHO, F.; MACIEL, R. S. P.; BRAGA, C.; GUERRERO, D. D. S.; FARIAS, A. C.. Participação em banca de Andreza de Sousa Vieira. Uma Abordagem Híbrida para Análise de Impacto de Mudanças em Transformações de Modelos. 2012. Exame de qualificação (Doutorando em Pós-Graduação em Ciência da Computação) - Universidade Federal de Campina Grande.

Qualificações de Mestrado
1.
HAEUSLER, Edward Hermann; ENDLER, Markus; BRAGA, C.. Participação em banca de Guilherme Gomes Felix da Silva. Formalização de Algoritmos de Criptografia no Provador de Teoremas Lean. 2016. Exame de qualificação (Mestrando em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

Trabalhos de conclusão de curso de graduação
1.
PAES, A.; VIEIRA, B. L.; BRAGA, C.. Participação em banca de Matheus Enes Santos Viana.Um provador automático de teoremas expansível a partir da Lógica Clássica Proposicional. 2016. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.

2.
BRAGA, C.; HAEUSLER, Edward Hermann; SANTOS, J.; BARBOSA, S.. Participação em banca de Bernardo Alckmim.Um provador automático de teoremas utilizando Dedução Natural. 2016. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Pontifícia Universidade Católica do Rio de Janeiro.

3.
MUCHALUAT-SAADE, D.; SANTOS, A. D.; BRAGA, C.. Participação em banca de Moises Borges dos Santos.Vídeoaulas para TV Digital Interativa com Ginga-NCL. 2013. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.

4.
SILVA, V. T.; MURTA, L. G. P.; BRAGA, C.. Participação em banca de Mariana de Souza Marinho e Maria Gabriela de Alcântara.Uma Ferramenta para Modelagem de Normas. 2010. Trabalho de Conclusão de Curso (Graduação em Ciência da computação) - Universidade Federal Fluminense.

5.
REED, J.; BRITO, D. F.; BRAGA, C.. Participação em banca de Saulo Barbosa Mansur.Plataforma microcontrolada para máquinas de controle numérico computadorizado. 2009. Trabalho de Conclusão de Curso (Graduação em Ciência da computação) - Universidade Federal Fluminense.



Participação em bancas de comissões julgadoras
Concurso público
1.
BENEVIDES, Mario; FREITAS, R.; MOREIRA, Anamaria Martins; VELOSO, S.; BRAGA, C.. Concurso para Professor Adjunto em Teoria da Computação, Lógica e Algoritmos, DCC, UFRJ. 2018. Universidade Federal do Rio de Janeiro.

2.
BRAGA, C.; GARCIA, Alex; CAFEZEIRO, I.; BLAUTH, P.; IERUSALIMSCHY, Roberto. Concurso para Professor Adjunto no Departamento de Ciência da Computação do Instituto de Computação da UFF. 2014. Universidade Federal Fluminense.

3.
BAZÍLIO, Carlos; BRAGA, C.; HAEUSLER, Edward Hermann; MASCARENHAS, F.; HMAZAKI, Geiza. Concurso para Professor Adjunto no Departamento de Computação - PURO/UFF. 2013. Universidade Federal Fluminense.

4.
MAIA, M.; BRAGA, C.; PEREIRA, F.. Membro da banca avaliadora do concurso para Professor Adjunto na Faculdade de Computação da Universidade Federal de Uberlândia. 2010. Universidade Federal de Uberlândia.

5.
BRAGA, C.; Costa, V.; SILVA, V. T.. Concurso para Professor Assistente em Engenharia de Software UFG - Campus Catalão. 2009. Universidade Federal de Goiás.

6.
BRAGA, C.; BAZÍLIO, Carlos; HAEUSLER, Edward Hermann; BLAUTH, P.. Concurso para Professor Adjunto no Departamento de Ciência e Tecnologia - PURO/UFF. 2009. Universidade Federal Fluminense.

7.
BRAGA, C.; BRITO, Maria Alice Silveira de; GARCIA, Alex. Concurso para professor adjunto IME/UERJ. 2005. Universidade do Estado do Rio de Janeiro.

Outras participações
1.
BRAGA, C.. Membro do comitê de programa do Simpósio Brasileiro de Linguagens de Programação (SBLP 2002 - 2018). 2018. Universidade Federal de São Carlos.

2.
BRAGA, C.. Membro do comitê de programa do Simpósio Brasileiro de Métodos Formais (SBMF 2013 - 2018). 2018. Universidade Federal do Rio Grande do Norte.

3.
BRAGA, C.. Membro do comitê de programa do Concurso de Trabalhos de Iniciação Científica. 2018. Universidade Federal do Rio Grande do Norte.

4.
BRAGA, C.. Membro do comitê de programa da Escola de Informática Teórica e Métodos Formais (2016 - 2017). 2017. Universidade Federal de Pernambuco.

5.
BRAGA, C.; PROENCA, J.. Membro do comitê de programa do Formal Aspects of Component Software (FACS 2005 - 2010; 2014 - 2017. 2017. Universidade do Minho.

6.
GHEYI, R.; BRAGA, C.. Membro do comitê de programa para seleção dos Workshops do CBSoft 2016. 2016. Universidade Estadual de Maringá.

7.
FALCONE, Y.; MERAYO, M. G.; BRAGA, C.. Membro do comitê de programa do 32nd ACM Symposium on Applied Computing - Software Verification and Testing Track. 2016. Association for Computing Machinery.

8.
BRAGA, C.; MELGRATTI, H.. Membro do comitê de programa do FORMALISE 2017: FME WORKSHOP ON FORMAL METHODS IN SOFTWARE ENGINEERING. 2016. Universidad de Buenos Aires.

9.
BRAGA, C.. Membro do comitê de programa do 31st ACM Symposium on Applied Computing - Software Verification and Testing Track. 2015. Universitá di Pisa.

10.
BRAGA, C.; OLVECZKY, P.. Co-coordenador do comitê de programa do 12th International Conference on Formal Aspects of Component Software (FACS 2015). 2015. Universidade Federal Fluminense.

11.
BRAGA, C.. Membro do comitê diretivo (steering committee) do Congresso Brasileiro de Software: Teoria e Prática (CBSOFT 2011 - 2015). 2015. Universidade Federal de Alagoas.

12.
BRAGA, C.. Membro do comitê de programa do 3rd International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2013). 2013. Institute for Systems and Technologies of Information, Control and Communic.

13.
BRAGA, C.. Membro do comitê de avaliação do Concurso de Teses e Dissertações da SBC (CTD 2012 - 2013). 2013. Universidade Federal de Alagoas.

14.
BRAGA, C.; MARTÍ OLIET, N.. Co-coordenador do Comitê de Programa do 17o. Simpósio Brasileiro de Métodos Formais (SBMF 2014). 2013. Universidade Federal de Alagoas.

15.
BRAGA, C.. Membro do comitê de programa do 2nd International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2012). 2012. Institute for Systems and Technologies of Information, Control and Communic.

16.
BRAGA, C.. Membro do comitê de programa dos tutoriais do CBSoft 2012. 2012.

17.
BRAGA, C.. Membro do comitê de programa do Brazilian Workshop on Model-Driven Development (WB-DSDM 2010 - 2012). 2012.

18.
BRAGA, C.. Membro do comitê de programa do 8th International Colloquium on Theoretical Aspects of Computing (ICTAC 2011). 2011. United Nations University International Institute For Software Technology.

19.
BRAGA, C.; FIADEIRO, J. L.. Co-coordenador do comitê de programa do 15o. Simpósio Brasileiro de Linguagens de Programação (SBLP 2011). 2011. Universidade de São Paulo.

20.
BRAGA, C.. Membro do comitê de programa do 1st International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2011). 2011.

21.
BRAGA, C.. Avaliação de artigo para o 11th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012). 2011. Universidade de Valencia.

22.
BRAGA, C.. Membro do comitê de programa do 7th International Colloquium on Theoretical Aspects of Computing (ICTAC 2010). 2010. Universidade Federal do Rio Grande do Norte.

23.
BRAGA, C.. Membro do comitê de programa do Model-Driven Architecture and Modeling Theory-Driven Development (MDA & MTDD 2010). 2010.

24.
BRAGA, C.; HAEUSLER, Edward Hermann. Membro do comitê de programa do Logical and Semantic Frameworks with Applications (LSFA 2006 - 2010). 2010. Pontifícia Universidade Católica do Rio de Janeiro.

25.
OLVECZKY, P.; BRAGA, C.. Avaliação de artigo para o Workshop in Rewriting Logic and its Applications (WRLA 2010). 2010. University of Oslo.

26.
BRAGA, C.. Membro do comitê de programa do Simpósio Brasileiro de Métodos Formais (SBMF 2013 - 2018). 2010. Universidade Federal da Bahia.

27.
BRAGA, C.. Membro do comitê de programa do Model Driven Architecture: Foundations, Practices, and Implications (MDA 2009). 2009. Riga Technical University.

28.
BRAGA, C.. Membro do comitê de programa do 18th International Conference on Software Engineering and Data Engineering (SEDE 2009). 2009.

29.
BRAGA, C.. Membro do comitê de programa do 18th International Workshop on Functional (and Constraint) Logic Programming (WFLP 2009). 2009.

30.
BRAGA, C.. Avaliação de artigos para 12th International Conference on Algebraic Methodology and Software Technology AMAST 2008. 2008. University of Illinois at Urbana-Champaign.

31.
BRAGA, C.. Membro do comitê de programa do 3rd Workshop on Software Evolution through Transformations (SeTRA 2006). 2006. Universidade Federal do Rio Grande do Norte.

32.
BRAGA, C.. Membro do comitê de progrma da 18th International Conference on Computer Applications in Industry and Engineering. 2005. International Society For Computers And Their Application.

33.
BRAGA, C.. Avaliação de artigo para 2nd International Workshop on Structural Operational Semantics. 2005. University of Leicester.

34.
BRAGA, C.; HAEUSLER, Edward Hermann; ENDLER, Markus; RODRIGUEZ, Noemi. Banca de proposta de tese de doutorado de Carlos Bazílio Martins. 2004. Pontifícia Universidade Católica do Rio de Janeiro.

35.
BRAGA, C.. Avaliação de artigos para o XXIII Simpósio brasileiro de redes de computadores. 2003. Universidade Federal do Rio Grande do Norte.

36.
BRAGA, C.. Avaliação de trabalho para Conferência Latino-Americana de Informática, CLEI2002. 2002. Centro Latinoamericano de Estudios en Informática.

37.
BRAGA, C.. Avaliação de trabalhos para 11a. Semana de Iniciação Científica da UERJ. 2002. Universidade do Estado do Rio de Janeiro.

38.
BRAGA, C.; HAEUSLER, Edward Hermann; VELOSO, Paulo; BENEVIDES, Mario. Banca de proposta de dissertação de mestrado de Davi Romero de Vasconcelos. 2002. Pontifícia Universidade Católica do Rio de Janeiro.

39.
BRAGA, C.; HAEUSLER, Edward Hermann; VELOSO, Paulo; BENEVIDES, Mario. Banca de proposta de dissertação de mestrado de Juliana Carpes Imperial. 2002. Pontifícia Universidade Católica do Rio de Janeiro.

40.
BRAGA, C.. Avaliação de artigo para o V Simpósio brasileiro de linguagens de programação. 2001. Universidade Federal do Paraná.

41.
BRAGA, C.. Avaliação de artigo para o periódico Theoretical Computer Science. 2001. University of Iowa.

42.
BRAGA, C.. Avaliação de artigo para o IV Simpósio brasileiro de linguagens de programação. 2000. Universidade Federal de Pernambuco.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
Brazilian Symposium on Formal Methods.Massive Open Online Courses and Monoids. 2016. (Simpósio).

2.
ETMF 2016. A Rewriting Logic Semantics for the Generalized Substitution Language. 2016. (Congresso).

3.
ETMF 2016. Notes on Topoi and Refinement. 2016. (Congresso).

4.
Brazilian Symposium on Formal Methods.Towards Reasoning in Dynamic Logics with Rewriting Logic: the Petri-PDL Case. 2015. (Simpósio).

5.
Brazilian Symposium on Formal Methods.Coordenação do SBMF 2014. 2014. (Simpósio).

6.
Brazilian Symposium on Formal Methods. Meaningful models - A research agenda on model-driven engineering -. 2013. (Congresso).

7.
Logic and Semantic Frameworks with Applications. 2013. (Congresso).

8.
III Brazilian Conference on Software: Theory and Practice (CBSoft'12). 2012. (Congresso).

9.
XV Brazilian Symposium on Formal Methods (SBMF'12). Behavioral transformation contracts. 2012. (Congresso).

10.
II Brazilian Conference on Software: Theory and Practice (CBSoft 2011). 2011. (Congresso).

11.
II Brazilian Workshop on Model-driven Development (WB-DSDM'11).Towards Model-driven Development of Seismic Applications with Transformation Contracts. 2011. (Oficina).

12.
XIV Brazilian Symposium on Formal Methods (SBMF'11).On the Specification, Verification and Implementation of Model Transformations with Transformation Contracts. 2011. (Simpósio).

13.
XV Brazilian Symposium on Programming Languages (SBLP'11). 2011. (Simpósio).

14.
I Brazilian Conference on Software: Theory and Practice (CBSoft 2010). 2010. (Congresso).

15.
I Brazilian Workshop on Model-driven Development (WB-DSDM'10).Model-driven development from a programming language perspective. 2010. (Oficina).

16.
Colloquium on Model-Driven Development and Evolution of Program Families.From Access Control Policies to an Aspect-Based Infrastructure: A Metamodel-Based Approach. 2009. (Encontro).

17.
IFIP Working Group 1.3 meeting. 2009. (Encontro).

18.
Symposium in honor of Peter D. Mosses.A Constructive Semantics for Basic Aspect Constructs. 2009. (Simpósio).

19.
UML&FM'09 - Second IEEE International workshop UML and Formal Methods. Lightweight Analysis of Access Control Models with Description Logic. 2009. (Congresso).

20.
MODELS. From Access Control Policies to an Aspect-Based Infrastructure: A Metamodel-Based Approach. 2008. (Congresso).

21.
Structural Operational Semantics. Modular Structural Operational Semantics with Strategies. 2006. (Congresso).

22.
International Workshop on Rewriting Logic and Applications. International Workshop on Rewriting Logic and Applications. 2004. (Congresso).

23.
Real-Time Maude Tutorial.Real-Time Maude Tutorial. 2004. (Encontro).

24.
VIII Simpósio Brasileiro de Linguagens de Programação.VIII Simpósio Brasileiro de Linguagens de Programação. 2004. (Simpósio).

25.
6o. Workshop de Métodos Formais.6o. Workshop de Métodos Formais. 2003. (Simpósio).

26.
Eclipse Day.Eclipse Day. 2003. (Oficina).

27.
VII Simpósio Brasileiro de Linguagens de Programação.VII Simpósio Brasileiro de Linguagens de Programação. 2003. (Simpósio).

28.
12th International Workshop on Logic-based Program Development and Transformation. 12th International Workshop on Logic-based Program Development and Transformation. 2002. (Congresso).

29.
Semana da Matemática.Semana da Matemática. 2002. (Encontro).

30.
Seminário do Instituto de Computação.Seminário do Instituto de Computação. 2002. (Encontro).

31.
VI Simpósio Brasileiro de Linguagens de Programação.VI Simpósio Brasileiro de Linguagens de Programação. 2002. (Simpósio).

32.
Workshop de Métodos Formais.Workshop de Métodos Formais. 2001. (Simpósio).

33.
AMAST-International Conference on Algebraic Methodology And Software Technology. AMAST-International Conference on Algebraic Methodology And Software Technology. 2000. (Congresso).

34.
IV Simpósio Brasileiro de Linguagens de Programação.IV Simpósio Brasileiro de Linguagens de Programação. 2000. (Simpósio).

35.
I WORKSHOP BRASILEIRO DE METODOS FORMAIS - WMF'98.I WORKSHOP BRASILEIRO DE METODOS FORMAIS - WMF'98. 1998. (Oficina).

36.
XI Simpósio Brasileiro de Engenharia de Software.XI Simpósio Brasileiro de Engenharia de Software. 1997. (Simpósio).


Organização de eventos, congressos, exposições e feiras
1.
VIEIRA, B. L. ; Costa, V. ; BRAGA, C. . Bay Logic (Workshop FRAME-TECMF). 2017. (Congresso).

2.
BRAGA, C.; OLVECZKY, P. . Formal Aspects of Component Software (FACS 2015). 2015. (Congresso).

3.
MARTÍ OLIET, N. ; BRAGA, C. . Specifying, programming and verifying in Maude (mini-curso). 2014. (Outro).

4.
EPSTEIN, R. L. ; BRAGA, C. . The Scope of Logic (palestra). 2014. (Outro).

5.
BRAGA, C.; HAEUSLER, Edward Hermann ; Pereira, L. ; RINCON, Maurício Ayala ; FREITAS, R. . Logical and Semantic Frameworks, with Applications. 2012. (Congresso).

6.
BRAGA, C.; RINCON, Maurício Ayala ; HAEUSLER, Edward Hermann . Logical and Semantic Frameworks, with Applications. 2006. (Congresso).

7.
BRAGA, C.; HAEUSLER, Edward Hermann ; CAFEZEIRO, I. L. ; DIAS, A. I. S. . VIII Simpósio Brasileiro de Linguagens de Programação. 2004. (Congresso).

8.
BRAGA, C.. Real-Time Maude Tutorial. 2004. (Outro).

9.
BRAGA, C.. VI Simpósio brasileiro de linguagens de programação. 2002. (Congresso).



Orientações



Orientações e supervisões em andamento
Dissertação de mestrado
1.
André Luiz Soares Metelo. Especificação e verificação de sistemas ciber-físicos. Início: 2017. Dissertação (Mestrado em CIÊNCIAS DA COMPUTAÇÃO) - Universidade Federal Fluminense. (Orientador).

Tese de doutorado
1.
Jean Zahn. Uma abordagem baseada em Lógica de Reescrita para sistemas multi-agente normativos. Início: 2017. Tese (Doutorado em Computação) - Universidade Federal Fluminense. (Orientador).

Trabalho de conclusão de curso de graduação
1.
Rodrigo Lugão. Lógicas dinâmicas. Início: 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense. (Orientador).

Iniciação científica
1.
Felipe Vieira Freire da Silva. Validação de sistemas críticos. Início: 2018. Iniciação científica (Graduando em Ciência da Computação) - Universidade Federal Fluminense, Conselho Nacional de Desenvolvimento Científico e Tecnológico. (Orientador).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
Joel André Ferreira dos Santos. Multimedia and hypermedia document validation and verification using a model-driven approach. 2012. Dissertação (Mestrado em Computação) - Universidade Federal Fluminense, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Coorientador: Christiano de Oliveira Braga.

2.
Roberto Weidmann Menezes. Aplicações de Contratos de Transformação. 2011. Dissertação (Mestrado em Computação) - Universidade Federal Fluminense, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Christiano de Oliveira Braga.

3.
Thiago Nascimento Comicio. Uma abordagem baseada em contratos de transformação para segurança dirigida a modelos. 2011. Dissertação (Mestrado em Computação) - Universidade Federal Fluminense, . Orientador: Christiano de Oliveira Braga.

4.
Alexandre Rademaker. Uma Ferramenta Formal para Especificação e Análise de Arquiteturas de Software. 2005. 0 f. Dissertação (Mestrado em Computação) - Universidade Federal Fluminense, . Orientador: Christiano de Oliveira Braga.

5.
Fabrício Chalub. Uma Implementação de Semântica Operacional Modular em Maude. 2005. 0 f. Dissertação (Mestrado em Computação) - Universidade Federal Fluminense, . Orientador: Christiano de Oliveira Braga.

Tese de doutorado
1.
Joel André Ferreira dos Santos. Multimedia Document Validation Along Its Life Cycle. 2016. Tese (Doutorado em Pós-Graduação em Computação da UFF) - Universidade Federal Fluminense, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Coorientador: Christiano de Oliveira Braga.

Trabalho de conclusão de curso de graduação
1.
Maurício da Silva Pires. Verificação simbólica de artefatos B utilizando narrowing. 2017. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal Fluminense. Orientador: Christiano de Oliveira Braga.

2.
Hugo Farias Silva. Learn - Uma linguagem para descrição de cursos online. 2016. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal Fluminense. Orientador: Christiano de Oliveira Braga.

3.
Cássio Fernando Alves dos Santos. ECC: An ECore Validation Tool and its Applications. 2014. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal Fluminense. Orientador: Christiano de Oliveira Braga.

Iniciação científica
1.
Maurício da Silva Pires. Refinamento, Abstração e Verificação. 2017. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal Fluminense, Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ. Orientador: Christiano de Oliveira Braga.

2.
João Pedro Abreu de Souza. Lógica Formal e Sistemas Normativos. 2017. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal Fluminense. Orientador: Christiano de Oliveira Braga.

3.
Victor Ferreira Teixeira da Silva. Lógica Formal e Sistemas Multi-Agente. 2017. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal Fluminense. Orientador: Christiano de Oliveira Braga.

4.
Rodrigo Lugão. Sistemas Normativos e Teoria de Tipos Intuicionista. 2017. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal Fluminense. Orientador: Christiano de Oliveira Braga.

5.
Felipe Vieira Freire da Silva. Lógica Formal e Sistemas Normativos. 2017. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal Fluminense, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Christiano de Oliveira Braga.

6.
Hugo Farias Silva. Intellect: An Interactive Lecture Description Language. 2015. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal Fluminense. Orientador: Christiano de Oliveira Braga.

7.
João Lucas Rulff da Costa. Uma abordagem dirigida a modelos para o desenvolvimento de software por componentes. 2013. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal Fluminense, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Christiano de Oliveira Braga.

8.
Cássio Fernando Alves dos Santos. Validação de transformações de modelo por alinhamento ontológico. 2013. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal Fluminense, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Christiano de Oliveira Braga.

9.
João Lucas Rulff da Costa. Validação de modelos no desenvolvimento de software por componentes. 2013. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal Fluminense, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Christiano de Oliveira Braga.

10.
Cassio Fernando dos Santos. Suporte Ferramental para a Verificação de Consistência em Transformações de Modelos. 2012. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal Fluminense, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Christiano de Oliveira Braga.

11.
Pedro Henrique Ribeiro da Silva. Uma Abordagem Dirigida a Modelos para o Desenvolvimento de Software por Componentes. 2012. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal Fluminense, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Christiano de Oliveira Braga.

12.
Abraão Caldas de Santana. Uma abordagem dirigida a modelos para o desenvolvimento de software por componentes. 2012. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal Fluminense, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Christiano de Oliveira Braga.

13.
Lucas Nadalutti. Verificação de consistência de modelos no desenvolviemento dirigido por modelos. 2011. Iniciação Científica. (Graduando em Ciência da computação) - Universidade Federal Fluminense, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Christiano de Oliveira Braga.

14.
Lucas Nadalutti. Corretude de Contratos em Transformação de Modelos. 2011. Iniciação Científica. (Graduando em Ciência da computação) - Universidade Federal Fluminense, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Christiano de Oliveira Braga.

15.
Cassio Santos. Consistência de transformações de modelos. 2011. Iniciação Científica. (Graduando em Ciência da computação) - Universidade Federal Fluminense. Orientador: Christiano de Oliveira Braga.

16.
Cassio Fernando Alves dos Santos. Corretude de contratos de transformação. 2011. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal Fluminense, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Christiano de Oliveira Braga.

17.
Edson Almeida. Verificação de consistência de modelos no desenvolviemento dirigido por modelos. 2011. Iniciação Científica. (Graduando em Ciência da computação) - Universidade Federal Fluminense, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Christiano de Oliveira Braga.

18.
Edson Almeida. Engenharia de segurança da informação: Controle de acesso. 2010. Iniciação Científica. (Graduando em Ciência da computação) - Universidade Federal Fluminense, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Christiano de Oliveira Braga.

19.
Cassio Santos. Consistência de modelos. 2010. Iniciação Científica. (Graduando em Ciência da computação) - Universidade Federal Fluminense, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Christiano de Oliveira Braga.

20.
Matheus Mansur Hermsdorf. Um plugin Eclipse para a Linguagem Maude. 2004. Iniciação Científica. (Graduando em Ciência da computação) - Universidade Federal Fluminense, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Christiano de Oliveira Braga.



Inovação



Programa de computador sem registro
1.
SANTOS, C. ; Braga, Christiano . ECC: An ECore Validation Tool. 2014.

2.
BRAGA, C. . BMaude. 2018.

3.
BRAGA, C. . Pi Framework. 2018.

4.
CHALUB, F ; BRAGA, C. . Maude MSOS Tool. 2011.


Projetos de pesquisa


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



Organização de eventos, congressos, exposições e feiras
1.
MARTÍ OLIET, N. ; BRAGA, C. . Specifying, programming and verifying in Maude (mini-curso). 2014. (Outro).

2.
EPSTEIN, R. L. ; BRAGA, C. . The Scope of Logic (palestra). 2014. (Outro).

3.
BRAGA, C.; OLVECZKY, P. . Formal Aspects of Component Software (FACS 2015). 2015. (Congresso).




Página gerada pelo Sistema Currículo Lattes em 19/10/2018 às 8:01:20