Raimundo José de Araújo Macêdo

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


Formação em Ciência da Computação: Graduação na Universidade Federal da Bahia - UFBA (1982), mestrado na Universidade Estadual de Campinas - UNICAMP (1986) e doutorado na University of Newcastle Upon Tyne, Inglaterra (1994). Realizou missões como pesquisador visitante no IRISA/França (1997, 2000, 2002 e 2011) e como Pesquisador Associado Sênior na Faculdade de Ciências da Universidade de Lisboa (2008). É professor TITULAR do Departamento de Ciência da Computação da Universidade Federal da Bahia desde 2000. Fundador do Laboratório de Sistemas Distribuídos da UFBA (LaSiD). Coordenador da criação do primeiro Doutorado em Ciência da Computação da Bahia, aprovado pela CAPES em 2006, sediado na UFBA, em parceria com a Unifacs e UEFS, sendo seu coordenador nas duas primeiras gestões. Também coordenou a criação do primeiro Mestrado em Ciência da Computação da UFBA (em parceria com a UEFS), em 2009. Co-coordenou a criação do programa de pós-graduação em Mecatrônica da UFBA (2002), sendo seu vice coordenador e coordenador, nas duas primeiras gestões, respectivamente. Fundador da Especialização Avançada em Sistemas Distribuídos da UFBA (1997). Pró-Reitor de Tecnologias da Informação e Comunicação da Universidade Federal do Sul da Bahia (UFSB) de Agosto 2013 a Novembro 2017, período onde foi implantada toda rede digital e sistemas de gestão institucional e acadêmicos da UFSB. Tem coordenado projetos de pesquisa e extensão (CNPq, CAPES, FAPESB, CTIC/RNP, etc.) e orientado teses e dissertações nas áreas de sistemas e algoritmos distribuídos, tolerância a falhas, sistemas de tempo real e segurança. Foi membro de comitê de programa de diversas conferências internacionais e nacionais, nas áreas de confiabilidade, sistemas distribuídos, redes de computadores, sistemas de tempo real, entre outras áreas (IEEE/IFIP DSN, ACM/IFIP MIDDLEWARE, IEEE SRDS, IFIP DAIS, SBRC, SBSeg, LADC, SEMISH, etc.). Presidente da comissão especial de redes e sistemas distribuídos da SBC - Sociedade Brasileira de Computação de 1999 a 2001 e o representante do Brasil no "Latin-American Center for Informatics Studies (CLEI)" de 2011 a 2016. É o representante do Brasil na IFIP - International Federation for Information Processing (General Assembly Member) desde 20/06/13 e membro do Conselho da IFIP (2015 a 2018). É Diretor de Cooperação com Sociedades Científicas da SBC (Sociedade Brasileira de Computação) desde 2011. Antes de ingressar na vida acadêmica, foi Analista de Sistemas do Centro de Processamento de Dados da UFBA, onde coordenou a Divisão de Projetos (1985-1986). (Texto informado pelo autor)


Identificação


Nome
Raimundo José de Araújo Macêdo
Nome em citações bibliográficas
MACÊDO, R. J. de A.;De Araujo Macedo, Raimundo;Macêdo, Raimundo José de Araújo;Macedo, Raimundo Jose;Macêdo, Raimundo;Macêdo, R;DE ARAÚJO MACÊDO, RAIMUNDO JOSÉ;MACEDO, RAIMUNDO JOSE DE A.;MACEDO, RAIMUNDO JOSE DE ARAUJO;DE ARAUJO MACEDO, RAIMUNDO JOSE;DE ARAUIJO MACEDO, R.J.;MACEDO, RAIMUNDO

Endereço


Endereço Profissional
Universidade Federal da Bahia, Instituto de Matemática, Departamento de Ciências da Computação.
LaSiD (Laboratório de Sistemas Distribuídos), Instituto de Matemática, Campus de Ondina, Av Ademar de Barros, s/n
Ondina
40170110 - Salvador, BA - Brasil
Telefone: (71) 32836142
Fax: (71) 32836145
URL da Homepage: http://www.ufba.br/~macedo/


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


1990 - 1994
Doutorado em Ciência da Computação.
Newcastle University, NCL, Inglaterra.
Título: Fault-tolerant Group Communication Protocols for Asynchronous Systems, Ano de obtenção: 1994.
Orientador: Santosh K Shrivastava.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: Distributed Systems; Causal Blocks; Fault Tolerance; Logical Clocks; Multicast Protocols; Ordering Protocols.
Grande área: Ciências Exatas e da Terra
Setores de atividade: Informática.
1983 - 1986
Mestrado em Ciência da Computação.
Universidade Estadual de Campinas, UNICAMP, Brasil.
Título: DESENVOLVIMENTO DE SERVIDORES DE ARQUIVOS PARA CLIENTES DE BAIXO CUSTO,Ano de Obtenção: 1986.
Orientador: CELIO CARDOSO GUIMARAES.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: Redes Locais; Servidores de Arquivos; Sistemas de Arquivos; sistemas distribuídos; Modelo Cliente Servidor.
Grande área: Ciências Exatas e da Terra
Setores de atividade: Informática.
1978 - 1982
Graduação em Ciência da Computação.
Universidade Federal da Bahia, UFBA, Brasil.




Formação Complementar


2014 - 2014
6.00.1x: Introduction to Computer Science and Programming Using Python. (Carga horária: 60h).
MITx The Massachusetts Institute of Technology via EDX, 6.00.1X, Estados Unidos.


Atuação Profissional



Universidade Federal do Sul da Bahia, UFSB, Brasil.
Vínculo institucional

2014 - 2016
Vínculo: , Enquadramento Funcional:


Universidade Federal da Bahia, UFBA, Brasil.
Vínculo institucional

2015 - Atual
Vínculo: , Enquadramento Funcional: coordenador de acordo de cooperação, Carga horária: 1
Outras informações
Coordenador entre acordo de cooperação científica/tecnológica entre a UFBA e a WESTERN University (Canada), na área de computação

Vínculo institucional

2000 - Atual
Vínculo: Servidor Público, Enquadramento Funcional: Professor titular, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações
Aprovado e Classificado em 1o lugar com Distinção para o concurso de professor titular de Eng. de Software do Departamento de Ciência da Computação/UFBA, em Setembro de 1999.

Vínculo institucional

1983 - 1999
Vínculo: Servidor Público, Enquadramento Funcional: Analista de Sistemas, Carga horária: 40
Outras informações
Apesar do meu enquadramento funcional de Analista de Sistemas de 1987 a 1999 atuei como professor/persquisador (sendo pesquisador bolsista do CNPq), tendo inclusive, fundado o Laboratorio de Sistemas Distribuídos (onde sou atual coordenador) e autor do projeto do curso de pos-graduacao lato sensu "Especialização Avançada em Sistemas Distribuidos", curso do sou atual coordenador.

Vínculo institucional

1994 - 1995
Vínculo: Celetista formal, Enquadramento Funcional: Professor Assistente, Carga horária: 20

Vínculo institucional

1987 - 1990
Vínculo: Servidor Público, Enquadramento Funcional: Professor Assistente, Carga horária: 20
Outras informações
Aprovado em 1o Lugar para o Concurso da Disciplina de Sistemas Operacionais - 1989 DCC/IM/UFBA

Vínculo institucional

1980 - 1983
Vínculo: Servidor público ou celetista, Enquadramento Funcional: Programador de Computadores, Carga horária: 40
Outras informações
Programei e desenvolvi sistemas administrativos e de software básico nesse período

Atividades

08/2009 - Atual
Outras atividades técnico-científicas , NIT - Núcleo de Inovação Tecnológida da UFBA, NIT - Núcleo de Inovação Tecnológida da UFBA.

Atividade realizada
Coordenador do Nó TIC (Tecnologia da Informação e Comunicaçpão) do NIT/UFBA.
08/2008 - Atual
Conselhos, Comissões e Consultoria, Reitoria, .

Cargo ou função
Membro da Comisão de Propriedade Intelectual e Trasferência de Tecnologia da UFBA. Portaria 291/07 da Reitoria da UFBA..
03/2008 - Atual
Outras atividades técnico-científicas , Reitoria, Reitoria.

Atividade realizada
Representante da UFBA no programa ?Internships? do INRIA/França..
03/2007 - Atual
Ensino, Doutorado em Ciência da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Fundamentos de Tolerância a Falhas
Sistemas de Tempo Real
Algoritmos e Grafos
10/2004 - Atual
Direção e administração, Instituto de Matemática, .

Cargo ou função
Coordenador do CI-CTI (Centro Inter-disciplinar em Ciência e Tecnologia da Informação) CT-INFRA/FINEP 2004 (Vários laboratórios e salas para professores e estudantes) - Obra em andamento..
03/2003 - Atual
Ensino, Mestrado Em Mecatrônica, Nível: Pós-Graduação

Disciplinas ministradas
fundamentos de sistemas distribuídos
metodologia da pesquisa
fundamentos de tolerância a falhas
sistemas de tempo real
10/2002 - Atual
Conselhos, Comissões e Consultoria, Instituto de Matemática, Instituto de Matemática.

Cargo ou função
Membro da Congregação do Instituto de Matemática.
03/1998 - Atual
Ensino, Especialização Acançada em Sistemas Distribuídos, Nível: Pós-Graduação

Disciplinas ministradas
Metodologia da Pesquisa
Aspectos de Confiabilidade em Sistemas Distribuídos
Fundamentos de Sistemas Distribuídos
Fundamentos de Tolerância a Falhas
5/1997 - Atual
Direção e administração, Instituto de Matemática, Departamento de Ciências da Computação.

Cargo ou função
Coordenador do Curso de Pós-Graduação lato sensu de Caráter Permanente.
5/1995 - Atual
Direção e administração, Instituto de Matemática, Departamento de Ciências da Computação.

Cargo ou função
COORDENADOR DO LABORATORIO DE SISTEMAS DISTRIBUIDOS (LASID).
1/1995 - Atual
Pesquisa e desenvolvimento , Instituto de Matemática, Departamento de Ciências da Computação.

08/2009 - 01/2010
Conselhos, Comissões e Consultoria, Departamento de Ciência da Computação, .

Cargo ou função
Presidente da Comissão para Acompanhar a Execução do Projeto de infra-estrutura da FINEP/FAPESB que prevê a construção de prédio para pesquisa e inovação e reforma do CICTI. Portaria 06/2009 do DCC/IM/UFBA.
08/2009 - 01/2010
Conselhos, Comissões e Consultoria, Departamento de Ciência da Computação, .

Cargo ou função
Presidente da Comissão para Desenvolver uma Proposta de Criação do Curso de Mestrado em Ciência da Computação. Portaria 05/2009 do DCC/IM/UFBA.
09/2006 - 11/2009
Direção e administração, Instituto de Matemática, .

Cargo ou função
Coordenador do Doutorado em Ciência da Computação (parceria da UFBA com a Unifacs e UEFS). Re-eleito para o período de 2008 a 2010..
08/2004 - 11/2009
Conselhos, Comissões e Consultoria, Instituto de Matemática, .

Cargo ou função
Membno da Congregação do Instituto de Matemática da UFBA.
03/2004 - 08/2008
Outras atividades técnico-científicas , Instituto de Matemática da UFBA, Instituto de Matemática da UFBA.

Atividade realizada
Coordenador do Projeto PRO-CC (Pro-Doutorado em Ciência da Computacao). Esse projeto, financiado pela FAPESB, envolve docentes da UFBA, UNIFACS e UEFS e foi o responsável pelo financiamento de várias acoes e criacao de infra-estrutura com vistas a c.
2/2000 - 12/2006
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Sistemas Operacionais; Tótpicos em Sistemas de Computação (Sistemas Distribuídos)
08/1997 - 12/2006
Conselhos, Comissões e Consultoria, Instituto de Matemática, .

Cargo ou função
Representante da UFBA junto ao LARC - Laboratório Nacional de Redes de Computadores.
7/2004 - 09/2006
Direção e administração, Instituto de Matemática, Departamento de Ciências da Computação.

Cargo ou função
Coordenador de programa de pós-graduação em Mecatrônica (Inst Mat e Escola Politécnica) - Mestrado Acadêmico.
1/2001 - 10/2004
Conselhos, Comissões e Consultoria, Instituto de Matemática, Departamento de Ciências da Computação.

Cargo ou função
Membro de conselho superior de Pesquisa e Pós-graduação da UFBA (SUPLENTE).
9/2002 - 7/2004
Direção e administração, Instituto de Matemática, Departamento de Ciências da Computação.

Cargo ou função
vice-coordenador do Mestrado Acadêmico em Mecatrônica.
10/1994 - 12/1995
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
ESTRUTURAS DE ARQUIVOS // TOPICOS EM SISTEMAS DE COMPUTACAO : SIST. DISTRIBUIDOS
03/1987 - 12/1990
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
estruturas de arquivos
5/1985 - 3/1987
Direção e administração, Instituto de Matemática, Departamento de Ciências da Computação.

Cargo ou função
Chefe da Divisão de Projetos do Centro de Processamentos de Dados (a divisão de projetos contava com vários grupos de analistas de sistemas e programadores para os vários projetos desenvolvidos e mantidos pelo CPD).

Universidade Federal do Sul da Bahia, UFSB, Brasil.
Vínculo institucional

2013 - Atual
Vínculo: Servidor Público, Enquadramento Funcional: Pró Reitor de Tecnolog de Inf. e Comunicação, Carga horária: 40
Outras informações
pro tempore

Vínculo institucional

2013 - Atual
Vínculo: Servidor Público, Enquadramento Funcional: Professor titular, Carga horária: 10
Outras informações
COORDENADOR DO COMPONENTE CURRICULAR INTRODUÇÃO AO RACIOCÍNIO COMPUTACIONAL, OFERECIDA A TODOS OS ESTUDANTES DA UFSB - ELABORAÇÃO DE EMENTA - COORDENAÇÃO DE PREPARAÇÃO DE ROTEIRO DETALHADOS PARA TODAS AS AULAS - PREPARAÇÃO DE ALGUNS VÍDEOS https://www.youtube.com/watch?v=8wwpj0UupaQ

Atividades

07/2014 - Atual
Ensino, Bacharelato Interdisciplinas, Nível: Graduação

Disciplinas ministradas
Introdução ao Raciocínio Computacional
07/2013 - Atual
Direção e administração, Pró-reitoria de Tecnologias da Informação e Comunicação - Protic, .

Cargo ou função
Pró-Reitor Tecnologias da Informação e Comunicação.

International Federation For Information Processing, IFIP, Suiça.
Vínculo institucional

2015 - Atual
Vínculo: Voluntário, Enquadramento Funcional: Membro do Conselho, Carga horária: 2
Outras informações
Eleito na Aasembleia Geral da IFIP. Mandato: 2015 a 2018

Vínculo institucional

2013 - Atual
Vínculo: Vonluntário, Enquadramento Funcional: Representante do Brasil na IFIP - Assembleia, Carga horária: 2


Sociedade Brasileira de Computação - Porto Alegre, SBC, Brasil.
Vínculo institucional

2013 - Atual
Vínculo: Voluntário - Assoc. Científica, Enquadramento Funcional: Representante Brasileiro na IFIP, Carga horária: 4
Outras informações
Represntante Brasileiro da IFIP - International Federation for Information Processing. Membro da Assembleia Geral da IFIP

Vínculo institucional

2012 - Atual
Vínculo: Colaborador, Enquadramento Funcional: Membro do Conselho da CE-ESC, Carga horária: 4
Outras informações
Membro do Conselho da Comissão Especial de Engenharia de Sistemas Computacionais e Sistemas Embarcados e de Tempo Real

Vínculo institucional

2011 - Atual
Vínculo: Vinculo Voluntário, Enquadramento Funcional: DIRETOR de Cooperação com Soc. Científicas, Carga horária: 8
Outras informações
http://www.sbc.org.br/

Vínculo institucional

