Rede de Colaboração
Diretório de grupos de pesquisa|
Christiano de Oliveira Braga Possui graduação em Engenharia de computação pela Pontifícia Universidade Católica do Rio de Janeiro (1992), mestrado em Informática pela Pontifícia Universidade Católica do Rio de Janeiro (1996), doutorado em Informática pela Pontifícia Universidade Católica do Rio de Janeiro (2001) e pós-doutorado na Universidad Complutense de Madrid, no grupo UCMaude de pesquisa em lógica de reescrita. Atualmente é professor adjunto da Universidade Federal Fluminense. Tem experiência na área de Ciência da Computação, com ênfase em Lógicas e Semântica de Programas, atuando principalmente nos seguintes temas: métodos formais, semântica de linguagens de programação e aplicação de sistemas transformacionais.
Última
atualização do currículo em 03/02/2012
Endereço para acessar este CV: http://lattes.cnpq.br/0535266455387139 |
Dados pessoais
| Nome | Christiano de Oliveira Braga |
| Nome em citações bibliográficas | BRAGA, C.;Braga, Christiano |
| Sexo | Masculino |
| 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 24210-240 - Niteroi, RJ - Brasil Telefone: (21) 26295652 Fax: (21) 26295665 URL da Homepage: http://www.ic.uff.br/~cbraga |
Formação acadêmica/Titulação
| 2006 - 2008 | Pós-Doutorado
. Universidade Complutense de Madrid. Bolsista do(a): Ministerio de Ciencia y Innovación . 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. 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. |
| 1988 - 1992 | Graduação em Engenharia de computação
.
Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil. |
Atuação profissional
| INDRA S.A. e UCM, INDRA-UCM, Espanha. |
| Vínculo institucional |
| 2007 - 2007 | Vínculo: Pesquisador, Enquadramento Funcional: Pesquisador |
| Atividades |
| 2007 - 2007 | Atividades de Participação em Projeto, Departamento de Sistemas Informáticos y Computación, . |
|
Projetos de pesquisa SAMe Software's Test Reporting Configuration and Management Improvement |
| 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 |
| 2006 - Atual | Atividades de Participação em Projeto, Faculdad de Informática, Departamento de Sistemas Informáticos y Computación. |
|
Projetos de pesquisa PROMESAS-Programa de métodos para el desarrollo de software fiable de alta calidad y seguro de la Comunidad de Madrid |
| 2006 - 2009 | Atividades de Participação em Projeto, Faculdad de Informática, Departamento de Sistemas Informáticos y Computación. |
|
Projetos de pesquisa DESAFIOS-Desarrollo de software de alta calidad, fiable, distribuido y seguro Red Maude |
| 2006 - 2006 | Atividades de Participação em Projeto, Faculdad de Informática, Departamento de Sistemas Informáticos y Computación. |
|
Projetos de pesquisa MIDAS-Metalenguajes para el diseño y análisis integrado de Sistemas Móviles y Distribuidos |
| 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 . |
| 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 |
| 2010 - Atual | Atividades de Participação em Projeto, Centro Tecnológico, Instituto de Computação. |
|
Projetos de pesquisa SCIADS: Sistema computacional inteligente de assistência domiciliar à saúde |
| 2010 - Atual | Atividades de Participação em Projeto, Instituto de Computação, Departamento de Ciência da Computação. |
|
Projetos de pesquisa Modelagem e validação de projetos de engenharia |
| 2008 - Atual | Atividades de Participação em Projeto, Instituto de Computação, Departamento de Ciência da Computação. |
|
Projetos de pesquisa Engenharia de software orientada a linguagens |
| 07/2002 - Atual | Pesquisa e desenvolvimento , Centro Tecnológico, Instituto de Computação. |
|
Linhas de pesquisa Métodos formais Semântica de linguagens de programação |
| 2002 - Atual | Atividades de Participação em Projeto, Instituto de Computação, . |
|
Projetos de pesquisa Modelagem e validação de aplicações de pagamento eletrônico |
| 2011 - 2013 | Atividades de Participação em Projeto, Centro Tecnológico, Instituto de Computação. |
|
Projetos de pesquisa Núcleo Emergente de Pesquisa em Sistemas Inteligentes: Modelagem de Sistemas Inteligentes |
| 2010 - 2011 | Atividades de Participação em Projeto, Instituto de Computação, . |
|
Projetos de pesquisa Modelagem e validação de aplicações sísmicas |
| 8/2005 - 7/2008 | Atividades de Participação em Projeto, Instituto de Computação, Departamento de Ciência da Computação. |
|
Projetos de pesquisa Anubis-Um Framework para Análise Formal de Sistemas Multi-Agente para Segurança da Informação |
| 7/2004 - 6/2008 | Atividades de Participação em Projeto, Instituto de Computação, Departamento de Ciência da Computação. |
|
Projetos de pesquisa Caravela - Contratos para Aplicaçõesem Redes de Alta Velocidade |
| 09/2002 - 08/2006 | Atividades de Participação em Projeto, Centro Tecnológico, Instituto de Computação. |
|
Projetos de pesquisa DLF-Desenvolvimento de Sistemas Orientado a Linguagens Formais |
| 01/2003 - 12/2004 | Atividades de Participação em Projeto, Centro Tecnológico, Instituto de Computação. |
|
Projetos de pesquisa VAS- Verificação de Arquiteturas de Software |
| 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, Instituto de Computação. |
|
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 oreientado a 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, . |
Projetos de Pesquisa
| 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. Integrantes: Viviane Torres da Silva - Integrante / Ricardo Choren Noya - Coordenador / Christiano de Oliveira Braga - Integrante. Financiador(es): Fundação Carlos Chagas Filho de Amparo à Pesq. do Estado do Rio de Janeiro - Auxílio financeiro.. |
| 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: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação ( 2) / Mestrado acadêmico ( 1) . Integrantes: Roberto Menezes - Integrante / Cassio Santos - Integrante / Luiz Carlos Guedes - Integrante / Lucas Nadalutti - Integrante / Christiano de Oliveira Braga - Coordenador. Financiador(es): APPI tecnologia S.A. - Bolsa.. |
| 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. Integrantes: Orlando Loques - Coordenador / Christiano de Oliveira Braga - Integrante. Financiador(es): Fundação Carlos Chagas Filho de Amparo à Pesq. do Estado do Rio de Janeiro - Auxílio financeiro.. |
| 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: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação ( 2) / Mestrado acadêmico ( 1) . Integrantes: Roberto Menezes - Integrante / Edson Almeida - Integrante / Cassio Santos - Integrante / Christiano de Oliveira Braga - Coordenador. Financiador(es): Schlumberger Brazil Software Geo-engineering Technology Center - Bolsa.. |
| 2010 - Atual | 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: Em andamento; Natureza: Pesquisa. Integrantes: Geiza Hamazaki - Integrante / Christiano de Oliveira Braga - Coordenador. . |
| 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.. |
| 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: Outra. Integrantes: Manuel Garcia Clavel - Coordenador / Christiano de Oliveira Braga - Integrante. Financiador(es): INDRA S.A. - 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. Integrantes: Narciso Martí Oliet - Coordenador / Christiano de Oliveira Braga - Integrante. Financiador(es): Comunidad de Madrid - Auxílio financeiro.. |
| 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. Integrantes: Narciso Martí Oliet - Coordenador / Christiano de Oliveira Braga - Integrante. Financiador(es): Ministerio de Ciencia y Tecnología - Auxílio financeiro.. |
| 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. Integrantes: Narciso Martí Oliet - Coordenador / Christiano de Oliveira Braga - Integrante. Financiador(es): Ministerio de Educacion Y Ciencia - Auxílio financeiro.. |
| 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. Integrantes: Narciso Martí Oliet - Coordenador / Christiano de Oliveira Braga - Integrante. Financiador(es): Ministerio de Ciencia y Tecnología - Auxílio financeiro.. |
| 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 profissionalizante ( 0) / Doutorado ( 0) . Integrantes: Edward Hermann Haeusler - Coordenador / Geiza Hmazaki - Integrante / Fernando Naufel - Integrante / Carlos Bazílio - Integrante / Christiano de Oliveira Braga - 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 profissionalizante ( 0) / Doutorado ( 0) . Integrantes: Alexandre Sztajnberg - Integrante / Orlando Loques - Coordenador / Michael Stanton - Integrante / Julius Leite - Integrante / Maurício Magalhães - Integrante / Antônio Jorge Gomes Abelém - Integrante / Christiano de Oliveira Braga - 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: Alexandre Sztajnberg - Coordenador / Alexandre Rademaker - Integrante / Matheus Mansur - Integrante / Christiano de Oliveira Braga - 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: Fabrício Chalub - Integrante / Christiano de Oliveira Braga - Coordenador. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa / Fundação Carlos Chagas Filho de Amparo à Pesq. do Estado do Rio de Janeiro - Auxílio financeiro. Número de produções C, T & A: 10. |
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 |
| 2010 - 2010 | Periódico: Science of Computer Programming (Print) |
| 2011 - 2011 | Periódico: International Journal of Distributed Sensor Networks (Online) |
| 2011 - 2011 | Periódico: Information and Software Technology |
Á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
| 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. |
| 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ção em C,T & A
| Produção bibliográfica |
| Artigos completos publicados em periódicos |
| 1. |   Braga, Christiano . A transformation contract to generate aspects from access control policies. Software and Systems Modeling (Print) , v. 10, p. 395-409, 2011. |
| 2. | 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. |
| 3. | BRAGA, 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. |
| 4. | BRAGA, C. ; VERDEJO, A . Modular Structural Operational Semantics with Strategies?. Electronic Notes in Theoretical Computer Science, v. 175, p. 3-17, 2007. |
| 5. | CHALUB, F ; BRAGA, C. . Maude MSOS Tool. Electronic Notes in Theoretical Computer Science, v. 176, p. 133-146, 2007. |
| 6. | BRAGA, C. . Special issue: LSFA'06. Journal of Algorithms, v. 62, p. 93-94, 2007. |
| 7. | BRAGA, C. ; MESEGUER, J . Modular Rewriting Semantics in Practice. Electronic Notes in Theoretical Computer Science, v. 117, p. 393-416, 2005. |
| 8. | RADEMAKER, 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. |
| 9. | BRAGA, 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. |
| 10. | BRAGA, C. ; CHALUB, F . A Modular Rewriting Semantics for CML. Journal of Universal Computer Science (Online), v. 10, p. 789-807, 2004. |
| 11. | Fontoura, 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. |
| 12. | BRAGA, 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. |
| 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. | 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. |
| 2. | 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. |
| 3. | 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. |
| 4. | 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. |
| 5. | 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. |
| 6. | 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. |
| 7. | 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. |
| 8. | SILVA, V. T. ; BRAGA, C. . Modeling and Validating Norms. In: Normative Multi-Agent Systems, 2009., 2009, Dagstuhl. Dagstuhl Seminar Proceedings, 2009. v. 09121. |
| 9. | 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. |
| 10. | 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. |
| 11. | 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. |
| 12. | 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. |
| 13. | BRAGA, C. ; STAA, A. V. ; LEITE, Julio C. S. P. ; MOREIRA, M. . Dynadoc: A dynamic hypertext documentation generation tool for software systems. In: HTF-The Fifth International Workshop on Engineering Hypertext Functionality into Future Information System, 1998, Kyoto. Proceedings of the Fifth International Workshop on Engineering Hypertext Functionality into Future Information Systems, 1998. |
| 14. | 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. |
| 15. | 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 publicados em anais de congressos |
| 1. | 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. |
| Artigos aceitos para publicação |
| 1. | BRAGA, C. ; MENEZES, R. ; COMICIO, T. ; SANTOS, C. ; ALMEIDA, E. . Transformation contracts in Practice. IEE Proceedings. Software (Cessou em 2006. Cont. ISSN 1751-8806 IET Software (Print)), 2011. |
| Apresentações de Trabalho |
| 1. | BRAGA, C. . Transformation contracts. 2011. (Apresentação de Trabalho/Conferência ou palestra). |
| 2. | BRAGA, C. . On the Specification, Verification and Implementation of Model Transformations with Transformation Contracts. 2011. (Apresentação de Trabalho/Congresso). |
| 3. | BRAGA, C. ; SANTOS, C. . Towards Model-driven Development of Seismic Applications with Transformation Contracts. 2011. (Apresentação de Trabalho/Congresso). |
| 4. | BRAGA, C. . Language-oriented Software Engineering. 2010. (Apresentação de Trabalho/Conferência ou palestra). |
| 5. | BRAGA, C. . Model-driven development from a Programming Language Perspective. 2010. (Apresentação de Trabalho/Simpósio). |
| 6. | BRAGA, C. . A Constructive Semantics for Basic Aspect Constructs. 2009. (Apresentação de Trabalho/Simpósio). |
| 7. | BRAGA, C. ; HAEUSLER, Edward Hermann . Lightweight Analysis of Access Control Models with Description Logic. 2009. (Apresentação de Trabalho/Conferência ou palestra). |
| 8. | BRAGA, C. . From Access Control Policies to an Aspect-Based Infrastructure: A Metamodel-Based Approach. 2008. (Apresentação de Trabalho/Conferência ou palestra). |
| 9. | BRAGA, C. ; HAEUSLER, Edward Hermann . Análise Formal de Sistemas: uma abordagem baseada em linguagens. 2006. (Apresentação de Trabalho/Conferência ou palestra). |
| 10. | BRAGA, C. ; CHALUB, F ; SZTAJNBERG, Alexandre . A Formal Semantics for a QoS Contract Language. 2006. (Apresentação de Trabalho/Conferência ou palestra). |
| 11. | BRAGA, C. . Language-oriented Software Development and Rewriting Logic. 2005. (Apresentação de Trabalho/Comunicação). |
| 12. | BRAGA, C. . Language-oriented Software Development and Rewriting Logic. 2005. (Apresentação de Trabalho/Comunicação). |
| 13. | BRAGA, C. . Tool support for MSOS and CBabel using Maude. 2005. (Apresentação de Trabalho/Comunicação). |
| 14. | BRAGA, C. . Desenvolvimento orientado a linguagens e lógica de reescrita. 2005. (Apresentação de Trabalho/Comunicação). |
| 15. | BRAGA, C. ; SZTAJNBERG, Alexandre . Towards a Rewriting Semantics to a Software Architecture Description Language. 2003. (Apresentação de Trabalho/Simpósio). |
| 16. | BRAGA, C. ; MESEGUER, J. . Modular rewriting semantics of programming languages. 2003. (Apresentação de Trabalho/Outra). |
| 17. | BRAGA, C. ; SZTAJNBERG, Alexandre . FormArch: A Formal Architecture Development Environment using Eclipse. 2003. (Apresentação de Trabalho/Comunicação). |
| 18. | BRAGA, C. . Mapeando MSOS em Lógica de Reescrita. 2002. (Apresentação de Trabalho/Outra). |
| 19. | BRAGA, C. . Um Mapeamento de Semântica Estrutural Modular em Lógica de Reescrita. 2002. (Apresentação de Trabalho/Outra). |
| Demais tipos de produção bibliográfica |
| 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 |
| Softwares sem registro de patente |
| 1. | COMICIO, T. ; BRAGA, C. . SecureUMLToAAC - Transformador de SecureUML para aspectos. 2010. |
| 2. | MENEZES, R. ; BRAGA, C. . UMLToEJB - Transformador de modelos UML para código EJB. 2010. |
| 3. | BRAGA, C. ; CHALUB, F ; SZTAJNBERG, Alexandre . QoS Tool. 2006. |
| 4. | BRAGA, C. ; CHALUB, F . Maude MSOS Tool. 2004. |
| 5. | BRAGA, C. ; RADEMAKER, Alexandre ; SZTAJNBERG, Alexandre . Maude CBabel Tool. 2004. |
| 6. | BRAGA, C. . MSOSSL Interpreter. 2001. |
| 7. | BRAGA, C. . Maude Action Tool. 2000. |
| 8. | BRAGA, C. ; MOREIRA, M. . Dynadoc. 1998. |
| 9. | 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. | FIADEIRO, J. L. ; Braga, Christiano . XV Simpósio Brasileiro de Linguagens de Programação (SBLP 2011). 2011. (Editoração/Anais). |
| 2. | BRAGA, C. . Logic and Semantic Frameworks with Applications (LSFA 2006). 2006. (Editoração/Anais). |
| 3. | BRAGA, C. . VIII Simpósio Brasileiro de Linguagens de Programação (SBLP 2004). 2004. (Editoração/Anais). |
| 4. | 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 examinadoras |
| Dissertações |
| 1. | 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. |
| 2. | 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. |
| 3. | 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. |
| 4. | 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. |
| 5. | 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. |
| 6. | 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. | 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. |
| 2. | 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. |
| 3. | 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. |
| 4. | 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. |
| 5. | 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. |
| 6. | 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. |
| 7. | 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. |
| Trabalhos de Conclusão de Curso de graduação |
| 1. | 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. |
| 2. | 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. | MAIA, M.; BRAGA, C.; PEREIRA, F.. Concurso para Professor Adjunto na Faculdade de Computação da Universidade Federal de Uberlândia. 2010. Universidade Federal de Uberlândia. |
| 2. | 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. |
| 3. | 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. |
| 4. | 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 2nd International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2012). 2012. Institute for Systems and Technologies of Information, Control and Communic. |
| 2. | GHEYI, R.; NAUMANN, D.; BRAGA, C.. Membro do comitê de programa do 15th Brazilian Symposium on Formal Methods (SBMF 2012). 2012. Universidade Federal do Rio Grande do Norte. |
| 3. | 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. |
| 4. | BRAGA, C.. Coordenador do comitê de programa do 15o. Simpósio Brasileiro de Linguagens de Programação (SBLP 2011). 2011. Universidade de São Paulo. |
| 5. | BRAGA, C. Membro do comitê de programa do 2nd. Brazilian Workshop on Model-Driven Development (WB-DSDM 2011). 2011. Universidade de São Paulo. |
| 6. | BRAGA, C. Membro do comitê de programa do 1st International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2011). 2011. |
| 7. | BRAGA, C.. Membro do comitê de programa do 8th International Symposium on Formal Aspects of Component Software (FACS 2011). 2011. University Of Oslo. |
| 8. | BRAGA, C.. Avaliação de artigo para o 11th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012). 2011. Universidade de Valencia. |
| 9. | 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. |
| 10. | BRAGA, C.. Membro do comitê de programa do Simpósio Brasileiro de Linguagens de Programação (SBLP 2010). 2010. Universidade Federal da Bahia. |
| 11. | BRAGA, C. Membro do comitê de programa do Model-Driven Architecture and Modeling Theory-Driven Development (MDA & MTDD 2010). 2010. |
| 12. | BRAGA, C.; HAEUSLER, Edward Hermann. Membro do comitê de programa do Logical and Semantic Frameworks with Applications (LSFA 2010). 2010. Pontifícia Universidade Católica do Rio de Janeiro. |
| 13. | BRAGA, C.; BARBOSA, L.. Membro do comitê de programa do 7th International Workshop on Formal Aspects of Component Software (FACS 2010). 2010. Universidade do Minho. |
| 14. | OLVECZKY, P.; BRAGA, C.. Avaliação de artigo para o Workshop in Rewriting Logic and its Applications (WRLA 2010). 2010. University Of Oslo. |
| 15. | BRAGA, C.. Membro do comitê de programa do 1st. Brazilian Workshop on Model-Driven Development (WB-DSDM 2010). 2010. Universidade Federal da Bahia. |
| 16. | BRAGA, C.. Membro do comitê diretivo (steering committee) do Congresso Brasileiro de Software: Teoria e Prática (CBSOFT 2011). 2010. Universidade de São Paulo. |
| 17. | BRAGA, C.. Membro do comitê diretivo (steering committee) do Congresso Brasileiro de Software: Teoria e Prática (CBSOFT 2012). 2010. Universidade de São Paulo. |
| 18. | BRAGA, C.. Membro do comitê de programa do Model Driven Architecture: Foundations, Practices, and Implications (MDA 2009). 2009. Riga Technical University. |
| 19. | BRAGA, C.. Membro do comitê de programa do Simpósio Brasileiro de Linguagens de Programação (SBLP 2009). 2009. Universidade Católica de Pelotas. |
| 20. | BRAGA, C.. Membro do comitê de programa do 6th International Workshop on Formal Aspects of Component Software (FACS 2009). 2009. |
| 21. | BRAGA, C.. Membro do comitê de programa do 18th International Conference on Software Engineering and Data Engineering (SEDE 2009). 2009. |
| 22. | BRAGA, C.. Membro do comitê de programa do Fourth Workshop on Logical and Semantic Frameworks, with Applications (LSFA2009). 2009. |
| 23. | BRAGA, C.. Membro do comitê de programa do 18th International Workshop on Functional (and Constraint) Logic Programming (WFLP 2009). 2009. |
| 24. | BRAGA, C.. Membro do comitê de programa do Simpósio Brasileiro de Linguagens de Programação (SBLP 2008). 2008. Universidade Federal do Ceará. |
| 25. | 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. |
| 26. | BRAGA, C.. Membro do comitê de programa do Formal Aspects of Component Software (FACS'07). 2007. INRIA - Sophia Antipolis. |
| 27. | BRAGA, C.. Membro do comitê de programa do Logic and Semantic Frameworks with Applications (LSFA'07). 2007. Universidade Federal de Ouro Preto. |
| 28. | BRAGA, C.. Membro do comitê de programa do Simpósio Brasileiro de Linguagens de Programação (SBLP 2007). 2007. Universidade Federal do Rio Grande do Norte. |
| 29. | BRAGA, C.. Membro do comitê de programa do Formal Aspects of Component Software (FACS'06). 2006. United Nations University\International Institute for Software Technology. |
| 30. | BRAGA, C.. Membro do comitê de programa do Logic and Semantic Frameworks with Applications (LSFA'06). 2006. Universidade Federal do Rio Grande do Norte. |
| 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 programa do Simpósio Brasileiro de Linguagens de Programação (SBLP 2006). 2006. Instituto Militar de Engenharia. |
| 33. | BRAGA, C.. Membro do comitê de programa do IX Simpósio Brasieliro de Linguagens de Programação. 2005. Universidade de Pernambuco. |
| 34. | BRAGA, C.. Membro do comitê de programa 2nd International Workshop on Formal Aspects of Component Software . 2005. United Nations University International Institute For Software Technology. |
| 35. | 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. |
| 36. | BRAGA, C.. Avaliação de artigo para 2nd International Workshop on Structural Operational Semantics . 2005. University of Leicester. |
| 37. | BRAGA, C.; HAEUSLER, Edward Hermann; ENDLER, Markus; RODRIGUEZ, Noemi. Banca de proposta de tese de doutorado. 2004. Pontifícia Universidade Católica do Rio de Janeiro. |
| 38. | BRAGA, C.. Membro do comitê de programa do VIII Simpósio Brasileiro de Linguagens de Programação. 2004. Universidade Federal Fluminense. |
| 39. | BRAGA, C.. Avaliação de artigos para o XXIII Simpósio brasileiro de redes de computadores. 2003. Universidade Federal do Rio Grande do Norte. |
| 40. | BRAGA, C.. Membro do comitê de programa do VII Simpósio Brasileiro de Linguagens de Programação. 2003. Pontifícia Universidade Católica de Minas Gerais. |
| 41. | BRAGA, C.. Membro do comitê de programa do VI Simpósio brasileiro de linguagens de programação. 2002. Pontifícia Universidade Católica do Rio de Janeiro. |
| 42. | BRAGA, C.; HAEUSLER, Edward Hermann. Membro do comitê organizador do SBLP 2002. 2002. Pontifícia Universidade Católica do Rio de Janeiro. |
| 43. | BRAGA, C.. Avaliação de trabalho para Conferência Latino-Americana de Informática, CLEI2002. 2002. Centro Latinoamericano de Estudios en Informática. |
| 44. | BRAGA, C.. Avaliação de trabalhos para 11a. Semana de Iniciação Científica da UERJ. 2002. Universidade do Estado do Rio de Janeiro. |
| 45. | BRAGA, C.; HAEUSLER, Edward Hermann; VELOSO, Paulo; BENEVIDES, Mario. Banca de proposta de dissertação de mestrado. 2002. Pontifícia Universidade Católica do Rio de Janeiro. |
| 46. | BRAGA, C.; HAEUSLER, Edward Hermann; VELOSO, Paulo; BENEVIDES, Mario. Banca de proposta de dissertação de mestrado. 2002. Pontifícia Universidade Católica do Rio de Janeiro. |
| 47. | BRAGA, C.. Avaliação de artigo para o V Simpósio brasileiro de linguagens de programação. 2001. Universidade Federal do Paraná. |
| 48. | BRAGA, C.. Avaliação de artigo para o periódico Theoretical Computer Science. 2001. University of Iowa. |
| 49. | 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 |
| 1. | II Brazilian Conference on Software: Theory and Practice (CBSoft 2011). 2011. (Congresso). |
| 2. | XIV Brazilian Symposium on Formal Methods (SBMF'11).On the Specification, Verification and Implementation of Model Transformations with Transformation Contracts. 2011. (Simpósio). |
| 3. | XV Brazilian Symposium on Programming Languages (SBLP 2011). 2011. (Simpósio). |
| 4. | II Brazilian Workshop on Model-driven Development (WB-DSDM'11).Towards Model-driven Development of Seismic Applications with Transformation Contracts. 2011. (Oficina). |
| 5. | I Brazilian Conference on Software: Theory and Practice (CBSoft 2010). 2010. (Congresso). |
| 6. | I Brazilian Workshop on Model-driven Development (WB-DSDM'10).Model-driven development from a programming language perspective. 2010. (Oficina). |
| 7. | UML&FM'09 - Second IEEE International workshop UML and Formal Methods.Lightweight Analysis of Access Control Models with Description Logic. 2009. (Congresso). |
| 8. | Symposium in honor of Peter D. Mosses.A Constructive Semantics for Basic Aspect Constructs. 2009. (Simpósio). |
| 9. | IFIP Working Group 1.3 meeting. 2009. (Encontro). |
| 10. | 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). |
| 11. | MODELS.From Access Control Policies to an Aspect-Based Infrastructure: A Metamodel-Based Approach. 2008. (Congresso). |
| 12. | Structural Operational Semantics.Modular Structural Operational Semantics with Strategies. 2006. (Congresso). |
| 13. | International Workshop on Rewriting Logic and Applications.International Workshop on Rewriting Logic and Applications. 2004. (Congresso). |
| 14. | VIII Simpósio Brasileiro de Linguagens de Programação.VIII Simpósio Brasileiro de Linguagens de Programação. 2004. (Simpósio). |
| 15. | Real-Time Maude Tutorial.Real-Time Maude Tutorial. 2004. (Encontro). |
| 16. | VII Simpósio Brasileiro de Linguagens de Programação.VII Simpósio Brasileiro de Linguagens de Programação. 2003. (Simpósio). |
| 17. | 6o. Workshop de Métodos Formais.6o. Workshop de Métodos Formais. 2003. (Simpósio). |
| 18. | Eclipse Day.Eclipse Day. 2003. (Oficina). |
| 19. | 12th International Workshop on Logic-based Program Development and Transformation.12th International Workshop on Logic-based Program Development and Transformation. 2002. (Congresso). |
| 20. | VI Simpósio Brasileiro de Linguagens de Programação.VI Simpósio Brasileiro de Linguagens de Programação. 2002. (Simpósio). |
| 21. | Semana da Matemática.Semana da Matemática. 2002. (Encontro). |
| 22. | Seminário do Instituto de Computação.Seminário do Instituto de Computação. 2002. (Encontro). |
| 23. | Workshop de Métodos Formais.Workshop de Métodos Formais. 2001. (Simpósio). |
| 24. | AMAST-International Conference on Algebraic Methodology And Software Technology.AMAST-International Conference on Algebraic Methodology And Software Technology. 2000. (Congresso). |
| 25. | IV Simpósio Brasileiro de Linguagens de Programação.IV Simpósio Brasileiro de Linguagens de Programação. 2000. (Simpósio). |
| 26. | I WORKSHOP BRASILEIRO DE METODOS FORMAIS - WMF'98.I WORKSHOP BRASILEIRO DE METODOS FORMAIS - WMF'98. 1998. (Oficina). |
| 27. | XI Simpósio Brasileiro de Engenharia de Software.XI Simpósio Brasileiro de Engenharia de Software. 1997. (Simpósio). |
| Organização de eventos |
| 1. | BRAGA, C. ; RINCON, Maurício Ayala ; HAEUSLER, Edward Hermann . Logical and Semantic Frameworks, with Applications. 2006. (Congresso). |
| 2. | BRAGA, C. ; HAEUSLER, Edward Hermann ; CAFEZEIRO, I. L. ; DIAS, A. I. S. . VIII Simpósio Brasileiro de Linguagens de Programação. 2004. (Congresso). |
| 3. | BRAGA, C. . Real-Time Maude Tutorial. 2004. (Outro). |
| 4. | BRAGA, C. . VI Simpósio brasileiro de linguagens de programação. 2002. (Congresso). |
Orientações
| Orientações em andamento |
| Dissertação de mestrado |
| 1. | Joel André Ferreira dos Santos. Validação de Documentos Hipermídia Baseados na Linguagem NCL 3.0. Início: 2011. Dissertação (Mestrado em Computação) - Universidade Federal Fluminense, Conselho Nacional de Desenvolvimento Científico e Tecnológico. (Co-orientador). |
| Iniciação científica |
| 1. | Lucas Nadalutti. Corretude de Contratos em Transformação de Modelos. Início: 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). |
| 2. | Cassio Santos. Consistência de transformações de modelos. Início: 2011. Iniciação científica (Graduando em Ciência da computação) - Universidade Federal Fluminense. (Orientador). |
| Supervisões e orientações concluídas |
| Dissertação de mestrado |
| 1. | 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. |
| 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. | 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. |
| 4. | 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. |
| Iniciação Científica |
| 1. | 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. |
| 2. | 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. |
| 3. | 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. |
| 4. | 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. |
| 5. | 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. |
| Página gerada pelo Sistema Currículo Lattes em 09/02/2012 às 23:55:34 |