SERGIO GORENDER

Idiomas

Áreas de atuação

Organização de eventos

Participação em eventos

Participação em bancas

Orientou

Produções bibliográficas

• HERCULANO, JORGE ; PEREIRA, WILLIANS ; GUIMARÃES, MARCELO ; COTRIM, REINALDO ; DE SÁ, ALIRIO ; ASSIS, FLÁVIO ; MACÊDO, RAIMUNDO ; Gorender, Sérgio . MAC approaches to communication efficiency and reliability under dynamic network traffic in wireless body area networks: a review. COMPUTING (WIEN. INTERNET) , v. 106, p. 2785-2809, 2024.

• MACÊDO, R. J. A. ; GORENDER, S. . Exploiting partitioned synchrony to implement accurate failure detectors. International Journal of Critical Computer-Based Systems (IJCCBS) , v. 3, p. 168, 2012.

• GORENDER, S. ; MACÊDO, R. J. A. ; RAYNAL, M. . An Adaptive Programming Model for Fault-Tolerant Distributed Computing. IEEE Transactions on Dependable and Secure Computing , v. 4, p. 18-31, 2007.

• GORENDER, S. ; BUNCHAFT, M. E. F. . Perturbações e Mau Condicionamento em Sistemas de Equações Lineares. Salvador: Centro Editorial e Didático da UFBA, 1988. 79p .

• MACEDO, R. J. A. ; Alirio Santos de Sá ; GORENDER, S. . Tecnologias da Informação e Comunicação na UFSB: superando desafios na construção de uma universidade popular. In: Rosângela Pereira de Tugny; Gustavo Gonçalves. (Org.). Universidade popular e Encontro de Saberes. 1ed.Salvador: Editora da UFBA, 2021, v. , p. 129-148.

• MACEDO, R. J. A. ; Cavallo, D. P. ; GORENDER, S. ; ARAÙJO, B. M. de . Raciocínio computacional na Formação Geral pavimentando o caminho da interdisciplinaridade. In: Rosângela Pereira de Tugny; Gustavo Gonçalves. (Org.). Universidade popular e Encontro de Saberes. 1ed.Salvador: Editora da UFBA, 2021, v. , p. 411-424.

• GORENDER, S. . Qualidade de Serviço em Redes de Computadores: conceitos e perspectivas. Estudos Acadêmicos - Faculdade Ruy Barbosa, Salvador-BA, p. 39 - 52, 01 dez. 2001.

• Sá, Margarete ; GORENDER, S. . The Age and Updating Stability for a Communication Context in VANET. In: SBESC - XIII Brazilian Symposium on Computing Systems Engineering, 2024, Recife. Proceedings of the XIII Brazilian Symposium on Computing Systems Engineering, 2024.

• PEREIRA, W. S. ; GORENDER, S. . Uma Ontologia para Poços de Petróleo Equipados com Bombeio Centrífugo Submerso. In: CONGRESSO BRASILEIRO DE AUTOMÁTICA ? CBA 2022, 2022, Fortaleza. ANAIS DO XXIV CONGRESSO BRASILEIRO DE AUTOMÁTICA ? CBA 2022, 2022.

• GORENDER, S. ; Maria Clara A. Dos Santos . Um algoritmo de Membership para o modelo Síncrono Particionado (SPA) de Sistemas Distribuídos com particionamento forte.. In: Workshop de Testes e Tolerância a Falhas, 2021, Uberlância - MG. Anais do WTF 2021, 2021.

• Sá, Margarete ; GORENDER, S. . Uma Análise da Confiança na Qualidade do Contexto em VANETs. In: XI Brazilian Symposium on Computing Systems Engineering, 2021, Online. Proceedings of the XI Brasilian Symposium on Computing System Engeneering, 2021.

• HERCULANO, J. F. ; PEREIRA, W. P. ; GUIMARAES, M. A. ; COTRIM, R. M. ; SA, A. S. ; SILVA, F. M. A. ; MACEDO, R. J. A. ; GORENDER, S. . Redes Corporais Sem Fio: Abordagens de MAC para Garantia de Eficiência e Confiabilidade na Comunicação sob Tráfego Dinâmico. In: SBESC - XI Brazilian Symposium on Computing Systems Engineering, 2021, Remoto. Proceedings of the XI Brazilian Symposium on Computing Systems Engineering, 2021.