2011 - Atual
Vínculo: Voluntário, Enquadramento Funcional: Representante Brasileiro no CLEI, Carga horária: 4
Outras informações
Representante da SBC e do BRASIL no CLEI (http://www.clei.org/) - Centro Latino Americano de Estudos Informáticos

Vínculo institucional

2004 - 2005
Vínculo: Vínculo Voluntário, Enquadramento Funcional: Membro de Comitê Gestor, Carga horária: 4
Outras informações
Membro do Comitê Gestor de Organização do Congresso da SBC

Vínculo institucional

2003 - 2004
Vínculo: Colaborador, Enquadramento Funcional: Coordenador Geral do Congresso da SBC, Carga horária: 10

Vínculo institucional

2001 - 2003
Vínculo: Vínculo Voluntário, Enquadramento Funcional: Membro de Comitê Gestor, Carga horária: 4
Outras informações
Membro do Comitê Gestor da Comissão Especial de Redes e Sistemas Distribuídos da SBC

Vínculo institucional

1999 - 2001
Vínculo: Vínculo Voluntário, Enquadramento Funcional: Presidende de Comissão Especial, Carga horária: 8
Outras informações
Presidende da Comissão Especial de Redes e Sistemas Distribuídos da SBC


Faculdade de Ciências da Universidade de Lisboa, FCUL, Portugal.
Vínculo institucional

2008 - 2008
Vínculo: Professor vistante, Enquadramento Funcional: Pesquisador Associado Sênior, Carga horária: 40, Regime: Dedicação exclusiva.


Université de Rennes I, RENNES 1, França.
Vínculo institucional

2002 - 2002
Vínculo: pesquisador visitante, Enquadramento Funcional: pesquisador visitante, Carga horária: 40
Outras informações
Visita financiada pelo INRIA e CNPq, através de projeto de cooperação internacional

Vínculo institucional

2001 - 2001
Vínculo: Professor Visitante, Enquadramento Funcional: Pesquisador Visitante, Carga horária: 40

Vínculo institucional

1997 - 1997
Vínculo: Professor vistante, Enquadramento Funcional: Pesquisador Visitante, Carga horária: 40
Outras informações
Pesquisador Visitanteno grupo ADP do IRISA, pesquisa sobre tolerancia a falhas em sistemas distribuidos

Atividades

04/1997 - Atual
Pesquisa e desenvolvimento , IRISA, .


Universidade Católica do Salvador, UCSAL, Brasil.
Vínculo institucional

1985 - 1986
Vínculo: Celetista formal, Enquadramento Funcional: Professor Assistente, Carga horária: 10

Atividades

3/1985 - 12/1985
Ensino, Engenharia Civil, Nível: Graduação

Disciplinas ministradas
Introdução a Ciênicia da Computação

Fundação de Amparo à Pesquisa do Estado da Bahia, FAPESB, Brasil.
Vínculo institucional

2009 - 2011
Vínculo: Colaborador, Enquadramento Funcional: Membro da Câmara de Assessoramento
Outras informações
Membro da Camara de Assessoramento das Engenharias e Computação

Vínculo institucional

2004 - 2005
Vínculo: Voluntário, Enquadramento Funcional: Membro da Câmara de Assessoramento, Carga horária: 4

Atividades

11/2009 - 02/2011
Conselhos, Comissões e Consultoria, Câmara de Assessoramento das Engenharias e Computação, .

Cargo ou função
Membro da Câmara de Assessoramento das Engenharias e Computação.
03/2004 - 02/2005
Conselhos, Comissões e Consultoria, Câmara de Assessoramento da Computação, .

Cargo ou função
Membro da Camara de Assessoramento Computação.


Linhas de pesquisa


1.
Sistemas Distribuídos

Objetivo: Essa linha se preocupa com os apectos de modelos de programação e implementação para sistemas distribuídos..
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Software Básico.
Setores de atividade: Educação.
Palavras-chave: transações distribuídas; tolerância a intrusão; tolerancia a falhas; Tendências e Desafios em Computação Distribuída; sistemas autonômicos; Quality of Service.
2.
Sistemas de Tempo Real

Objetivo: Desenvolvimento de Arquiteturas e Algoritmos para Sistemas de Tempo Real. Um aspecto de intresse especial são sistemas de tempo real hibridos e arquiteturas auto-adaptáveis (autonômica). Também tenho interesse em aplicações industriais de tempo real, em especial as relacionadas com controle e supervisão..
Grande área: Ciências Exatas e da Terra
Grande Área: Engenharias.
Setores de atividade: Educação.
Palavras-chave: sistemas de tempo real; Sistemas de Controle de Tempo Real.
3.
Tolerância a Falhas

Objetivo: Mecanismos de tolerância a falhas: algoritmos, arquiteturas e modelos. Inclui detecção e recuperação de erros, redudancia espacial e temporal, mecanismos autonomos de tolerância a falhas, entre outros aspectos..
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Software Básico.
Setores de atividade: Educação.
Palavras-chave: Detectores de Defeitos; Detecção de Intrusão; tolerância a falhas; transações distribuídas.
4.
Algoritmos Distribuídos

Objetivo: Desenvolvimento de Modelos e Algoritmos Distribuídos, notadamente aqueles relacionados a confiabilidade em sistemas distribuídos (consenso, difusão atomica, membership, etc.). Em particular, tenho investigado as possibilidades e impossibilidades de resolução do problema de consenso distribuído em modelos hibridos e dunâmicos..
Grande área: Ciências Exatas e da Terra
Setores de atividade: Educação.
Palavras-chave: algorimos distribuídos; consenso bizantino; consensus; Detectores de Defeitos.
5.
O problema de consenso distribuído

Objetivo: Nessa linha investigamos uma série de otimizações para o problema de consenso distribuídos, incluíndo adaptações a sistemas móveis, framework para a geração de soluções de consenso, estudos relativos a alternativas mais eficientes para o consenso, etc..
Grande área: Ciências Exatas e da Terra
Setores de atividade: Educação.
Palavras-chave: algorimos distribuídos.


Projetos de pesquisa


2016 - Atual
INNOVATION, TECHNOLOGY AND EQUITY IN HEALTH - INTEQ-Health
Descrição: SUB-PROJETO Laboratório de Tecnologias Digitais na Formação em Saúde - LaTeS EQUIPE: Coordenador Raimundo José de Araújo Macêdo, UFBA/UFSB [lattes: http://lattes.cnpq.br/9840346055970503] [URL: www.macedo.ufba.br] Demais membros Alirio Santos Sá, UFBA/UFSB [http://lattes.cnpq.br/8529510757160217] David Cavallo, UFSB [professor titular visitante] [http://www.lasid.ufba.br/public/DavidCavalloCVJanuary2014-pt-br.pdf] Sérgio Gorender, UFBA/UFSB [http://lattes.cnpq.br/8771587306163921] 1. Objetivos O projeto LaTeS irá explorar a relação entre as Tecnologias de Informação e Comunicação (TICs) e a formação em saúde, em dois sentidos. De um lado, as TICs são utilizadas como instrumentos de ensino-aprendizagem, visando a melhor qualidade, através de ambientes virtuais de aprendizagem, e o maior alcance geográfico através da interação remota via redes de computadores. De outro lado, o projeto disporá de meios para preparar estudantes para a fluência tecnológica cada vez mais necessária na prática do profissional de saúde..
Situação: Em andamento; Natureza: Pesquisa.
2015 - Atual
Cooperação Sociedade Brasileira de Computação (SBC) e International Federation for Information Processing (IFIP
Descrição: Apoio à Cooperação entre a Sociedade Brasileira de Computação (SBC) e International Federation for Information Processing (IFIP.
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Raimundo José de Araújo Macêdo - Coordenador.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2015 - Atual
INFRAESTRUTURA TECNOLÓGICA PARA CIDADES INTELIGENTES APLICADAS À SAÚDE
Descrição: Título do Projeto: INFRAESTRUTURA TECNOLÓGICA PARA CIDADES INTELIGENTES APLICADAS À SAÚDE Palavras Chaves
: cidades inteligentes / sistemas ciber-físicos / internet das coisas / e-health Resumo do Projeto Selecionado no EDITAL FAPESB TIC 013/2015 Valor aprovado: CR$ 952.400,00 Equipe: Alguns não puderam ser cadastrados na submissão, mas foram convidados e serão da equipe - marcados com * na lista abaixo Coordenação: Raimundo José de Araújo Macêdo UFSB Alírio Santos de Sá (computação) Antônio José Costa Cardoso * (saúde) Bilzã Marques de Araújo * (computação) Jane Mary de Medeiros (saúde) Naomar Monteiro de Almeida Filho (saúde) Raimundo José de Araújo Macêdo (computação) Sérgio Gorender (computação) UFBA Aline Santos Andrade * (computação) Flávio Morais de Assis Silva (computação) Paul Denis Etienne Regnier (computação) IFBA Allan Edgard Silva (computação) Handerson Jorge Dourado Leite (eletrônica) Sandro Santos Andrade (computação Western University, Canada Miriam Akemi Manabe Capretz (computação) University of Luxemboug, Luxemboug \ Paulo Esteves Veríssimo * (computação) Resumo: Esta proposta de pesquisa tem como objetivo geral o projeto, implementação e avaliação de uma infraestrutura de comunicação e computação que suporte de forma escalável, interoperável e confiável a execução de sistemas distribuídos voltados para assistência à saúde, dentro das caracteristicas encontradas nos sistemas ciberfísicos e Internet das Coisas. A pesquisa aborda questões relevantes relacionadas à infraestrutura de tais sistemas, identificando os desafios introduzidos pelo uso destas tecnologias em sistemas de e-health (asistência à saúde) e apresentando propostas de soluções efetivas que viabilizam um avanço no estado-da-arte nesta área. Em particular, aborda-se questões fundamentais como garantias temporais em redes de comunicação sem fio, roteamento e agregação de dados de sensores, integração de dispositivos e sistemas distribuídos (middleware), modelos e mecanismos de coordenação distribuída e mecanismos inteligentes para ajuda a diagnósticos coletivos e individuais. Do ponto de vista científico/tecnológico, os desafios estão dentro do contexto da Internet das Coisas e dos Sistemas Ciberfísicos. O projeto desses sistemas distribuídos complexos e de larga escala ainda é um problema em aberto. Nos Sistemas Ciberfísicos, dispositivos embarcados (e.g., sensores e atuadores) e computadores de proposito geral estão interligados em rede formando uma nova família de sistemas automatizados, para a qual a computação e os processos do mundo físico interagem e se influenciam mutuamente. Em particular, em Sistemas Médicos CiberFísicos, redes de bio-sensores podem ser usados para monitorar dados clínicos dos pacientes, estes dados são coletados por um sistema de assistência à saúde (healthcare), o qual executam algoritmos de análise e diagnósticos sobre os dados coletados, podendo gerar ações de forma automática (atuadores) ou alerdando o sistema de saúde (médicos, hospitais, etc) Para avaliação da infra-estrutura desenvolvida neste projeto, serão desenvolvidas duas aplicações protótipos. A primeira aplicação terá foco no monitoramento de comunidades remotas, como aldeias indígenas e comunidades quilombolas, em uma perspectiva de saúde coletiva. Será baseada no desenvolvimento de diferentes agentes de software que irão executar em sensores e dispositivos computacionais heterogêneos, para a coleta e análise de dados. Este monitoramento permitirá acompanhar as condições ambientais, de higiene, alimentação, saúde, tanto em indivíduos como na coletividade. A segunda aplicação terá o foco no monitoramento remoto de pessoas idosas, com dificuldade de locomoção ou com doenças crônicas. Serão considerados o uso de sensores "vestíveis" (weareable sensors), em comunicação com computadores localizados no domicílio, par.
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (10) / Especialização: (0) / Mestrado acadêmico: (10) / Doutorado: (5) .
Integrantes: Raimundo José de Araújo Macêdo - Coordenador / Sandro Santos Andrade - Integrante / Alírio Santos de Sá - Integrante / Gorender, Sergio - Integrante / FREITAS, ALLAN EDGARD SILVA - Integrante / Naomar Monteiro de Almeida Filho - Integrante.Financiador(es): Fundação de Amparo à Pesquisa do Estado da Bahia - Auxílio financeiro.
2014 - Atual
NextSAUDE - NUCLEOS DE EXCELÊNCIA EM INTEROPERABILIDADE SEMÂNTICA DE SISTEMAS DE SAÚDE
Descrição: NextSAUDE é um projeto a ser implantado no IFCE Aracati constituído de Núcleos de Excelência em Interoperabilidade Semântica de Sistemas de Saúde, envolvendo universidades e centros renomados de pesquisa, desenvolvimento e inovação nacionais (IFCE, FIOCRUZ-Ce, UFES, UESPI, UFPB, UFPE, UFC, UFBA, PUC-Rio). O objetivo do NextSAUDE é desenvolver soluções especializadas e gerar inovações tecnológicas de interoperabilidade para o Sistema Único Saúde (SUS), no contexto da construção do Barramento de Serviços (tecnologia SOA) de Saúde e da estratégia de interoperabilidade do Sistema Cartão Nacional de Saúde, com a interveniência do DATASUS, adaptado às necessidades do Ministério da Saúde . Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (8) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (2) / Doutorado: (1) . Coordenador: - Coordenador / Césao Olavo de Moura Filho Financiador: Fundação Cearense de Apoio ao Desenvolvimento Científico e Tecnológico - Auxílio financeiro. A participação da UFBA envolve aspectos de Tolerância a Falhas? Os estudantes envolvidos são das outras instituições.
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (8) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (2) / Doutorado: (1) .
Integrantes: Raimundo José de Araújo Macêdo - Integrante / Antônio Mauro Barbosa de Oliveira - Coordenador / Cesar Olavo - Integrante.
2010 - 2014
Dependable Mechanisms for Dynamic Networks
Descrição: Edital CNPq No 015/2009 - Convênios Bilaterais de Cooperação Internacional CNPq/INRIA Período: Maio 2010 - Julho 2014 Universidades Envolvidas: UFBA - Universidade Federal da Bahia LIP6 - Laboratoire D'Informatique de Paris 6 USP - Universidade de São Paulo Rennes 2 - Universite Rennes 2 - INRIA-IRISA/Rennes Coordenador Brasileiro: Raimundo José de Araéjo Macêdo, UFBA Coordenador Francês: Achour Mostefaoui, INRIA-IRISA/Rennes Equipe do Projeto: ? Prof. Raimundo Macêdo (LaSiD/UFBA) ? Prof. Achour Moustefaoui (coordenador francês) ? Prof. Michel Raynal (INRIA-IRISA/Rennes, France) ? Prof. Pierre Sens (Projet Regal (INRIA/LIP6), Paris, France) ? Prof. Adjunto Sergio Gorender (LaSiD/UFBA, Salvador, Brazil) ? Prof. Assistente Luciana Arantes (Projet Regal(INRIA/LIP6), Paris, France) ? Prof. Assistente Gael Thomas (Projet Regal (INRIA/LIP6), Paris, France) ? Prof. Assistente Julien Sopena (Projet Regal (INRIA/LIP6), Paris, France) ? Prof. Associado Alfredo Goldman (IME-USP, Sao Paulo, Brazil) ? Allan Freitas (doutorando, LaSiD/UFBA, Salvador, Brazil) ? Alirio Sá (doutorando, LaSiD/UFBA, Salvador, Brazil) ? Sandro Andrade (doutorando, LaSiD/UFBA, Salvador, Brazil) ? Damien Imbs (doutorando, INRIA-IRISA/Rennes) ? Paulo Floriano (mestrando, IME-USP, Sao Paulo, Brazil) ? Marcio Vinicius dos Santos (mestrando, IME-USP, Sao Paulo, Brazil) Resumo: Este projeto trata da investigação dos desafios de confiabilidade ("dependability") advindos dos chamados sistemas distribuídos dinâmicos característicos das novas tecnologias de redes de computadores, tais como redes móveis ad-hoc (MANET), redes veiculares ad-hoc (VANET), "Worldwide Interoperability for Microwave Access" (WiMax), "Airborn Networks", "DoD Global Information Grid", "peer-to-peer" (P2P) etc. As aplicações típicas desse tipo de rede têm uma característica em comum: são altamente dinâmicas em suas composições - em termos de membros participantes e recursos disponíveis em da.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (5) / Mestrado profissional: (0) / Doutorado: (5) .
Integrantes: Raimundo José de Araújo Macêdo - Coordenador / Michel Raynal - Integrante / Achour Mosteafaoui - Integrante / Sérgio Gorender - Integrante / Sandro Santos Andrade - Integrante / Alírio Santos de Sá - Integrante / Allan Edgard Silva Freitas - Integrante / Pierre Sens - Integrante / Alfredo Goldman - Integrante / Luciana Arantes - Integrante / Gael Thomas - Integrante / Julien Sopena - Integrante / Damien Imbs - Integrante / Marcio Vinicius dos Santos - Integrante / Université Paris 6 - Integrante.Financiador(es): Institut National de Recherche en Informatique et en Automatique - Siège - Auxílio financeiro / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
Número de produções C, T & A: 1 / Número de orientações: 5
2010 - 2014
JiT Clouds: increasing the elasticity of cloud computing providers through federation of amortized computing resources
Descrição: Cloud computing allows IT provision as an on-demand service. Among the several benefits this new paradigm provides, the elasticity (the user's ability to increase or decrease the capacity of his IT infrastructure without additional costs) is the most important characteristic, as it transfers to the service provider all risks and costs associated with IT's capacity planning. The "state-of-practice" on IT provision as a service (IaaS) imposes a limit to this elasticity, as the service provides must keep its operating costs at an acceptable value while ensuring a highly availability of services. As a consequence, the number of applications that can benefit from this paradigm is restricted. In this project, we investigate an alternative approach for IaaS deployment, in which ownership costs only incur when the resources needed to sustain the infrastructure are demanded by clients; thus allowing an increase of several orders of magnitude in the limit that must be imposed to the clients. Besides these issues, the coupling with other cloud computing levels will be also considered. Financial Support: MCT/CTIC/RNP - Cloud Computing Members: Coordinators -- Dr. Francisco Vilar Brasileiro (UFCG) and Dr. Philippe Olivier Alexandre Navaux (UFRGS); Researchers at UFBA -- Dr. Raimundo José Araújo de Macêdo (local coordinator), Dr. Marcos E. Barreto, Dr. Alírio S. Sá; PhD student at UFBA -- Allan Edgard S. Freitas; Undergraduate students at UFBA -- Marivaldo Júnior, Vinícius Santos Partners institutions: UFCG, UFRGS, UFBA, CESAR, IFPB, LNCC, PUC-PR, PUC-RJ, UFPB, UFPE, UFSC, UFSCAR, UNICAMP, UNIFOR, UNISINOS, Universidade do Minho (Portugal) e Cambridge University.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (5) / Mestrado acadêmico: (2) / Doutorado: (1) .
Integrantes: Raimundo José de Araújo Macêdo - Coordenador / Alírio Santos de Sá - Integrante / Marcos Ennes Barreto - Integrante.
2010 - 2014
Mecanismos de Suporte à Dependabilidade para Ambientes de Computação em Nuvem
Descrição: Computação em nuvem é um modelo de computação distribuída em que recursos computacionais podem ser acessados sobre demanda através da Internet. Para tanto, uma coleção de computadores trabalham de forma coordenada, de modo a passar para o usuário a visão de um único computador altamente disponível. Tal paradigma vem se tornando uma solução promissora, permitindo grande economia para corporações e indivíduos, que passam a pagar apenas pelos serviços utilizados ao invés de toda a infraestrutura de TI. Para assegurar que o ambiente de computação em nuvem forneça o serviço de forma correta e com alta disponibilidade, em especial em configurações de alta escala, os mecanismos de coordenação subjacentes têm que dinamicamente reconfigurar o ambiente em função de falhas e/ou disponibilidade de recursos, de forma a garantir a qualidade de serviço especificada em acordos previamente firmados (SLA). Para tanto, mecanismos de dependabilidade (dependability) precisam ser disponibilizados, idealmente dotados de habilidades de auto-gestão, uma vez que o dinamismo natural da nuvem inviabiliza a parada do sistema para reconfigurações manuais. O presente projeto objetiva investigar tais mecanismos de dependabilidade dentro de uma abordagem autonômica, aproveitando a experiência prévia dos parceiros nessas áreas de pesquisa..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (2) .
Integrantes: Raimundo José de Araújo Macêdo - Coordenador / Marcos Ennes Barreto - Integrante / Carlos Alberto Maziero - Integrante / Rui Carlos Oliveira - Integrante.
Número de produções C, T & A: 2 / Número de orientações: 3
2010 - 2013
Sistemas Distribuídos Híbridos, Confiáveis e Auto-Adaptáveis: Modelos e Plataformas
Descrição: São três projetos aprovados no CNPq que compoem esse projeto. 1)Projeto Individual - Bolsa de Produtividade do CNPq - 2010 2013 2) Editaol Universal - 2010-2010 3) 1 bolsa de mestrado no País Edital MCT/CNPq nº 70/2009 - 2010 -2012 A utilização de sistemas distribuídos têm crescido proporcionalmente à evolução e ao uso das redes de computadores. Nesse contexto, as aplicações distribuídas têm se tornado progressivamente mais complexas. Os sistemas passam a usar recursos mais complexos, exigindo maior velocidade nos mecanismos de execução e também maior disponibilidade e confiabilidade no uso desses serviços. Portanto, a busca por sistemas distribuídos cada vez mais confiáveis, tendo em vista esses novos ambientes, é um grande desafio que se apresenta para a comunidade científica. Tal desafio foi devidamente abraçado pela Sociedade Brasileira de Computação (SBC), ao lançar um documento com o título "Grandes Desafios da Pesquisa em Computação no Brasil - 2006/2016". O presente projeto de pesquisa representa um esforço na busca de modelos (algoritmos e provas de correção) e plataformas (soluções de middleware e frameworks) para a construção de sistemas distribuídos confiáveis e adaptáveis. O seu desenvolvimento dar-se-á através da realização de quatro Teses de Doutorado em Ciência da Computação (DMCC/UFBA/Unifacs/UEFS), cinco Dissertações de Mestrado em Mecatrônica (um curso multidisciplinar da UFBA - parceria entre Ciência da Computação e Engenharias) e dois trabalhos de Iniciação Científica de graduandos em Ciência da Computação (CNPq/FAPESB). Em suma, através desse projeto formar-se-á uma rede de colaboração ampla, envolvendo universidades brasileiras e uma estrangeira..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (6) / Mestrado profissional: (0) / Doutorado: (5) .
Integrantes: Raimundo José de Araújo Macêdo - Coordenador.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
Número de produções C, T & A: 7 / Número de orientações: 7
2010 - 2012
Verificação de Sistemas de Tempo Real Tolerantes a falhas através de Injeção de Falhas
Descrição: Os sistemas computacionais, em especial os sistema de tempo real, estão cada vez mais sendo utilizados no dia a dia da sociedade, estando presentes nos mais diversos tipos de situações. Em decorrência disto, sua importância também aumenta de maneira acelerada. À medida que estes sistemas passam a ser mais presentes e necessários, seus requisitos e características passam também a crescer em complexidade. Neste contexto, sua utilização passa a ser determinante na proteção de investimentos financeiros e vidas humanas, fazendo com que a validação de atributos como confiabilidade, disponibilidade, segurança e integridade torne-se uma etapa essencial do processo de desenvolvimento das aplicações relacionadas. Além de extremamente importante, a validação de sistemas computacionais tolerantes a falhas também se configura como uma tarefa difícil de ser realizada, já que, quanto maior a complexidade dos sistemas, mais complexos devem ser os mecanismos para validá-los. A Injeção de Falhas possui um papel fundamental neste processo, pois fornece meios para se validar experimentalmente a confiança no funcionamento (dependability) de sistemas e, consequentemente, a qualidade dos mesmos. Através da injeção de falhas em sistemas computacionais, torna-se possível acelerar a realização dos testes, permitindo que os mecanismos de tolerância a falhas implementados sejam executados, observados e analisados. É importante ressaltar que este tipo de abordagem é complementar a outros tipos de validação e mecanismos de garantia da qualidade, tais como utilização de verificação formal, inspeções de código, uso de processos de qualidade e os demais processos da engenharia de software em geral. No que tange aos processos de desenvolvimento de software, a Engenharia de Software Baseada em Componentes (ESBC) tem se mostrado um elemento facilitador para o aumento da qualidade e flexibilidade dos sistemas computacionais, em virtude dos seus mecanismos de configuração e reuti.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Raimundo José de Araújo Macêdo - Coordenador / Rita Suzana Pitangueira Maciel - Integrante / LUDMILLA PALMEIRA ANDRADE - Integrante.Financiador(es): Fundação de Amparo à Pesquisa do Estado da Bahia - Bolsa.
2007 - 2010
Sistemas Distribuídos Confiáveis e Adaptáveis: uma abordagem autonômica
Descrição: Projeto financiado pela FAPESB (EDITAL 005/2007 - APOIO A PROJETOS DE PESQUISA ? Projeto número 8951) Resumo: A utilização de sistemas distribuídos têm crescido proporcionalmente à evolução e ao uso das redes de computadores. Nesse contexto, as aplicações distribuídas têm se tornado progressivamente mais complexas. Os sistemas passam a usar recursos mais complexos, exigindo maior velocidade nos mecanismos de execução e também maior disponibilidade e confiabilidade no uso desses serviços. Portanto, a busca por sistemas distribuídos cada vez mais confiáveis, tendo em vista esses novos ambientes, é um grande desafio que se apresenta para a comunidade científica. Tal desafio foi devidamente abraçado pela Sociedade Brasileira de Computação (SBC), ao lançar um documento com o título "Grandes Desafios da Pesquisa em Computação no Brasil - 2006/2016". O projeto de pesquisa, ora submetido, representa um esforço inovador na busca de modelos (algoritmos e provas de correção) e plataformas (soluções de middleware e frameworks) para a construção de sistemas distribuídos confiáveis e adaptáveis. O seu desenvolvimento dar-se-á através da realização de quatro Teses de Doutorado em Ciência da Computação (DMCC/UFBA/Unifacs/UEFS), cinco Dissertações de Mestrado em Mecatrônica (um curso multidisciplinar da UFBA - parceria entre Ciência da Computação e Engenharias) e dois trabalhos de Iniciação Científica de graduandos em Ciência da Computação (CNPq/FAPESB). Em suma, através desse projeto formar-se-á uma rede de colaboração ampla, envolvendo universidades brasileiras e uma estrangeira..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (5) / Doutorado: (4) .
Integrantes: Raimundo José de Araújo Macêdo - Coordenador / George M de A Lima - Integrante / Sérgio Gorender - Integrante / Luciano Porto Barreto - Integrante / Flavio Assis Silva - Integrante / Jean Marie Farines - Integrante / Daniela Berreiro Claro - Integrante.Financiador(es): Fundação de Amparo à Pesquisa do Estado da Bahia - Auxílio financeiro.
Número de produções C, T & A: 30 / Número de orientações: 7
2006 - 2010
Cooperação Acadêmica em Automação e Sistemas de Tempo Real
Descrição: Título: Rede Acadêmica em Automação e Sistemas de Tempo Real (AST) - PROCAD/CAPES Área de Atuação: Automação e Sistemas Computacionais para Mecatrônica Coordenador Geral: Prof. Raimundo Macêdo **** Duração Prevista: 24 meses **** Data de início: 03/2006 **** 1.1. Identificação das Equipes Equipe 1: Programa de Pós Graduação em Engenharia Elétrica (PPGEEL/UFSC) Coordenador Equipe 1: Professor Jean-Marie Faries Professores participantes: ? Jean-Marie Farines ? Rômulo da Silva Oliveira ? Leandro Buss Becker ? Carlos Montez ? Marcelo Stemmer ? Eduardo Camponogara. **** Equipe 2: Programa de Pós-graduação em Mecatrônica (PPGM/UFBA) Coordenador Equipe 2: Professor Raimundo José de Araújo Macêdo Professores participantes: ? Raimundo José de Araújo Macêdo (Coordenador da equipe 2 e do projeto) ? George Marconi de Araújo Lima ? Luciano Porto Barreto ? Flávio Morais de Assis Silva ? Aline dos Santos Andrade ? Leizer Schnitman 2. Justificativa A principal justificativa para o presente projeto é a forte confluência de interesses acadêmicos entre os dois programas de pós-graduação, no que toca as atividades de pesquisa e formação na área de Automação e Sistemas de Tempo-real, possibilitando, dessa forma, a exploração de pesquisas e orientações conjuntas - com vistas à consolidação do Programa de Pós-Graduação em Mecatrônica da UFBA. Um fato que merece destaque e que retrata a grande convergência de interesses é a participação conjunta dos proponentes deste projeto nos comitês de programa e organização dos dois principais eventos científicos brasileiros voltados para sistemas de automação confiáveis e sistemas de tempo real ? que são constituídos por.
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (5) Doutorado: (3) .
Integrantes: Raimundo José de Araújo Macêdo - Coordenador / George M de A Lima - Integrante / Flávio Morais de Assis Silva - Integrante / Aline Andrade - Integrante / Joni da Silva Fraga - Integrante / Sandro Santos Andrade - Integrante / Alírio Santos de Sá - Integrante / Luciano Porto Barreto - Integrante / Rômulo Silva de Oliveira - Integrante / Jean Marie Farines - Integrante.Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Cooperação.Número de orientações: 2
2004 - 2008
Modelo Hibrido e Adaptativo Para Computação Distribuída Confiável
Descrição: Sistemas distribuídos são caracterizados por computações realizadas em sítios distintos, onde a sincronização e troca de informações entre os processos envolvidos ocorrem por troca de mensagens. Aplicações nesse contexto, cada vez mais presentes no cotidiano moderno, vão desde páginas HTML na WEB, até sistemas de controle de manufatura distribuídos. Com tanta onipresença e diversidade de tecnologias de implementação (tipos redes de comunicação, processadores, meios de armazenamento, etc.), é imperativa a busca por sistemas distribuídos cada vez mais confiáveis, sem os quais grandes prejuízos e catástrofes se tornariam inevitáveis. O presente projeto representa um esforço inovador na busca de modelos (algoritmos e provas de correção) para a construção de sistemas distribuídos confiáveis e adaptáveis e reflete o amadurecimento do grupo de pesquisa (LaSiD - Laboratório de Sistemas Distribuídos), ao longo de seus 10 anos de existência. Além do coordenador deste projeto, mais cinco doutores pesquisadores do LaSiD, alunos do Mestrado em Mecatrônica da e do Bacharelado em Ciência da Computação da UFBA participarão do esforço - que também inclui cooperadores de instituições estrangeiras, como o IRISA/França e Brasileiras, como a UFPE e UFSC. Os resultados parciais já obtidos no contexto dessa pesquisa, incluem a definição de um modelo híbrido e adaptativo e de um framework, ambos publicados em 2005 em conferências patrocinadas pela IEEE. O plano de trabalho deste projeto visa complementar os esforções inicias, permitindo a ampla exploração do modelo proposto..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (5) / Mestrado profissional: (0) / Doutorado: (3) .
Integrantes: Raimundo José de Araújo Macêdo - Coordenador / Michel Raynal - Integrante / George M de A Lima - Integrante / Flávio Morais de Assis Silva - Integrante / Sérgio Gorender - Integrante / Paulo Cunha - Integrante / Alírio Santos de Sá - Integrante / Sandro Andrade - Integrante / Ricardo Perrone da Silva - Integrante / Neima Prado dos Santos - Integrante / Geovani Santangelo - Integrante / Allan Edgard Silva Freitas - Integrante / Marco Antonio Costa Simões - Integrante / Rafael Andrade Miranda - Integrante / Semínares Ribeiro - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Fundação de Amparo à Pesquisa do Estado da Bahia - Auxílio financeiro.
Número de produções C, T & A: 2 / Número de orientações: 12
2004 - 2008
IARA - Integrated Architecture for Real-Time Applications
Descrição: O projeto IARA (Integrated Architecture for Real-Time Applications) visa a construção de uma plataforma distribuída para fornecer suporte a sistemas de tempo real. Tal plataforma prevê a integração de sistemas com requisitos temporais variados assim como deve fornecer suporte a mecanismos de tolerância a falhas e sistemas distribuídos. A integração destes requisitos numa mesma plataforma é a principal inovação de IARA, visto que geralmente o desenvolvimento de sistemas de tempo real tende a ser restrito a um domínio específico de aplicações. Assim, o principal desafio deste projeto de pesquisa é encontrar meios adequados para que tal integração seja possível. IARA prevê suporte à integração de aplicações em três níveis de abstração: redes de comunicação; sistemas operacionais e protocolos distribuídos..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (1) Doutorado: (1) .
Integrantes: Raimundo José de Araújo Macêdo - Integrante / George M de A Lima - Coordenador.Número de orientações: 1
2004 - 2007
Integração de Serviços e Monitoração de Falhas (Cooperação LaSiD/DCC/UFBA e SANMINA-SCI)
Descrição: Em geral, o tratamento de falhas, seja pelo mascaramento destas ou pela recuperação do estado do sistema, requer o diagnóstico dos componentes falhos, identificando-os e informando aos processos operacionais, de uma forma consistente, o diagnóstico estabelecido. Portanto, o diagnóstico compreende não somente a detecção de falhas, mas também o estabelecimento e difusão de uma visão coerente sobre o estado de todos os processos monitorados. Por outro lado, o objetivo de gerenciamento em sistemas distribuídos, entre outros, é assegurar que uma aplicação com processos e serviços remotos funcione adequadamente sobre uma infra-estrutura distribuída. Com base no diagnóstico de falhas e configurações, é possível executar ações preventivas e corretivas a fim de manter a aplicação em funcionamento ou para fazê-la retornar a uma condição aceitável para os usuários. O objetivo deste projeto atender dispor de um, sistema de monitoramento de serviços computacionais críticos para dedectar eventuais falhas (e eventuais mudanças no comportamento da aplicação) para adequar esta aplicação a situações de instabilidade..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Raimundo José de Araújo Macêdo - Coordenador / Flávio Morais de Assis Silva - Integrante / Fábio Ramon de Lima e Lima - Integrante / Rozember Rocha Leite - Integrante.Financiador(es): Sanmina Sci Lei de Informática - Auxílio financeiro.Número de orientações: 3
2001 - 2007
BCGMóvel - Base Confiável de Comunicação para Grupos Móveis
Descrição: O conceito de mobilidade em sistemas distribuídos, tanto do hardware (computação móvel), quanto do software (agentes móveis ou migração de processos), tem se tornado uma alternativa muito utilizada nos últimos anos, de um lado, pelas características inerentes de algumas aplicações (no caso de computação móvel), de outro lado, pela conveniência em estruturar aplicações distribuídas (no caso de agentes móveis). Quando se consideram tais requisitos, há uma série de desafios (do ponto de vista da comunicação em grupo) que não são resolvidos no escopo das plataformas de comunicação em grupo convencionais. O objetivo do projeto BCG Móvel é identificar os requisitos comuns aos tipos de mobilidade acima mencionados (hardware e software associado, no caso da computação móvel sem fio, ou apenas do software, no caso de agentes móveis e migração de processos), incorporando garantias e aspectos de mobilidade a uma plataforma de comunicação em grupo, a qual será chamada de BCGmóvel. A base do desenvolvimento da BCGmóvel é o conceito de grupos móveis, em desenvolvimento no LaSiD. Grupos móveis correspondem a uma extensão do conceito tradicional de grupos de processos que suporta a migração de membros participantes de um grupo de um nó a outro de um sistema distribuído. A BCGmóvel é uma continuação do desenvolvimento da plataforma BCG (Base Confiável de Comunicação em Grupo), uma plataforma de comunicação em grupo em desenvolvimento do LaSiD desde 2001 que implementa funcionalidades intrínsecas desse tipo de plataforma (protocolo de membership, ordenação de mensagens e controle de fluxo)..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Especialização: (2) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Raimundo José de Araújo Macêdo - Coordenador / Flávio Morais de Assis Silva - Integrante / Daniel Breves Martins - Integrante / Rosemberg Rocha Leite - Integrante / Joselito Messias Lobo - Integrante / Alex Ricardo Anunciação Araújo - Integrante / Alan Carvalho de Queiroz - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa / Sanmina Sci Lei de Informática - Cooperação.
Número de produções C, T & A: 13 / Número de orientações: 6
2001 - 2002
Improving the Quality of open Systems with Code Mobility through Rigorous Development
Descrição: The fast and continuous evolution of computing and communication capabilities have resulted in massively distributed computacional environments (e.g. Internet). These environments are often called open environments and are characterized by: massive geographical distribution; highly dynamic environments; no global control; partial failures; lack of security and high heterogeneity due to diversity of communication links (delay, throughput), cooperating organizations, services offered, etc. Due to theses factors, developing applications for such environments is rather complex and therefore research efforts have been directed to improve support for development of distributed applications. One such efforts is the research area around code mobility. The aim of this cooperation project is to improve the quality of software for open environments, in special mobile and distributed applications, through the use of formal methods. To reach this goal we have selected a research group containing Brazilian and Italian experts in the different areas involved in the project: distributed systems, formal specification, formal semantics, formal verification and analysis..
Situação: Concluído; Natureza: Pesquisa.
2000 - 2002
Projeto ARGO - Tolerância a Falhas em Sistemas Distribuídos Assíncronos (Coordenador) - Projeto Internacional Financiado pelo CNPq/INRIA
Descrição: Mecanismos de tolerância a falhas são fundamentais para que aplicações em sistemas distribuídos, principalmente àquelas de segurança crítica - controle de tráfego aéreo, saúde pública, gerenciamento ambiental, etc. -, garantam operações seguras e previsíveis mesmo na ocorrência de falhas, evitando-se catástrofes ou prejuízos importantes. Os mecanismos de replicação ativa, usualmente utilizados para assegurar tolerância a falhas nos sistemas distribuídos, são baseados no conceito de comunicação em grupo. O objetivo do projeto ARGO é conceber e desenvolver serviços de comunicação em grupo (difusão ordenada, gerenciamento na formação de grupos, sincronização nas mudanças da composição dos grupos, etc.), a partir de uma abordagem que permita limitar e controlar as disfunções típicas dos sistemas distribuídos assíncronos (sem limites de tempo conhecidos para transferência de mensagens e velocidade relativa dos processos). A originalidade de nossa abordagem reside no fato de todos os serviços de comunicação em grupo serem considerados como extensões de um problema de concordância mais elementar : o consenso distribuído. Ou seja, cada serviço em algum momento dependerá de uma decisão unânime (o consenso). No decorrer dos últimos anos, os grupos envolvidos nesse cooperação (ADP/IRISA, LaSiD/UFBA) trabalharam conjuntamente na definição de um protocolo de consenso genérico, que pode adaptar-se aos requisitos específicos dos diferentes problemas de concordância [HMRT99]. Esse trabalho, serviu de base para os trabalhos que realizamos no escopo deste projeto cujo resultado principal foi a implementação de um protótipo capaz de garantir os requisitos de confiabilidade num sistema distribuído assíncrono. [HMRT99] Hurfin M., Macedo R., Raynal M. and Tronel F. A general framework to solve agreement problems. Proc. of the 18th IEEE Symposium on Reliable Distributed Systems, (SRDS99). Lausanne, Oct 1999. pp.56-67.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (6) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (1) .
Integrantes: Raimundo José de Araújo Macêdo - Coordenador / Michel Hurfin - Integrante / Fabiola Greve - Integrante / Michel Raynal - Integrante / Flávio Morais de Assis Silva - Integrante / Aline Maria Santos Andrade - Integrante / frederic tronal - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Cooperação.
Número de produções C, T & A: 23 / Número de orientações: 5
2000 - 2002
FlexGroup - Uma Meta-Arquitetura para Estruturação de Serviços de Comunicação em Grupo (projeto de de pesquisa em cooperação UFBA-UFPB, protem/CNPq)
Descrição: Utilização da abstração de grupos de processos e de serviços de comunicação em grupo faciliata sobremaneira a construção de aplicações tolerantes a falhas. Vários sistemas que oferecem serviços de comunicação em grupo (ordenação de mensagens, gerência de replicação, gerência de formação em grupos, sincronização nas mudanças da composição dos grupos, controle de fluxo, etc.) têm sido propostos e desenvolvidos nos últimos anos (como, por exemplo, Isis, Horus, NewTop, Totem, Bast, Esemble, JavaGroups, Eva, dentre outros). Esses serviços são estruturados de diversas formas nos diferentes sistemas existentes. Os primeiros sistemas propostos utilizam um modelo de arquitetura plana (como, por exemplo, Isis, Totem e NewTop ), onde não há uma hierarquia na forma de iteração entre os vários módulos que compõem o serviço de grupo. Por outro lado, a maioria dos sistemas disponíveis atualmente foi projetada e implementada adotando o modelo em camadas, onde a interação se dá exclusivamente entre os módulos adjacentes (como, por exemplo, Horus, Bast, Ensemble e JavaGroups ). Mais recentemente, outras abordagens propostas incluem um modelo baseado em canais de enventos, que permite um maior desacoplamento entre os módulos (Eva). As diferentes arquiteturas possuem vantagens e desvantagens em diferentes aspectos. O objetivo deste projeto é propor uma meta-arquitetura que possa ser instanciada para cada aplicação em particular, atendendo de forma equilibrada aos requisitos de flexibilidade, extensibilidade, desempenho, confiabilidade, facilidade de compreensão e uso, impostos pela aplicação. Com isto busca-se encontrar um equilíbrio entre as vantagens e desvantagens das arquiteturas existentes..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Raimundo José de Araújo Macêdo - Coordenador / Marcela Santana Guimarães Batalha - Integrante / Fancisco Vilar Brasileiro - Integrante / Maria Luiza Braga - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Cooperação.
Número de produções C, T & A: 3 / Número de orientações: 5
1996 - 1998
LOCUS - Lógica para Concorrência e Sincronização (projeto de pesquisa em cooperação UFBA, UFPE, UFAL e UFRJ, financiado pelo Protem/CNPq - coordenador UFBA)
Descrição: A necessidade da utilização de técnicas de especificação formal para sistemas distribuidos deve-se principalmente à complexidade inerente a esse tipo de sistema. A utilização de descrições informais podem levar a descrições imprecisas e inconsistentes. Em [QueC94], os autores chamam a atenção para essa necessidade: Os métodos de especificação formal permitem o desenvolvimento de sistemas sem ambiguidades, através de uma sintaxe e semântica bem definidas. Com este projeto pretende-se fornecer uma abordagem unificadora para formalização de sistemas distribuídos, concorrência e sincronização. O projeto é organizado em duas partes: 1. A construção de um sistema dedutivo rotulado cujos rótulos serão descrições de processos concorrentes, num cálculo tão próximo quanto possível do pi-cálculo e cujas fórmulas serão os "tipos" destes processos. 2. Utilização de uma generalização de lógica modal através do LDS para aplicações em sistemas distribuídos. O trabalho apresentado em [Mac94] fornece uma solução geral para protocolos de Comunicação em Grupo em Sistemas Distribuídos adequados a uma variedade de configurações de sistemas e considera requisitos até então não abordados como, por exemplo, protocolos de ordem total para grupos sobrepostos. Os protocolos descritos em [Mac94] são o ponto de partida do sistema BCG (Base Confiável para Comunicação em Grupo), arcabouço de um projeto de pesquisa com o mesmo nome, em andamento do LaSid (Laboratório de Sistemas Distribuídos). Assim, a abordagem unificadora para sistemas distribuidos que se pretende fornecer através do projeto aqui descrito deverá atender aos requisitos do paradigma de CG, dando continuidade ao projeto BCG do LaSid/UFBA..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (5) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Raimundo José de Araújo Macêdo - Coordenador / George M de A Lima - Integrante / Ruy de Queiroz - Integrante / Anjolina de Oliveira - Integrante / Aline Santos Andrade - Integrante / Mario Roberto Folhadela Benevides - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Cooperação.
Número de produções C, T & A: 5 / Número de orientações: 2
1995 - 1999
BCG - Base Confiável de Comunicação em Grupo (projeto individual com bolsa de produtividade do CNPq nível II)
Descrição: Esse projeto integra as seguintes linhas de pesquisa: Métodos formais Comunicação em grupo e tolerância a falhas Linguagens de programação distribuídas O objetivo da BCG é prover um ambiente adequado ao desenvolvimento de aplicações distribuídas tolerantes a falha. A BCG é composta de um núcleo e duas camadas que o envolvem (acima, uma interface de linguagem e mecanismos complementares, e abaixo, um protocolo de multicast não confiável). No núcleo são encontrados os seguintes componentes: protocolo de ordem total; protocolos de ordem causal; protocolo de membership, detector de falhas e controlador de fluxo. Tais protocolos utilizam um serviço de multicast não confiável desenvolvido sobre a camada de transporte subjacente. Acima desse núcleo, existe uma interface de linguagem para CG, ainda em desenvolvimento, denominada Talk. Também acima do núcleo, estarão mecanismos de migração e replicação de processos. A BCG foi implementada em linguagem C++, numa plataforma UNIX, numa rede de estações de trabalho conectadas via rede Ethernet sobre o protocolo TCP/IP..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (8) / Especialização: (7) / Mestrado acadêmico: (2) .
Integrantes: Raimundo José de Araújo Macêdo - Coordenador / George M de A Lima - Integrante / Marcela Batalha - Integrante / Lilianne Dantas Cirne - Integrante / Deise da Silva Côrtes - Integrante / Eduardo Telmo Fonseca Santos - Integrante / Fabiola Gonçalves Pereira Greve - Integrante / João Carlos de Jesus Bulhões - Integrante / Leopoldo Gomez - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
Número de produções C, T & A: 8 / Número de orientações: 14
1986 - 1990
Desenvolvimento e Projeto de Servidores de Arquivos para Redes Locais (projeto individual com bolsa de produtividade do cnpq nivel III)
Descrição: Foi projetado e implementado todo o software de comunicação de rede, o software do servidor de arquivo e impressão (projeto ariginal com acesso concorrente) e impressão e alterado os sistemas operacionais das estações servidoras e clientes. O sistema ficou em uso na UFBA até 1990 nquando foi substituido por sistemas de mercado e em função da saida do pesquisador em quastão para doutoramento..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (12) .
Integrantes: Raimundo José de Araújo Macêdo - Coordenador / Sérgio Gorender - Integrante / Anjolina de Oliveira - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa / Não informado.
Número de produções C, T & A: 6 / Número de orientações: 8


Projetos de extensão


2017 - Atual
Coordenação Geral do 37th IEEE International Symposium on Reliable Distributed Systems
Descrição: Coordenação geral do 37th IEEE International Symposium on Reliable Distributed Systems. Monagem de comitê de organização, orçamentos, planejamento, projeto de financiamento, etc.
Situação: Em andamento; Natureza: Extensão.
Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (5) / Doutorado: (5) .
Integrantes: Raimundo José de Araújo Macêdo - Coordenador.
2015 - 2018
Cooperação Sociedade Brasileira de Computação e International Federation for Information Processing
Descrição: A IFIP - International Federation for Information Processing [http://www.ifip.org/] é uma organização internacional, não governamental, sem fins lucrativos, com sede na Áustria, criada em 1960 aos auspícios da UNESCO. Trabalha em prol das Tecnologias da Informação e Comunicações, e ciências relacionadas. A IFIP conecta mais de 3.500 cientistas de instituições de vários continentes, organizados em 101 grupos de trabalho, distribuídos entre 13 comissões técnicas. Membros afiliados da IFIP incluem mais de 48 sociedades e academias de ciências internacionais. É uma organização, portanto, que fomenta outras sociedades que trabalham na área de tecnologias da informação e comunicação, incentivando-as a partilharem experiências e discutirem os desafios e as oportunidades da área em escala mundial. A SBC - Sociedade Btasileira de Computação [www.sbc.org.br], por sua vez, é a maior a sociedade científica e acadêmica de Tecnologias da Informação e Comunicação da América Latina, contando com cerca de 26.000 associados, diretoria, conselho, 27 comissões (técnicas) especiais, um comitê de educação e 25 seções regionais cobrindo todo o país. A SBC organiza anualmente mais de 100 eventos científicos e acadêmicos, com publicações em anais de conferências e revistas especializadas. A SBC também promove ações que ajudam ao pais no seu desenvolvimento científico/tecnológico, através de diálogo constante com o setor produtivo e governos. A SBC, e portanto a sociedade brasileira em geral, tem se beneficiado da integração internacional através da IFIP. Em particular, temos representantes brasileiros em 7 comitês técnicos (TC) e 60 grupos de trabalhos (WG) da IFIP, dentre os quais um é coordenador de comitê técnico (TC10) e um coordenador de grupo de trabalho (WG1.5), um vice-coordenador de comitê técnico (TC13) e dois vice-coordenadores de grupos de trabalho (WG9.4 e WG12.3). A SBC mantém um fórum no Congresso Anual da Sociedade Brasileira de Computação, para a discussão e aprimoramento da relação SBC/IFIP. O recurso advindo deste projeto se destinou a pagar anuidades da afiliação da SBC junto à IFIP (International Federation for Information Processing [http://www.ifip.org/]. Apesar de os recursos deste projeto não cubrirem integralmente as taxas de afiliação para dois anos, estes foram fundamentais para mantermos nosso vínculo com a IFIP, contribuindo, portanto, com nosso crescente processo de internacionalização..
Situação: Concluído; Natureza: Extensão.
2011 - 2012
Coordenação Geral do DISC 2012 The 26th International Symposium on DIStributed Computing
Descrição: WELCOME MESSAGE FROM THE ORGANIZING COMMITTEE CHAIR Dear Participants, It is our great pleasure to welcome you to DISC 2012 and the city of Salvador. In this site you will find information on all activities related to DISC 2012: paper and keynote presentations, business meeting, tutorials, a workshop, and social events. The schedule for the activities was organized to allow DISC`s participants to attend as many activities as possible, avoiding parallel events. The activities related to DISC 2012 start with tutorials and a welcome reception in the university campus. The DISC main track (paper presentation and keynotes) and the Workshop on Advances on Distributed Graph Algorithms take place in the following days at the Pestana hotel. The technical activity of DISC is complemented by a carefully planned social event that includes a tour along the historic center of Salvador, followed by the conference banquet. With these social events we hope to provide attendees with a broad view of Salvador old town, the first Brazilian capital, and one of the oldest cities in the Americas. DISC 2012 was organized by the Distributed Systems Laboratory (LaSiD) at UFBA. Organizing a traditional event such as DISC would not be possible without the committed work of many people and the support of several institutions. We are grateful to the volunteering work of our colleagues of the organizing committee and student team, as well as the staff of LaSiD. Working with these people was a valuable and truly rewarding experience. The financial support from CAPES (Brazilian Agency for Higher Education) was vital for the success of this event. We also acknowledge the financial support from Microsoft Research and institutional support from SBC (Brazilian Computer Society), EATCS (European Association for Theoretical Computer Science), and Federal University of Bahia. Finally, we thank the DISC Steering Committee (SC) for having given us the opportunity to organize DISC 2012. Working with the SC as well as with the Program Chair, Marcos K. Aguilera, was indeed extremely gratifying. We wish you all the best during the symposium, and hope that you will have time during your visit to explore and enjoy our city. Raimundo Macêdo DISC 2012 Organizing Chair http://www.macedo.ufba.br/.
Situação: Concluído; Natureza: Extensão.
Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (5) / Doutorado: (5) .
Integrantes: Raimundo José de Araújo Macêdo - Coordenador.


Projetos de desenvolvimento


2009 - 2010
Sistema de Inovação da UFBA: consolidação, fortalecimento e expansão
Descrição: Este projeto consiste na articulação em REDE do Sistema de Inovação da UFBA de modo sistêmico e com estrutura radicular, ou seja, infiltrando suas raízes em cada organismo, unidade e órgão e nas várias áreas do conhecimento. de modo a fortalecer e ampliar as atividades de P&D&I, gerando mais e melhores produtos, processo e serviços. O sistema de Inovação compreende vários organismos gerenciais aqui denominados de NÓS: NIT (Coordenação do Sistema de Inovação), incubadoras, núcleos especializados, as empresas juniores, entre outros. Sua atuação se dá em toda a cadeia produtiva da Propriedade Intelectual (PI) e da Transferência de Tecnologia (formação de RH, P&D&I, produção, apropriação, divulgação, prospecção tecnológica e de oportunidades, negociação, licenciamento e utilização).
Situação: Em andamento; Natureza: Desenvolvimento.
Alunos envolvidos: Graduação: (1) .
Integrantes: Raimundo José de Araújo Macêdo - Integrante / Cristina M. A. L. T. da Mata Hermida Quintella - Coordenador.Financiador(es): Fundação de Amparo à Pesquisa do Estado da Bahia - Bolsa.
2003 - 2005
Convênio de Cooperação Científica/Tecnologica entre a UFBA e a WAYTEC
Descrição: Convênio de Cooperação Científica e Tecnológica que entre si celebram a Waytec Tecnologia em Comunicação Ltda. e a Universidade Federal da Bahia - UFBA com interveniência da Fundação de Apoio à Pesquisa e à Extensão - FAPEX. Foi desenvolvido um sistema de apoio de logistica para acompanhamento de componentes eletrônicos para a montagem na fábrica de Ilheus. Constitui objeto deste Convênio o estabelecimento de um programa de cooperação e intercâmbio científico e tecnológico, amparado pela legislação brasileira relativa à capacitação e competitividade do setor de tecnologia da informação, abrangendo atividades de pesquisa, desenvolvimento e serviços científicos e tecnológicos, formação e treinamento de recursos humanos, absorção e transferência de tecnologias e aprimoramento e otimização do uso da infra-estrutura laboratorial, bem como outras iniciativas em assuntos de interesse comum. O programa objeto deste Convênio será realizado por meio de projetos a serem desenvolvidos pelos convenentes, isoladamente ou em conjunto com outras entidades, os quais somente serão executados mediante a prévia celebração de Termos Aditivos a este Convênio, dos quais constarão todas as diretrizes relevantes aos respectivos projetos e que serão parte integrante e inseparável deste Convênio..
Situação: Concluído; Natureza: Desenvolvimento.
Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Raimundo José de Araújo Macêdo - Coordenador / Cristiano Reis - Integrante / Claudete Alves - Integrante / Thais Silva de Lima - Integrante / Antônio Cristiano de Araújo Virgens - Integrante.Financiador(es): Waytec Tecnologia Em Comunicação Ltda Inscrita Cnpj Mf Sob o n º 41 894 148 - Cooperação.


Outros Projetos


2015 - Atual
EcoSud: Engineering Collaboration for Sustainable Cities
Descrição: EcoSud: Engineering Collaboration for Sustainable Cities Descrição: Projeto CAPES/Brafitec de cooperação graduação. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (30) . Integrantes: Lucas Mello Schnorr - Coordenador / Nicolas Maillard - Integrante / Navaux, Philippe O.A. - Integrante / Cláudio Fernando Resin Geyer - Integrante. BRAFITEC 2014 Brasil/França Engenharia e Tecnologia Convenção CAPES-CDEFI.
Situação: Em andamento; Natureza: Outra.
Alunos envolvidos: Graduação: (10) .
Integrantes: Raimundo José de Araújo Macêdo - Integrante / Philippe Navaux - Integrante / lucas mello schnoor - Coordenador / cláudio fernando resin geyer - Integrante / luciano rebouças - Integrante.Financiador(es): CAPES - Centro Anhanguera de Promoção e Educação Social - Bolsa.
2015 - Atual
cooperação Sociedade Brasileira de Computação e International Federation for Information Processing
Descrição: este projeto foi submetido à chamada "INTERNACIONALIZAÇÃO DAS SOCIEDADES CIENTÍFICAS BRASILEIRAS"de 2015. Processo: 440392/2015-2 Processo: 440392/2015-2 Titulo do Projeto: cooperação Sociedade Brasileira de Computação e International Federation for Information Processing Instituição de Vínculo: Universidade Federal da Bahia/UFBA-BA CNPJ: 15180714000104 Instituição de Execução: Universidade Federal da Bahia CNPJ: 15180714000104 Chamada: INTERNACIONALIZAÇÃO DAS SOCIEDADES CIENTÍFICAS BRASILEIRAS Eu, Raimundo José de Araújo Macêdo , 146.764.005-00, declaro conhecer, concordar e atender integralmente às exigências Nº CPF (ou PASSAPORTE, se estrangeiro) da Chamada acima especificada e às Condições Gerais para Apoio Financeiro que regem a concessão dos recursos especificados abaixo: AUXÍLIO FINANCEIRO Custeio: R$ 30.000,00 Valor Global: R$ 30.000,00.
Situação: Em andamento; Natureza: Outra.
2014 - 2016
coordenador da comissão de articulação inter-campi do curso de introdução ao raciocínio computacional
Descrição: coordenação de equipes de docenstes para preperação de conteúdos e oferta do componente curricular "Introdução ao Raciocínio Computacional" oferecido como componente obrigatório a todos os restudantes de graduação da Universidade Federal do Sul da Bahia (UFSB). O trabalho de coordenação consistiu no acompanhamento sistemático de todos os docentes através de reuniões periódicas, assim como preparação de materiais, como roteiros, slides e vídeos a serem utilizados pelas equipes docentes em suas turmas..
Situação: Concluído; Natureza: Outra.
2014 - 2016
concepção e projeto do curso de introdução ao raciocínio computacional oferecido a todos os estudantes da universidade federal do sul da bahia (UFSB)
Descrição: Foi proposta a ementa e programa do curso de "introdução ao raciocínio computacional', componente obrigatório a todos os estudantes da UFSB. Também foi proposta metodologia para aulas, com pedagogia ativa e significativa, baseada em problemas e projetos. Na fase de execução, Raimundo Macêdo coordendou a equipe docente na construção de materiais e roteiros para todas as aulas..
Situação: Concluído; Natureza: Outra.


Membro de corpo editorial


2008 - 2013
Periódico: SBC Horizontes


Membro de comitê de assessoramento


2018 - Atual
Agência de fomento: Coordenação de Aperfeiçoamento de Pessoal de Nível Superior


Revisor de periódico


2006 - Atual
Periódico: IEEE Transactions on Computers (0018-9340)
2005 - Atual
Periódico: IEEE Transactions on Dependable and Secure Computing
2007 - Atual
Periódico: IEEE Transactions on Parallel and Distributed Systems
2008 - Atual
Periódico: IET SOFTWARE
2009 - Atual
Periódico: Journal of the Brazilian Computer Society
2010 - Atual
Periódico: Computer Networks
2010 - Atual
Periódico: Journal of Parallel and Distributed Computing (Print)
2015 - Atual
Periódico: International Journal of Parallel, Emergent and Distributed Systems (Print)
2016 - Atual
Periódico: IEEE Computer ISSN 0018-9162
2016 - Atual
Periódico: IEEE Computer ISSN 0018-9162
2016 - Atual
Periódico: Journal of Internet Services and Applications
2017 - Atual
Periódico: acm transactions on cyber-physical systems


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação.
3.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Arquitetura de Sistemas de Computação.
4.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Software Básico.
5.
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.


Idiomas


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


Prêmios e títulos


2016
Coordenador Geral do SECOMU 2016 - Seminário de Computação na Universidade - Congresso da SBC, Sociedade Brasileira de Computação.
2015
Eleito Conselheiro da IFIP (International Federation for Information Processsing), IFIP (International Federation for Information Processsing) http://www.ifip.org/.
2015
Fast Abstracts Track Chair - Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), IEEE and IFIP.
2014
Segundo Melhor Artigo do Simpósio Brasileiro de Engenharia de Software (Do Search-Based Approaches Improve the Design of Self-Adaptive Systems? A Controlled Experiment), Simpósio Brasileiro de Engenharia de Software - SBES 2014. Soc. Brasileira de Computação.
2013
Best DEMO award para o trabalho "From Design Spaces to Automated Software Architecture Design", Sandro Andrade e Raimundo Macêdo, The 25th International Conference on Software Engineering and Knowledge Engineering. Boston.USA 2013.
2013
Melhor Artigo da Trilha de Sistemas Operacionais/ Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC 2013) - Artigo: Performance Evaluation in Hybrid and Dynamic Distributed Systems., Sociedade Brasileira de Computação.
2012
Melhor Artigo: Request Batching Self-Configuration in Byzantine Fault-Tolerant Replication, Simpósio Brasileiro de Engenharia de Sistemas Computacionais 2012 - Trilha Sistemas Operacionais.
2002
Menção Honrosa - Melhores Artigos, Simpósio Brasileiro de Redes de Computadores - Melhores Artigos do SBRC2002.
1999
Primeiro Lugar com Distinção em Concurso para Professor Titular em Engenharia de Software, Universidade Federal da Bahia / Instituto de Metemática.
1990
Paraninfo da Turma de 1990 do Curso de Bacharelado em Ciência da Computação da UFBA, Departamento de Ciência da Computação da UFBA.
1989
Classificado em Primeiro Lugar no Concurso de Professor Auxiliar para a diciplina de Sistemas Operacionais (DCC/IM/UFBA), DCC/IM - Universidade Federal da Bahia - UFBA.
1989
Professor Homenageado; Formandos Ciencia da Computacao - UFBA 1989, Departamento de Ciencia da Computacao / UFBA.
1986
Dintinção na Defesa de Mestrado em Ciência da Computação, IMECC /UNICAMP.


Produções



Produção bibliográfica
Citações

Outras
Total de trabalhos:118
Total de citações:834
Raimundo Macêdo  Data: 24/10/2014

Artigos completos publicados em periódicos

1.
CAMBRUZZI, EDUARDO2016CAMBRUZZI, EDUARDO ; FARINES, JEAN-MARIE ; KRAUS, WERNER ; Macêdo, Raimundo . A Cluster Management System for VANETs. International Journal of Intelligent Transportation Systems Research, v. 14, p. 115-126, 2016.

2.
ANDRADE, Sandro Santos2015ANDRADE, Sandro Santos ; Macêdo, Raimundo José de Araújo . Assessing the benefits of search-based approaches when designing self-adaptive systems: a controlled experiment. Journal of Software Engineering Research and Development, v. 1, p. 1-14, 2015.

3.
FREITAS, A. E. S.2014FREITAS, A. E. S. ; Macêdo, Raimundo José de Araújo . A performance evaluation tool for hybrid and dynamic distributed systems. Operating Systems Review, v. 48, p. 11-18, 2014.

4.
SÁ, Alírio Santos de2013SÁ, Alírio Santos de ; FREITAS, A. E. S. ; Macêdo, Raimundo José de Araújo . Adaptive request batching for byzantine replication. Operating Systems Review, v. 47, p. 35-42, 2013.

5.
Macêdo, Raimundo José de Araújo2013Macêdo, Raimundo José de Araújo; FREITAS, ALLAN EDGARD SILVA ; DE SÁ, ALÍRIO SANTOS . Enhancing group communication with self-manageable behavior. Journal of Parallel and Distributed Computing (Print), v. 73, p. 420-433, 2013.

6.
De Araujo Macedo, Raimundo2012De Araujo Macedo, Raimundo; GORENDER, Sérgio . Exploiting Partitioned Synchrony to Implement Accurate Failure Detectors. International Journal of Critical Computer-Based Systems (IJCCBS), v. 3, p. 168-186, 2012.

7.
SILVA, Ricardo Perrone da2009SILVA, Ricardo Perrone da ; MACÊDO, R. J. de A. ; LIMA, George M de A ; LIMA, Veônica . An Approach for Estimating Execution Time Probability Distributions of Component-based Real-Time Systems. Journal of Universal Computer Science, v. 15, p. 2142-2165, 2009.

8.
Gorender, Sergio2007 Gorender, Sergio ; MACÊDO, R. J. de A. ; RAYNAL, Michel . . IEEE Transactions on Dependable and Secure Computing, v. 4, p. 18-31, 2007.

9.
MACÊDO, R. J. de A.;De Araujo Macedo, Raimundo;Macêdo, Raimundo José de Araújo;Macedo, Raimundo Jose;Macêdo, Raimundo;Macêdo, R;DE ARAÚJO MACÊDO, RAIMUNDO JOSÉ;MACEDO, RAIMUNDO JOSE DE A.;MACEDO, RAIMUNDO JOSE DE ARAUJO;DE ARAUJO MACEDO, RAIMUNDO JOSE;DE ARAUIJO MACEDO, R.J.;MACEDO, RAIMUNDO2005 MACÊDO, R. J. de A.; SILVA, Flávio Morais de Assis . The mobile groups approach for the coordination of mobile agents. Journal of Parallel and Distributed Computing, Estados Unidos, v. 65, n.3, p. 275-288, 2005.

Livros publicados/organizados ou edições
1.
Macêdo, Raimundo José de Araújo; FARINES, Jean Marie . Projeto de Sistemas Distribuídos e de Tempo Real para Automação. 1. ed. Salvador: Editora da UFBA (Edufba), 2018. v. 1. 252p .

2.
De Araujo Macedo, Raimundo. Proceedings of the First Workshop on Autonomic Distributed Systems (WoSiDA),. 1. ed. Campo Grande: Sociedade Brasileira de Computação, 2011. v. 200. 50p .

3.
MACÊDO, R. J. de A.; Francisco Vasques (Org.) ; Montez, C. B. (Org.) . 11th Brazilian Workshop on Real-Time and Embedded Systems. 1. ed. Recife: SBC, 2009. v. 1. 300p .

4.
MACÊDO, R. J. de A.; Luciano Gaspary (Org.) . Anais do Congresso da SBC (Concurso de Teses e Dissertações - CTD 2009). 1. ed. Porto Alegre: SBC, 2009. v. 1. 128p .

5.
ANDRADE, Aline Maria Santos (Org.) ; MARTINS, Ana Terezqa (Org.) ; MACÊDO, R. J. de A. (Org.) . Livro texto do XXII JAI (Jarnada de Atualização em Informática). 1. ed. Salvador: Socieade Brasileira de Computação, 2004. v. 1. 383p .

6.
MACÊDO, R. J. de A.. Anais do XXIV Congresso Brasileiro da Sociedade Brasileira de Computação (SBC). 1. ed. Salvador: Sociedade Brasileira de Computação, 2004. v. 1. 277p .

7.
PIRMEZ, Luci (Org.) ; RUST, Luiz Fernando (Org.) ; MACÊDO, R. J. de A. (Org.) . Anais do XX Simpósio Brasileiro de Redes de Computadores, VOL. I e II. 1. ed. Rio de Janeiro: Sociedade Brasileiora de Computação - SBC, 2002. v. 2. 880p .

8.
MACÊDO, R. J. de A.; FARINES, J. (Org.) . Livro Textos dos Minicursos SBRC'2001. 1. ed. Porto Alegre: Sociedade Brasileira de Computação/Laboratório Nacional de Redes de Computadores, 2001. v. 600. 202p .

9.
MACÊDO, R. J. de A.; NOGUEIRA, J. M. (Org.) . Anais do 17o Simpósio Brasileiro de Redes de Computadores. 1. ed. Salvador: Sociedade Brasileira de Computação/Laboratório Nacional de Redes de Computadores, 1999. v. 1000. 700p .

10.
MACÊDO, R. J. de A.; CALSAVARA, A. (Org.) ; BURNETT, R. (Org.) . Anais do Workshop em Sistemas Distribuídos. 1. ed. Curitiba: PUC-PR, 1998. v. 400. 124p .

Capítulos de livros publicados
1.
SÁ, Alírio Santos de ; Tanisia Foletto ; Moreno, U. F. (Ubirajara Franco Moreno) ; MACEDO, RAIMUNDO JOSE DE ARAUJO . Sistemas de Controle via Rede. In: Raimundo Macêdo e Jean-Marie Farines. (Org.). Projeto de Sistemas Distribuídos e de Tempo Real para Automação. 1ed.Salvador: Editora da Universidade Federal da Bahia (EDUFBA), 2018, v. 1, p. 9-42.

2.
MACEDO, RAIMUNDO JOSE DE ARAUJO; SÁ, Alírio Santos de . Fundamentos de Detecção de Defeitos em Sistemas Distribuídos. In: Raimundo Macêdo e Jean-Marie Farines. (Org.). Projeto de Sistemas Distribuídos e de Tempo Real para Automação. 11ed.Salvador: Editora da Universidade Federal da Bahia (EDUFBA), 2018, v. 1, p. 43-54.

3.
SÁ, Alírio Santos de ; MACEDO, RAIMUNDO JOSE DE ARAUJO ; Eduardo Cambruzzi ; FARINES, Jean Marie . Detectores Adaptativos de Defeitos para Ambientes Distribuídos e de Automação. In: Raimundo Macêdo e Jean-Marie Farines. (Org.). Projeto de Sistemas Distribuídos e de Tempo Real para Automação. 1ed.Salvador: Editora da Universidade Federal da Bahia (EDUFBA), 2018, v. 1, p. 65-118.

4.
ANDRADE, Sandro Santos ; Macêdo, Raimundo José de Araújo . Principled Eliciting and Evaluation of Trade-offs when Designing Self-Adaptive Systems Architectures. In: Ivan Mistrik; Nour Ali; Rick Kazman; John Grundy; Bradley Schmerl. (Org.). Managing Trade-offs in Adaptable Software Architectures. 1ed.Amsterdã: ELSEVIER, 2016, v. 1, p. 1-430.

5.
MACÊDO, R. J. de A.. Computação Distribuída. In: Willian Giozza, Horácio Hastenreiter, Adhvan Furtado, Péricles Magalhães Jr.. (Org.). Relatório de Tendências em Tecnologia da Informação e Comunicação. 1ed.Salvador: Secretaria de Ciência, Tecnologia e Inovação - Bahia, 2006, v. 1, p. 157-169.

6.
SÁ, Alírio Santos de ; MACÊDO, R. J. de A. . An Adaptive Failure Detection Approach for Real-Time Distributed Control Systems over Shared Ethernet. In: P. E. Myiagi; E. Villani; O. Horikawa. (Org.). ABCM Symposium Series in Mechatronics. 1ed.Rio de Janeiro: Assiciação Brasileira de Ciências Mecânicas, 2006, v. 2, p. 43-50.

7.
MACÊDO, R. J. de A.; LIMA, George M de A ; BARRETO, Luciano Porto ; ANDRADE, Aline Maria Santos ; SÁ, Alírio ; BARBOZA, Frederico ; ALBURGUERQUE, Rodrigo ; ANDRADE, Sandro . Tratando a previsibilidade em sistemas de tempo-real distribuídos: Especificação. Linguagens, Middleware e Mecanismos Básicos. In: Edmundo Roberto Mauro Madeira. (Org.). LIVRO TEXTO DOS MINICURSOS DO SBRC2004. 1ed.Campinas: SBC, 2004, v. 1, p. 105-163.

Textos em jornais de notícias/revistas
1.
Macêdo, Raimundo José de Araújo. Cooperação Internacional: Motivações, Meios e Melhores Práticas. Computação Brasil, Porto Alegre, p. 12 - 17, 19 abr. 2017.

2.
Macêdo, Raimundo José de Araújo. Rompendo a Barreira da Pós-Graduação em Computação na UFBA. TEMPO DIGITAL, Salvador, p. 8 - 9, 25 maio 2016.

3.
Macêdo, Raimundo José de Araújo. Strengthening Inter-society Relations: the Brazilian Computer Society Case. IFIP NEWS, VIENA, p. 2 - 2, 01 out. 2014.

4.
Guillerme Travassos ; MACÊDO, R. J. de A. . Apresentando a coluna Em Debate. SBC Horizontes - A Revista Eletrônica sobre Carreira em Computação da SBC, Rio de Janeiro, p. 1 - 1, 21 dez. 2008.

Trabalhos completos publicados em anais de congressos
1.
SILVA, W. L. ; Marco Antonio Dantas Ramos ; Macêdo, Raimundo José de Araújo . Byzantine Fault Tolerance in the Partitioned Synchronous System Model. In: VIII Brazilian Symposium on Computing Systems Engineering, 2018, Salvador. Proceedings of the VIII Brazilian Symposium on Computing Systems Engineering. Porto Alegre: SBC, 2018. v. 1. p. 1-8.

2.
Macêdo, Raimundo José de Araújo; SÁ, Alírio Santos de . Rede Digital para Integração Social: Experiências da Universidade Federal do Sul da Bahia. In: I Workshop de TIC para Desenvolvimento (SBRC 2017 - WTICp/D), 2017, Belem. Anais do I Workshop de TIC para Desenvolvimento (SBRC 2017 - WTICp/D). Porto Alegree: SBC, 2017. v. 1. p. 1-6.

3.
Macêdo, Raimundo José de Araújo. Autonomic Byzantine Replication for Intrusion Tolerance in Cyber-Physical Systems. In: VII WORKSHOP ON AUTONOMIC DISTRIBUTED SYSTEMS (WoSiDA), 2017, Belem. Anais do VII WORKSHOP ON AUTONOMIC DISTRIBUTED SYSTEMS (WoSiDA). Porto Alegre: SBC, 2017. v. 1. p. 1-6.

4.
SILVA, W. L. ; Marco Antonio Dantas Ramos ; Macêdo, Raimundo José de Araújo . Uma Experiência de Adaptação de Quóruns para Dectecçao de Falhas em Consenso Byzantino no Modelo Síncrono Particionado. In: Anais do VII WORKSHOP ON AUTONOMIC DISTRIBUTED SYSTEMS (WoSiDA), 2017, Belém. Anais do VII WORKSHOP ON AUTONOMIC DISTRIBUTED SYSTEMS (WoSiDA). Porto Alegre: SBC, 2017. v. 1. p. 1-6.

5.
SÁ, Alírio Santos de ; Macêdo, Raimundo José de Araújo . Uma Abordagem de Projeto para Mecanismos Autonômicos de Tolerância a Falhas em Sistemas Distribuídos. In: VII WORKSHOP ON AUTONOMIC DISTRIBUTED SYSTEMS (WoSiDA), 2017, Belém. Anais do VII WORKSHOP ON AUTONOMIC DISTRIBUTED SYSTEMS (WoSiDA). Porto Alegre: SBC, 2017. v. 1. p. 1-6.

6.
KUMAR, SATHISH A.P. ; BHARGAVA, BHARAT ; MACEDO, RAIMUNDO ; MANI, GANAPATHY . Securing IoT-Based Cyber-Physical Human Systems against Collaborative Attacks. In: 2017 IEEE International Congress on Internet of Things (ICIOT), 2017, Honolulu. 2017 IEEE International Congress on Internet of Things (ICIOT), 2017. v. 1. p. 9-16.

7.
Roberto de Cerqueira Figueiredo ; Daniela Barreiro Claro ; Macêdo, Raimundo José de Araújo ; ANDRADE, Aline Maria Santos . Interação de Características na composição de Serviços Web: Prevenindo a violação dos requisitos do usuário. In: X Simpósio Brasileiro de Sistemas de Informação - SBSI, 2014, Londrina. ANAIS do X Simpósio Brasileiro de Sistemas de Informação. Porto Alegre: SBC, 2014. v. 1. p. 1-8.

8.
SÁ, Alírio Santos de ; Macêdo, Raimundo José de Araújo ; Heverton Queiroz . Protocolos Auto-Gerenciáveis de Consenso para Sistemas Distribuídos Parcialmente Síncronos. In: IV Workshop on Autonomic Distributed Systems, 2014, Brasiliia. Proceedings of the IV Workshop on Autonomic Distributed Systems. Porto Alegre: SBC, 2014. v. 1. p. 1-4.

9.
ANDRADE, Sandro Santos ; Macêdo, Raimundo José de Araújo . A Systematic Model-Based Approach for Feedback Control Trade-Off Evaluation in Autonomic Systems. In: IV Workshop on Autonomic Distributed Systems, 2014, Brasiliia. Proceedings of the IV Workshop on Autonomic Distributed Systems, 2014. v. 1. p. 1-4.

10.
ANDRADE, Sandro Santos ; MACEDO, RAIMUNDO JOSE DE ARAUJO . Do Search-Based Approaches Improve the Design of Self-Adaptive Systems? A Controlled Experiment. In: 2014 Brazilian Symposium on Software Engineering (SBES), 2014, Maceio. 2014 Brazilian Symposium on Software Engineering. v. 1. p. 101-10.

11.
Edigley Fraga ; BRASILEIRO, Francisco ; BRILHANTE, J. ; COSTA, R. ; SENGER, H. ; SILVA, A. P. ; NAVAUX, P. ; DE SÁ, ALÍRIO SANTOS ; Macedo, Raimundo Jose . Just-in-Time Clouds: Uma abordagem para Federação de Clouds Privadas. In: 31o Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos - Salão de Ferramentas, 2013, Brasília. Anais do 31o Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos. Porto Alegre: SBC, 2013. v. 1. p. 1109-1116.

12.
De Araujo Macedo, Raimundo; FREITAS, A. E. S. . Dos sistemas distribuídos self-aware. In: III Workshop on Autonomic Distributed Systems, 2013, Brasilia. Anais do III Workshop on Autonomic Distributed Systems. POA: SBC, 2013. p. 1-44.

13.
Roberto de Cerqueira Figueiredo ; Daniela Barreiro Claro ; De Araujo Macedo, Raimundo ; ANDRADE, Aline Maria Santos . Composição autonômica de serviços web para prevenir ou minimizar interaçõees de características. In: III Workshop on Autonomic Distributed Systems, 2013, Brasilia. Anais do III Workshop on Autonomic Distributed Systems. POA: SBC, 2013. p. 35-38.

14.
ANDRADE, Sandro Santos ; Macêdo, Raimundo José de Araújo . Architectural Design Spaces for Feedback Control Concerns in Self-Adaptive Systems. In: The 25th International Conference on Software Engineering and Knowledge Engineering, 2013, Boston. Proceedings of the The 25th International Conference on Software Engineering and Knowledge Engineering. Boston: SEKE, 2013. v. 1. p. 1-6.

15.
ANDRADE, SANDRO S. ; MACEDO, RAIMUNDO JOSE DE A. . A Search-Based Approach for Architectural Design of Feedback Control Concerns in Self-Adaptive Systems. In: 2013 IEEE 7th International Conference on SelfAdaptive and SelfOrganizing Systems (SASO), 2013, Philadelphia. 2013 IEEE 7th International Conference on Self-Adaptive and Self-Organizing Systems. v. 1. p. 61-70.

16.
FREITAS, A. E. S. ; Macêdo, Raimundo José de Araújo . Performance Evaluation in Hybrid and Dynamic Distributed Systems. In: 2013 III Brazilian Symposium on Computing Systems Engineering (SBESC), 2013, Niteroi. 2013 III Brazilian Symposium on Computing Systems Engineering. v. 1. p. 17-8.

17.
SÁ, Alírio Santos de ; De Araujo Macedo, Raimundo . Impacto de Métricas de QoS no Desempenho de Detectores Auto-gerenciáveis de Defeitos para Sistemas Distribuídos. In: Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2012, Ouro Preto. Anais do SBRC 2012. Porto Alegre: SBC, 2012. v. 1. p. 1-14.

18.
De Araujo Macedo, Raimundo. A Vision on Autonomic Distributed Systems. In: II Workshop on Autonomic Distributed Systems (WoSiDA), 2012, Our. Anais do WoSiDA 2012. Porto Alegre: SBC, 2012. v. 1. p. 31-35.

19.
SÁ, Alírio Santos de ; FREITAS, A. E. S. ; MACÊDO, R. J. de A. . Auto-Configuração de Máquina de Estados Tolerante a Falhas Bizantinas. In: II Workshop on Autonomic Distributed Systems (WoSiDA), 2012, Ouro Preto. Anais do WoSiDA 2012. Porto Alegre: SBC, 2012. v. 1. p. 35-38.

20.
BLAGOJEVIC, A. ; De Araujo Macedo, Raimundo . Simulação de um Algoritmo de Consenso Distribuído no Modelo Síncrono Particionado Utilizando o HDDSS. In: ERBASE 2012 - WTICG, 2012, Juazeiro. Anais da ERBASE 2012 - WTICG 2012. Porto Alegre: SBC, 2012. v. 1. p. 1-10.

21.
SÁ, Alírio Santos de ; FREITAS, A. E. S. ; MACÊDO, R. J. de A. . Request Batching Self-Configuration in Byzantine Fault-Tolerant Replication. In: Simpósio Brasileiro de Engenharia de Sistemas Computacionais - Trilha Sistemas Operacionais (WSO 2012), 2012, Natal. Anais do Simpósio Brasileiro de Engenharia de Sistemas Computacionais 2012. Porto Alegre: Socieade Brasileira de Computação, 2012. v. 1. p. 1-6.

22.
Marco Antonio Dantas Ramos ; MACÊDO, R. J. de A. ; BLAGOJEVIC, A. . Um Algoritmo Eficiente para Exclusão Mútua para Recursos Redundantes em um Sistema Operacional Distribuído. In: Simpósio Brasileiro de Engenharia de Sistemas Computacionais - Trilha Sistemas Operacionais (WSO 2012), 2012, Natal. Anais do Simpósio Brasileiro de Engenharia de Sistemas Computacionais 2012. Porto Alegre: Socieade Brasileira de Computação, 2012. v. 1. p. 1-6.

23.
De Araujo Macedo, Raimundo; FREITAS, A. E. S. ; SÁ, Alírio Santos de . A Self-Manageable Group Communication Protocol For Partially Synchronous Distributed Systems. In: Fifth Latin-Amarican Symposium on dependable Computing - LADC 2011, 2011, São José dos Campos. Proceeding of Fifth Latin-Amarican Symposium on dependable Computing. New York: IEEE CS Press, 2011. v. 1. p. 146-155.

24.
GORENDER, Sérgio ; De Araujo Macedo, Raimundo . Um Algoritmo Eficiente de Consenso Distribuído para o Modelo Síncrono Particionado. In: Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2011, Campo Grande. Anais do SBRC 2011 (ISSN 2177-496X). Rio de Jenairo: SBC, 2011. v. 1. p. 587-600.

25.
SÁ, Alírio Santos de ; De Araujo Macedo, Raimundo . QoS Self-Configuring Failure Detectors For Distributed Systems. In: 10th IFIP international conference on Distributed Applications and Interoperable Systems (DAIS), 2010, Amsterdam. Proceedings of the 10th IFIP international conference on Distributed Applications and Interoperable Systems (DAIS). Amsterdam: Springer - LNCS Series, 2010. v. 1. p. 126-140.

26.
De Araujo Macedo, Raimundo; FREITAS, A. E. S. . Group Communication for Self-Aware Distributed Systems. In: XXVIII Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC), 2010, Gramado. Anais do XXVIII Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC). Porto Alegre: SBC - ISSN 2177496X, 2010. v. 1. p. 915-928.

27.
SÁ, Alírio Santos de ; De Araujo Macedo, Raimundo . Detectores de Defeitos Autonôimicos para Sistemas Distribuídos. In: Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC), 2010, Gramado. Anais do 28o Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC). Porto Alegre: SBC - ISSN 2177496X, 2010. v. 1.

28.
Eduardo Cambruzzi ; FARINES, Jean Marie ; MACÊDO, R. J. de A. ; Werner Kraus . Uma Abordagem Adaptativa para Detecção de Falhas em Redes Veiculares Ad hoc. In: Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC), 2010, Gramado. Anais dos 28o Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC). Porto Alegre: SBC - ISSN 2177496X, 2010. v. 1. p. 569-583.

29.
GORENDER, Sérgio ; MACÊDO, R. J. de A. . Consenso com Recuperação no Modelo Partitioned Synchronous. In: XI Workshop de Testes e Tolerância a Falhas - WTF, 2010, Gramado. Anais do XI Workshop de Testes e Tolerância a Falhas - WTF. Porto Alegre: SBC - ISSN 2177496X, 2010. v. 1. p. 3-16.

30.
Gorender, Sergio ; MACÊDO, R. J. de A. ; Waltemir Lemos Pacheco Júnior . Controle de Admissão para QoS, em Sistemas Distribuídos Híbridos, Tolerantes a Falhas. In: XI Workshop de Testes e Tolerância a Falhas - WTF, 2010, Gramado. Anais do XI Workshop de Testes e Tolerância a Falhas - WTF. Porto Alegre: SBC - ISSN 2177496X, 2010. v. 1. p. 45-58.

31.
CAMBRUZZI, EDUARDO ; FARINES, JEAN-MARIE ; Macedo, Raimundo Jose ; KRAUS, WERNER . An adaptive failure detection system for Vehicular Ad-hoc Networks. In: 2010 IEEE Intelligent Vehicles Symposium (IV), 2010, La Jolla. 2010 IEEE Intelligent Vehicles Symposium. v. 1. p. 1-10.

32.
Tanisia Foletto ; Victor Moraes ; Moreno, U. F. (Ubirajara Franco Moreno) ; SÁ, Alírio ; De Araujo Macedo, Raimundo . Avaliação sobre a inclusão de estimadores baseados em filtragem de Kalman em sistemas de controle via rede. In: XVIII Congresso Brasileiro de Automática, 2010, Bonito MS. Anais do XVIII Congresso Brasileiro de Automática. Rio de Janeiro: Sociedade Brasileira de Automática (SBA). p. 1-7.

33.
RIBEIRO, S. ; De Araujo Macedo, Raimundo ; Gorender, Sergio . Replicação Reconfigurável em Sistema de Tempo Real. In: VI Congresso Nacional de Engenharia Mecânica (CONEM 2010), 2010, Campina Grande. Anais do VI Congresso Nacional de Engenharia Mecânica (CONEM 2010).. Rio de Janeiro: Associação Brasileira de Ciências Mecânicas (ABCM), 2010. v. 1. p. 1-10.

34.
MACÊDO, R. J. de A.; GORENDER, Sérgio . Perfect Failure Detection in the Partitioned Synchronous Distributed System Model. In: Fourth International Conference on Availability, Reliability and Security (?ARES 2009 ? The International Dependability Conference?), 2009, Fukuoka. ARES/CISIS 2009 proceedings. Japan: IEEE Computer Society, 2009. v. 1. p. 273-280.

35.
ANDRADE, Sandro Santos ; MACÊDO, R. J. de A. . A non-intrusive component-based approach for deploying unanticipated self-management behaviour. In: IEEE ICSE 2009 Workshop Software Engineering for Adaptive and Self-Managing Systems, 2009, Vancouver. Proceedings of the ICSE 2009 Workshop Software Engineering for Adaptive and Self-Managing Systems, 2009. v. 1. p. 152-161.

36.
FREITAS, A. E. S. ; MACÊDO, R. J. de A. . Um Ambiente para Testes e Simulações de Protocolos Confiáveis em Sistemas Distribuídos Híbridos e Dinâmicos. In: O Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC), 2009, Recife. Anais do O Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC). Recife: SBC, 2009. v. 1. p. 826-839.

37.
Marcos Simões ; LIMA, George M de A ; MACÊDO, R. J. de A. . An Autonomic Approach for Dynamic Reconfiguration on Real-time Bandwidth-reservation Schedulers. In: 11th Brazilian Workshop on Real-Time and Embedded Systems (WiP Session), 2009, Recife. Proceedings of the 11th Brazilian Workshop on Real-Time and Embedded Systems. Recife: SBC, 2009. v. 1. p. 1-6.

38.
SÁ, Alírio Santos de ; MACÊDO, R. J. de A. . Uma Proposta de Detector de Defeitos Autonômico Usando Engenharia de Controle. In: X WORKSHOP DE TESTES E TOLERÂNCIA A FALHAS (WTF 2009), 2009, Joãp Pessoa. Anais do X WORKSHOP DE TESTES E TOLERÂNCIA A FALHAS (WTF 2009). João Pessoa: SBC, 2009. v. 1. p. 1-14.

39.
MACÊDO, R. J. de A.; FREITAS, A. E. S. . A Generic Group Communication Approach for Hybrid Distributed Systems. In: 9th IFIP international conference on Distributed Applications and Interoperable Systems (DAIS2009), 2009, Lisbon. Proceedings of the 9th IFIP international conference on Distributed Applications and Interoperable Systems (DAIS2009). Berlin: Springer-Verlag in the Lecture Notes in Computer Science (LNCS) series, 2009. v. 5523. p. 102-115.

40.
Claro, D. B. ; MACÊDO, R. J. de A. . Dependable Web Service Compositions using a Semantic Replication Scheme. In: Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC), 2008, Rio de Janeiro. Anais do SBRC 2008. Rio de Janeiro: Sociedade Brasileira de Computação, 2008. v. 1. p. 441-454.

41.
SILVA, Ricardo Perrone da ; MACÊDO, R. J. de A. ; LIMA, George M de A ; LIMA, Veônica . Estimating Execution Time Probability Distributions in Component-based Real-Time Systems. In: 10th Brazilian Workshop on Real-time and Embedded Systems, 2008, Rio de Janeiro. In Proceedings of the 10th Brazilian Workshop on Real-time and Embedded Systems. Rio de Janeiro: Sociedade Brasileira de Computação, 2008. v. 1. p. 21-28.

42.
SANTOS, Neima Prado dos ; MACÊDO, R. J. de A. ; BARRETO, Luciano Porto . Reconfiguração Dinâmica de Componentes em Sistemas Distribuídos de Controle e Supervisão, com Aplicação a Tolerância a Falhas. In: IX Workshop de Teste e Tolerância a Falhas (WTF 2007), 2008, Rrio de Janeiro. Anais do IX Workshop de Teste e Tolerância a Falhas (WTF 2008). Rio de Jeneiro: SBC - Soc. Brasileira de Computação, 2008. v. 1. p. 197-210.

43.
MACÊDO, R. J. de A.; GORENDER, Sérgio . Detectores Perfeitos em Sistemas Distribuídos Não Síncronos. In: IX Workshop de Teste e Tolerância a Falhas (WTF 2007), 2008, Rio de Janeiro. Anais do IX Workshop de Teste e Tolerância a Falhas (WTF 2007). Rio de Janeiro: SBC - Sociedade Brasileira de Computação, 2008. v. 1. p. 127-140.

44.
SÁ, Alírio Santos de ; MACÊDO, R. J. de A. ; SANTOS, T. L. M. ; Moreno, U. F. (Ubirajara Franco Moreno) . Um Procedimento para Avaliação de Redes Ethernet Comutada Baseada em uma Métrica de Qualidade de Controle. In: XVII Congresso Brasileiro de Automática (CBA), 2008, Juiz de Fora. Anais do XVII Congresso Brasileiro de Automática (CBA), 2008. v. 1. p. 1-6.

45.
SILVA, Ricardo Perrone da ; MACÊDO, R. J. de A. ; LIMA, George M de A ; LIMA, Veônica . Uma Abordagem para Estimar Tempos de Execução em Sistemas de Tempo Real Baseados em Componentes. In: II Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS 2008), 2008, Porto Alegre. Anais do II Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS 2008). POrto Alegre: Sociedade Brasileira de Computação, 2008. v. 1. p. 82-95.

46.
Daniela Barreiro Claro ; Oriana Licchelli ; Patrick Albers ; MACÊDO, R. J. de A. . Personalized reliable Web service compositions. In: 3rd WORKSHOP ON ONTOLOGIES AND THEIR APPLICATIONS (WONTO'2008) (co-located with SBIA 2008), 2008, Salvador. Proceedings of 3rd WORKSHOP ON ONTOLOGIES AND THEIR APPLICATIONS. Salvador: Sociedade Brasileira de Computação, 2008. v. 1. p. 1-10.

47.
MACÊDO, R. J. de A.. An Integrated Group Communication Infrastructure for Hybrid Real-time Distributed Systems. In: 9th Workshop on Real-Time Systems, 2007, Belém. Proceedings of the 9th Workshop on Real-Time Systems. Porto Alegre: SBC - Sociedade Brasileira de Computação, 2007. v. 1. p. 81-88.

48.
SÁ, Alírio Santos de ; MACÊDO, R. J. de A. . Um Framework para Prototipagem e Simulação de Detectores de Defeitos na Construção de Sistemas de Tempo Real. In: VIII Workshop de Teste e Tolerância a Falhas (WTF 2007), 2007, Belém. Proceedings of WTF'2007. Porto Alegre: SBC, 2007. v. 1. p. 43-56.

49.
SANTOS ANDRADE, SANDRO ; DE ARAUJO MACEDO, RAIMUNDO JOSE . Engineering components for flexible and interoperable real-time distributed supervision and control systems. In: 2007 IEEE Conference on Emerging Technologies & Factory Automation (EFTA 2007), 2007, Patras. 2007 IEEE Conference on Emerging Technologies & Factory Automation (EFTA 2007). v. 1. p. 376-383.

50.
SÁ, Alírio Santos de ; MACÊDO, R. J. de A. . Avaliando o Impacto de Detectores de Defeitos na Estabilidade de Sistemas de Controle de Tempo Real sobre Redes Convencionais. In: WTF 2006 - VII Workshop de Testes e Tolerância a Falhas, 2006, Curitiba. Anais do WTF 2006. Curitiba: SBC, 2006. v. 1. p. 55-66.

51.
ANDRADE, Sandro Santos ; MACÊDO, R. J. de A. . Using Real-Time Components to Construct Supervision and Control Applications. In: 8th Brazilian Workshop on Real-Time Systems, 2006, Curitiba. Proceedings of the WTR 2006. Curitiba: SBC, 2006. v. 1. p. 1-4.

52.
ANDRADE, Sandro Santos ; MACÊDO, R. J. de A. . A Management Tool for Component-Based Real-Time Supervision and Control Systems. In: Simpósio Brasileiro de Engenharia de Software (Sessão de Ferramentas), 2006, Floerianópolis. XIII Sessão de Ferramentas do SBES, 2006. v. 1. p. 139-144.

53.
ANDRADE, Sandro Santos ; MACÊDO, R. J. de A. . Real-Time Component Software For Flexible And Interoperable Automation Systems. In: XII Congresso Brasileiro de Automática (XII CBA), 2006, Salvador. Anais do XII Congresso Brasileiro de Automática, 2006. v. 1. p. 3014-3019.

54.
ANDRADE, Sandro Santos ; MACÊDO, R. J. de A. ; SÁ, Alírio Santos de ; SANTOS, Neima . USING REAL-TIME COMPONENTS TO CONSTRUCT SUPERVISION AND CONTROL APPLICATIONS. In: The 27th IEEE Real-Time Systems Symposium (RTSS 2006) Work in Progress Session, 2006, Rio de Janeiro. Proceedings of the The 27th IEEE Real-Time Systems Symposium (Working in Progress Session), 2006. v. 1. p. 1-4.

55.
GORENDER, Sérgio ; MACÊDO, R. J. de A. ; RAYNAL, Michel . A Hybrid and Adaptive Model for Fault-Tolerant Distributed Computing. In: DNS05- IEEE/IFIP Int. Conference on Computer Systemas and Networks, 2005, Yokohama, Japan. Proceedings of the IEEE/IFIP DSN 05. Los Alamitos, CA, USA: IEEE Computer Press, 2005. v. 1. p. 412-421.

56.
SÁ, Alírio Santos de ; MACÊDO, R. J. de A. . Detectores de Defeitos Adaptáveis para Sistemas de Controle Distribuídos de Tempo-Real sobre Redes Ethernet. In: VII Brazilian Workshop of Real-Time Systems, 2005, Fortaleza. Proceedings of the VII Brazilian Workshop of Real-Time Systems. Fortaleza: SBC/LARC, 2005. v. 1. p. 65-68.

57.
MACÊDO, R. J. de A.; GORENDER, Sérgio ; CUNHA, Paulo . The Implementation of a Distributed System Model for Fault Tolerance with QoS. In: SBRC 2005, Simpósio Brasileiro de Redes de Computadores, Maio/2005, 2005, Fortaleza. Anais do SBRC 2005. Fortaleza: SBC/LARC, 2005. v. 1. p. 827-840.

58.
ANDRADE, Sandro ; MACÊDO, R. J. de A. . A Component-Based Real-Time Architecture for Distributed Supervision and Control Applications. In: 10th IEEE International Conference on Emerging Technologies and Factory Automation, 2005, Catania. Proceedings of the ETFA 2005. New York: IEEE Computer Society Press, 2005. v. 1. p. 15-22.

59.
SÁ, Alírio Santos de ; MACÊDO, R. J. de A. . An Adaptive Failure Detection Approach for Real-time Ddistributed Control Systems over Shared Ethernet. In: International Congress on Mechanical Engenniering - Mechatronics Symposium, 2005, Ouro Preto. Proceedings of the 18th International Congress on Mechanical Engeneering, 2005. v. 1. p. 1-8.

60.
ANDRADE, Sandro ; MACÊDO, R. J. de A. ; SÁ, Alírio Santos de . ARCOS: A Component-Based Architecture for the Construction of Robust Control and Supervision Applicatrions. In: WDAS - Latin-American Workshop on Dependable Automation System - co-located with the Second Latin-Americam Symposium on Dependable Computing, 2005, Salvador. WDAS - Latin-American Workshop on Dependable Automation System Proceedings. Salvador: SBC/LADC2005, 2005. v. 1. p. 11-16.

61.
SÁ, Alírio Santos de ; MACÊDO, R. J. de A. . Avaliando Detectores de Defeitos Adaptáveis em Sistemas Distribuídos de Controle de Tempo Real sobre Redes Convencionais. In: III Workshop on Theses and Dissertations (co-located with the Second Latin-American Symposium on Dependable Computing), 2005, Salvador. Suplemental Volume of The Procceedings of LADC'2005. Salvador: SBC, 2005. v. 1. p. 61-66.

62.
LIMA, Fábio Ramon de Lima e ; MACÊDO, R. J. de A. . Adapting Failure Detectors to Communication Network Load Fluctuations Using SNMP and Artificial Neural Nets. In: Second Latin-American Dependable Computing Symposium - LADC05, 2005, Salvador. Proceedings of Second Latin-American Dependable Computing Symposium. Berlin: Springer-Verlag in the Lecture Notes in Computer Science (LNCS) series, 2005. v. 3747. p. 191-205.

63.
MACÊDO, R. J. de A.; LIMA, Fábio Ramon de Lima e . Improving the Quality of Service of Failure Detectors with SNMP and Artificial Neural Networks.. In: Simpósio Brasileiro de Redes de Computadores - SBRC2004 (short paper track), 2004, Gramado. Anais do 22o Simpósio Brasileiro de Redes de Computadores. Porto Alegre: Sociedade Brasileira de Computação - SBC, 2004. v. 1. p. 583-586.

64.
GORENDER, Sérgio ; MACÊDO, R. J. de A. ; CUNHA, Mathues Ciríaco Cerqueira . Implementação e Análise de Desempenho de um Mecanismo Adaptativo para Tolerância a Falhas em Sistemas Distribuídos com QoS. In: V Workshop de Testes e Tolerância a Falhas (WTF 2004), 10-14 Maio, 2004, Gramado/RS. Anais do WTF 2004. Porto Alegre: Sociedade Brasileira de Computação, 2004. v. 1. p. 3-14.

65.
MACÊDO, R. J. de A.; SILVA, Flávio Morais de Assis ; FREITAS, Ana Vitória Piaggio . MARES Platform: Support for Transactional and Fault-tolerant Execution of Mobile Agent-based Applications. In: IV Workshop de Testes e Tolerância a Falhas (II WTF), 2003, Natal. Proceedings. NATAL: SBC, 2003. v. 1. p. 71-78.

66.
MACÊDO, R. J. de A.; SILVA, Flávio Morais de Assis . Coordination of Mobile Processes with Mobile Groups. In: The IEEE/IFIP International Conference on Dependable Systems and Networks. June 23rd-26th, 2002, Washington, D.C., USA., 2002, Washington. Proceedings of the DSN'2002. Washington: IEEE Computer Society Press, 2002. p. 177-186.

67.
GORENDER, Sérgio ; MACÊDO, R. J. de A. . Um Modelo de Tolerância a Falhas para Sistemas Distribuídos com QoS. In: Simpósio Brasileiro de Redes de Computadores - SBRC2002, 20-24/Maio, 2002, Búzios. Anais do SBRC2002. Porto Alegre: Sociedade Brasileira de Computação, 2002. p. 277-292.

68.
FERREIRA, N. ; MACÊDO, R. J. de A. . Uso de Redes Neurais Artificiais para a Implementação de Um Detector de Falhas. In: II Workshop de Testes e Tolerância a Falhas (II WTF), 20-24/Junho, 2002, Búzios. Anais do II WTF. Porto Alegre: Sociedade Brasileira de Computação, 2002. p. 33-40.

69.
MACÊDO, R. J. de A.; SILVA, Flávio Morais de Assis . Mobile Groups. In: Simpósio Brasileiro de Redes de Computadores, 2001, Florianópolis. Anais do SBRC'2001. Porto Alegre: Sociedade Brasileira de Computação, 2001. p. 66-81.

70.
BATALHA, M. ; MACÊDO, R. J. de A. . Um Serviço Tolerante a Falhas para o Gerenciamento de Sistemas Distribuídos Sobre CORBA. In: Conferência Latinoamericana de Informática, 2001, Mérida. Anais do CLEI'2001. Santiago: CLEI - Centro Latinoamericano de Estudios en Informática, 2001.

71.
MACÊDO, R. J. de A.; SILVA, Flávio Morais de Assis . Integrating Mobility into Groups. In: European Research Seminar on Advances in Distributed System, 2001, Bertinoro. Proceedings of ERSADS'2001. Bolongna: University of Bolongna (Ozalp Babaoglu), 2001. p. 209-214.

72.
SILVA, Flávio Morais de Assis ; MACÊDO, R. J. de A. . Reliable Communication for Mobile Agents with Mobile Groups. In: Workshop on Software Engineering and Mobility (co-located with ACM/IEEE ICSE 2001), 2001, Toronto. Proceedings, 2001.

73.
HURFIN, Michel ; MACÊDO, R. J. de A. ; MOSTEAFAOUI, A. ; RAYNAL, Michel . A Sliding Round Window Diamond S-based Consensus. In: 20th IEEE Int. Symposium on Reliable Disributed Systems, 2001, New Orleans. Proceedings of the SRDS'01. New Orleans: IEEE Computer Society Press, 2001. p. 120-129.

74.
MACÊDO, R. J. de A.; HURFIN, Michel . ARGO PROJECT : Fualt Tolerance in Asynchronous Distributed Systems. In: Projects Evaluation Workshop - International Cooperation (CNPq/NFS/INRIA) - ProTeM-CC, 2001, Rio de Janeiro. Proceedings of the Internacional Cooperation (NSF/INRIA) Project Evaluation Workshop. Brasilia: CNPq, 2001. p. 518-541.

75.
CIRNE, L. D. ; MACÊDO, R. J. de A. . Uma Abordagem para Tolerância a Falhas em JAVA através de Comunicação em Grupo. In: XVIII Simpósio Brasileiro de Redes de Computadores - SBRC'2000, 2000, Belo Horizonte. Anais do SBRC'2000. Belo Horizonte: Sociedade Brasileira de Computaçãp - SBC, 2000. p. 101-116.

76.
MACÊDO, R. J. de A.. Failure Detection in Asyncronous Distributed Systems. In: II Workshop de Testes e Tolerância a Falhas (II WTF), 15-16/Julho, 2000, Curitiba. Anais do II WTF. Porto Alegre: Sociedade Brasoleira de Computação - SBC, 2000. p. 76-81.

77.
SILVA, Flávio Morais de Assis ; MACÊDO, R. J. de A. . Reliability Requirements for Mobile Agent Systems. In: II Workshop de Testes e Tolerância a Falhas (II WTF), SBC, 15-16/Julho, 2000, Curitiba. Anais do II WTF da SBC, 2000. p. 04-09.

78.
GREVE, F. G. P. ; HURFIN, Michel ; MACÊDO, R. J. de A. ; RAYNAL, Michel . Consensus Based On Strong Failure Detectors : A Time and Message-Efficient Protocol. In: IEEE International Workshop on Fault-Tolerant Parallel and Distributed Systems ( FTPDS`2000), 2000, Cancun. Proceedings of the IEEE International Workshop on Fault-Tolerant Parallel and Distributed Systems. Berlin: Springer-Verlag in the Lecture Notes in Computer Science (LNCS) series, 2000. v. 1800. p. 1258-1267.

79.
BADACHE, N. ; HURFIN, Michel ; MACÊDO, R. J. de A. . Solving The Consensus Problem In a Mobile Environment. In: The 1999 IEEE International Performance,Computing, and Communications Conference - IPCCC'99, 1999, Phoenix/Scottsdale. Proceedings. Piscataway, NJ, USA: IEEE Press, 1999. p. 29-35.

80.
HURFIN, Michel ; MACÊDO, R. J. de A. ; RAYNAL, Michel ; TRONEL, F. . A General Framework to Solve Agreement Problems. In: International Symposium on Reliable Distributed Systems - SRDS'99, 1999, Lausanne. Proceedings of the IEEE Symposium on Reliable Distributed Systems, 1999. p. 56-67.

81.
LIMA, George M de A ; MACÊDO, R. J. de A. . A Robust Causal Order Protocol. In: 11th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD`99), 1999, Natal. 11th Symposium on Computer Architecture and High Performance Computing, 1999.

82.
LIMA, George M de A ; MACÊDO, R. J. de A. . Avaliação de Desempenho de Protocolos de Ordenação Causal para Comunicação em Grupo. In: XXV Conferência Latino-Americana de Informática, 1999, Assunção. CLEI. Assunção: CLEI, 1999.

83.
BADACHE, N. ; HURFIN, Michel ; MACÊDO, R. J. de A. . A Solution for the Consensus Problem in a Mobile Environment. In: XVII Simpósio Brasileiro de Redes de Computadores, 1999, Salavdor. Anais do SBRC'99, 1999. p. 272-288.

84.
GREVE, Fabiola ; MACÊDO, R. J. de A. . The Bcg Membership Service Performance Analysis. In: Simpósio Brasileiro de Redes de Computadores, 1998, Rio de Janeiro. Anais. Rio de Janeiro: SBC - Sociedade Brasileira de Computação, 1998. p. 682-700.

85.
EZHILCHELVAN, P. D. ; MACÊDO, R. J. de A. ; SHRIVASTAVA, S. . Buffer Overflow Avoidance Techiniques For Group Communication Protocols. In: Simpósio Brasileiro de Redes de Computadores, 1996. Anais. Fortaleza. p. 633-652.

86.
MACÊDO, R. J. de A.; EZHILCHELVAN, P. ; SHRIVASTAVA, S. . Flow Control Schemes For A Fault-Tolerant Multicast Protocol. In: PACIFIC RIM INTERNATIONAL SYMPOSIUM ON FAULT-TOLERANT SYSTEMS, 1995, Newport Beach. PROCEEDINGS. Los Alamitos: IEEE. p. 80-88.

87.
MACÊDO, R. J. de A.; EZHILCHELVAN, P. . Reliability Aspects Of Multicast Protocols. In: VI SIMPOSIO BRASILEIRO DE COMPUTADORES TOLERANTES A FALHA, 1995. Anais. CANELA, RS, BRASIL. p. 239-259.

88.
MACÊDO, R. J. de A.; SHRIVASTAVA, S. . The Implementation And Performance Analysis Of A Total Order Delivery Total Order Protocol For Group Communication. In: THE XXI LATIN AMERICAN CONFERENCE ON INFORMATICS AND THE VX CONGRESS OF THE SBC (SEMISH), 1995, Canela. Proceedings. CANELA: SBC, 1995. p. 287-299.

89.
MACÊDO, R. J. de A.; EZHILCHELVAN, P. ; SHRIVASTAVA, S. . Flows Control Schemes For Multicast Protocols. In: II OPEN BROADCAST WORKSHOP, 1995, Greboble. BROADCAST/ESPRIT DELIVERABLE REPORT. GRENOBLE, FRANCE: ESPRIT/BROADCAST. v. 3. p. 0-0.

90.
EZHILCHELVAN, P. ; MACÊDO, R. J. de A. ; SHRIVASTAVA, S. . Newtop: a fault-tolerant group communication protocol. In: PROC. OF THE 15TH INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS., 1995, Vancouver. PROCEEDINGS. VANCOUVER, CANADA: IEEE, 1995. p. 296-306.

91.
MACÊDO, R. J. de A.. Causal Order Protocols For Group Communication. In: XIII SIMPOSIO BRASILEITO DE REDES DE COMPUTADORES, 1995, Belo Horizonte. ANAIS. BELO HORIZONTE, MG, BRASIL: SBC. p. 265-283.

92.
D, P. ; MACÊDO, R. J. de A. ; SHRIVASTAVA, S. . Newtop: A Total Order Protocol Using Causal Blocks. In: FIRST OPEN BROADCAST WORKSHOP, 1993, Newcastle upon Tyne. Deliveravle Reports. NEWCASTLE UPON TYNE, ENGLAND: ESPRIT/Newcastle, 1993. v. 1. p. 0-0.

93.
MACÊDO, R. J. de A.. Um Sistema Integrado de Baixo Custo Para Desenvolvimento de Software Num Ambiente de Ensino. In: II SEMANA DE INFORMATICA DA UFBA. PAGINAS 152-165., 1988. Anais. SALVADOR, BA, BRASIL. p. 152-165.

94.
MACÊDO, R. J. de A.. Servidores de Arquivo: Uma Introucao. In: I SEMANA DE INFORMATICA DA UFBA, 1986, Salvador. Anais. SALVADOR, BA, BRASIL: UFBA, 1986. p. 54-79.

Resumos expandidos publicados em anais de congressos
1.
ANDRADE, Sandro Santos ; Macêdo, Raimundo José de Araújo . DuSE-MT: From Design Spaces to Automated Software Architecture Design. In: The 25th International Conference on Software Engineering and Knowledge Engineering SEKE 2013, 2013, Boston. Proceedings of the SEKE 2013 (DEMO TRACK). Boston: SEKE 2013, 2013. v. 1. p. 1-2.

2.
ANDRADE, Sandro Santos ; MACEDO, RAIMUNDO JOSE DE ARAUJO . Toward Systematic Conveying of Architecture Design Knowledge for Self-Adaptive Systems. In: 2013 IEEE Conference on SelfAdaptive and SelfOrganizing Systems Workshops (SASOW), 2013, Philadelphia. 2013 IEEE 7th International Conference on Self-Adaptation and Self-Organizing Systems Workshops. v. 1. p. 23-3.

3.
MACÊDO, R. J. de A.; RAYNAL, Michel . Adding Dynamicity to the Uncertainty that Characterizes Distributed Systems: Challenges Ahead. In: Colóquio em Informática: Brasil / INRIA, Cooperações, Avanços e Desafios, 2009, Bento Gonçalves. XXX Congresso da Sociedade Brasileira de Computação. Porto Alegre: SBC/INRIA, 2009. v. 1. p. 2551-2554.

4.
Claro, D. B. ; MACÊDO, R. J. de A. . Web Services e sua relação com Sistemas de Informação. In: IV Simpósio Brasileiro de Sistemas de Informação, 2008, Rio de Janeiro. In Mini-cursos do IV Simpósio Brasileiro de Sistemas de Informação. Rio de Jenairo: SBC, 2008. v. 1. p. 1-5.

5.
GORENDER, Sérgio ; MACÊDO, R. J. de A. . A Dynamically QoS Adaptable Consensus and Failure Detector.. In: DNN02- IEEE/IFIP Int. Conference on Computer Systemas and Networks, 2002, Washington. Suplemental Volume of the Proceedings DSN02, 2002. p. B80-B81.

Resumos publicados em anais de congressos
1.
MACÊDO, R. J. de A.; SILVA, Flávio Morais de Assis . An Overview of the Mobile Group Approach. In: First Open ARGo Project Workshop, 2001, Salvador. Extended Abstracts, 2001. p. 7-8.

2.
SILVA, Flávio Morais de Assis ; MACÊDO, R. J. de A. . Approaches for Mobile Agent Fault Tolerance. In: First Open ARGO Workshop, 2001, Salvador. Extended Abstracts. Salvador: ProTem-CC, CNPQ/INRIA, 2001. p. 9-10.

3.
FERREIRA, N. ; MACÊDO, R. J. de A. . Implementation of a Failure Detector bsed on an Artificial Neural Network. In: First Open ARGO Workshop, 2001, Salvador. Extended Abstracts. Salvador: ProTeM-CC, CNPq/INRIA, 2001. p. 11-12.

4.
BATALHA, M. ; MACÊDO, R. J. de A. . A Fault-Tolerant CORBA based Management Tool. In: First Open ARGO Worhsop, 2001, Salvador. Extended Abstracts. Salvador: ProTeM-CC, CNPq/INRIA, 2001. p. 25-26.

5.
GREVE, Fabiola ; HURFIN, Michel ; MACÊDO, R. J. de A. ; RAYNAL, Michel . Time and Message-Efficient S-Based Consensus. In: Nineteenth Annual ACM SIGACT0SIGOPS Symposium on PRINCIPLES OF DISTRIBUTED COMPUTING, 2000, Portland/Oregon. Proceedings of PODC`2000, 2000.

6.
MACÊDO, R. J. de A.. A Solution For The Consensus Problem In A Mobile Environment. In: II Workshop Aberto do Projeto LOCUS/PROTEM-CC Fase III, 1998, Recife. Resumos. Recife: LOCUS/PROTEM.

7.
MACÊDO, R. J. de A.; EZHILCHELVAN, P. D. ; SHRIVASTAVA, S. . Modelling Group Communication Using Causal Blocks. In: V EUROPEAN WHORSHOP ON DEPENDABLE COMPUTING., 1993. Abstracts. LISBON, PORTUGAL, 1993. p. 0-0.

8.
MACÊDO, R. J. de A.. Desenvolvimento de Estruturas de Acesso Via Chave Primaria Para Um Ambiente de Acesso Concorrente.. In: III SEMINARIO DE DOCENTES DA UFBA, 1988. Anais. SALVADOR, BA, BRASIL: UFBA. p. 0-0.

9.
MACÊDO, R. J. de A.. Desenvolvimento de Estacoes Servidoras de Arquivos Dedicada A Interligacao de Micro-Computadores e Com Acesso Ao Main-Frame. In: II SEMINARIO DE DOCENTES DA UFBA, 1987. Anais. SALVADOR: UFBA. p. 0-0.

Apresentações de Trabalho
1.
Macêdo, Raimundo José de Araújo. CONEXÃO DIGITAL NA PROMOÇÃO DA INOVAÇÃO E INTEGRAÇÃO SOCIAL. 2016. (Apresentação de Trabalho/Conferência ou palestra).

2.
Macêdo, Raimundo José de Araújo. Rede digital UFSB: desafios, soluções e alternativas. 2016. (Apresentação de Trabalho/Conferência ou palestra).

3.
Macêdo, Raimundo José de Araújo. Evasão e Estratégias para a Permanência Estudantil. 2015. (Apresentação de Trabalho/Conferência ou palestra).

4.
Macêdo, Raimundo José de Araújo. Desafios para TIC na Bahia: visão acadêmica (palestra convidada). 2015. (Apresentação de Trabalho/Conferência ou palestra).

5.
De Araujo Macedo, Raimundo. Designing self-manageable protocols for dependable distributed systems. 2013. (Apresentação de Trabalho/Conferência ou palestra).

6.
De Araujo Macedo, Raimundo. design of autonomic distributed systems (panel) - Workshop on Autonomic Distributed Systems (WoSiDA), Co-located with the Brazilian Symposium on Computer Networks and Distributed Systems,. 2011. (Apresentação de Trabalho/Conferência ou palestra).

7.
De Araujo Macedo, Raimundo. a view on autonomic distributed systems - Workshop on Autonomic Distributed Systems (WoSiDA), Co-located with the Brazilian Symposium on Computer Networks and Distributed Systems. 2011. (Apresentação de Trabalho/Congresso).

8.
MACÊDO, R. J. de A.. Problemas Ambientais Causados pela Tecnologia da Informação: Cenário Atual e Soluções (Palestra Convidada). 2008. (Apresentação de Trabalho/Conferência ou palestra).

9.
Claro, D. B. ; MACÊDO, R. J. de A. . Confiabilidade em Serviços Web (Minicurso). 2008. (Apresentação de Trabalho/Conferência ou palestra).

10.
MACÊDO, R. J. de A.. Approaches for Adaptive and Dependable Distributed Systems (Palestra Convidada). 2008. (Apresentação de Trabalho/Conferência ou palestra).

11.
MACÊDO, R. J. de A.. Os Problemas Ambientais Causados pela Sociedade da Informação. 2007. (Apresentação de Trabalho/Conferência ou palestra).

12.
MACÊDO, R. J. de A.. Lei de Informática (Palestra Convidada). 2007. (Apresentação de Trabalho/Conferência ou palestra).

13.
MACÊDO, R. J. de A.. Sistemas Distribuídos e Convergência. 2006. (Apresentação de Trabalho/Conferência ou palestra).

14.
MACÊDO, R. J. de A.. Sistemmas Computacionais Tolerantes (ou Imunes) a Falhas: em Busca de Modelos Biológicos. 2006. (Apresentação de Trabalho/Conferência ou palestra).

15.
MACÊDO, R. J. de A.. III Colóquio Internacional Redes e Cibercidades LIXO DIGITAL. 2004. (Apresentação de Trabalho/Conferência ou palestra).

16.
MACÊDO, R. J. de A.; GIOZZA, Willian ; BITTENCOURT, Roberto ; SOUZA, Josemar Rodrigues de ; LUCCHESI, Rafael ; PEREIRA, Hernane . Tecnologia da Informação na Bahia: Os elos entre o Governo Estadual e o Setor Acadêmico. 2004. (Apresentação de Trabalho/Outra).

17.
MACÊDO, R. J. de A.. Impactos Ambientais da Fabricação, Uso e Descarte de Computadores. 2004. (Apresentação de Trabalho/Conferência ou palestra).

18.
MACÊDO, R. J. de A.. O outro lado dos computadores, ou tudo o que não se pretendia deles: hardlixo + softlixo. 2003. (Apresentação de Trabalho/Conferência ou palestra).

Outras produções bibliográficas
1.
Macêdo, Raimundo José de Araújo. Desenvolvimento e Tendências das Tecnologias da Informação e Comunicação no Mundo e na Bahia: Uma Visão. academia.edu, 2015 (Relatório Técnico).

2.
MACÊDO, R. J. de A.; Luciano Gaspary . Concurso de Teses e Dissertações da Sociedade Brasileira da Computação - SBC. Porto Alegre, 2009. (Prefácio, Pósfacio/Prefácio)>.

3.
GORENDER, Sérgio ; MACÊDO, R. J. de A. ; RAYNAL, Michel . A QoS-Based Adaptive Model for Fault-tolerant Distruibuted Computing. Rennes: IRISA, 2006 (Relatório Técnico).

4.
MACÊDO, R. J. de A.; MONTEIRO, José Augusto Suruagy ; GIOZZA, Willian ; BITTERNCOURT, Roberto . Projero Pró-Doutorado muiltiinstitucional em Tecnlogia da Informação na Bahia. Salvador: UFBA, 2003 (Projeto).

5.
LEPKSON, Herman ; MACÊDO, R. J. de A. . Projeto do Curso de Mestrado em Mecatônica. Salvador: UFBA, 2002 (Projeto).

6.
MACÊDO, R. J. de A.; HURFIN, Michel . Projeto ARGO - Relatório Parcial - Workshop ProTeM-CC/INRIA. Brasília: CNPq, 2001 (Relatório Técnico).

7.
MACÊDO, R. J. de A.; HURFIN, Michel . First Open ARGO Workshop - Extended Abstracts. Salvador: UFBA, 2001 (Anais de Conferência (Editor)).

8.
HURFIN, Michel ; MACÊDO, R. J. de A. ; MOSTEFAOUI, A. ; RAYNAL, Michel . A Sliding Round Window <>S Based Consensus Protocol. Rennes: IRISA, 2000 (Relatório Técnico No 1304, IRISA/FRANCE, Feb/2000.).

9.
MACÊDO, R. J. de A.; HURFIN, Michel . ARGO - Tolerância a Falhas nos Sistemas Distribuídos Assíncronos. Salvador: LaSiD/UFBA, 1999 (Projeto de Pesquisa).

10.
MACÊDO, R. J. de A.. Projeto do Curso de Pós-graduação lato senso Especialização Avançada em Sistemas Distribuídos - 40 páginas 1997 (Projeto).

11.
MACÊDO, R. J. de A.; DRUMMOND, R. . I Workshop de Sistemas Distribuídos. Salvador: UFBA, 1996 (Anais de Conferência (Editor)).

12.
MACÊDO, R. J. de A.. BCG - Base Confiável de Comunicação em Grupo. Salvador: LaSiD/UFBA, 1995 (Projeto de Pesquisa).

13.
MACÊDO, R. J. de A.. Projeto de Criação do Labotatório de Sistemas Distribuídos - LaSiD da UFBA 1995 (Projeto).

14.
MACÊDO, R. J. de A.; Magalhães, Geovane C. . Anais da Primeira Semana de Informática da UFBA. Salvador, 1986. (Prefácio, Pósfacio/Prefácio)>.


Produção técnica
Assessoria e consultoria
1.
Macêdo, Raimundo José de Araújo. General Chair IEEE SRDS 2018. 2018.

2.
VERISSIMO, Paulo ; Macêdo, Raimundo José de Araújo . Publicity Co-Chair - IFIP/IEEE DSN. 2018.

3.
Macêdo, Raimundo José de Araújo. Membro do Comitê de Programa - SBRC 2018 Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC). 2018.

4.
Macêdo, Raimundo José de Araújo. PC Member - The 2018 International Conference on Computer, Information, and Telecommunication Systems. 2018.

5.
Macêdo, Raimundo José de Araújo. Membro do Comitê do Concurso de Teses e Dissertações Símpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC 2018). 2018.

6.
Macêdo, Raimundo José de Araújo. Fast Abstract Committee Member - IFIP/IEEE DSN 2018. 2018.

7.
MACEDO, RAIMUNDO JOSE DE A.. TPC member - VIII Brazilian Symposium on Computing Systems Engineering. 2018.

8.
MACEDO, RAIMUNDO JOSE DE ARAUJO. Workshop de Segurança Cibernética em Dispositivos Conectados (SBRC 2018 - WSCDC). 2018.

9.
Macêdo, Raimundo José de Araújo. membro do comitê de programa do simpósio brasileiro de redes de computadores e sistemas distribuídos. 2017.

10.
Macêdo, Raimundo José de Araújo. PC member of the 7th Brazilian Symposium on Computing Systems Engineering (SBESC). 2017.

11.
Macêdo, Raimundo José de Araújo. Membro do Comitê Consultivo e de Programa do workshop de sistemas distribuídos autonômicos (WoSiDa). 2017.

12.
Macêdo, Raimundo José de Araújo. PC Member - The 2017 International Conference on Computer, Information, and Telecommunication Systems. 2017.

13.
Macêdo, Raimundo José de Araújo. coordenador do SECOMU (Seminário de Computação na Universidade) no Congresso da Sociedade Brasileira de Computação. 2016.

14.
Macêdo, Raimundo José de Araújo. Membro do comitê de programa do Seminário em Hardware e Software - SEMISH 2016. 2016.

15.
Macêdo, Raimundo José de Araújo. Membro do Comitê de Programa do Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos - SBRC. 2016.

16.
Macêdo, Raimundo José de Araújo. Membro do comitê de programa do V O Simpósio Brasileiro de Informática na Educação (SBIE) - Trilha 4: Inteligência em Ambientes e Sistemas Computacionais para Ensino/Aprendizagem. 2016.

17.
Macêdo, Raimundo José de Araújo. membro do comitê de programa do Latin American Symposium on Dependable Computing. 2016.

18.
Macêdo, Raimundo José de Araújo. membro do comitê de programa do Worshop on Autonomic Distributed Systems. 2016.

19.
Macêdo, Raimundo José de Araújo. membro do comitê de programa do Brazilian Symposium on Computing Systems Engineering (SBESC). 2016.

20.
Macêdo, Raimundo José de Araújo. Membro do comitê de programa do International Conference on Computer, Information, and Telecommunication Systems. 2016.

21.
Macêdo, Raimundo José de Araújo. 21st IEEE Workshop on Dependable Parallel, Distributed and Network-Centric Systems. 2016.

22.
Macêdo, Raimundo José de Araújo; fernando pedone . coordenador do comitê de programa da trila FAST ABSTRACT / Work In Progresss do Dependable Systems and Networks Conference. 2015.

23.
MACEDO, RAIMUNDO JOSE DE A.. membro do comitê do programa do simpósio brasileiro de redes e sistemas distribuídos. 2015.

24.
MACEDO, RAIMUNDO JOSE DE A.. Membro do Comitê de Programa do V Brazilian Symposium on Computing Systems Engineering (SBESC 2015). 2015.

25.
MACEDO, RAIMUNDO JOSE DE A.. Membro do Conselho Consultivo e do Comitê de Programa do 5th Workshop on Autonomic Distributed Systems (WoSiDA2015). 2015.

26.
MACEDO, RAIMUNDO JOSE DE A.. membro do comitê de programa da Conferencia Nacional de Computación, Informática y Sistemas 2015. 2015.

27.
Macêdo, Raimundo José de Araújo. PC Member - CoNCISa 2015 es la tercera Conferencia Nacional de Computación, Informática y Sistemas.. 2015.

28.
Macêdo, Raimundo José de Araújo. Membro do Comitê de Programa - membro do comotê de program Real-Time Systems Track IV Simpósio Brasileiro de Engenharia de Sistemas Computacionais. 2014.

29.
Macêdo, Raimundo José de Araújo. Membro do Comitê de Programa - membro do comotê de programa Operating Systems Track IV Simpósio Brasileiro de Engenharia de Sistemas Computacionais. 2014.

30.
Macêdo, Raimundo José de Araújo. Membro do Comitê de Programa do 33rd International Symposium on Reliable Distributed Systems. 2014.

31.
Macêdo, Raimundo José de Araújo. Membro do Comitê de Programa do 2. 16th International Symposium on Stabilization, Safety, and Security of Distributed Systems. 2014.

32.
Macêdo, Raimundo José de Araújo. Membro do Comitê de Programa do 32nd Brazilian Symposium on Computer Networks and Distributed Systems. 2014.

33.
Macêdo, Raimundo José de Araújo. Membro do Comitê de Programa do 4th Workshop on Autonomic Distributed Systems (WoSiDA 2014).. 2014.

34.
Macêdo, Raimundo José de Araújo. Membro do Comitê de Programa do Segunda Conferencia Nacional de Computación, Informática y Sistemas. 2014.

35.
Macêdo, Raimundo José de Araújo. Membro do Comitê de Programa do Middleware for Next Generation Internet Computing. 9th MW4NG Workshop of the 15th International Middleware Conference 2014. 2014.

36.
Macêdo, Raimundo José de Araújo. membro do comitê internacional para o processo de indicação do IEEE TCFT (TCFT Nominations Committee). 2014.

37.
Macêdo, Raimundo José de Araújo. Membro da COMPITEC (Comissão de Propriedade Intelectual e Transmissão de Tecnologia da UFBA) - assessorando e emitindo pareceres e avaliações pertinentes e mérito no concerne à política de Propriedade Intelectual, da Inovação e da Transferência e à apropriação e gestão dos ativos intangíveis .. 2014.

38.
ALMEIDA FILHO, N. M. ; Rogério Guintella ; Macêdo, Raimundo José de Araújo . PROPOSTA DE POLÍTICA DE ESTADO DE CIÊNCIA, TECNOLOGIA E INOVAÇÃO. 2013.

39.
Macêdo, Raimundo José de Araújo. PROJETO SESI/BA 2027 - Diagnóstico do Desenvolvimento Industrial, Tendências Tecnológicas e Demandas de Formação de Força de trabalho na Área de Tecnologias da Informação e Comunicação. 2012.

40.
Rogério Guintella ; Macêdo, Raimundo José de Araújo . Evolução da Conjuntura da Bahia, em curto, médio e longo prazo: II. Avanço Tecnológico. 2012.

Programas de computador sem registro
1.
Macêdo, Raimundo José de Araújo; SÁ, Alírio Santos de ; Gorender, Sergio . Sistema de Concurso para Docentes da UFSB. 2014.

2.
FREITAS, A. E. S. ; Macêdo, Raimundo José de Araújo . Simulador para Sistemas Distribuídos Híbridos e Dinâmicos (Hybrid and Dynamic Distributed Systems Simulator - HDDSS). 2012.

3.
SÁ, Alírio Santos de ; Macêdo, Raimundo José de Araújo . Detectores Autonômicos de Defeitos para Sistemas Distribuídos. 2010.

4.
MACÊDO, R. J. de A.. Newtop : A Fault-Tolerant Multicast Protocol. 1993.

5.
MACÊDO, R. J. de A.. Servidor de Arquivos e Impressão e Protocolos de Acesso Via Rede Local. 1987.

Produtos tecnológicos
1.
MACÊDO, R. J. de A.. Plataforma Newtop - Newcastle Total Order Protocol. 1993.

2.
MACÊDO, R. J. de A.. Servidor de Arquivos e Impressão. 1987.

Trabalhos técnicos
1.
MACEDO, RAIMUNDO JOSE DE A.; David Cavallo ; Gorender, Sergio ; SÁ, Alírio Santos de . ementa e programa do componente curricular Introdução ao Raciocínio Computacoinal. 2014.

2.
MACÊDO, R. J. de A.; SILVA, Flavio Assis . Re(credenciamento do DCC/UFBA junto ao CATI). 2006.

3.
MACÊDO, R. J. de A.. Projeto do Doutorado Multinstitucional em Ciência da Computação. 2006.

4.
LEPIKSON, H. ; MACÊDO, R. J. de A. . Projeto do Mestrado em Mecatrônica da UFBA. 2002.

5.
MACÊDO, R. J. de A.. Projeto de Credenciamento do DCC/UFBA junto ao CATI/MCT. 2002.

6.
MACÊDO, R. J. de A.. Página WEB da Comissão Especial de Redes de Computadores e Sistemas Distribuídos da SBC. 2000.

7.
MACÊDO, R. J. de A.; HURFIN, Michel . ARGO -Tolerância a Falhas nos Sistemas Distribuídos Assincronos. 1999.

8.
MACÊDO, R. J. de A.. Projeto do Curso de Pós-graduação lato sensu Especialização Avançada em Sistemas Distribuídos - 50 páginas. 1997.

9.
MACÊDO, R. J. de A.. Projeto do Laboratório de Sistemas Distribuídos - LaSiD : Objetivos, Projetos e Requisitos de Funcionamento. 1995.

Entrevistas, mesas redondas, programas e comentários na mídia
1.
MACÊDO, R. J. de A.. Lixo Digital. 2004. (Programa de rádio ou TV/Mesa redonda).


Demais tipos de produção técnica
1.
Macêdo, Raimundo José de Araújo. Rede Digital para Educação Inclusiva. 2017. (Palestra Convidada).

2.
Macêdo, Raimundo José de Araújo. Coordenador da comissão de articulação inter-campi do curso de introdução ao raciocínio computacional. 2016. (Desenvolvimento de material didático ou instrucional - Coordenação de comissão de articulação intercampi e equipe docente).

3.
Macêdo, Raimundo José de Araújo; Gorender, Sergio . Desenvolvimento de Material Didático, roteiros, dinâmicas de grupos e vídeo, para ser utilizado no componente curricular introdução ao raciocínio computacional, componente obrigatório para todos os alunos da universidade federal do sul da bahia (UFSB). 2016. (Desenvolvimento de material didático ou instrucional - educação).

4.
Macêdo, Raimundo José de Araújo; FARINES, Jean Marie . PROJETO DE SISTEMAS DISTRIBUÍDOS E DE TEMPO REAL PARA AUTOMAÇÃO. 2016. (Publicação de Livro).

5.
Macêdo, Raimundo José de Araújo; David Cavallo ; Gorender, Sergio ; SÁ, Alírio Santos de . Concepção e projeto do curso de introdução ao raciocínio computacional oferecido a todos os estudantes da universidade federal do sul da bahia (UFSB). 2014. (Desenvolvimento de material didático ou instrucional - educação).

6.
Claro, D. B. ; MACÊDO, R. J. de A. . Confiabilidade em Web Services. 2008. (Curso de curta duração ministrado/Outra).

Demais trabalhos
1.
MACÊDO, R. J. de A.. Projeto Para Realização do Congresso Geral da Sociedade Brasileira de Computação de 2004 em Salvador (UFBA). 2002 (Projeto de Realização do Congresso Geral da SBC em 2004) .

2.
ANDRADE, Aline ; MACÊDO, R. J. de A. ; SILVA, A. F. ; SILVA, Flávio Morais de Assis . Uma Proposta de Reestruturação da área de ciência da computação da UFBA (22 páginas). 2001 (Projeto de Reestruturação Acadêmica) .



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
Macêdo, Raimundo José de Araújo; SÁ, Alírio Santos de; PETRUCCI, V. T.; SCHNITMAN, L.. Participação em banca de Wellington Lacerda Silveira da Silva. Detectores de Defeitos e Consenso em Sistemas Distribuídos Síncronos Particionados Sujeitos a Falhas Bizantinas. 2017. Dissertação (Mestrado em Programa de Pós-Graduação em Mecatrônica -PPGM) - Universidade Federal da Bahia.

2.
Macêdo, Raimundo José de Araújo; LOPES, A. B.; BATISTA, Thais Vasconcelos; SILVA, C. E.. Participação em banca de Fernando Helton Linhares Soares. Instanciação e Avaliação de um Framework para a Geração Dinâmica de Procssos. 2013. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal do Rio Grande do Norte.

3.
GORENDER, Sérgio; De Araujo Macedo, Raimundo; SANTOS, D. A.. Participação em banca de Margarete Oliveira dos Santos de Sá. I-CAR: Seviços de Comunicação Inteligentes para Aplicações Mulyiagentes sobre Redes Veiculares. 2012. Dissertação (Mestrado em Mecatrônica) - Universidade Federal da Bahia.

4.
SILVA FILHO, A. G.; De Araujo Macedo, Raimundo; CAVALCANTE, S. W.. Participação em banca de Fábio Leitão de Urquiza e Silva. Aplicando Virtualização a Sistemas Embarcados. 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

5.
De Araujo Macedo, Raimundo; SOUSA, José Neuman de; Rossana Andrade. Participação em banca de Bruno Góis Mateus. Análise sobre o impacto da densidade veicular, da carga da rede, e da mobilidade no desempenho de protocolos de roteamentos para redes veiculares. 2011. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará.

6.
De Araujo Macedo, Raimundo; Renato Cerqueira; SILVA, Flavio Assis; Claúdio Sant'ana. Participação em banca de Neima Prado dos Santos. Reconfiguração Dinâmica em Sistemas Distribuídos de Tempo Real Baseados em Componentes. 2011. Dissertação (Mestrado em Mecatrônica) - Universidade Federal da Bahia.

7.
SERRAA, A. B.; BARROSO, G. C.; Mario Mauricio Fiallos Aguilar; José Marques Soares; De Araujo Macedo, Raimundo. Participação em banca de Isabel Cristina Régio de Oliveira. Modelagem e Análise de Desempenho de Mecanismo de Balanceamento de Cargas em Clusters Web. 2011. Dissertação (Mestrado em Engenharia de Teleinformática) - Universidade Federal do Ceará.

8.
De Araujo Macedo, Raimundo; CUNHA, Paulo; SILVA, Flávio Assis. Participação em banca de Semiramis Ribeiro de Assis. Replicação Reconfigurável em Sistema de Tempo Real. 2010. Dissertação (Mestrado em Mecatrônica) - Universidade Federal da Bahia.

9.
SOUSA, José Neuman de; BARROSO, G. C.; Antônio Fontelles Thomaz; SERRAA, A. B.; De Araujo Macedo, Raimundo. Participação em banca de Dniela Medeiros Cedro. Gestão da QoS em Arquiteturas de Grades Computacionais Orientadas a Serviços. 2010. Dissertação (Mestrado em Engenharia de Teleinformática) - Universidade Federal do Ceará.

10.
ANDRADE, Aline; FARINES, Jean Marie; MACÊDO, R. J. de A.. Participação em banca de André Luis Nunes Muniz. TANGRAM: Uma Ferramenta de Apoio à Varificação Formal de Sistemas de Tempo Real baseados em Componentes. 2009. Dissertação (Mestrado em Mecatrônica) - Universidade Federal da Bahia.

11.
De Araujo Macedo, Raimundo; DUARTE JUNIOR, Elias Procópio; FERNANDES, Marco Antônio N; BARRETO, Luciano Porto. Participação em banca de Ricardo Perrone da Silva. Distribuição de Probabilidade de Tempo de Execução em Sistemas de Tempo Real Baseados em Componentes. 2009. Dissertação (Mestrado em Mecatrônica) - Universidade Federal da Bahia.

12.
FERRAZ, Carlos; CUNHA, Paulo; De Araujo Macedo, Raimundo. Participação em banca de Roberto José Lopes Mendonça. Flexibilidade e Otimmização do Backbone baseado na Arquitetura IM/MPLS na Rede SERPRO. 2009. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

13.
MACÊDO, R. J. de A.; LIMA, George M de A; Mossé, Daniel. Participação em banca de Ana Carolina Sokolonski Ferreira. Reconfiguração Dinâmica em Sistemas de Tempo Real Adaptativos. 2008. Dissertação (Mestrado em Mestrado Em Mecatrônica) - Universidade Federal da Bahia.

14.
MACÊDO, R. J. de A.; FARINES, Jean Marie; FRAGA, Joni da Silva; BARRETO, Luciano Porto. Participação em banca de Sandro Santos Andrade. Sistemas Distribuídos de Supervisão e Controle Baseados em Componentes de Tempo Real. 2006. Dissertação (Mestrado em Mecatrônica) - Universidade Federal da Bahia.

15.
MACÊDO, R. J. de A.; LIMA, George M de A; OLIVEIRA, Romulo de; WEBER, Taisy. Participação em banca de Alirio Santos de Sá. Detectores Adaptativos de Defeitos para Sistemas de Controle de Tempo Real Críticos. 2006. Dissertação (Mestrado em Mecatrônica) - Universidade Federal da Bahia.

16.
MACÊDO, R. J. de A.; VARELA, Aida; BALANCO, Paulo. Participação em banca de Bianka Lucas. Segurança da Informação nas Empresas de Salvador. 2005. Dissertação (Mestrado em Ciência da Informação) - Universidade Federal da Bahia.

17.
MACÊDO, R. J. de A.; MONTEIRO, Suruagy; GIOZZA, Willian; SILVA, Flávio Assis. Participação em banca de Fernando Luiza Pinheiro Amorim. Modelo Computacional de Segurança para Secretarias Estaduais de Segurança Pública. 2004 - Universidade Salvador.

18.
MACÊDO, R. J. de A.; SILVEIRA, Glebson Elias da; BATISTA, Thais Vasconcelos. Participação em banca de José Neilton Dias de Morais. Seleção Dinâmica de Componentes Corba. 2003. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal do Rio Grande do Norte.

19.
MACÊDO, R. J. de A.; BATISTA, Thais Vasconcelos. Participação em banca de José Neilton Dias de Morais.. Seleção Dinâmica de Componentes. 2003. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal do Rio Grande do Norte.

20.
MACÊDO, R. J. de A.; BRASILEIRO, Francisco; OLIVEIRA, Mauro. Participação em banca de Marcela Santana Guimarães Batalha. Marcela Santana Guimarães Batalha. Serviço CORBA de Diagnóstico de Falhas.. 2001. Dissertação (Mestrado em Informática) - Universidade Federal da Paraíba.

21.
MACÊDO, R. J. de A.; SILVA, Dilma Menezes da; DARHAM, Alan Micthel. Participação em banca de Clovis Seragiotto Júnior. Detecção dinâmica de condições de disputa para programas multithreaded em Java. 2000. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

22.
MACÊDO, R. J. de A.; RUST, Luiz Fernando; PIRMEZ, Luci. Participação em banca de Eduardo Carneiro da Cunha. Uma Estratégia de Criação e Apresentação de documentos Multimídia Adaptativos em Rede. 2000. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.

23.
MACÊDO, R. J. de A.; CUNHA, Paulo; SOUVÉ, Jaques. Participação em banca de Lilianne Dantas Cirne. Tolerância a Falhas em JAVA através de Comunicação em Grupo. 1999. Dissertação (Mestrado em Informática) - Universidade Federal da Paraíba.

24.
MACÊDO, R. J. de A.; OLIVEIRA, Mauro. Participação em banca de César Olavo Moura Filho.. OM-4: Concepção e Especificação de um Sistema IBW para a Educação Tecnológica à Distância. 1999. 1999. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará.

25.
MACÊDO, R. J. de A.; CUNHA, Paulo; FERRAZ, Carlos. Participação em banca de Júlio César Ramalho Leite. Suporte à Tolerância a Falhas em um Ambiente de Programação Distribuída Baseado no Paradigma de Configuração. 1997. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

26.
MACÊDO, R. J. de A.; FRAGA, Joni; FARINES, J.; LOQUES, Orlando. Participação em banca de Frank Sirqueira. Programação de Aplicações com Requisitos Temporais em Sistemas Abertos : O Modelo de Objetos Reflexivos Tempo-Real Distribuídos. 1996. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Santa Catarina.

27.
MACÊDO, R. J. de A.; WERBER, Taisy; PORTO, Ingrid. Participação em banca de Patricia Pitthan de Araújo Barcelos. ADC - Ambiente para Experimentação e Avaliação de Protocolos de Difusão Confiável. 1996. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

28.
MACÊDO, R. J. de A.; FRAGA, Joni da Silva; LOQUES, Orlando; LEITA, Julius. Participação em banca de LAU CHEUK LUNG. Implementacao de Tecnicas de Replicacao de Componentes de Software Sobre A Plataforma Aberta Corba. 1996. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Santa Catarina.

29.
MACÊDO, R. J. de A.; CUNHA, Paulo; FERRAZ, Carlos. Participação em banca de Roberto Wagner da Silva Rodrigues. Uma Metodologia para o Desenvolvimento de Aplicações de Gerenciamento Baseada no Paradigma de Configuração. 1996. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

30.
MACÊDO, R. J. de A.; OLIVEIRA, Antônio Mauro Barbosa de; SOUSA, José Neuman de. Participação em banca de CIDCLEY TEIXEIRA DE SOUZA. Um Ambiente para o Desenvolvimento de Aplicações Orientadas à Configuração Utilizando Objetos Distribuídos.. 1996. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará.

31.
MACÊDO, R. J. de A.; BAUZER, Claudia; TOLEDO, Maria Beatriz Felgar de. Participação em banca de George Marconi de Araújo Lima. Gerenciamento de Transacoes: Um Estudo e uma Proposta. 1996. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

Teses de doutorado
1.
Macêdo, Raimundo José de Araújo; Itana Gimenez; Sergio Soares; Gorender, Sergio; Claro, D. B.. Participação em banca de Sandro Santos Andrade. Projeto Arquitetural Automatizado de Sistemas Self-adaptive - Uma Abordagem Baseada em Busca. 2014. Tese (Doutorado em Ciência da Computação - Ufba - Unifacs) - Universidade Federal da Bahia.

2.
LIMA, George M de A; De Araujo Macedo, Raimundo; SILVA, Flavio Assis; OLIVEIRA, Rômulo Silva de; Eduardo Camponagara. Participação em banca de Paul Denis Etienne Regnier. Optimal Multiprocesssor Real-Time Scheduling via Reduction to Uniprocessor. 2012. Tese (Doutorado em Ciência da Computação) - Universidade Federal da Bahia.

3.
BARROSO, G. C.; BARROSO, G. C.; SOUSA, José Neuman de; Antônio Meguel Vieira Monteiro; Mario Mauricio Fiallos Aguilar; MACÊDO, R. J. de A.. Participação em banca de Vitor Almeida dos Santos. Um Sistema Multiagentes para a Coordenação de Dispositivos Autônomos baseado em Coalizões Sobrepostas. 2012. Tese (Doutorado em Engenharia de Teleinformática) - Universidade Federal do Ceará.

4.
De Araujo Macedo, Raimundo; Ranato Fontoura de Gusmão Cerqueira; Noemi de la Rocque Rodriguez; Ruy Luiz Milidiú; Rodrigo Fernandes de Mello. Participação em banca de Sand Luz Corrêa. Uma Abordagem Estatística para Caracterizar Problemas e Desempenho em Sistemas Baseados em Middleware. 2011. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

5.
De Araujo Macedo, Raimundo; FRAGA, Joni; SILVA, Flavio Assis; Alfredo Goldman; Joberto Martins; Renato Cerqueira. Participação em banca de Alírio Santos de Sá. Mecanismos Autonômicos de Tolerância da Falhas para Sistemas Distribuídos. 2011. Tese (Doutorado em Ciência d Computação) - Universidade Federal da Bahia.

6.
De Araujo Macedo, Raimundo; Rui Carlos Oliveira; CASIMIRO, A.; Vasco Vasconcelos; BESSANI, A.; RESPICIO, A.. Participação em banca de Mônica Lopes Muniz Corrêa Dixit. Support for Dependable and Adaptive Distributed Systems and Applications. 2011. Tese (Doutorado em DOUTORAMENTO EM INFORMÁTICA ESPECIALIDADE ENGENHAR) - Faculdade de Ciências da Universidade de Lisboa.

7.
MACÊDO, R. J. de A.; Carlos Becker Westphall; DUARTE JUNIOR, Elias Procópio. Participação em banca de Andréa Weber. Um algoritmo de Diagnóstico Distribuído para Redes Particionáveis de Topologia Arbitrária. 2008. Tese (Doutorado em Engenharia Elétrica e Informática Industrial) - Universidade Tecnológica Federal do Paraná.

8.
MACÊDO, R. J. de A.; FRAGA, Joni da Silva; LUNG, Lau Cheuk; BUZATO, Luiz Eduardo; CRREIA, Miguel Pupo; FARINES, Jean Marie; OLIVEIRA, Rômulo Silva de. Participação em banca de Alyssom Neves Bessami. Coordenação Desacoplada Tolerante a Faltas Bizantinas. 2006. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal de Santa Catarina.

9.
MACÊDO, R. J. de A.; ROSA, Nelson; FERRAZ, Carlos; GUIMARÃES, Katia; PORTO, Indrid. Participação em banca de Sergio Gorender. Um Modelo Hibrido e Adaptativo para Sistemas Distribuídos Tolerantes a Falhas. 2005. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

10.
MACÊDO, R. J. de A.; BENEVIDES, Mário; ENDLER, Marcus; HAEUSLER, Edward Hermann. 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.

11.
MACÊDO, R. J. de A.; DUARTE JUNIOR, Elias Procópio; NOUGUEIRA, José Marcos; LEITE, Julius César Barreto; LOUREIRO, Antônio Alfredo Ferreira; GUEDES NETO, Dorgival Olavo. Participação em banca de ALDRI LUIZ DOS SANTOS. Gerencia de Redes Distribu da e Con avel Baseada em Grupos de Agentes. 2004. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais.

12.
MACÊDO, R. J. de A.; WEBER, Taisy Silva; LOPES, Luis Felipe Dias. Participação em banca de Raul Ceretta Nunes. Adaptação Dinâmica do timeout de detectores de defeitos através do uso de séries temporais. 2003. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul.

13.
MACÊDO, R. J. de A.; FERRAZ, Carlos; VASCONCELOS, Alexandre; SOUZA, Neuman de. Participação em banca de Cidcley Teixeira de Souza. Arquitetura de Software e Estilos Arquiteturais Distribuídos. 2003. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

14.
GREVE, F. G. P.; MACÊDO, R. J. de A.; POWELL, D.; RAYNAL, Michel; HURFIN, Michel; VERISSIMO, Paulo. Participação em banca de Fabiola Gonçalves Pereira Greve. Responses Efficaces au Besoin D'acoord dans un Groupe. 2002. Tese (Doutorado em Doctorat Informatique) - Université de Rennes I.

15.
MACÊDO, R. J. de A.; CUNHA, Paulo; JUSTO, George; FERRAZ, Carlos; CASTRO, Joelson. Participação em banca de Nelson Souto Rosa. An Architecture-Based Approach for Treating Non-functional Propoerties of Dynamic Distributed Systems. 2001. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

16.
MACÊDO, R. J. de A.; FRAGA, Joni; VERISSIMO, Paulo; BRASILEIRO, Francisco; LEITE, Julius. Participação em banca de Lau C. Lung. Experiências com Tolerância a falhas no CORBA e Extensões do FT - CORBA para Sistemas Distribuídos de Larga Escala.. 2001. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal de Santa Catarina.

17.
MACÊDO, R. J. de A.; PALACIOS, Marcos da Silva. Participação em banca de Claudio Guimarães Cardoso. Atrás do Trio Eletrônico: Negócios, Internet e Sistemas de Informação. 1999. Tese (Doutorado em Comunicação e Cultura Contemporânea) - Universidade Federal da Bahia.

Qualificações de Doutorado
1.
De Araujo Macedo, Raimundo; CUNHA, Paulo; SILVA, Flavio Assis; GORENDER, Sérgio. Participação em banca de Marco Antônio Dantas Ramos. Coordemação e Sincronização de Processos em Sistemas Ditribuídos Híbridos. 2013. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal da Bahia.

2.
De Araujo Macedo, Raimundo; CUNHA, Paulo; FERRAZ, Carlos; ROSA, Nelson; Kelvin Lopes Dias. Participação em banca de Obionor de Oliveira Nóbrega. Um Framework para Transparência de HandoverVerical Centrada no Usuário em Ambientes de Redes Heterogenêneas Sem Fio de Quarta Geração. 2010. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

3.
De Araujo Macedo, Raimundo; FRAGA, Joni da Silva; SILVA, Flavio Assis. Participação em banca de Frederico Jorge Ribeiro Barboza. Algoritmo de Broadcast com Eficiência Energética em Redes de Sensores sem Fio. 2010. Exame de qualificação (Doutorando em Ciência da Computação - Ufba - Unifacs) - Universidade Federal da Bahia.

4.
De Araujo Macedo, Raimundo; FRAGA, Joni; SILVA, Flavio Assis. Participação em banca de Frederico Jorge Ribeiro Barboza. Algoritmo de Broadcast com Eficiência Energética em Redes de Sensores Sem Fio. 2010. Exame de qualificação (Doutorando em Doutorado em Ciência da Computação (DMCC)) - Universidade Federal da Bahia.

5.
MACÊDO, R. J. de A.; Montez, C. B.; FARINES, Jean Marie; Werner Kraus; Becker, L.. Participação em banca de Eduardo Cambruzzi. Uma Arquitetura de Coleta de Dados em VANETs para Aplicações de Gerenciamento de Tráfego em Tempo Real). 2009. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Federal de Santa Catarina.