• PELLEGRINO, G. ; Mota, G. ; ASSIS, F. ; Alirio Santos de Sá ; GORENDER, S. . Simple Area Coverage by a Dynamic Set of Unmanned Aerial Vehicles. In: Simpósio Brasileiro de Engenharia de Sistemas Computacionais - SBESC, 2020, Florianópolis. Proceedings of the 2020 X Brazilian Symposium on Computing Systems Engineering (SBESC), 2020.

• Sá, Margarete ; GORENDER, S. . Quality of Context for VANETs: QoC Metrics for Connectivity in VANETs. In: The 18th International Conference on Ad Hoc Networks and Wireless (AdHoc-Now 2019), 2019, Luxemburgo. Proceedings of the The 18th International Conference on Ad Hoc Networks and Wireless, 2019. p. 420-431.

• CERQUEIRA JR., A. J. ; GORENDER, S. . Whistle: Um Detector de Defeitos para Sistemas Multiagentes Utilizando a Framework JADE. In: Workshop de Sistemas Distribuídos Autonômicos, 2016, Salvador, Bahia. Anáis do Workshop de Sistemas Distribuídos Autonômicos, 2016.

• SANTOS, B. J. ; GORENDER, S. . Um Protocolo de Roteamento Adaptativo a Carga de Bateria e a presença de falhas em Redes Móveis Ad hoc. In: 4o. Workshop de Sistemas Distribuídos Autonômicos, 2014, Florianópolis. Anáis do 4o. Workshop de Sistemas Distribuídos Autonômicos, 2014.

• Sá, Margarete ; GORENDER, S. . Um Protocolo de Roteamento Dina?mico para Redes Veiculares. In: 4o. Workshop de Sistemas Distribuídos Autonômicos, 2014, Florianópolis. Anáis do 4o. Workshop de Sistemas Distribuídos Autonômicos, 2014.

• GORENDER, S. ; Silva, I . AN ONTOLOGY FOR A FAULT TOLERANT TRAFFIC INFORMATION SYSTEM. In: 22nd International Congress of Mechanical Engineering (COBEM 2013), 2013, Ribeirão Preto, SP. 22nd International Congress of Mechanical Engineering (COBEM 2013), 2013.

• OLIVEIRA, V. L. C. ; TANAJURA, A. P. M. ; LEPIKSON, H. A. ; GORENDER, S. . AN ONTOLOGY FOR MONITORING OF CONTROL OILFIELDS ONSHORE. In: 22nd International Congress of Mechanical Engineering (COBEM 2013), 2013, Ribeirão Preto, SP. 22nd International Congress of Mechanical Engineering (COBEM 2013), 2013.

• Sá, Margarete ; GORENDER, S. . Uma Arquitetura de Rede para Serviços de Comunicação Autonômicos. In: Workshop de Sistemas Distribuídos Autonômicos, 2013, Brasília. Anáis do Workshop de Sistemas Distribuídos Autonômicos, 2013.

• GORENDER, S. ; Sá, Margarete . Um serviço de Comunicação Baseado em Regras para Veículos Autônomos em Redes Móveis. In: VII Congresso Nacional de Engenharia Mecânica, 2012, São Luiz. Anáis do VII Congresso Nacional de Engenharia Mecânica, 2012.

• GORENDER, S. ; Sá, Margarete . Monitoração inteligente de estados de comunicação para aplicações sobre redes veiculares. In: Encontro de Inteligência Artificial - ENIA, 2012, Curitiba - PR. IX Encontro de Inteligência Artificial, 2012.

• GORENDER, S. ; MACÊDO, R. J. A. . Consenso Distribuído Eficiente no Modelo Síncrono Particionado. In: Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2011, Campo Grande. Anais do XXIX Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2011.

• GORENDER, S. ; MACÊDO, R. J. A. ; PACHECO JUNIOR, W. L. . Controle de Admissão para QoS em Sistemas Distribuídos Híbridos, Tolerantes a Falhas. In: Workshop de Testes e Tolerância a Falhas, 2010, Gramado, RS. Anais do XI Workshop de Testes e Tolerância a Falhas (WTF 2010), 2010.

• GORENDER, S. ; MACÊDO, R. J. A. . Consenso com Recuperação no Modelo Partitioned Synchonous. In: Workshop de Testes e Tolerância a Falhas, 2010, Gramado, RS. Anais do XI Workshop de Testes e Tolerância a Falhas (WTF 2010), 2010.

• Assis, S. R. de ; MACÊDO, R. J. A. ; GORENDER, S. . Replicação Reconfigurável em Sistemas de Tempo REal. In: VI Congresso Nacional de Engenharia Mecânica, 2010, Campina Grande, PB. Anáis do VI Congresso Nacional de Engenharia Mecânica, 2010.

• MACÊDO, R. J. A. ; GORENDER, S. . Perfect Failure Detection in the Partitioned Synchronous Distributed System Model. In: The Fourth International Conference on Availability, Reliability and Security (ARES 2009), IEEE CS Press., 2009, Fukuoka. Proceedings of the The Fourth International Conference on Availability, Reliability and Security (ARES 2009), IEEE CS Press., 2009.

• MACÊDO, R. J. A. ; GORENDER, S. . Detectores Perfeitos em Sistemas Distribuídos Não Síncronos. In: X Workshop de Teste e Tolerância a Falhas (WTF 2008), 2008, Rio de Janeiro. Anais do X Workshop de Teste e Tolerância a Falhas (WTF 2008), 2008.

• GORENDER, S. ; MACÊDO, R. J. A. ; RAYNAL, M. . A Hybrid and Adaptive Model for Fault-Tolerant Distributed Computing. In: DNS05- IEEE/IFIP Int. Conference on Computer Systemas and Networks, 2005, Yokohama, Japão. Proceedings of the Int. Conference on Computer Systemas and Networks, 2005.

• GORENDER, S. ; MACÊDO, R. J. A. ; CUNHA, P. R. F. . The Implementation of a Distributed System Model for Fault Tolerance with QoS. In: SBRC, 2005, Fortaleza, CE. Anais do Simpósio Brasileiro de Redes de Computadores, 2005.

• GORENDER, S. ; MACÊDO, R. J. A. ; CUNHA, M. . Implementação e Análise de Desempenho de um Mecanismo Adaptativo para Tolerância a Falhas em Sistemas Distribuídos com QoS. In: V WTF - Workshop de Testes e Tolerância a Falhas, 2004, Gramado - RS. Anais do V WTF, 2004. p. 3-14.

• GORENDER, S. . Um Mecanismo Adaptativo para Tolerância a Falhas em Sistemas Distribuídos com QoS. In: Workshop de Teses e Dissertações do First Latin-American Symposium on Dependable Computing, 2003, São Paulo. Wokshop de Teses e Dissertações - LADC 2003. São Paulo: USP, 2003. p. 31-36.

• GORENDER, S. ; MACÊDO, R. J. A. . Um Modelo para Tolerância a Falhas em Sistemas Distribuídos com QoS. In: Simpósio Brasileiro de Redes de Computadores, 2002, Búzios. Anais do 20o. Simpósio Brasileiro de Redes de Computadores, 2002.

• GORENDER, S. ; QUEIROZ, R. J. G. B. . A Labelled Deductive System for Natural Language. In: XX Conferencia Latinoamericana de Informatica, 1994, Cidade do México. Memórias da XX Conferencia Latinoamericana de Informatica. México: Editorial Limisa, S.A. de C.V., 1994. p. 611-620.

• GORENDER, S. ; QUEIROZ, R. J. G. B. . Discourse Representation Using a Lebelled Deductive Systems. In: XI Simpósio Brasileiro de Inteligência Artificial, 1994, Fortaleza. Proocedings of the XI Brazilian Symposium on Artificial Inteligence, 1994. p. 243-255.

• GORENDER, S. ; OLIVEIRA, A. G. . Gentzen e a Análise da Dedução. In: V Semana de Informática da UFBa, 1994, Salvador. Anáis da V Semana de Informática da UFBa, 1994. p. 119-129.

• GORENDER, S. ; ARAUJO, J. G. R. ; FERNANDEZ, L. F. C. ; BALADI, G. . Compressão de Dados. In: III Semana de Informática da UFBa, 1990, Salvador. Anáis da III Semana de Informática da UFBa, 1990. p. 44-56.

• GORENDER, S. ; MACEDO, R. J. A. . A Dynamically QoS Adaptable Consensus and Failure Detector. In: The IEEE/IFIP International Conference on Dependable Systems and Networks, 2002, Washington. Proceedings of DSN2002, 2002.