6.
MACÊDO, R. J. de A.; FARINES, Jean Marie; Becker, L.; SILVA, Flávio Morais de Assis; Montez, C. B.. Participação em banca de Marcelo Maio Sobral. Arquitetuea de Comunicação para Coordenação de Sistemas de Tempo Real Autônomos e Móveis. 2008. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Federal de Santa Catarina.

7.
MACÊDO, R. J. de A.; OLIVEIRA, Rômulo Silva de; FRAGA, Joni da Silva; FARINES, Jean Marie; NEGRI, Victor Juliano de. Participação em banca de Fábio Rodrigues de La Rocha. Esacalonamento de Tarefas Baseado em Instante Ideal. 2005. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Federal de Santa Catarina.

8.
MACÊDO, R. J. de A.; NOUGUEIRA, José Marcos; LOUREIRO, Antônio; DUARTE, Elias. Participação em banca de Aldri Luiz dos Santos. Gerência de Redes Distribuída e Confiável Baseada em Grupos de Agentes. 2003. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Minas Gerais.

Monografias de cursos de aperfeiçoamento/especialização
1.
MACÊDO, R. J. de A.; BARRETO, Luciano Porto. Participação em banca de Antônio Claúdio L de Araújo. Um supervisor para redes baseado em componentes de tempo real utilizando a plataforma arcos. 2007. Monografia (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia.

2.
MACÊDO, R. J. de A.; BARRETO, Luciano Porto. Participação em banca de Arleys Pereira N. de Castro. Um supervisor para redes baseado em componentes de tempo real utilizando a plataforma arcos. 2007.

3.
MACÊDO, R. J. de A.; SILVA, Flávio Morais de Assis. Participação em banca de Adriana Serravalle de Almeira. REplicação de Dados. 2002. Monografia (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia.

4.
MACÊDO, R. J. de A.; ANDRADE, Aline. Participação em banca de Sérgio Anibal. UMa Máquina de Busca Paralela. 2002. Monografia (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia.

Trabalhos de conclusão de curso de graduação
1.
Macêdo, Raimundo José de Araújo; Daniela Barreiro Claro; Cassio Prazeres. Participação em banca de Heron Sanches Gonçalves Pires Ferreira.detecção inteligente de efeitos colaterais indesejáveis na internet das coisas. 2016. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Bahia.

2.
SANTOS, D. A.; De Araujo Macedo, Raimundo. Participação em banca de Jerônimo Teles dos Santos.SARC: Um Sistema para auxílio no reconhecimento de computadores. 2010. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Bahia.

3.
MACÊDO, R. J. de A.. Participação em banca de Marco Othoniel Argolo.Análise de Segurança em Transações Financeiras via Celular. 2006. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Bahia.

4.
MACÊDO, R. J. de A.. Participação em banca de Liline Teixeira Santos.TESTER: Uma Ferramenta para Auxiliar a Análise de Escalonamento de Sistemas de Tempo Real. 2006. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Bahia.

5.
MACÊDO, R. J. de A.; SILVA, A. F.. Participação em banca de Alex Miura.Transmissão de Dados pela Rede de Distribuíção Elétrica. 2002. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Bahia.



Participação em bancas de comissões julgadoras
Professor titular
1.
Macêdo, Raimundo José de Araújo; Asterio Kiyoshi Tanaka; Claudio José Struchiner; Maysa Sacramento de Magalhães; Malvina Tania Tuttman. Defesa de Memorila de Maria Tereza Serrano Barbosa (Memórias e Utopias). 2017. Universidade Federal do Estado do Rio de Janeiro.

2.
Macêdo, Raimundo José de Araújo; CUNHA, Paulo; Marco Goldbarg; SOUSA, José Neuman de. Memórias de uma Trajetória Acadêmica da Docente Thais Vasconcelos Batista. 2016. Universidade Federal do Rio Grande do Norte.

3.
MACÊDO, R. J. de A.; KAESTNER, Celso Antônio Alves; CHAUKE, Claudio. Concurso Para Professor Titular do Departamento de Tecnologia da Informação da UFAL. 2003. Universidade Federal de Alagoas.

Concurso público
1.
Macêdo, Raimundo José de Araújo; CUNHA, Paulo; OLIVEIRA, Mauro. Concurso para Professor Adjunto ltado da Primeira Etapa (prova escrita) : ÁREA DE CONHECIMENTO COMPETÊNCIAS COMPUTACIONAIS E CONECTIVAS. 2015. Universidade Federal do Sul da Bahia.

2.
Macêdo, Raimundo José de Araújo; SILVA, Flavio Assis; Gorender, Sergio. Concurso para Professor Adjunto ltado da Primeira Etapa (prova escrita) : ÁREA DE CONHECIMENTO COMPETÊNCIAS COMPUTACIONAIS E CONECTIVAS. 2014. Universidade Federal do Sul da Bahia.

3.
MACÊDO, R. J. de A.; LIMA, George M de A; SILVA, Flávio Assis. Seleção de Docente por Tempo Determinado para Linguagens de Programação do DCC/UFBA. 2008. Universidade Federal da Bahia.

4.
ANDRADE, Aline Maria Santos; LIMA, George M de A; MACÊDO, R. J. de A.. Concurso Publico - DCC/UFBA - Professor Temporáreo de Algoritmos. 2007. Universidade Federal da Bahia.

5.
MACÊDO, R. J. de A.; ANDRADE, Aline; SILVA, Flávio Morais de Assis. Concurso para a Disciplina Programação Matemática e Modelos Probapilisticos de Pesquisa Operacional. 2003. Universidade Federal da Bahia.

6.
MACÊDO, R. J. de A.; SILVA, A. F.; SANTOS, D. A.. Concurso para Professor Substituto da disciplina MAT150 - Introdução aos Sistemas de Computação do Departamento de Ciência da Computação UFBA. 2002. Universidade Federal da Bahia.

7.
MACÊDO, R. J. de A.; BUCK, Thomas A; SILVA, A. F.. Consurso para Professor Substituto da disciplina MAT056 - Computação Gráfica do Depart. de Ciência da Computação. 2002. Universidade Federal da Bahia.

8.
MACÊDO, R. J. de A.; WEBER, Taisy; BURNETT, R.. Membro da Banca de Concurso Publico Adjunto I na matéria de Sistemas Distribuídos no DCC/UFBA. 2001. Universidade Federal da Bahia.

Livre docência
1.
De Araujo Macedo, Raimundo; VERISSIMO, Paulo; CUNHA, J. A. C. E.; Fernando Fernandes; FREITAS, V. L. B.; J. M. da S. A. Marques; J. E. P. Martins; L .E. T. Rodrigues; R. J. M. T. Valadas. Concurso para Agregação ao Departamento de Engenharia Informática do Instituto Superior Técnico da Universidade Técnica de Lisboa (Prof. Catedrático). 2009. Universidade Técnica de Lisboa.

Outras participações
1.
BARRETO, Luciano Porto; MACÊDO, R. J. de A.; SILVA, Flávio Morais de Assis. Exame de Qualificação de Mestrado em Mecatrônica - Roteamento em Redes de Sensores sem Fio com Suporte à Micgração de Nós Sensores em um Ambiente Estruturado - Ulisses Telemaco Neto. 2007. Universidade Federal da Bahia.

2.
BARRETO, Luciano Porto; LIMA, George M de A; MACÊDO, R. J. de A.. Exame de Qualidficação de Mestrado em Mecatrônica da UFBA - Análise do Pior Caso de Tempo de Execução de Tarefas de Sistemas de Tempo Real Baseado em Componentes - Ricardo Perrone. 2007. Universidade Federal da Bahia.

3.
BARRETO, Luciano Porto; LIMA, George M de A; MACÊDO, R. J. de A.. Exame de Qualificação de Mestrado em Mecatrônica da UFBA. Escalonamento Flexivel para Prover Degradação Controlada em Sistemas de Tempo Real. Ana Carolina Sokolonski Anton. 2007. Universidade Federal da Bahia.

4.
MACÊDO, R. J. de A.; ANDRADE, Aline Maria Santos; SILVA, Flávio Morais de Assis. Exame de Qualificação do Mestrado em Mecatrônica: Verificação de Mecanismos de Tolerância a Falhas em Sistemas de Tempo Real Baseados em Componentes Através de Injeção de Falhas. 2007. Universidade Federal da Bahia.

5.
BARRETO, Luciano Porto; LIMA, George M de A; MACÊDO, R. J. de A.. Banca de Qualificação do Mestrado em Mecatrônica - Aluna Flávia Nascimento. 2007. Universidade Federal da Bahia.

6.
MACÊDO, R. J. de A.; RAYNAL, Michel; HURFIN, Michel; VERISSIMO, Paulo; POWELL, D.. Tese de Doutorado de Fabiola Grave, defendida na Université de Rennes, França. 2002. Université de Rennes I.

7.
MACÊDO, R. J. de A.; PRETTO, Nelson; RATORI, Liquiso; MONTEIRO, Suruagy. Comitê Assessor Interciciplinar na Área de Ciência da COmputação, Informação e Educação a Distância da FAPESB- Fundação de Amparo à Pesquisa do Estado da Bahia. 2002. Fundação de Amparo à Pesquisa do Estado da Bahia.

8.
MACÊDO, R. J. de A.; FERNANDES, Marco Antônio N; OLIVEIRA, Nelson F de. Membro da Comissão de Progressão Funcional da Profa Deborah Pereira de Medeiros do Departamento de Estatistica do Insti. de Matemática. 2002. Universidade Federal da Bahia.

9.
MACÊDO, R. J. de A.; VERGASTA, Enaldo; OLIVEIRA, Nelson F de. Coordenador da Comissão de Avaliação de Progressão Funcional dos Professores Anna Friedericka Silva, Aline Maria santos Andrade, Claudia Maria de Moura Pôssa, Fabiola Gonçalves Pereira Greve e João Nestor Pinho e Braga.. 2001. Universidade Federal da Bahia.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
do III Workshop de Pesquisa e Extensão Onda Digital: Tecnologia, Inclusão e Diversidade,.Tecnologias Digitais para Educação Inclusiva. 2017. (Oficina).

2.
Fórum Anual IFIP SBC. Panorama da Relação IFIP SBC. 2017. (Congresso).

3.
IFIP Meeting at Kiev, Ukraine.. The digital transformation of society - problems and perspectives? I.The digital transformation of society - problems and perspectives. 2017. (Encontro).

4.
XXVI RND ANIEI 2017 is "The transformation of education in ITC to quality in the international context?.. Information and Communication Technologies for Inclusive Education. 2017. (Congresso).

5.
SBPC - 68a Reunião Anual da Sociedade Brasileira para o Progresso da Ciência. CONEXÃO DIGITAL NA PROMOÇÃO DA INOVAÇÃO E INTEGRAÇÃO SOCIAL. 2016. (Congresso).

6.
WRT Workshop RNP/BA.Rede digital UFSB: desafios, soluções e alternativas. 2016. (Seminário).

7.
Congresso da SBC 2015 - 16º CQ - Curso de Qualidade. Evasão e Estratégias para a Permanência Estudantil. 2015. (Congresso).

8.
ERBASE 2015 - Escola Regional de Computação SBC. Desafios para TIC na Bahia: visão acadêmica. 2015. (Congresso).

9.
I Workshop Brasil-EUA Em Cibersecurity e Privacidade na Internet.Brazilian Computer Society Big Challenges in Security. 2015. (Seminário).

10.
Escola Regional de Computação da SBC Bahia-Alagoas-Sergipe(ERBASE 2014). http://erbase2014.uefs.br/. 2014. (Congresso).

11.
I Fórum Interdisciplinar sobre Formação Docente com Tecnologias,.Mesa-Redonda: Uso Pedagógico e Interdisciplinar de Tecnologias Digitais na Educação. 2014. (Encontro).

12.
Workshop on Dependability and Fault Tolerance* held during the upcoming 64th meeting of IFIP Working Group 10.4 on Dependable Computing and Fault Tolerance.self-manageable protocols for dependability. 2013. (Oficina).

13.
I Workshop on Autonomic Distributed Systems. Sistemas Distribuídos Autonômicos: experiências e desafios. 2011. (Congresso).

14.
10th IFIP international conference on Distributed Applications and Interoperable Systems (DAIS). QoS Self-Configuring Failure Detectors For Distributed Systems. 2010. (Congresso).

15.
10th IFIP international conference on Distributed Applications and Interoperable Systems (DAIS). Coordenador da DAIS - Session II - Grid computing. 2010. (Congresso).

16.
Workshop de Tempo Real e Sistemas Embarcados. 2010. (Congresso).

17.
X ERBASE - Escola Regional de Computacao Bahia Sergipe Alagoas. Problemas Teoricos dos Sistemas Distribuidos. 2010. (Congresso).

18.
XI Workshop de Testes e Toleância a Falhas. Controle de Admissão para QoS em Sistemas Distribuídos Híbridos, Tolerantes a Falhas. 2010. (Congresso).

19.
27th Brazilian Symposium on Computer Networks and Distributed Systems (SBRC2009). Redes Ad Hoc - Sessão Técnica. 2009. (Congresso).

20.
9th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS 2009). A Generic Group Communication Approach for Hybrid Distributed Systems. 2009. (Congresso).

21.
he Fourth International Conference on Availability, Reliability and Security (ARES 2009). Perfect Failure Detection in the Partitioned Synchronous Distributed System Model. 2009. (Congresso).

22.
In Colloquium of Computation: Brazil / INRIA, Cooperations, Advances and Challenges. Adding Dynamicity to the Uncertainty that Characterizes Distributed Systems: Challenges Ahead. 2009. (Congresso).

23.
IX ERBASE - Escola Regional de Computacao Bahia Sergipe Alagoas. Mesa Redonda "A Educação em TI na Bahia, Alagoas e Sergipe". 2009. (Congresso).

24.
IX ERBASE - Escola Regional de Computacao Bahia Sergipe Alagoas. Sistemas Distribuídos de Tempo Real Embarcados. 2009. (Congresso).

25.
The Fourth International Conference on Availability, Reliability and Security. Availability and Reliability I. 2009. (Congresso).

26.
IFIP Workshop on Dependability of Large-Scale and Dynamic Systems.Approaches for Adaptive and Dependable Distributed Systems. 2008. (Seminário).

27.
IFIP Workshop on "Dependability of Large-Scale and Dynamic Systems".Approaches for Adaptive and Dependable Distributed Systems. 2008. (Oficina).

28.
1° Seminario Abrindo Caminhos: Uma Alternativa Para a Destinação do Lixo Tecnológico.Ameaças do Lixo Tecnológico. 2007. (Seminário).

29.
Seminário Ambiente de Negócios e Pesquisa em Tecnologia da Informação (TI) - Promovido pela Sec. de Ciência Tecnologia e Inivação do Estado da Bahia.Ambiente de Pesquisa em TI na Bahia. 2007. (Seminário).

30.
VII ERBASE - Escola Regional Bahia-Alagoas-Sergipe. Lei de Informática. 2007. (Congresso).

31.
VII ERBASE - Escola Regional Bahia-Alagoas-Sergipe. Os problemas ambientais causados pela Sociedade da Informação. 2007. (Congresso).

32.
Seminário de Tendências em Tecnologia da Informação e Comunicação - Promovido Sec. de Ciência Tecnologia e Inovação do Estado da Bahia.Computação Distribuída: Desafios e Tendências. 2006. (Seminário).

33.
VII Seminário de Pesquisa e Pós-Graduação.Sistemas Distribuídos de Supervisão e Controle Baseados em Componentes de Tempo Real. 2006. (Seminário).

34.
VII Seminário de Pesquisa e Pós-Graduação da UFBA n- Sessão 38.Sessão Técnica 38. 2006. (Seminário).

35.
IEEE/IFIP DSN 2005 - Dependable Systems and Network Conference, Yokohama, Japão. Membro do Comitê de Programa da Trilha Principal (Dependable Computing and Communications Symposium - DCCS); Membro do Comitê de Programa de Seleção de Workshops; Membro do Pequeno Comitê de Escolha dos Melhores Artigos. 2005. (Congresso).

36.
XXIV Seminario Estudantil de Pesquisa.VI Seminário de Pesquisa e Pós-graduação e XXIV Seminário Estudantil de Pesquisa - Palestra CONVIDADA sobre minha experiência acadêmica na construção de um ambiente de pesquisa e pós-graduação na UFBA (Rompendo Barreiras). 2005. (Seminário).

37.
DSN'04 - IEEE/IFIP International Conference on Dependable Systems and Networks. Membro do Comitê de Programa da Trilha Principal (Dependable Computing and Communications Symposium - DCCS). 2004. (Congresso).

38.
IEEE/IFIP Dependable Systems and Network Conference (DSN 2004). Membro do Comitê de Programa da Trilha Principal (Dependable Computing and Communications Symposium - DCCS); Chair da Sessão 9A - Dissemination and Difussion. 2004. (Congresso).

39.
Workshop de Desafios e Tendências Tecnológicas nas Tecnologias de Informação e Comunicação.Desafios e Tendências Tecnológicas nas Tecnologias de Informação e Comunicação. 2004. (Seminário).

40.
LADC'03 - First Latin-American Symposium on Dependable Computing. Membro do Comitê Consultivo; Membro do Comitê de Programa; Chair da Sessão Técnica Algoritmos Distribuídos.. 2003. (Congresso).

41.
Middleware 2003 - ACM/IFIP/USENIX International Middleware Conference. Middleware 2003 - ACM/IFIP/USENIX International Middleware Conference http://middleware2003.inf.puc-rio.br/. 2003. (Congresso).

42.
SBRC'03 - XXI Simpósio Brasileiro de Redes de Sistemas Distribuídos. SBRC'03 - XXI Simpósio Brasileiro de Redes de Sistemas Distribuídos - http://www.sbrc2003.ufrn.br/portugues/. 2003. (Congresso).

43.
WebMídia 2003 - Simpósio Brasileiro de Sistemas Multimidia e WEB.Membro do Comitê de Programa. 2003. (Simpósio).

44.
WTF'03 - IV Workshop de Testes e Tolerância a Falhas http.Membro do Comitê de Programa - wtf 2003. 2003. (Oficina).


Organização de eventos, congressos, exposições e feiras
1.
MACEDO, RAIMUNDO JOSE DE ARAUJO. 37th IEEE International Symposium on Reliable Distributed Systems. 2018. (Congresso).

2.
Macêdo, Raimundo José de Araújo. PAINEL: Computação e Interdisciplinaridade: o papel das Associações Científicas. 2016. (Congresso).

3.
Macêdo, Raimundo José de Araújo; David Cavallo ; Ken Khan ; Leila Ribeiro . PAINEL: Raciocínio Computacional como Instrumento para a Interdisciplinaridade. 2016. (Congresso).

4.
Macêdo, Raimundo José de Araújo. 33rd International Symposium on Reliable Distributed Systems, IEEE SRDS 2014 (PC MEMBER). 2014. (Congresso).

5.
Macêdo, Raimundo José de Araújo. 2. 16th International Symposium on Stabilization, Safety, and Security of Distributed Systems (PC member). 2014. (Congresso).

6.
Macêdo, Raimundo José de Araújo. 32nd Brazilian Symposium on Computer Networks and Distributed Systems. 2014. (Congresso).

7.
Macêdo, Raimundo José de Araújo. 4th Workshop on Autonomic Distributed Systems (WoSiDA 2014).. 2014. (Congresso).

8.
Macedo, Raimundo Jose. V IEEE International Conference on Cloud Computing Technology and Science - membro de comitê de programa. 2013. (Congresso).

9.
Macedo, Raimundo Jose. 31o Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos - membro de comitê de programa. 2013. (Congresso).

10.
De Araujo Macedo, Raimundo. III Workshop em Sistemas Distribuídos Autônomo (WoSiDA) - Membro do comitê consultivo. 2013. (Congresso).

11.
De Araujo Macedo, Raimundo. Sixth Latin-American Symposium on Dependable Computing - Membro do Comitê de Programa. 2013. (Congresso).

12.
Macêdo, Raimundo José de Araújo. III Simpósio Brasileiro de Engenharia de Sistemas Computacionais (Membro do Comitê de Programa). 2013. (Congresso).

13.
Macêdo, Raimundo José de Araújo. 4. Middleware for Next Generation Internet Computing - 8th MW4NG Workshop of the14th International Middleware Conference 2013 (PC member). 2013. (Congresso).

14.
De Araujo Macedo, Raimundo. Coordenador Geral de Organização do XXVI International Symposium on DIStributed Computing (DISC). 2012. (Congresso).

15.
Renato Cerqueira ; De Araujo Macedo, Raimundo . Organizador do II Workshop on Autonomic Distributed Systems. 2012. (Congresso).

16.
De Araujo Macedo, Raimundo. 26th International Symposium on DIStributed Computing (DISC 2012) - Coordenador de Tutoriais. 2012. (Congresso).

17.
De Araujo Macedo, Raimundo. Middleware for Next Generation Internet Computing Workshop (MW4NG) at the ACM/IFIP/USENIX Middleware Conference 2012 - Membro do Comitê de Programa. 2012. (Congresso).

18.
De Araujo Macedo, Raimundo. Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC 2012) - Membro do Comitê de Programa. 2012. (Congresso).

19.
De Araujo Macedo, Raimundo. International Conference on Computer, Information and Telecommunication Systems (CITS 2012) PC Member. 2012. (Congresso).

20.
De Araujo Macedo, Raimundo. Workshop on Autonomic Distributed Systems (WoSiDA 2012) PC Member. 2012. (Congresso).

21.
De Araujo Macedo, Raimundo. Brazilian Symposium on Computing System Engineering Workshop - PC Member. 2012. (Congresso).

22.
De Araujo Macedo, Raimundo. Concurso de Teses e Dissertações (SBC 2012 Dissertations and Thesis Contest) PC member. 2012. (Congresso).

23.
De Araujo Macedo, Raimundo. I Workshop on Autonomic Distributed Systems WoSiDA 2011, Campo Grande, Brazil, May ? Program Committee Chair. 2012. (Congresso).

24.
Macêdo, Raimundo José de Araújo. Coordenação Geral do DISC 2012 The 26th International Symposium on DIStributed Computing. 2012. (Congresso).

25.
De Araujo Macedo, Raimundo. First Workshop on Autonomic Distributed Systems (WoSiDA), Co-located with the Brazilian Symposium on Computer Networks and Distributed Systems. 2011. (Congresso).

26.
De Araujo Macedo, Raimundo. 11th IFIP international conference on Distributed Applications and Interoperable Systems (DAIS), Reykjavik, Iceland, June - PC member. 2011. (Congresso).

27.
De Araujo Macedo, Raimundo. The 30th IEEE Symposium on Reliable Distributed Systems (SRDS 2011) ? PC Member. 2011. (Congresso).

28.
De Araujo Macedo, Raimundo. 29th Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC) ? PC member. 2011. (Congresso).