• GORENDER, S. ; MACÊDO, R. J. A. . Consenso Distribuído Eficiente no Modelo Síncrono Particionado. 2011. (Apresentação de Trabalho/Seminário).

Projetos de pesquisa

• 2016 - Atual

  INFRAESTRUTURA TECNOLO#769;GICA PARA CIDADES INTELIGENTES APLICADAS A SAU#769;DE, Descrição: Projeto, implementac#807;a#771;o e avaliac#807;a#771;o de uma infraestrutura de comunicac#807;a#771;o e computac#807;a#771;o que suporte de forma escala#769;vel, interopera#769;vel e confia#769;vel a execuc#807;a#771;o de sistemas distribui#769;dos voltados para assiste#770;ncia a sau#769;de, dentro das caracteristicas encontradas nos sistemas ciber-fi#769;sicos e Internet das Coisas.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Sérgio Gorender - Integrante / Raimundo José de Araújo Macêdo - Coordenador / Alirio Santos de Sá - Integrante / Flávio Moraes de Assis Silva - Integrante.

• 2014 - Atual

  DRONE AS A SERVICE (DAAS): UMA PLATAFORMA EXPERIMENTAL PARA EXECUÇÃO DE MISSÕES BASEADA EM REDES DE DRONES AUTÔNOMOS E COLABORATIVOS, Descrição: Este projeto propõe uma plataforma experimental para execução de missões baseadas em redes de microdrones autônomos e colaborativos. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Sérgio Gorender - Coordenador / ALLAN EDGARD SILVA FREITAS - Integrante / Alirio Santos de Sá - Integrante.

• 2010 - 2012

  Dependable Mechanisms for Dynamic Networks, Descrição: 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: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Doutorado: (2) . , Integrantes: Sérgio Gorender - Integrante / Raimundo José de Araújo Macêdo - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

• 2008 - 2010

  CONSENSO COM RECUPERAÇÃO DE FALHAS NO MODELO HA, Descrição: Um sistema distribuído é definido como um conjunto de processos executando em diferentes dispositivos computacionais, e se comunicando por troca de mensagens, através de uma rede de computadores. As propriedades dos sistemas distribuídos são definidas a partir de modelos, que descrevem características da interação entre os processos, e as possíveis falhas que podem ocorrer neste sistema. O modelo HA para sistemas distribuídos tolerantes a falhas é um modelo híbrido e adaptativo, modelando sistemas distribuídos que apresentam características síncronas e assíncronas, e que alteram dinamicamente suas características, dependendo de mudanças no ambiente de execução. Para este modelo foi desenvolvido um algoritmo de consenso que tolera falhas do tipo crash, e que dependendo do nível de sincronismo do sistema, pode tolerar falhas de até n-1 processos. Entretanto, este algoritmo não aceita que processos se recuperem de falhas (modelo de falhas crash-recovery). O algoritmo Paxos para o consenso com recuperação de falhas foi apresentado por Leslie Lamport em 1998. Este algoritmo resolve o consenso com recuperação de falhas em ambiente assíncrono, desde que no mínimo uma maioria dos processos não falhe. Neste projeto de pesquisa pretendemos investigar o desenvolvimento de um algoritmo de consenso no estilo Paxos, com recuperação de falhas, para o modelo HÁ, de forma a que, dependendo do nível de sincronismo do sistema, sejam toleradas falhas de até N-1 processos, e a sua recuperação. Tolerância a Falhas Consenso Qualidade de Serviço 09/. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) . , Integrantes: Sérgio Gorender - Coordenador / Raimundo José de Araújo Macêdo - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado da Bahia - Auxílio financeiro., Número de produções C, T & A: 1

• 2006 - Atual

  Modelos para sistemas distribuídos híbridos e adaptativos, tolerantes a falhas, 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 (diferentes tipos de 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) e plataformas (middlewares) 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 dois 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 a cooperação de uma instituição estrangeira, o IRISA/França. 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ços iniciais, permitindo a ampla exploração do modelo proposto num middleware voltado para automação industrial.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (3) / Doutorado: (2) . , Integrantes: Sérgio Gorender - Integrante / Raimundo José de Araújo Macêdo - Coordenador., Financiador(es): Fundação de Amparo à Pesquisa do Estado da Bahia - Auxílio financeiro.