29.
De Araujo Macedo, Raimundo. LADC - Fifth Latin-American Symposium on Dependable Computing ? PC member. 2011. (Congresso).

30.
De Araujo Macedo, Raimundo. XII Workshop de Testes e Tolerância a Falhas (WTF 2011) ? PC member. 2011. (Congresso).

31.
De Araujo Macedo, Raimundo. XII Workshop de Testes e Tolerância a Falhas (WTF 2011) ? PC member. 2011. (Congresso).

32.
De Araujo Macedo, Raimundo. XIII Workshop de Sistemas de Tempo Real ? PC member. 2011. (Congresso).

33.
De Araujo Macedo, Raimundo. ESCOLA REGIONAL DE ALTO DESEMPENHO - REGIÃO NORDESTE (ERAD-NE) 2011 ? PC member. 2011. (Congresso).

34.
De Araujo Macedo, Raimundo. 29th IEEE Symposium on Reliable Distributed Systems (SRDS) - Membro do Comitê de Programa. 2010. (Congresso).

35.
De Araujo Macedo, Raimundo. 10th IFIP international conference on Distributed Applications and Interoperable Systems (DAIS) - Membro do Comitê de Programa. 2010. (Congresso).

36.
De Araujo Macedo, Raimundo. 28th Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC) - Membro do Comitê de Programa. 2010. (Congresso).

37.
De Araujo Macedo, Raimundo. WTR - XII Workshop de Tempo Real e Sistemas Embarcados - Membro do Comitê de Programa. 2010. (Congresso).

38.
De Araujo Macedo, Raimundo. WTF - XI Workshop de Testes e Tolerância a Falhas - Membro do Comitê de Programa. 2010. (Congresso).

39.
De Araujo Macedo, Raimundo. CTD - XXIII Concurso de Teses e Dissertações da Sociedade Brasileira de Computação - Membro do Comitê de Avaliação. 2010. (Congresso).

40.
De Araujo Macedo, Raimundo. Reunião Anual da Sociedade Brasileira para o Progresso da Ciência (SBPC) - Revisor de Artigos. 2010. (Congresso).

41.
De Araujo Macedo, Raimundo. Presidente do Comitê de Escolha dos Melhores Artigos dos SBRC (Simp. Bras. de Redes e Sistemas Distribuídos). 2010. (Concurso).

42.
MACÊDO, R. J. de A.; Luciano Gaspary . Consurso de Teses e Dissertações da Sociedade Brasileira de Computação - CTD 2009 (Presidente do Comitê). 2009. (Concurso).

43.
MACÊDO, R. J. de A.. DSN 2009 ? The IFIP/IEEE International Conference on Dependable Systems and Networks - Comitê de Seleção de Workshops. 2009. (Congresso).

44.
MACÊDO, R. J. de A.; Francisco Vasques ; Montez, C. B. . 11th Brazilian Workshop on Real-Time and Embedded Systems. 2009. (Congresso).

45.
FERRAZ, Carlos ; BRASILEIRO, Fancisco Vilar ; MACÊDO, R. J. de A. . 27º - Simpósio Brasileiro de Redes de Computadores- SBRC 2009. Recife, Brazil. Maio 2009. 2009. (Congresso).

46.
De Araujo Macedo, Raimundo. 27º - Simpósio Brasileiro de Redes de Computadores- SBRC 2009. Recife, Brazil. Maio 2009. 2009. (Congresso).

47.
De Araujo Macedo, Raimundo. SRDS 2009 - 28th IEEE International Symposium on Reliable Distributed Systems - Comitê de Programa. 2009. (Congresso).

48.
MACÊDO, R. J. de A.. CLEI 2009 - annual event promoted by the Centro Lationamericano de Estudios en Informática,. 2009. (Congresso).

49.
De Araujo Macedo, Raimundo. 9th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS 2009) - Comitê de Programa. 2009. (Congresso).

50.
De Araujo Macedo, Raimundo. Colóquio em Informática: Brasil / INRIA, Cooperações, Avanços e Desafios. 2009. (Congresso).

51.
De Araujo Macedo, Raimundo. X WORKSHOP DE TESTES E TOLERÂNCIA A FALHAS (WTF 2009). 2009. (Congresso).

52.
De Araujo Macedo, Raimundo. IX Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (SBSeg). 2009. (Congresso).

53.
MACÊDO, R. J. de A.. 28º - Simpósio Brasileiro de Redes de Computadores- SBRC 2008. 2008. (Congresso).

54.
MACÊDO, R. J. de A.. 27th International Symposium on Reliable Distributed Systems (IEEE SRDS 2008). 2008. (Congresso).

55.
MACÊDO, R. J. de A.. Second Workshop on Dependable Distributed Data Management (WDDDM'2008). 2008. (Congresso).

56.
MACÊDO, R. J. de A.. Minicursos do 26° Simpósio Brasileiro de Redes de Computadores (SBRC2008). 2008. (Congresso).

57.
MACÊDO, R. J. de A.. IX Workshop Brasileiro de Testes e Tolerância a Falhas. 2008. (Congresso).

58.
MACÊDO, R. J. de A.. 10o Brazilian Workshop on Real-Time and Embedded Systems. 2008. (Congresso).

59.
MACÊDO, R. J. de A.. 8th Brazilian Symposium on Information and Computer System Security. 2008. (Congresso).

60.
MACÊDO, R. J. de A.. 8o Workshop de Testes e Tolerância a Falhas Coordenadores - WTF 2007. 2007. (Congresso).

61.
MACÊDO, R. J. de A.. 9o Brazilian Workshop on Real-Time Systems - WTR. 2007. (Congresso).

62.
MACÊDO, R. J. de A.. 7o Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (SBSeg). 2007. (Congresso).

63.
MACÊDO, R. J. de A.. Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos. 2007. (Congresso).

64.
MACÊDO, R. J. de A.. Congresso Anual da Sociedade Brasileira de Cimputação - SBC. 2004. (Congresso).

65.
MACÊDO, R. J. de A.. 17 Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos. 1999. (Congresso).



Orientações



Orientações e supervisões em andamento
Dissertação de mestrado
1.
Luana Andrade. Algoritmos de Coordenação para Sistemas Distribuídos. Início: 2018. Dissertação (Mestrado profissional em Mecatrônica) - Universidade Federal da Bahia, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).

2.
Maycon Emily de Farias. Gestão de Biosensores para Sistemas de Assistência à Saúde baseados em IoT. Início: 2017. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Bahia. (Orientador).

3.
Állison Farias. Middleware para Sistemas Ciberfísicos de Assistência à Saúde. Início: 2017. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Bahia, Fundação de Amparo à Pesquisa do Estado da Bahia. (Orientador).

4.
Diego Baltieri. Middleware distribuído para sistemas ciberfísicos aplicados a assistência à saúde. Início: 2017. Dissertação (Mestrado profissional em Programa de Pós-Graduação em Mecatrônica -PPGM) - Universidade Federal da Bahia, Fundação de Amparo à Pesquisa do Estado da Bahia. (Orientador).

Tese de doutorado
1.
Marcelo Guimarães. Segurança e Confiabilidade em Sistemas Ciber-físicos de Assistência à Saúde. Início: 2018. Tese (Doutorado em Mecatrônica) - Universidade Federal da Bahia. (Orientador).

2.
Wellington Lacerda da Silva. Tratamentos de Falhas Bizantinas em Sistemas Ciberfísicos Distribuídos. Início: 2017. Tese (Doutorado em Mecatrônica) - Universidade Federal da Bahia, Fundação de Amparo à Pesquisa do Estado da Bahia. (Orientador).

3.
Marco Antonio Dantas Ramos. Confiabilidade em Sistemas Distribuídos Dinâmicos. Início: 2014. Tese (Doutorado em Doutorado em Ciência da Computação) - Universidade Federal da Bahia. (Orientador).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
Wellington Lacerda da Silva. Detectores de Defeitos e Consenso em Sistemas Distribuídos Síncronos Particionados Sujeitos a Falhas BizantinasDetecção de Falhas Bizantinas em Sistemas Cyber-Physical. 2017. Dissertação (Mestrado em Programa de Pós-Graduação em Mecatrônica -PPGM) - Universidade Federal da Bahia, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Raimundo José de Araújo Macêdo.

2.
Neima Prado dos Santos. RECONFIGURAÇÃO DINÂMICA EM SISTEMAS DISTRIBUÍDOS DE TEMPO REAL BASEADOS EM COMPONENTES. 2011. 0 f. Dissertação (Mestrado em Mestrado Em Mecatrônica) - Universidade Federal da Bahia, . Orientador: Raimundo José de Araújo Macêdo.

3.
Semíramis Ribeiro de Assis. Replicação Reconfigurável em Sistemas de Tempo Real. 2010. Dissertação (Mestrado em Programa de Pós-Graduação em Mecatrônica -PPGM) - Universidade Federal da Bahia, . Orientador: Raimundo José de Araújo Macêdo.

4.
Ricardo Perrone da Silva. ANÁLISE DO PIOR CASO DE TEMPO DE EXECUÇÃO DE TAREFAS DE SISTEMAS DE TEMPO REAL BESEADOS EM COMPONENTES. 2009. 0 f. Dissertação (Mestrado em Mecatrônica) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Raimundo José de Araújo Macêdo.

5.
Alírio Santos de Sá. Detectores Adaptativos de Defeitos para Sistemas de Controle de Tempo Real Críticos. 2006. 194 f. Dissertação (Mestrado em Mecatrônica) - Universidade Federal da Bahia, . Orientador: Raimundo José de Araújo Macêdo.

6.
Sandro Santos Andrade. Sistemas Distribuídos de Supervisão e Controle baseados em Componentes de Tempo Real. 2006. 191 f. Dissertação (Mestrado em Mecatrônica) - Universidade Federal da Bahia, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Raimundo José de Araújo Macêdo.

7.
Fernando Luiza Pinheiro Amorim. Modelo Computacional de Segurança para Secretarias Estaduais de Segurança Pública. 2004. 150 f. Dissertação - Universidade Salvador, . Orientador: Raimundo José de Araújo Macêdo.

8.
Marcela Santana Guimarães Batalha. Serviço CORBA de Diagnóstico de Falhas. 2001. 0 f. Dissertação (Mestrado em Informática) - Universidade Federal da Paraíba, . Orientador: Raimundo José de Araújo Macêdo.

9.
Lilianne Dantas Cirne. Tolerância a Falhas em JAVA através de Comunicação em Grupo. 1999. 140 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Paraíba, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Raimundo José de Araújo Macêdo.

Tese de doutorado
1.
Sandro Santos Andrade. Projeto Arquitetural Automatizado de Sistemas Self-adaptive - Uma Abordagem Baseada em Busca. 2014. Tese (Doutorado em Doutorado em Ciência da Computação (DMCC)) - Universidade Federal da Bahia, Fundação de Amparo à Pesquisa do Estado da Bahia. Orientador: Raimundo José de Araújo Macêdo.

2.
Allan Edgard Silva Freitas. Simulação de Sistemas Distribuídos Hibridos e Dinâmicos. 2013. Tese (Doutorado em Doutorado em Ciência da Computação (DMCC)) - Universidade Federal da Bahia, . Orientador: Raimundo José de Araújo Macêdo.

3.
Alírio Santos de Sá. Mecanismos Autonômicos de Tolerância da Falhas para Sistemas Distribuídos. 2011. 0 f. Tese (Doutorado em Doutorado em Ciência da Computação (DMCC)) - Universidade Federal da Bahia, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Raimundo José de Araújo Macêdo.

4.
Sérgio Gorender. Um Modelo Hibrido e Adaptativo para Sistemas Distribuídos Tolerantes a Falhas. 2005. 0 f. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Coorientador: Raimundo José de Araújo Macêdo.

Supervisão de pós-doutorado
1.
Daniela Barreiro Claro. 2008. Universidade Federal da Bahia, Fundação de Amparo à Pesquisa do Estado da Bahia. Raimundo José de Araújo Macêdo.

Monografia de conclusão de curso de aperfeiçoamento/especialização
1.
ELVIRA VAZQUEZ MARTINEZ. SEGURANÇA EM REDES MANETS: MECANISMOS DE SEGURANÇA PREVENTIVA E CORRETIVA. 2009. Monografia. (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo.

2.
MÔNICA SILVA RIVAS. SEGURANÇA EM REDES MANETS: MECANISMOS DE SEGURANÇA PREVENTIVA E CORRETIVA. 2009. Monografia. (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo.

3.
Antônio Claúdio L de Araújo. Um supervisor para redes baseado em componentes de tempo real utilizando a plataforma arcos. 2007. Monografia. (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo.

4.
Arleys Pereira N. de Castro. Um supervisor para redes baseado em componentes de tempo real utilizando a plataforma arcos. 2007. Monografia. (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo.

5.
Ricardo Perrone da Silva. ALTERNATIVAS PARA DETECÇÃO DE TERMINAÇÃO. 2005. Monografia. (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo.

6.
Adriana Serravale Almeida. Replicação de Dados. 2002. 60 f. Monografia. (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo.

7.
Eduardo Octávio Ehrlich de Araújo. Eduação a Distância : Em Busca de uma Ferramenta para a Pós-graduação em Sistemas Distribuídos do LaSiD/UFBA. 2002. 80 f. Monografia. (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo.

8.
Flávia Vasconcelos Costa. Replicação de Dados n e WEB. 2002. 60 f. Monografia. (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo.

9.
José Tadeu David Silva. Uma máquina de busca paralela. 2002. 87 f. Monografia. (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo.

10.
Stoessel Dourado Moitinho. Segurança em Sistemas Distribuídos. 2002. 70 f. Monografia. (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo.

11.
Ivã das Neves Reis. Educação a Distância. 2002. 80 f. Monografia. (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo.

12.
Jairo Nunes Barbosa Sousa. Educação a Distância : em busca de uam ferramenta para a pós-graduação em sistemas distribuídos do LaSiD/UFBA. 2002. 80 f. Monografia. (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo.

13.
Sérgio Anibal de Carvalho Junior. Uma Máquina de Busca Paralela. 2002. 80 f. Monografia. (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo.

14.
Eduardo Telmo Fonseca Santos. Balanceamento de Carga em Servidores Web Usando Redirecionamento HTTP. 2001. 0 f. Monografia. (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo.

15.
Nilton Souza Santos. Balanceamento de Carga. 2001. 0 f. Monografia. (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo.

16.
Ely Wagner Aguiar de Oliveira. Gerenciamento de Sistemas Distribuídos no Ambiente CORBA. 2001. 0 f. Monografia. (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo.

17.
Alba Couto Falção Scheible. A Web como Ferramenta de Instrumentalização de Cursos de Pós-graduação Lato sensu. 2000. 0 f. Monografia. (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo.

18.
Ayala Rocha. Uma Ferramenta Baseada na WEB para Educação a Distância. 2000. 0 f. Monografia. (Aperfeiçoamento/Especialização em Especialização Avamçada Em Sistemas Distribuídos) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo.

19.
Jurema Rocha Barreto. A Web como Ferramenta de Instrumentalização de Cursos de Pós-graduação latu sensu. 2000. 0 f. Monografia. (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo.

20.
Davi Mustafa Tanajura. Tolerância a Falhas de Objetos Distribuídos no Ambiente CORBA. 2000. 0 f. Monografia. (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo.

21.
Genaro F. de Carvalho Costa. Comunicação Confiável entre Sistemas Legados sobre a Internet. 2000. 0 f. Monografia. (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo.

22.
Marcela Batalha. Arquitetura para um Serviço Distribuídos de Diagnóstico de Falhas. 1999. 0 f. Monografia. (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo.

23.
Oswaldo Mattos Barbosa de Souza. 10 Uma Proposta para a Distribuição da Base de Dados do Sistema de Controle de Materiais do Estado da Bahia - SIMEB. 1999. 0 f. Monografia. (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo.

24.
Wellington Lacerda. Critérios de Seleção de Ferramentas de Workflow para o Projeto Governo Eletrônico do Estado da Bahia. 1999. 0 f. Monografia. (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo.

Trabalho de conclusão de curso de graduação
1.
Tulio Miranda Vieira Pinto. Tolerância a Falhas em Sistemas de Nuvens. 2012. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo.

2.
Anne Blagojevic. Simuladores para Sistemas Distribuídos Hibridos e Dinâmicos: avaliação de algoritmos de consenso. 2012. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal da Bahia, Fundação de Amparo à Pesquisa do Estado da Bahia. Orientador: Raimundo José de Araújo Macêdo.

3.
ANTONIO SANTOS VASCONCELOS. AVALIAÇÃO DA QUALIDADE DE CONTROLE EM SISTEMAS DISTRIBUÍDOS SOB A PLATAFORMA ARCOS. 2007. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo.

4.
Fábio Ramon de Lima e Lima. Detectores de Defeitos Adaptáveis baseados em Redes Neurais e Agentes SNMP. 2005. 60 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo.

5.
Marcos Guedes. Uso de Séries Temporais na Implementação de Detectores de Defeitos em Sistemas Distribuídos. 2004. 50 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo.

6.
Cristiano Reis. Um sistema de busca peer-to-peer para artigos em ciência da computação. 2003. 50 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo.

7.
Alex Miura. Transmissão de Dados pela Linha de Distribuíção Elétrica. 2002. 60 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo.

8.
Deise da Silva Côrtes. Implementação de um Framework para a Geração Automática de Protocolos de Acordo em Ambientes Assíncronos. 2001. 0 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo.

9.
Sérgio Anibal de Carvalho Junior. Segurança nos Sistemas de Computadores : O Papel da Criptografia. 2000. 0 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo.

Iniciação científica
1.
Anne Blagojevic. Simuladores para Sistemas Distribuídos Hibridos e Dinâmicos. 2012. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia, Fundação de Amparo à Pesquisa do Estado da Bahia. Orientador: Raimundo José de Araújo Macêdo.

2.
Melissa Shihfan Ribeiro Wen. ADICIONANDO FUNCIONALIDADES PARA O SIMULADOR DE SISTEMAS DISTRIBUÍDOS HDDSS. 2011. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Raimundo José de Araújo Macêdo.

3.
Melissa Shihfan Ribeiro. Implementação de algoritmos de consenso para sistemas distribuídos híbridos e dinâmicos. 2009. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Raimundo José de Araújo Macêdo.

4.
Lucas de Almeida Gama Paixão. Modelos de Propriedade Intelectual para Software de Computadores. 2009. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia, Fundação de Amparo à Pesquisa do Estado da Bahia. Orientador: Raimundo José de Araújo Macêdo.

5.
HUGO VINICIUS VAZ BRAGA. Desenvolvimento, implementação e teste de algoritmos de consenso. 2007. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Raimundo José de Araújo Macêdo.

6.
Waltemir Lemos Pacheco Júnior. Implementação e Teste do Modelo HA. 2007. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Raimundo José de Araújo Macêdo.

7.
Fábio Ramon de Lima e Lima. desenvolvimento de detectors de defeitos para sistemas assincronos. 2004. 40 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo.

8.
Daniel Breves Martins. Fabrica de Software. 2004. 40 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo.

9.
Matheus Cunha. Implementação de Mecanismos de Tolerância a Falhas para Redes com QoS. 2004. 30 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo.

10.
Daniel Breves Martins. Integração dos Módulos da BCG-Móvel. 2002. 50 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo.

11.
Fábio Ramon de Lima e Lima. Desenvolvimento de Detectores de Defeitos para Sistemas Assincronos. 2002. 50 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo.

12.
Mathues Ciríaco Cerqueira Cunha. Tolerância a Falhas em Sistemas Distribuídos Assincronos. 2002. 40 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo.

13.
Fábio Ramon de Lima e Lima. Implementação de um Detector de Defeitos para Sistemas Distribuídos utilizando Redes Neurais Artificiais. 2002. 40 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo.

14.
Daniel Breves Martins. Integração dos Modulos da BCGMovel. 2002. 40 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo.

15.
Fábio Mascarenhas. Análise Comparativa de Plataformas de Comunicação em Grupo. 2000. 0 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo.

16.
Criston Pereira de Souza. Implementação da Camada de Transporte da BCG em JAVA. 1998. 0 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo.

17.
Deise da Silva Côrtes. Implementação da Camada de Transporte da BCG em JAVA. 1998. 0 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo.

18.
Eduardo Telmo Fonseca Santos. Implementação da Camada de Transporte da BCG em JAVA. 1998. 0 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Raimundo José de Araújo Macêdo.

19.
Claudio Guido Silva Cardoso. Implementação da Camada de Transporte da BCG - Base Confiável de Comunicação em Grupo. 1998. 0 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Raimundo José de Araújo Macêdo.

20.
João Carlos de Jesus Bulhões. Implementação da Camada de Transporte da BCG - Base Confiável de Comunicação em Grupo. 1998. 0 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Raimundo José de Araújo Macêdo.

21.
Marco Antônio Caldas de Figueirêdo Júnior. Implementação da Camada de Transporte para a BCG. 1997. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Raimundo José de Araújo Macêdo.

22.
Laércio Souza Santos. Implementação da Camada Multicast para a BCG. 1997. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Raimundo José de Araújo Macêdo.

23.
Eder Reis Lima. Desenvolvimento da Camada de Multicast para Comunicação em Grupo. 1997. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo.

24.
Geysa Vinhaes Dantas. Base Confiável de Comunicação em Grupo - BCG. 1995. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Raimundo José de Araújo Macêdo.

25.
Fabiano Gusmão Melllo. Base Confiável de Comunicação em Grupo. 1995. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Raimundo José de Araújo Macêdo.

26.
Gabriela Mascarenhas Espinheira. Base Confiável de Comunicação em Grupo. 1995. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Raimundo José de Araújo Macêdo.

27.
Leopoldo Arthur Gomes Lima e Silva. Base Confiável de Comunicação em Grupo. 1995. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Raimundo José de Araújo Macêdo.

28.
Sergio Gorender. Compressão de Dados. 1990. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Raimundo José de Araújo Macêdo.

29.
João Gualberto Rizzo Araújo. Compressão de Dados. 1990. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Raimundo José de Araújo Macêdo.

30.
Georges Baladi Junior. Compressão de Dados. 1990. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo.

31.
Luiz Fernando Coutinho Fernandes. Compressão de Dados. 1990. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo.

32.
Sergio Gorender. Desenvolvimento de um Sistema para Compressão de Arquivos. 1989. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Raimundo José de Araújo Macêdo.

33.
João Gualberto Rizzo Araújo. Desenvolvimento de um Sistema para Compressão de Arquivos. 1989. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Raimundo José de Araújo Macêdo.

34.
Georges Joseph Baladi Junior. Desenvolvimento de um Sistema para Compressão de Arquivos. 1989. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo.

35.
Luiz Fernando Coutinho Fernandes. Desenvolvimento de um Sistema para Compressão de Arquivos. 1989. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo.

36.
Tatiana Simas. Desenvolvimento de um Sistema para Recuperação Automática de Bando de Dados. 1989. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo.

37.
Rodolfo Vieira da Silva Neto. Desenvolvimento de um Sistema para Recuperação Automática de Bando de Dados. 1989. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo.

38.
André Luiz Conceição. Desenvolvimento de um Sistema para Recuperação Automática de Bando de Dados. 1989. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo.

39.
Joao Batista dos Santos. Desenvolvimento de Estruturas de Gerenciamento de Chaves Secundárias. 1989. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Raimundo José de Araújo Macêdo.

40.
Leonardo Galeffii. Desenvolvimento de Estruturas de Gerenciamento de Chaves Secundárias. 1989. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo.

41.
Carlos Henrique Rebouçs Oliveira. Um Sistema de Gerenciamento de Arquivos Endereçados via Hashing para o Turbo-Pascal. 1988. 0 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo.

42.
Sergio Gorender. Monografias em Estruturas de Dados. 1988. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Raimundo José de Araújo Macêdo.

43.
João Gualberto Rizzo Araújo. Monografias em Estruturas de Dados. 1988. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Raimundo José de Araújo Macêdo.

44.
Luiz Fernando Coutinho Fernandes. Monografias em Estruturas de Dados. 1988. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo.

45.
Georges Joseph Baladi Junior. Monografias em Estruturas de Dados. 1988. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo.

46.
Christina Brandão Von Flach. Desenvolvimento de um Compilador Didático Pascal para CP/M. 1987. 0 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo.

Orientações de outra natureza
1.
Marcio Vicente. Software, Propriedade Intelectual e Empreederorismo. 2013. Orientação de outra natureza. (Ciência da Computação) - Universidade Federal da Bahia, Fundação de Amparo à Pesquisa do Estado da Bahia. Orientador: Raimundo José de Araújo Macêdo.



Inovação



Programa de computador sem registro
1.
MACÊDO, R. J. de A.. Newtop : A Fault-Tolerant Multicast Protocol. 1993.

2.
FREITAS, A. E. S. ; Macêdo, Raimundo José de Araújo . Simulador para Sistemas Distribuídos Híbridos e Dinâmicos (Hybrid and Dynamic Distributed Systems Simulator - HDDSS). 2012.

3.
SÁ, Alírio Santos de ; Macêdo, Raimundo José de Araújo . Detectores Autonômicos de Defeitos para Sistemas Distribuídos. 2010.

4.
Macêdo, Raimundo José de Araújo; SÁ, Alírio Santos de ; Gorender, Sergio . Sistema de Concurso para Docentes da UFSB. 2014.


Projetos de pesquisa

Outros projetos


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



Desenvolvimento de material didático ou instrucional
1.
Macêdo, Raimundo José de Araújo; David Cavallo ; Gorender, Sergio ; SÁ, Alírio Santos de . Concepção e projeto do curso de introdução ao raciocínio computacional oferecido a todos os estudantes da universidade federal do sul da bahia (UFSB). 2014. (Desenvolvimento de material didático ou instrucional - educação).


Organização de eventos, congressos, exposições e feiras
1.
Macêdo, Raimundo José de Araújo. Coordenação Geral do DISC 2012 The 26th International Symposium on DIStributed Computing. 2012. (Congresso).



Outras informações relevantes


Résumé: Além de minhas atividades na UFBA, orientei dissertações e teses em outras instituições (UFPB, UPFE, Unifacs). Fui pesquisador de produtividade de pesquisa do CNPq (II e III) e membro da Câmara de Assessoramento e Avaliação Técnico-Científico da FAPESB.
Fui membro do comitê consultivo e/ou de programa de diversos eventos apoiados ou diretamente ligados à SBC (SBRC, LADC, WTF, SCTF, WTF, WSO, WebMIdia, WTR, SEMISH, JAI, entre outros). Além desses, fui membro de comitê de programa IEEE/IFIP DSN, ACM/IFIP/USENIX Middleware, WoSID (cood. geral e de programa), entre outros.

Tenho atuado, em nível nacional, regional e local, entre outras, nas seguintes atividades: coordenação de grupos de interesse da SBC; coordenação de debates relativos à área de Redes e Sistemas Distribuídos; coordenação de dois painéis sobre criação de cursos em centros emergentes em 1998 (SEMINFO/UFBA e no Congresso da SBC em BH); e coordenação (no caso do Doutorado e Especialização) ou co-coordenação (no caso do Mestrado) das ações para criação dos três cursos de pós-graduação ligados a informática que hoje temos na UFBA (Especialização em Sistemas Distribuídos, Mecatrônica (Mestrado e Doutorado) e  Ciência da Computação (Mestrado e Doutorado). Também atuei junto ao governo local para aumentar a prioridade dada a TI (através de participação em consulta pública na elaboração de planejamento de políticas do Estado) e através de documentos e palestras. Fui o idealizador da SEMINFO, um evento que se tornou de cunho regional, contribuindo para o surgimento de diversas iniciativas acadêmicas dentro e fora da UFBA, e deu origem à ERBASE ? Escola Regional da SBC na regional NE III. Também fundei o Laboratório de Sistemas Distribuídos e coordenei as ações para criação do Centro Interdisciplinar em Ciência e Tecnologia da Informação na UFBA e da nova unidade acadêmica da UFBA: Instituto de Ciência e Tecnologias da Computação (ICTC), projeto em trâmite no Conselho Universitário da UFBA.

Junt



Página gerada pelo Sistema Currículo Lattes em 13/11/2018 às 5:33:54