Flavio Morais de Assis Silva
Possui o grau de Bacharel em Ciência da Computação pela Universidade Federal de Minas Gerais (1989), Mestre em Ciência da Computação pela Universidade Estadual de Campinas (1993) e Doutor em Informática pela Universidade Técnica de Berlin (Technische Universität Berlin), Alemanha (1999). Atualmente é Professor Titular do Departamento de Computação Interdisciplinar, Instituto de Computação, Universidade Federal da Bahia. Foi coordenador do Curso de Bacharelado em Ciência da Computação (2003-2005), vice-coordenador (2006-2007, 2017-2019) e coordenador do Programa de Pós-Graduação em Mecatrônica (2007-2009, 2020-2022), todos na UFBA. Participou da criação do Programa de Pós-Graduação em Mecatrônica (PPGM) e, em menor intensidade, da criação do Programa Multiinstitucional em Ciência da Computação (UFBA/Unifacs/UEFS). Já participou da organização de eventos científicos nacionais e internacionais, entre eles o LADC 2005 (Latin-American Symposium on Dependable Computing) e o SBESC 2018 (Brazilian Symposium on Computing Systems Engineering), em que foi general co-chair, o CSBC 2004 (Congresso da Sociedade Brasileira de Computação), DISC 2012 (International Symposium on Distributed Computing) e o SRDS 2018 (Symposium on Reliable Distributed Systems). Tem sido membro do comitê de programa de diversos eventos nacionais e internacionais. Tem experiência na área de Ciência da Computação. Seus interesses de pesquisa principais atuais são algoritmos e questões relacionadas ao desenvolvimento de sistemas baseados em redes de sensores sem fio. Já atuou também em projetos sobre métodos formais para sistemas móveis e tolerância a falhas em sistemas distribuídos.
Informações coletadas do Lattes em 10/06/2025
Acadêmico
Formação acadêmica
Doutorado em Informática
1994 - 1999
Technische Universität Berlin, TUBerlin
Título: A Transaction Model based on Mobile Agents
Orientador: Prof Dr. Dr. h.c. Radu Popescu-Zeletin
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Agentes Móveis; Agentes Móveis Transacionais; Tolerância a Falhas; Sistemas Abertos.Grande área: Ciências Exatas e da TerraSetores de atividade: Informática.
Mestrado em Ciência da Computação
1990 - 1993
Universidade Estadual de Campinas
Título: Um Refinamento da Estrutura da Camada de Aplicação do RM-OSI/ISO e Aspectos de sua Implementação em um Sistema Didático de Comunicação
, Ano de Obtenção: 1993.Dr Edmundo Roberto Mauro Madeira.Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Redes de Computadores; RM OSI-ISO; CCR; Processamento de Transações.Grande área: Ciências Exatas e da TerraSetores de atividade: Informática; Fabricação de Aparelhos e Equipamentos de Telecomunicação.
Pós-doutorado
2014 - 2015
Pós-Doutorado. , University of Liverpool, LIVERPOOL, Inglaterra. , Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Idiomas
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Espanhol
Compreende Bem, Lê Bem.
Português
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Alemão
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Áreas de atuação
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.
Organização de eventos
ASSIS, F. . SBESC 2024 - XIV Brazilian Symposium on Computing Systems Engineering (membro do comitê de programa). 2024. (Congresso).
ASSIS, F. . JAI 2023 - 42a Jornada de Atualização em Informática (membro do comité de programa). 2023. (Congresso).
ASSIS, F. . SBESC 2023 - XIII Brazilian Symposium on Computing Systems Engineering (membro do comitê de programa). 2023. (Congresso).
ASSIS, F. . SBESC 2022 - XII Brazilian Symposium on Computing Systems Engineering (membro do comitê de programa). 2022. (Congresso).
ASSIS, F. . JAI 2022 - 41a Jornada de Atualização em Informática (membro do comité de programa). 2022. (Congresso).
ASSIS, F. . JAI 2021 - 40a Jornada de Atualização em Informática (Membro do Comitê de Programa). 2021. (Congresso).
ASSIS, F. . SBESC 2021 - XI Brazilian Symposium on Computing Systems Engineering (Membro do Comitê de Programa). 2021. (Congresso).
ASSIS, F. . ADHOC-NOW 2020 - 17th International Conference on Ad Hoc Networks and Wireless (Membro do Comitê de Programa). 2020. (Congresso).
ASSIS, F. . SBESC 2020 - X Brazilian Symposium on Computing Systems Engineering (Membro do Comitê de Programa). 2020. (Congresso).
ASSIS, F. . ISCC 2020 - 25th IEEE Symposium on Computers and Communications. 2020. (Congresso).
ASSIS, F. . ADHOC-NOW 2019 - 17th International Conference on Ad Hoc Networks and Wireless (Membro do Comitê de Programa). 2019. (Congresso).
ASSIS, F. . SBESC 2019 - IX Brazilian Symposium on Computing Systems Engineering (Membro do Comitê de Programa). 2019. (Congresso).
ASSIS, F. . ADHOC-NOW 2018 - 17th International Conference on Ad Hoc Networks and Wireless (Membro do Comitê de Programa). 2018. (Congresso).
ASSIS, F. . SBESC 2018 - VIII Brazilian Symposium on Computing Systems Engineering (Membro do Comitê de Programa) (General Co-Chair). 2018. (Congresso).
ASSIS, F. ; Lima, G.M.A. . SBESC 2018 - VIII Brazilian Symposium on Computing Systems Engineering. 2018. (Congresso).
ASSIS, F. . ADHOC-NOW 2017 - 16th International Conference on Ad Hoc Networks and Wireless (Membro do Comitê de Programa). 2017. (Congresso).
ASSIS, F. . WoSiDA 2017 - VII Workshop on Autonomic Distributed Systems (Membro do Comitê de Programa). 2017. (Congresso).
ASSIS, F. . SBESC 2017 - VII Brazilian Symposium on Computing Systems Engineering. 2017. (Congresso).
ASSIS, F. . WoSiDA 2016 - VI Workshop on Autonomic Distributed Systems (Membro do Comitê de Programa). 2016. (Congresso).
ASSIS, F. . ADHOC-NOW 2016 - International Conference on Ad-Hoc Networks and Wireless (Membro do Comitê de Programa). 2016. (Congresso).
ASSIS, F. . WOSIDA 2015 - V Workshop on Autonomic Distributed Systems (Membro do Comitê de Programa). 2015. (Congresso).
ASSIS, F. . ADHOC-NOW 2015 - International Conference on Ad Hoc Networks and Wireless (Membro do Comitê de Programa). 2015. (Congresso).
ASSIS, F. . SBESC - V Brazilian Symposium on Computing Systems Engineering (Revisor de artigo). 2015. (Congresso).
ASSIS, F. . ADHOC-NOW 2014 - International Conference on Ad Hoc Networks and Wireless (Membro do Comitê de Programa). 2014. (Congresso).
ASSIS, F. . WOSIDA 2014 - IV Workshop on Autonomic Distributed Systems (Membro do Comitê de Programa). 2014. (Congresso).
ASSIS, F. . LADC 2013 - Sixth Latin-American Symposium on Dependable Computing (Membro do Comitê de Programa). 2013. (Congresso).
ASSIS, F. . WOSIDA 2013 - III Workshop sobre Sistemas Distribuídos Autonômicos. 2013. (Congresso).
ASSIS, F. . ADHOC-NOW 2012 - The 11th International Conference on Ad Hoc Networks and Wireless (Membro do Comitê de Programa). 2012. (Congresso).
MACÊDO, Raimundo José de Araújo ; ANDRADE, Aline M Santos ; ASSIS, F. ; BARRETO, M. E. ; GORENDER, S. . DISC 2012 - 26th International Symposium on Distributed Computing. 2012. (Congresso).
ASSIS, F. . SBRC 2011 - Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (Membro do Comitê de Programa). 2011. (Congresso).
ASSIS, F. . LADC 2011 - Fifth Latin-American Symposium on Dependable Computing (Membro do Comitê de Programa). 2011. (Congresso).
ASSIS, F. . WOSIDA 2011 - I Workshop on Autonomic Distributed Systems (Membro do Comitê de Programa). 2011. (Congresso).
ASSIS, F. . SBRC 2010 - Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (Membro do Comitê de Programa). 2010. (Congresso).
ASSIS, F. . RTN 2010 - 9th International Workshop on Real-Time Networks (Membro do Comitê de Programa). 2010. (Outro).
ASSIS, F. . WTICG 2010 - Workshop de Trabalhos de Iniciação Científica e Graduação Bahia-Alagoas-Sergipe (Membro do Comitê de Programa). 2010. (Congresso).
ASSIS, F. . WTF 2010 - XI Workshop de Testes e Tolerância a Falhas (Membro do Comitê de Programa). 2010. (Outro).
ASSIS, F. . SBRC 2009 - Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (Membro do Comitê de Programa). 2009. (Congresso).
ASSIS, F. . WTF 2009 - X Workshop de Testes e Tolerância a Falhas (Membro do Comitê de Programa). 2009. (Outro).
ASSIS, F. . WTR 2008 - 10th Brazilian Workshop on Real Time and Embedded Systems (Revisor de artigo). 2008. (Outro).
ASSIS, F. . SBRC 2008 - XXVIII Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (Membro do Comitê de Programa). 2008. (Congresso).
ASSIS, F. . WTF 2008 - IX Workshop de Teste e Tolerância a Falhas (Membro do Comitê de Programa). 2008. (Outro).
ASSIS, F. . SBRC 2007 - XXV Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (Membro do Comitê de Programa). 2007. (Congresso).
ASSIS, F. . WTF 2007 - VIII Workshop de Teste e Tolerância a Falhas (Membro do Comitê de Programa). 2007. (Outro).
ASSIS, F. . SBRC 2006 - XXIV Simpósio Brasileiro de Redes de Computadores. 2006. (Congresso).
ASSIS, F. . LADC 2005 (Second Latin-American Symposium on Dependable Computing) - General Co-Chair. 2005. (Congresso).
ASSIS, F. . DSN 2005 - The International Conference on Dependable Systems and Networks (revisor). 2005. (Congresso).
ASSIS, F. . SBRC 2005 - XXIII Simpósio Brasileiro de Redes de Computadores (Membro do Comitê de Programa). 2005. (Congresso).
ASSIS, F. . XXIV CTIC - Concurso de Trabalhos de Iniciação Científica da SBC (Sociedade Brasileira de Computação) - (Membro do Comitê de Avaliação). 2005. (Concurso).
ASSIS, F. . IWP2P - Primeiro Workshop sobre Redes Peer-to-Peer (Membro do Comitê de Programa). 2005. (Outro).
ASSIS, F. . II WSO - Workshop de Sistemas Operacionais (Membro do Comitê de Programa). 2005. (Outro).
ASSIS, F. . XXIV Congresso da Sociedade Brasileira de Computação (CSBC) (Membro do Comitê de Organização). 2004. (Congresso).
ASSIS, F. . I WSO - Workshop de Sistemas Operacionais (Membro do Comitê de Programa). 2004. (Outro).
ASSIS, F. . SBRC 2004 - XXI Simpósio Brasileiro de Redes de Computadores. 2004. (Congresso).
ASSIS, F. . XXIII CTIC - Concurso de Trabalhos de Iniciação Científica da SBC (Sociedade Brasileira de Computação) - Coordenador do Comitê de Programa (juntamente com Prof. Elias Duarte). 2004. (Concurso).
ASSIS, F. . SBRC 2003 - XXI Simpósio Brasileiro de Redes de Computadores (Membro do Comitê de Programa). 2003. (Congresso).
ASSIS, F. . I WTICG-BASE - Workshop de Trabalhos de Iniciação Científica e de Graduação Bahia-Sergipe - III Escola Regional de Computação Bahia-Sergipe (Membro da Comissão de Avaliação). 2003. (Outro).
ASSIS, F. . I WEIBASE (Workshop de Educação em Computação e Informática Bahia-Sergipe) - III Escola Regional de Computação Bahia-Sergipe. 2003. (Outro).
ASSIS, F. . III Escola Regional de Computação Bahia-Sergipe (Membro da Comissão Organizadora). 2003. (Congresso).
ASSIS, F. . SBRC 2002 - XX Simpósio Brasileiro de Redes de Computadores (Membro do Comitê de Programa). 2002. (Congresso).
Participação em eventos
The 18th International Conference on Ad-Hoc Networks and Wireless. Convergecast in a TSCH Network under a Physical Interference Model. 2019. (Congresso).
Minicursos do XIX SBRC - Simpósio Brasileiro de Redes de Computadores.Membro do Comitê de Avaliação de Minicursos - XIX SBRC. 2001. (Outra).
VIII Semana de Informática da UFBA.Membro do Comitê de Organização - Seminfo 2000. 2000. (Simpósio).
VIII Seminfo - Semana de Informática da UFBA.Coordenador de Programa da VIII Seminfo - Semana de Informática da UFBA. 2000. (Outra).
Participação em bancas
ASSIS, F.; SAMPAIO, L. N.; ALENCAR, M. S.. Escalonamento Multicanal para Convergecast em Redes TSCH. 2023. Dissertação (Mestrado em Mecatrônica) - Universidade Federal da Bahia.
ASSIS, F.; FREITAS, E. P.; NETTO, J. C.. Escalabilidade Uplink de Redes Industriais Sem Fio com Técnicas de Centralidade. 2022. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal do Rio Grande do Sul.
ASSIS, F.; Freitas, A.E.S.; MULLER, I.. Convergecast Determinista para Redes Sem Fio Industriais. 2021. Dissertação (Mestrado em Mecatrônica) - Universidade Federal da Bahia.
ASSIS, F.; MIRANDA, J. G. V.; CONCEICAO, C. S.; Góes, A.L.B.. Protocolo para a Análise não Linear do Equilíbrio Humano. 2021. Dissertação (Mestrado em Mecatrônica) - Universidade Federal da Bahia.
ASSIS, F.; NETTO, J. C.; PEREIRA, C. E.. Algoritmo de Roteamento de Mensagens Confiável com Controle de Energia aplicado às Redes Sem Fio Industriais. 2021. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal do Rio Grande do Sul.
LEPIKSON, H. A.; Ribeiro Jr., A. S.;ASSIS, F.; Guizzo, C.S.P.. Um Método de Gestão com Ferramenta Iterativa para Ensino de Disciplinas de Fundamentos Tecnológicos em Engenharia na Era Digital. 2020. Dissertação (Mestrado em Mecatrônica) - Universidade Federal da Bahia.
ASSIS, F.; LEPIKSON, H. A.; Santos Filho, J.V.. Sistema para Monitoramento de Ativos Móveis baseado em Tecnologia LPWAN. 2020. Dissertação (Mestrado em Mecatrônica) - Universidade Federal da Bahia.
ASSIS, F.; Claro, D.B.; Freitas, A.E.S.. OGUM: Um Framework para Cobertura de Área utilizando um Conjunto Dinâmico de VANTs. 2020. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Bahia.
ASSIS, F.; Schnitman, L.; Lima, A.C.C; Esquerre, V.F.R.. Implementação de Modelos de Propagação de Ondas de Rádio sobre a Superfície Marítima para o Simulador de Redes ns-3. 2020. Dissertação (Mestrado em Mecatrônica) - Universidade Federal da Bahia.
ASSIS, FLÁVIO; LEPIKSON, H. A.; SILVA, V. L.. Redes de Área Ampla e Baixa Potência para Conexão e Rastreamento de Ativos: uma Proposta para Ambiente Hospitalar. 2019. Dissertação (Mestrado em Mestrado em Gestão e Tecnologia Industrial) - Centro Universitário SENAI CIMATEC.
ASSIS, F.; BARRETO, M. E.; Salvador, L.N.. Prototyping and Validating the CORA Ontology and its Reference Architecture. 2019. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Bahia.
ASSIS, F.; GORENDER, S.; Costa, Daniel. Arquitetura baseada em Serviços para o Desenvolvimento de Aplicações sobre Redes de Sensores Sem Fio Heterogêneas. 2016. Dissertação (Mestrado em Mecatrônica) - Universidade Federal da Bahia.
ASSIS, F.; PEPE, I. M.; SA, A. S.; ASSIS, K. D. R.. Protocolo para transmissão de dados baseado em um rádio receptor regenerativo. 2014. Dissertação (Mestrado em Mecatrônica) - Universidade Federal da Bahia.
ASSIS, F.; Becker, L.B.; GORENDER, S.. Maximum Lifetime Broadcast Problem in Wireless Sensor Networks. 2013. Dissertação (Mestrado em Mecatrônica) - Universidade Federal da Bahia.
Ishitani, Lucila;ASSIS, F.; Cardoso, A.M.P.. Estudo de Usabilidade com Crianças usando o Laptop do Programa UCA: uma Abordagem Comparativa com os Sistemas Operacionais Metasys e Ubuntu. 2013. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica de Minas Gerais.
PEPE, I. M.;ASSIS, F.. Solução de Instrumentação para Detecção da Qualidade de Revestimento de Dutos com Traçabilidade Ótica com Redes de Sensores Sem Fio baseada no XBEE. 2012. Dissertação (Mestrado em Mecatrônica) - Universidade Federal da Bahia.
ASSIS, F.Lima, G.M.A.; ASSIS, K. D. R.. Algorithms for the Directed k-Spanner with Minimum Degree Steiner Tree Problem. 2012. Dissertação (Mestrado em Mecatrônica) - Universidade Federal da Bahia.
ASSIS, F.; REGNIER, P. D. E.. FELPO: Protótipo de Robô Móvel Autossustentável para Incentivo à Interdisciplinaridade e à Prática Lúdica Docente. 2012. Dissertação (Mestrado em Mecatrônica) - Universidade Federal da Bahia.
Barreto, Luciano P.;ASSIS, F.; REGNIER, P. D. E.; BATISTA, D. M.. Mobilidade IP com o Protocolo LISP: Avaliação Prática. 2012. Dissertação (Mestrado em Mecatrônica) - Universidade Federal da Bahia.
MACÊDO, Raimundo José de AraújoASSIS, F.; SANTANNA, C. N.. 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.
Barreto, Luciano P.;ASSIS, F.. Protótipo de um Robô Móvel Interdisciplinar de Baixo Custo para Uso Educacional em Cursos Superiores de Engenharia e Computação. 2011. Dissertação (Mestrado em Mecatrônica) - Universidade Federal da Bahia.
PEPE, I. M.;ASSIS, F.. Sensor de Direção Veicular Sem-Fio para Sistemas de Iluminação Inteligente em Automóveis. 2010. Dissertação (Mestrado em Mecatrônica) - Universidade Federal da Bahia.
MACÊDO, Raimundo José de Araújo; CUNHA, P. F.;ASSIS, F.. Replicação Reconfigurável em Sistemas de Tempo Real. 2010. Dissertação (Mestrado em Mecatrônica) - Universidade Federal da Bahia.
PEPE, I. M.;ASSIS, F.. Concepção e Realização de uma Interface Hardware/Software destinada à Aquisição de Sinais Cardíacos utilizando Tecnologia Sem Fio. 2009. Dissertação (Mestrado em Mecatrônica) - Universidade Federal da Bahia.
ASSIS, F.; GORENDER, S.; OLIVEIRA, A.. Protocolo de Controle de Topologia para Redes de Sensores Sem Fio com Overhearing. 2009. Dissertação (Mestrado em Mecatrônica) - Universidade Federal da Bahia.
ASSIS, F.; Oliveira, R.S.. MASIM: Uma Ferramenta para Simulação de Agentes Móveis em Redes de Sensores Sem Fio. 2009. Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.
Lima, G.M.A.Montez, C.B.ASSIS, F.. Especificação Formal, Verificação e Implementação de um Protocolo de Comunicação Determinista, baseado em Ethernet. 2008. Dissertação (Mestrado em Mecatrônica) - Universidade Federal da Bahia.
ASSIS, F.; GREVE, F. G. P.; DUARTE JR, Elias P. The Reliability of Broadcasting Protocols for Mobile Ad-Hoc Networks. 2007. Dissertação (Mestrado em Mecatrônica) - Universidade Federal da Bahia.
ASSIS, F.; MENDONÇA NETO, Manoel Gomes de; SANTOS, Celso Alberto Saibel. Interfaces Gráficas com o Usuário: Uma Abordagem baseada em Padrões. 2005. Dissertação (Mestrado em Sistemas e Computaçâo) - Universidade Salvador.
ASSIS, F.; SANTOS, Celso Alberto Saibel; MONTEIRO, José Augusto Suruagy. Uma Abordagem para a Gestão de Segurança em Redes: Estudo de Caso UESC. 2005. Dissertação (Mestrado em Sistemas e Computaçâo) - Universidade Salvador.
ASSIS, F.; TOLEDO, Maria Beatriz Felgar de; MADEIRA, Edmundo. Um Sistema de Transações Adaptáveis para o Ambiente de Comunicação Sem Fio. 2004. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.
ASSIS, F.MACÊDO, Raimundo José de Araújo; GIOZZA, William Ferreira. Modelo Computacional de Segurança para Secretarias Estaduais de Segurança Pública. 2004. Dissertação (Mestrado em Sistemas e Computaçâo) - Universidade Salvador.
ASSIS, F.; ANIDO, Ricardo de Oliveira; MADEIRA, Edmundo; GUIMARÃES, Célio. Tolerância a Falhas em Sistemas de Agentes Móveis. 2003. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.
ASSIS, F.DOTTI, Fernando Luís; ZORZO, Avelino Francisco. Desenvolvimento de Sistemas Distribuídos com Código Móvel a partir de Especificação Formal. 2001. Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul.
ALBINI, L. C. P.; ANDRADE, R. M. C.;ASSIS, F.; DUARTE JR, Elias P. A Caminho de Estratégias Práticas para Comunicação com Reuso Espacial em Redes Sem Fio sob o Modelo SINR. 2022. Tese (Doutorado em Informática) - Universidade Federal do Paraná.
ASSIS, F.; LEPIKSON, H. A.; ASSIS, K. D. R.; Novo, M.S.; SA, A. S.. Algoritmo Distribuído para Escalonamento de Transmissões no TSCH sob SINR. 2020. Tese (Doutorado em Mecatrônica) - Universidade Federal da Bahia.
Lima, G.M.A.; GREVE, F. G. P.; Santos, O.M.; Guerra, R.P.O.;ASSIS, F.. Uso de Servidores no Escalonamento de Sistemas de Tempo Real em Multiprocessadores. 2014. Tese (Doutorado em Ciência da Computação - Ufba - Unifacs) - Universidade Federal da Bahia.
GIOZZA, William Ferreira; MONTEIRO, José Augusto Suruagy; ASSIS, K. D. R.; Sousa Jr., R.T.;ASSIS, F.. Roteamento Multirrestritivo em Redes Ópticas Translúcidas. 2014. Tese (Doutorado em Ciência da Computação - Ufba - Unifacs) - Universidade Federal da Bahia.
Becker, L.B.;ASSIS, F.; Silva, E.S.; Siqueira, F.; Sobral, M.M.; HUBNER, J.; Farines, J.-M.. Soluções para Redes de Sensores Sem Fio com Mobilidade: Protocolo de Roteamento com Provimento de QoS e Mecanismo de Predição de Conectividade Local. 2013. Tese (Doutorado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.
Lima, G.M.A.ASSIS, F.MACÊDO, Raimundo José de Araújo; Oliveira, R.S.; Camponogara, E.. Optimal Multiprocessor Real-Time Scheduling via Reduction to Uniprocessor. 2012. Tese (Doutorado em Ciência da Computação - Ufba - Unifacs) - Universidade Federal da Bahia.
Montez, C.B.; HUBNER, J.; DANTAS, M. A. R.;ASSIS, F.. Um Modelo de Sistema de Agentes para Redes de Sensores Sem Fio baseado em Interações de Comunicação Comportamental Implícita. 2011. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal de Santa Catarina.
MACÊDO, Raimundo José de Araújo; FRAGA, J. S.; GOLDMAN, A.; MARTINS, J.; CERQUEIRA, R.;ASSIS, F.. Mecanismos Autonômicos de Tolerância a Falhas para Sistemas Distribuídos. 2011. Tese (Doutorado em Ciência da Computação - Ufba - Unifacs) - Universidade Federal da Bahia.
Becker, L.B.;ASSIS, F.Montez, C.B.; BRANDAO, D.; QUEIROZ, M. H.. Um Controle de Acesso ao Meio Híbrido em Redes Sem Fio para Coordenação de Sistemas de Tempo-Real Autônomos e Móveis. 2011. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal de Santa Catarina.
ASSIS, F.MENDES, Manuel de JesusMADEIRA, Edmundo Roberto Mauro; GOMIDE, Fernando; JINO, Mairo. Uma Abordagem para Incorporar Mecanismos de Inteligência Artificial a Agentes Móveis. 2004. Tese (Doutorado em Engenharia Elétrica) - Universidade Estadual de Campinas.
SAADE, D. C. M.; ROSARIO, D. L.;ASSIS, F.; CORDEIRO, W. L. C.. Controle de Acesso ao Meio em Redes de Área Corporal Sem Fio: Soluções para Restrições Energéticas, Interferência e Tráfego Heterogêneo. 2024. Exame de qualificação (Doutorando em Mecatrônica) - Universidade Federal da Bahia.
ASSIS, F.; COSTA, D. G.; MORAES, F. G.; MELLO, C. A. B.. Uma Internet das Coisas Inteligentes Otimizada e Sustentável: Avaliando os Impactos da Implementação do TinyML em Plataformas Embarcadas Acessíveis para Aplicações de Visão Computacional. 2024. Exame de qualificação (Doutorando em Mecatrônica) - Universidade Federal da Bahia.
GIOZZA, William Ferreira; ASSIS, K. D. R.;ASSIS, F.. Roteamento Multirrestritivo para as Redes Ópticas Translúcidas. 2012. Exame de qualificação (Doutorando em Ciência da Computação - Ufba - Unifacs) - Universidade Federal da Bahia.
ASSIS, F.; Becker, L.B.. Soluções para Redes de Sensores Sem Fio com Mobilidade: Protocolo de Roteamento com Provimento de QoS e Mecanismo de Predição de Conectividade Local. 2011. Exame de qualificação (Doutorando em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.
ASSIS, F.MACÊDO, Raimundo José de Araújo; FRAGA, J. S.. Difusão Eficiente do Ponto de Vista Energético sobre Redes de Sensores Sem Fio. 2010. Exame de qualificação (Doutorando em Ciência da Computação - Ufba - Unifacs) - Universidade Federal da Bahia.
ASSIS, F.. Controle de Acesso ao Meio Híbrido em Redes Sem Fio 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.
ASSIS, F.; MIRANDA, J. G. V.; QUIXADA, A. P.; CONCEICAO, C. S.. Desenvolvimento de um Instrumento de Medida para a Análise Não Linear do Equilíbrio Humano. 2021. Exame de qualificação (Mestrando em Mecatrônica) - Universidade Federal da Bahia.
ASSIS, F.; GORENDER, S.; SA, A. S.. Construção de Modelo e Arquitetura de Aquisição de Dados para Desenvolvimento de Gêmeos Digitais em Sistemas de Elevação de Petróleo por BCS. 2020. Exame de qualificação (Mestrando em Mecatrônica) - Universidade Federal da Bahia.
ASSIS, F.; Costa Filho, M.V.A.; Simas Filho, E.F.. Máquina CNC de 4 Eixos para Confecção de Próteses Odontológicas. 2019. Exame de qualificação (Mestrando em Mecatrônica) - Universidade Federal da Bahia.
ASSIS, F.; LEPIKSON, H. A.; Ribeiro Jr., A. S.; Lordelo, S.N.B.. Um Método de Gestão com Ferramenta Interativa para Ensino de Disciplinas de Fundamentos Tecnológicos em Engenharia na Era Digital. 2019. Exame de qualificação (Mestrando em Mecatrônica) - Universidade Federal da Bahia.
ASSIS, F.MACÊDO, Raimundo José de Araújo. Replicação de Máquinas de Estados Sujeitas a Falhas Bizantinas no Modelo Síncrono Particionado. 2019. Exame de qualificação (Mestrando em Mecatrônica) - Universidade Federal da Bahia.
ASSIS, F.; GORENDER, S.; SA, A. S.. Implementação e Análise de Algoritmos de Aproximação de Árvore Geradora Mínima para Comunicação em Redes de Sensores Sem Fio. 2019. Exame de qualificação (Mestrando em Mecatrônica) - Universidade Federal da Bahia.
ASSIS, F.; DUARTE JR, Elias P; CAMARGO, F. E.; FULBER-GARCIA, V.. SK-Iterative: um Algoritmo Guloso para o Escalonamento Eficiente em Redes Sem Fio sob o Modelo SINR. 2022. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Paraná.
SOUZA, M. V. S. E.; RIOS, T. N.;ASSIS, F.. Composição de Melodias Musicais com Aprendizado por Reforço: Investigando Aspectos da Teoria da Música como Ferramenta para Inferência de Sentimento nessas Composições. 2022. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Bahia.
ASSIS, F.; Sá, A.; GORENDER, S.. Um Estudo do Comportamento das Classes de Qualidade de Serviço no Middleware Mosquitto, baseado no Protocolo MQTT. 2021. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Bahia.
PARENTE, R. F.;ASSIS, F.; MOTA, G. O.. Resultados da Teoria Extremal de Conjuntos Aplicados a Redes de Rádio. 2021. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Bahia.
ASSIS, F.; Sá, A.; GORENDER, S.. Desenvolvimento de Protótipo Android para Monitorar Pessoas quanto ao Risco de Doenças Cardiovasculares. 2021. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Bahia.
ASSIS, F.; GORENDER, S.; SA, A. S.. Avaliação de Algoritmos de MIS para o Modelo de Comunicação em Beeps. 2013. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Bahia.
GORENDER, S.;ASSIS, F.; SA, A. S.. Tolerância a Falhas em MANETs: um Estudo sobre a Recuperação de Rota no AODV. 2013. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Bahia.
ASSIS, F.; GORENDER, S.; SEIXAS, L. R.. Banca de Processo Seletivo para Contratação de Docentes por Tempo Determinado - Área de Conhecimento: Computação. 2023. Universidade Federal da Bahia.
ASSIS, F.; Salvador, L.N.; SEIXAS, L. R.. Banca de Processo Seletivo para Contratação de Docentes por Tempo Determinado, Matéria: Educação em Computação e Informática na Educação. 2022. Universidade Federal da Bahia.
ASSIS, F.. Seleção Simplificada de Docente por Tempo Determinado da Matéria Cálculo Numérico e Programação. 2019. Universidade Federal da Bahia.
ASSIS, F.; GORENDER, S.; SANTANNA, C. N.. Banca de Seleção de Docente por Tempo Determinado para a Matéria Segurança e Auditoria de Sistemas. 2014. Departamento de Ciência da Computação Ufba.
ASSIS, F.. Banca de Seleção de Docente por Tempo Determinado para a Matéria Arquitetura de Computadores e Projeto de Circuitos Lógicos. 2010. Departamento de Ciência da Computação Ufba.
ASSIS, F.; Kamienski, Carlos. Banca de Concurso Público para Professor Adjunto Matéria "Redes e Arquitetura de Comptuadores". 2010. Departamento de Ciência da Computação Ufba.
ASSIS, F.. Comissão Examinadora do Concurso Público para Professor Assistente da Matéria Engenharia com Ênfase em Engenharia da Computação. 2009. Universidade Federal do Recôncavo da Bahia.
ASSIS, F.; Cunha, Paulo; Pirmez, Luci. Banca de Concurso Público para o Cargo de Professor Adjunto, Matéria "Sistemas Computacionais. 2008. Departamento de Ciência da Computação Ufba.
ASSIS, F.. Banca de Seleção de Professor Substituto para a Matéria Linguagens de Programação. 2008. Departamento de Ciência da Computação Ufba.
ASSIS, F.. Banca de Seleção para Professor Substituto para a Disciplina MAT045 - Programação Científica. 2006. Departamento de Ciência da Computação Ufba.
ASSIS, F.. Banca examinadora para seleção para Professor Substituto das disciplinas MAT163 - Análise e Projeto de Sistemas de Informação II e MAT146 - Introdução à Lógica de Programação (DCC/UFBA). 2005. Departamento de Ciência da Computação Ufba.
ASSIS, F.. Banca examinadora para seleção para Professor Substituto das disciplinas MAT165 - Bancos de Dados e MAT115 - introdução ao Processamento de Dados (DCC/UFBA). 2005. Departamento de Ciência da Computação Ufba.
ASSIS, F.. Banca Examinadora de Seleção para Professor Substituto da Disciplina MAT155 - Programação Matemática e MAT160 - Modelos Probabilísticos de Pesquisa Operacional. 2004. Departamento de Ciência da Computação Ufba.
ASSIS, F.. Banca examinadora para seleção para Professor Substituto das disciplinas MAT155 - Programação Matemática e MAT160 - Modelos Probabilísticos de Pesquisa Operacional (DCC/UFBA). 2003. Departamento de Ciência da Computação Ufba.
ASSIS, F.. Banca examinadora para seleção para Professor Substituto da disciplina MAT151 - Organização de Compiladores (DCC/UFBA). 2003. Departamento de Ciência da Computação Ufba.
ASSIS, F.. Banca examinadora para seleção para Professor Substituto da disciplina MAT160 - Modelos Probabilísticos de Pesquisa Operacional (DCC/UFBA). 2003. Departamento de Ciência da Computação Ufba.
ASSIS, F.. Banca examinadora para seleção para Professor Substituto das disciplinas MAT155 - Programação Matemática e MAT160 - Modelos Probabilísticos de Pesquisa Operacional (DCC/UFBA). 2003. Departamento de Ciência da Computação Ufba.
ASSIS, F.. Concurso público para Professor Assistente na matéria Algoritmos e Linguagens de Programação. 2002. Universidade Estadual de Feira de Santana.
ASSIS, F.. Banca examinadora para seleção para Professor Substituto da disciplina MAT051 - Projeto de Circuitos Lógicos (DCC/UFBA). 2002. Departamento de Ciência da Computação Ufba.
ASSIS, F.. Banca examinadora para seleção para Professor Substituto das disciplinas MAT153 - Construção de Compiladores e MAT052 - Estudo Comparativo de Linguagens (DCC/UFBA). 2002. Departamento de Ciência da Computação Ufba.
Orientou
Extração de trilhas em gravações musicais (título provisório); Início: 2021; Dissertação (Mestrado em Mecatrônica) - Universidade Federal da Bahia; (Orientador);
Sistema Inteligente baseado em Visão Multiespectral e Rede de Sensores para Detecção de Doenças de Plantas e Gestão Eficiente de Recursos Hídricos (título provisório); Início: 2024; Tese (Doutorado em Mecatrônica) - Universidade Federal da Bahia, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; (Orientador);
Sintetizador de Voz Cantada em Tempo Real para o Português Brasileiro (título provisório); Início: 2024; Tese (Doutorado em Mecatrônica) - Universidade Federal da Bahia, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; (Orientador);
Inteligência Artificial para Dispositivos com Recursos Limitados (título provisório); Início: 2022; Tese (Doutorado em Mecatrônica) - Universidade Federal da Bahia, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; (Orientador);
Utilização de Redes de Sensores Subterrâneas na Agricultura; Início: 2017; Tese (Doutorado em Mecatrônica) - Universidade Federal da Bahia, Fundação de Amparo à Pesquisa do Estado da Bahia; (Orientador);
Patologia Digital no Auxílio ao Diagnóstico de Mieloma (título provisório); Início: 2024; Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Bahia; (Orientador);
Escalonamento Multicanal para Convergecast em Redes TSCH; 2023; Dissertação (Mestrado em Mecatrônica) - Universidade Federal da Bahia, ; Orientador: Flávio Morais de Assis Silva;
Convergecast Determinista para Redes Sem Fio Industriais; 2021; Dissertação (Mestrado em Mecatrônica) - Universidade Federal da Bahia, Fundação de Amparo à Pesquisa do Estado da Bahia; Orientador: Flávio Morais de Assis Silva;
Protocolo para a Análise não Linear do Equilíbrio Humano; 2021; Dissertação (Mestrado em Mecatrônica) - Universidade Federal da Bahia, Fundação de Amparo à Pesquisa do Estado da Bahia; Orientador: Flávio Morais de Assis Silva;
Implementação de Modelos de Propagação de Ondas de Rádio sobre a Superfície Marítima para o Simulador de Redes ns-3; 2020; Dissertação (Mestrado em Mecatrônica) - Universidade Federal da Bahia, ; Orientador: Flávio Morais de Assis Silva;
OGUM: Um Framework para Cobertura de Área utilizando um Conjunto Dinâmico de VANTs; 2020; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Bahia, ; Coorientador: Flávio Morais de Assis Silva;
Arquitetura baseada em Serviços para o Desenvolvimento de Aplicações sobre Redes de Sensores Sem Fio Heterogêneas; 2016; Dissertação (Mestrado em Mecatrônica) - Universidade Federal da Bahia, ; Orientador: Flávio Morais de Assis Silva;
Protocolo de Camada Física para Transmissão de Dados através de um Canal Sem Fio baseado em um Rádio Receptor Regenerativo; 2014; Dissertação (Mestrado em Mecatrônica) - Universidade Federal da Bahia, ; Orientador: Flávio Morais de Assis Silva;
Maximum Lifetime Broadcast Problem in Wireless Sensor Networks; 2013; Dissertação (Mestrado em Mecatrônica) - Universidade Federal da Bahia, ; Orientador: Flávio Morais de Assis Silva;
Algorithms for the Directed k-Spanner with Minimum Degree Steiner Tree Problem; 2012; Dissertação (Mestrado em Mecatrônica) - Universidade Federal da Bahia, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Flávio Morais de Assis Silva;
Um Algoritmo de Controle de Topologia para Rede de Sensores Sem Fio que Considera Overhearing; 2009; Dissertação (Mestrado em Mecatrônica) - Universidade Federal da Bahia, ; Orientador: Flávio Morais de Assis Silva;
MASIM: Uma Ferramenta para Simulação de Agentes Móveis em Redes de Sensores Sem Fio; 2009; Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Coorientador: Flávio Morais de Assis Silva;
Verificação Formal da Função de Controle de Acesso ao Meio do Protocolo IEEE 802; 11 e Investigação da sua Aplicabilidade em Sistemas de Tempo-Real; 2006; 0 f; Dissertação (Mestrado em Mestrado Em Mecatrônica) - Universidade Federal da Bahia, ; Coorientador: Flávio Morais de Assis Silva;
Algoritmo Distribuído para Escalonamento de Transmissões no TSCH sob SINR; 2020; Tese (Doutorado em Mecatrônica) - Universidade Federal da Bahia, ; Orientador: Flávio Morais de Assis Silva;
Camada de Acesso ao Meio para Redes de Sensores Sem Fio; 2011; Monografia; (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia; Orientador: Flávio Morais de Assis Silva;
Suporte a Mobilidade em Protocolos de Roteamento para Redes de Sensores; 2007; Monografia; (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia; Orientador: Flávio Morais de Assis Silva;
Sistemas RFID; 2007; Monografia; (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia; Orientador: Flávio Morais de Assis Silva;
Sistemas de Detecção de Intrusão; 2004; 0 f; Monografia; (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia; Orientador: Flávio Morais de Assis Silva;
Interface para Comunicação entre Agentes Móveis no GMAS; 2004; 0 f; Monografia; (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia; Orientador: Flávio Morais de Assis Silva;
Levantamento e uma Proposta de Classificação de Protocolos de Roteamento de Redes de Sensores Sem Fio; 2004; 0 f; Monografia; (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia; Orientador: Flávio Morais de Assis Silva;
Suporte à Execução de Agentes Móveis sobre Dispositivos Móveis com Restrições de Recursos; 2003; 0 f; Monografia; (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia; Orientador: Flávio Morais de Assis Silva;
Suporte à Execução de Agentes Mòveis sobre Dispositivos Móveis com Restrição de Recursos; 2003; 0 f; Monografia; (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia; Orientador: Flávio Morais de Assis Silva;
Suporte a Ontologias no MABflow; 2003; 0 f; Monografia; (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia; Orientador: Flávio Morais de Assis Silva;
Suporte a Ontologias no MABflow; 2003; 0 f; Monografia; (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia; Orientador: Flávio Morais de Assis Silva;
GMAS: Um Framework Generico para o Desenvolvimento de Aplicacoes baseadas em Agentes Moveis; 2002; Monografia; (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia; Orientador: Flávio Morais de Assis Silva;
Implementacao de uma Interface de Gerenciamento de Agentes Moveis sobre Dispositivos Moveis; 2002; Monografia; (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia; Orientador: Flávio Morais de Assis Silva;
Implementacao de uma Interface de Gerenciamento de Agentes Moveis sobre Dispositivos Moveis; 2002; Monografia; (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia; Orientador: Flávio Morais de Assis Silva;
Execucao de Workflows baseados em Agentes Moveis a partir de Especificacoes em UML; 2002; Monografia; (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia; Orientador: Flávio Morais de Assis Silva;
Execucao de Workflows baseados em Agentes Moveis a partir de Especificacoes em UML; 2002; Monografia; (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia; Orientador: Flávio Morais de Assis Silva;
Extensão da Linguagem Promela para Especificação e Verificação de Sistemas baseados em Agentes Móveis; 2002; 0 f; Monografia; (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia; Orientador: Flávio Morais de Assis Silva;
Verificação de uma Extensão à Linguagem Promela para Especificação de Sistemas baseados em Agentes Móveis; 2002; 0 f; Monografia; (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia; Orientador: Flávio Morais de Assis Silva;
MABflow (Mobile Agent based Workflow); 2001; 0 f; Monografia; (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia; Orientador: Flávio Morais de Assis Silva;
MABflow (Mobile Agent based Workflow); 2001; 0 f; Monografia; (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia; Orientador: Flávio Morais de Assis Silva;
SpecFlow: Ferramenta para Especificação Gráfica de Workflows; 2001; 0 f; Monografia; (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Laboratório de Sistemas Distribuídos Dcc, Laboratório de Sistemas Distribuídos Dcc; Orientador: Flávio Morais de Assis Silva;
MABInterface: Interface de Worklist para o MABflow; 2001; 0 f; Monografia; (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Laboratório de Sistemas Distribuídos Dcc; Orientador: Flávio Morais de Assis Silva;
WebClick Data Webhouse - Uma Ferramenta de Suporte à Análise de Cliques e Gerência do Relacionamento com Clientes (CRM); 2001; 0 f; Monografia; (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Laboratório de Sistemas Distribuídos Dcc; Orientador: Flávio Morais de Assis Silva;
MABflow (Mobile Agent based Workflow); 2000; 0 f; Monografia; (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia; Orientador: Flávio Morais de Assis Silva;
Modelos de Transações baseados em Compensação; 2000; 0 f; Monografia; (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia; Orientador: Flávio Morais de Assis Silva;
Modelo de Sistema para Configuração Dinâmica da Distribuição de Processos de Simulação de Reservatórios; 2000; 0 f; Monografia; (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia; Orientador: Flávio Morais de Assis Silva;
Sistema de Navegação para Drone Baseado em GPS, IMU e Barômetro; 2018; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal da Bahia; Orientador: Flávio Morais de Assis Silva;
Sistema de Definição e Acompanhamento de Missões para Aerofotogrametria utilizando Drones Autônomos; 2018; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal da Bahia; Orientador: Flávio Morais de Assis Silva;
Aplicação Web para Controle de Vôos Autônomos; 2018; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal da Bahia; Orientador: Flávio Morais de Assis Silva;
Sistema de Controle de Rota para Voo Autônomo de Drones Baseado em Dados de GPS; 2017; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal da Bahia; Orientador: Flávio Morais de Assis Silva;
Avaliação de Algoritmos de MIS para o Modelo de Comunicação em Beeps; 2013; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal da Bahia; Orientador: Flávio Morais de Assis Silva;
Implementação de um Algoritmo para Controle de Topologia em Redes de Sensores Sem Fio; 2010; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Departamento de Ciência da Computação Ufba; Orientador: Flávio Morais de Assis Silva;
Algoritmo de Localização de Nós Sensores com base em Dados de Acelerômetro e Estações Base; 2010; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Departamento de Ciência da Computação Ufba; Orientador: Flávio Morais de Assis Silva;
Implementação de Mecanismos de Comunicação entre Agentes Móveis e a Estação Base em uma Rede de Sensores Sem Fio; 2009; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Departamento de Ciência da Computação Ufba; Orientador: Flávio Morais de Assis Silva;
Implementação de um Sistema de Agentes Móveis para a Plataforma Sun SPOT; 2009; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal da Bahia; Orientador: Flávio Morais de Assis Silva;
Um Framework de Gerenciamento de Agentes Móveis para as Redes de Sensores Sem Fio; 2008; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Departamento de Ciência da Computação Ufba; Orientador: Flávio Morais de Assis Silva;
Mecanismos de Envio de Mensagens para Agentes Móveis em Redes de Sensores Sem Fio; 2008; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Departamento de Ciência da Computação Ufba; Orientador: Flávio Morais de Assis Silva;
Tolerância a Intrusão em Sistemas Web; 2007; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal da Bahia, Sanmina Sci Projeto de Cooperação Científica Lei de Informática; Orientador: Flávio Morais de Assis Silva;
Estudo de Soluções para o Problema de Definição de Topologia de Custo Mínimo em Redes de Sensores Sem Fio; 2007; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal da Bahia; Orientador: Flávio Morais de Assis Silva;
Gigas de teste para sistemas de comunicação baseados no padrão IEEE 802; 11; 2005; 0 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal da Bahia, Jabil do Brasil Indústria Eletroeletrônica Ltda; Orientador: Flávio Morais de Assis Silva;
Avaliação via Simulação de um Protocolo de Roteamento Tolerante a Intrusão para Redes de Sensores Sem Fio; 2005; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal da Bahia; Orientador: Flávio Morais de Assis Silva;
Suporte à Execução de Workflows com vários Agentes no MABflow; 2004; 0 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Departamento de Ciência da Computação Ufba; Orientador: Flávio Morais de Assis Silva;
Mapeamento de Modelagens de Workflows em UML sobre o padrão da WfMC; 2004; 0 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal da Bahia; Orientador: Flávio Morais de Assis Silva;
Integração de Suporte a WPDL no MABflow; 2004; 0 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal da Bahia; Orientador: Flávio Morais de Assis Silva;
Implementação do Núcleo da BCGmóvel: Membership e Migração de Processos; 2004; 0 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal da Bahia, Sanmina Sci Projeto de Cooperação Científica Lei de Informática; Orientador: Flávio Morais de Assis Silva;
Implementação de um Módulo de Ordenação Causal e Total para um Ambiente de Comunicação em Grupo; 2004; 0 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal da Bahia, Sanmina Sci Projeto de Cooperação Científica Lei de Informática; Orientador: Flávio Morais de Assis Silva;
Implementação de um Protocolo de Consenso para a BCGmóvel; 2004; 0 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal da Bahia, Sanmina Sci Projeto de Cooperação Científica Lei de Informática; Orientador: Flávio Morais de Assis Silva;
Suporte à Especificação da WfMC no MABflow, um Sistema de Workflow baseado em Agentes Móveis; 2003; 0 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Departamento de Ciência da Computação Ufba; Orientador: Flávio Morais de Assis Silva;
Execução Transacional de Workflows a partir de Especificações em XML no MABflow; 2003; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal da Bahia; Orientador: Flávio Morais de Assis Silva;
Implementacao de um Suporte a Execucao de Transacoes baseadas em Agentes Moveis; 2002; Trabalho de Conclusão de Curso; (Graduação em Graduação Em Ciências da Computação) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Flávio Morais de Assis Silva;
Geracao de Codigo de Implementacoes em Java a partir de Especificacoes em Promela; 2002; Trabalho de Conclusão de Curso; (Graduação em Graduação Em Ciências da Computação) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Flávio Morais de Assis Silva;
Implementacao de um Suporte a Execucao de Agentes MOveis em um Ambiente com Desconexao (titulo provisorio); 2002; Trabalho de Conclusão de Curso; (Graduação em Graduação Em Ciências da Computação) - Universidade Federal da Bahia; Orientador: Flávio Morais de Assis Silva;
Implementação de um protocolo de membership para grupos móveis; 2001; 0 f; Trabalho de Conclusão de Curso; (Graduação em Graduação Em Ciências da Computação) - Universidade Federal da Bahia, Universidade Federal da Bahia; Orientador: Flávio Morais de Assis Silva;
Protótipo de um Sistema de Agentes Móveis - Mecanismo de Gerência de Agentes na Agência; 2000; 0 f; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Católica do Salvador; Orientador: Flávio Morais de Assis Silva;
Protótipo de um Sistema de Agentes Móveis - Mecanismo de Transporte de Agentes; 2000; 0 f; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Católica do Salvador; Orientador: Flávio Morais de Assis Silva;
Análise de Tráfego em Redes; 2000; 0 f; Trabalho de Conclusão de Curso; (Graduação em Graduação Em Ciências da Computação) - Universidade Federal da Bahia; Orientador: Flávio Morais de Assis Silva;
Corretor Ortográfico e Verificador de Consistência do Uso de Símbolos em Orações em Língua Portuguesa; 2013; Iniciação Científica; (Graduando em Engenharia da Computação) - Universidade Federal da Bahia, Fundação de Amparo à Pesquisa do Estado da Bahia; Orientador: Flávio Morais de Assis Silva;
Sistema de Agentes Móveis para Redes de Sensores Sem Fio; 2009; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Departamento de Ciência da Computação Ufba, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Flávio Morais de Assis Silva;
Implementação do Núcleo da BCGmóvel: Membership e Migração de Processos; 2005; 0 f; Iniciação Científica; (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal da Bahia, Sanmina Sci Projeto de Cooperação Científica Lei de Informática; Orientador: Flávio Morais de Assis Silva;
Implementação de um Módulo de Ordenação Causal e Total para um Ambiente de Comunicação em Grupo; 2005; 0 f; Iniciação Científica; (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal da Bahia, Sanmina Sci Projeto de Cooperação Científica Lei de Informática; Orientador: Flávio Morais de Assis Silva;
Implementação de um protocolo de Membership para a Plataforma BCGmóvel; 2005; 0 f; Iniciação Científica; (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal da Bahia, Sanmina Sci Projeto de Cooperação Científica Lei de Informática; Orientador: Flávio Morais de Assis Silva;
Implementação de um Ambiente de Teste para a Plataforma MARES; 2004; 0 f; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Departamento de Ciência da Computação Ufba; Orientador: Flávio Morais de Assis Silva;
Implementação de um Suporte Transacional para Aplicações baseadas em Agentes Móveis; 2004; 0 f; Iniciação Científica; (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Flávio Morais de Assis Silva;
Serviços Web Móveis; 2004; 0 f; Iniciação Científica; (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Flávio Morais de Assis Silva;
Execucao Transacional de Workflows a partir de Especificacoes em XML no MABflow; 2003; Iniciação Científica; (Graduando em Graduação Em Ciências da Computação) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Flávio Morais de Assis Silva;
Implementacao de um Suporte a Execucao de Transacoes baseadas em Agentes Moveis; 2002; Iniciação Científica; (Graduando em Graduação Em Ciências da Computação) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Flávio Morais de Assis Silva;
Geracao Automatica de Codigo de Implementacoes em Java a partir de Especificacoes em Promela; 2002; Iniciação Científica; (Graduando em Graduação Em Ciências da Computação) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Flávio Morais de Assis Silva;
Implementação de um protocolo de membership para grupos móveis; 2001; 0 f; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Departamento de Ciência da Computação Ufba, Universidade Federal da Bahia; Orientador: Flávio Morais de Assis Silva;
Monitoria na Disciplina MATA40 - Estruturas de Dados e Algoritmos I; 2013; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal da Bahia; Orientador: Flávio Morais de Assis Silva;
Produções bibliográficas
-
OLIVEIRA, FRANKLIN ; COSTA, DANIEL G. ; ASSIS, FLÁVIO ; SILVA, IVANOVITCH . Internet of Intelligent Things: A convergence of embedded systems, edge computing and machine learning. Internet Of Things , v. 26, p. 101153, 2024.
-
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. 1, p. 1-25, 2024.
-
COTRIM, REINALDO ; ASSIS, FLÁVIO ; DOS SANTOS BRITO, ALEXSANDRO ; PEIXOUTO, YSLAI SILVA ; PEIXOUTO, LEANDRO SANTOS . Multi-Hop LoRa-based underground network for monitoring soil moisture in agriculture. COMPUTERS AND ELECTRONICS IN AGRICULTURE , v. 227, p. 109592, 2024.
-
ASSIS, FLÁVIO ; MOTA, JOÃO RICARDO ; SANTOS, EBER ; LEITE, PAULO RICARDO . DCS: Dilution-based Convergecast Scheduling in a TSCH network. Ad Hoc Networks , v. 146, p. 103173, 2023.
-
CRUZ, VICTOR SANTOS ; ASSIS, FLÁVIO ; SCHNITMAN, LEIZER . Simulation of the effects of evaporation ducts on maritime wireless communication. WIRELESS NETWORKS , v. 27, p. 4677-4691, 2021.
-
DA SILVA, JOSÉ CARLOS ; ASSIS, FLÁVIO . A distributed algorithm to schedule TSCH links under the SINR model. DESIGN AUTOMATION FOR EMBEDDED SYSTEMS , v. 1, p. 1, 2018.
-
BLANSKI, J. W. ; SILVA, FLÁVIO MORAIS DE ASSIS ; PEPE, I. M. . Desenvolvimento de um Protocolo para Troca de Dados por meio de Rádio Receptor Regenerativo com Alta Eficiência Energética. Abakós , v. 3, p. 83-107, 2015.
-
BARBOZA, FREDERICO J.R. ; ANDRADE, ALINE M.S. ; SILVA, FLÁVIO ASSIS ; LIMA, GEORGE . Specification and Verification of the IEEE 802.11 Medium Access Control and an Analysis of its Applicability to Real-Time Systems. Electronic Notes in Theoretical Computer Science , v. 195, p. 3-20, 2008.
-
MACÊDO, Raimundo José de Araújo ; ASSIS, F. . The mobile groups approach for the coordination of mobile agents. Journal of Parallel and Distributed Computing (Print) , Estados Unidos, n.3, p. 275-288, 2005.
-
ASSIS, F. ; Popescu-ZELETIN, Radu . Mobile Agent-based Transactions in Open Environments. IEICE Transactions on Communications , Japão, v. E83-B, p. 973-987, 2000.
-
Maziero, Carlos (Org.) ; Silva, João Gabriel (Org.) ; ANDRADE, Aline M Santos (Org.) ; ASSIS, F. (Org.) . LNCS 3747 - Dependable Computing - Second Latin-American Symposium, LADC 2005 - Proceedings. 1. ed. Berlim, Alemanha: Springer-Verlag, 2005. v. 1. 266p .
-
Montez, C.B. ; ASSIS, F. ; Becker, L.B. . Redes de Sensores: Controle de Acesso ao Meio, Roteamento e Controle de Topologia. Projeto de Sistemas Distribuídos e de Tempo Real em Automação. 1ed.Salvador: EDUFBA - Editora da Universidade Federal da Bahia, 2018, v. , p. 161-192.
-
BRAVOS, C. ; ENGEL, F. ; ASSIS, F. ; DUARTE JR, Elias P . Sk-Iterative: Um algoritmo guloso para escalonamento eficiente em redes sem fio densas sob o modelo SINR. In: XXV Workshop de Testes e Tolerância a Falhas, 2024, Niterói, RJ. Anais do XXV Workshop de Testes e Tolerância a Falhas, 2024. p. 1-14.
-
HERCULANO, J. F. ; PEREIRA, W. P. ; GUIMARAES, M. A. ; COTRIM, R. M. ; SA, A. S. ; ASSIS, F. ; MACÊDO, Raimundo José de Araújo ; GORENDER, S. . Redes Corporais Sem Fio: Abordagens de MAC para Garantia de Eficiência e Confiabilidade na Comunicação sob Tráfego Dinâmico (Work-in-Progress). In: XI Brazilian Symposium on Computing Systems Engineering - SBESC 2021, 2021, Virtual. Proceedings of the XI Brazilian Symposium on Computing Systems Engineering (SBESC), 2021. v. 1. p. 1-6.
-
Pellegrino, G. ; Mota, G. ; ASSIS, F. ; GORENDER, S. ; Sá, A. . Simple Area Coverage by a Dynamic Set of Unmanned Aerial Vehicles. In: X Brazilian Symposium on Computing Systems Engineering (SBESC), 2020, Florianópolis. Proceedings of the X Brazilian Symposium on Computing Systems Engineering (SBESC), 2020. p. 1-8.
-
José Carlos da Silva ; ASSIS, F. . Convergecast in a TSCH Network under a Physical Interference Model. In: AdHoc-Now 2019 - 18th International Conference on AdHoc Networks and Wireless, 2019, Luxemburgo. Proceedings of AdHoc-Now 2019 - 18th International Conference on AdHoc Networks and Wireless, 2019. v. 1.
-
José Carlos da Silva ; ASSIS, F. . A Distributed Algorithm to Schedule TSCH Links under the SINR Interference Model. In: Brazilian Symposium on Computing Systems Engineering - SBESC, 2017, Curitiba. Proceedings of SBESC - Brazilian Symposium on Computing Systems Engineering, 2017.
-
ASSIS, F. . An Algorithm for k-Connectivity under Pure SINR Model. In: The 15th International Conference on Ad Hoc Networks and Wireless - ADHOC-NOW 2016, 2016, Lille, França. Ad Hoc, Mobile and Wireless Networks - Proceedings of the 15th International Conference, ADHOC-NOW 2016 - Lecture Notes in Computer Science (LNCS), 2016. v. 9724. p. 65-78.
-
ASSIS, F. . A Deterministic and a Randomized Algorithm for Approximating Minimum Spanning Tree under the SINR Model. In: The 8th IFIP Wireless and Mobile Networking Conference - WMNC, 2015, Munique, Alemanha. Proceedings of the 8th IFIP Wireless and Mobile Networking Conference - WMNC, 2015. v. 1.
-
NUNES, B. ; Barboza, F. ; ASSIS, F. . Maximum Lifetime Broadcast in Mobile Sensor Networks. In: The 12th International Conference on Ad Hoc Networks and Wireless - ADHOC-NOW 2013, 2013, Wroclaw, Polônia. Proceedings of the 12th International Conference on Ad Hoc Networks and Wireless - ADHOCNOW 2013 - Lecture Notes in Computer Science (LNCS), 2013. v. 7960. p. 1-12.
-
NUNES, B. ; Barboza, F. ; ASSIS, F. . A Localized Algorithm for the Maximum Lifetime Broadcast Problem with Asymmetric Edge Costs. In: 11th IEEE International Symposium on Network Computing and Applications (IEEE NCA12), 2012, Cambridge, Massachusetts. Proceedings of the 11th IEEE International Symposium on Network Computing and Applications (IEEE NCA12), 2012. p. 253-258.
-
Lopes, R. ; ASSIS, F. ; Montez, C.B. . MASPOT: A Mobile Agent System for Sun SPOT. In: IEEE 10th International Symposium on Autonomous Decentralized Systems (ISADS) 2011, 2011, Tóquio e Hiroshima, Japão. Proceedings of the IEEE 10th International Symposium on Autonomous Decentralized Systems (ISADS) 2011. Los Alamitos, Estados Unidos: IEEE Computer Society, 2011. v. 1. p. 25-31.
-
Braga, H. ; ASSIS, F. . A Topology Control Algorithm for Interference and Energy Efficiency in Wireless Sensor Networks. In: 10th International Conference on Ad Hoc Networks and Wireless - AdHoc-Now 2011, 2011, Paderborn, Alemanha. Proceedings of the 10th International Conference on Ad Hoc Networks and Wireless - AdHoc-Now 2011 (Lecture Notes in Computer Science 6811). Berlin: Springer-Verlag, 2011. v. 6811.
-
BARBOZA, Frederico Jr ; ASSIS, F. . A Localized Algorithm based on Minimum Cost Arborescences for the MECBS Problem with Asymmetric Edge Costs. In: Third International ICST Conference on Ad Hoc Networks - ADHOCNETS 2011, 2011, Paris, França. Proceedings of the Third International ICST Conference on Ad Hoc Networks - ADHOCNETS 2011 - LNICST (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunication Engineers). Berlim, Alemanha: Springer-Verlag, 2011. v. 89. p. 223-238.
-
CAMADA, Marcos ; Montez, C.B. ; ASSIS, F. . MASIM: A Tool for Simulating Mobile Agent Applications on Wireless Sensor Networks. In: WTR 2010 - 12th Brazilian Workshop on Real-Time and Embedded Systems, 2010, Gramado, RS. Proceedings of the WTR 2010 - 12th Brazilian Workshop on Real-Time and Embedded Systems, 2010. v. 1. p. 111-122.
-
Lopes, R. ; ASSIS, F. ; Montez, C.B. . Sistema de Agentes Móveis para Sun SPOT. In: WTICG-BASE 2010 (Workshop de Trabalhos de Iniciação Científica e de Graduação Bahia-Alagoas-Sergipe), 2010, Maceió, AL. Anais do WTICG-BASE 2010 (Workshop de Trabalhos de Iniciação Científica e de Graduação Bahia-Alagoas-Sergipe), 2010. v. 1.
-
ASSIS, F. ; TELEMACO NETO, U. . A Topology Control Algorithm for Wireless Sensor Networks that Considers Overhearing. In: The 9th IEEE International Symposium on Autonomous Decentralized Systems (ISADS'09), 2009, Grécia. Proceedings of the 9th IEEE International Symposium on Autonomous Decentralized Systems (ISADS'09), 2009. v. 1. p. 1-6.
-
Oliveira, R. ; ASSIS, F. ; Montez, C.B. . Requisitos de um Framework para Gerenciamento de Agentes Móveis em Redes de Sensores Sem Fio. In: VII WTICG - Workshop de Trabalhos de Iniciação Científica e de Graduação - 9a. ERBASE - Escola Regional de Computação Bahia Alagoas Sergipe, 2009, Ilhéus, BA. Anais do VII WTICG - Workshop de Trabalhos de Iniciação Científica e de Graduação - 9a. ERBASE - Escola Regional de Computação Bahia Alagoas Sergipe, 2009. v. 1. p. 1-13.
-
BARBOZA, Frederico Jr ; ANDRADE, Aline M Santos ; ASSIS, F. ; Lima, G.M.A. . Specification and Verification of the IEEE 802.11 Medium Access Control and an Analysis of its Applicability to Real-Time Systems. In: SBMF - Simpósio Brasileiro de Métodos Formais, 2006, Natal, Rio Grande do Norte. Proceedings of the Brazilian Symposium on Formal Methods. Porto Alegre: SBC - Sociedade Brasileira de Computação, 2006. v. 1. p. 1-16.
-
ANDRADE, Aline M Santos ; ASSIS, F. ; BARBOZA, Frederico Jr ; OLIVEIRA, Rafael . Um Ambiente para Especificação e Verificação Automática de Aplicações baseadas em Agentes Móveis. In: 22o. Simpósio Brasileiro de Redes de Computadores - SBRC2004, 2004, Gramado, RS. Anais do 22o. Simpósio Brasileiro de Redes de Computadores - SBRC2004, 2004. p. 807-820.
-
DANTAS, W. S. ; ASSIS, F. . Suporte à Especificação da WfMC no MABflow, um Sistema de Workflow baseado em Agentes Móveis. In: II WTICG-BASE - Workshop de Trabalhos de Iniciação Científica e de Graduação Bahia-Sergipe, 2004, Feira de Santana. Anais do II WTICG-BASE - Workshop de Trabalhos de Iniciação Científica e de Graduação Bahia-Sergipe, 2004. v. 1.
-
MORAES, Felipe ; ANDRADE, Aline M Santos ; ASSIS, F. . Geração de Protótipos Confiáveis em Java a partir de Promela. In: II WTICG-BASE - Workshop de Trabalhos de Iniciação Científica e de Graduação Bahia-Sergipe, 2004, Feira de Santana, Bahia. Anais do II WTICG-BASE - Workshop de Trabalhos de Iniciação Científica e de Graduação Bahia-Sergipe, 2004.
-
AGUIAR, Daniel ; ANDRADE, Aline M Santos ; ASSIS, F. . Extensão de Promela para Especificação de Falhas em Sistemas baseados em Agentes Móveis. In: II WTICG-BASE - Workshop de Trabalhos de Iniciação Científica e de Graduação Bahia-Sergipe, 2004, Feira de Santana, Bahia. Anais do II WTICG-BASE - Workshop de Trabalhos de Iniciação Científica e de Graduação Bahia-Sergipe, 2004.
-
ASSIS, F. ; SILVA, Paulo Sérgio ; SANTOS, Neima P ; SANTOS, Jorge Al ; CORREIA JR, Alfrânio Tavares ; SELCH, João Carlos ; LUZ, Sergio ; ARGOLLO, Siddhartha L . Executing Workflows with Mobile Agents from UML Specifications. In: V Workshop de Comunicação sem Fio e Computação Móvel - WCSF2003, 2003, São Lourenço, MG. Anais do V Workshop de Comunicação sem Fio e Computação Móvel, 2003. v. 1. p. 1-12.
-
FREITAS, Ana Vitoria Piaggio de ; ASSIS, F. . Implementação de um Suporte Transacional para Aplicações baseadas em Agentes Móveis. In: I Workshop de Trabalhos de Iniciação Científica e de Graduação Bahia Sergipe - III Escola Regional de Computação Bahia Sergipe, 2003, Salvador. Anais do I Workshop de Trabalhos de Iniciação Científica e de Graduação Bahia Sergipe - a aparecer, 2003. v. 1. p. 1-6.
-
SENA, Izi Silva ; ASSIS, F. ; ANDRADE, Aline M Santos . Geração de Código Java a partir de Especificações Promela. In: I Workshop de Trabalhos de Iniciação Científica e de Graduação Bahia Sergipe - III Escola Regional de Computação Bahia Sergipe, 2003, Salvador. Anais do I Workshop de Trabalhos de Iniciação Científica e de Graduação Bahia Sergipe, 2003. v. 1. p. 1-6.
-
ASSIS, F. ; MACÊDO, Raimundo José de Araújo ; FREITAS, Ana Vitoria Piaggio de . The MARES Platform: Support for Transactional and Fault-tolerant Execution of Mobile Agent-based Applications. In: IV Workshop de Testes e Tolerância a Falhas - WTF2003 - 21o. Simpósio Brasileiro de Redes de Computadores - SBRC, 2003, Natal, RN. Anais do IV Workshop de Testes e Tolerância a Falhas - WTF2003, 2003. v. 1. p. 1-8.
-
DOTTI, Fernando Luís ; DUARTE, L. M. ; ASSIS, F. ; ANDRADE, Aline M Santos . A Framework for Supporting the Development of Correct Mobile Applications based on Graph Grammars. In: Sixth World Conference on Integrated Design & Process Technology, 2002, Pasadena, California. Proceedings of the Sixth World Conference on Integrated Design & Process Technology - Society for Design and Process Science, 2002. p. 1-10.
-
MACÊDO, Raimundo José de Araújo ; ASSIS, F. . Coordination of Mobile Processes with Mobile Groups. In: International Conference on Dependable Systems and Networks (DSN), 2002, Washington, DC. Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2002, 2002. p. 177-186.
-
ANDRADE, Aline M Santos ; ASSIS, F. ; BARBOZA, Frederico Jr . Extensão da Linguagem Promela para Especificação de Sistemas baseados em Agentes Móveis. In: IV Workshop de Comunicação sem Fio e Computação Móvel, 2002, São Paulo. Anais do IV Workshop de Comunicação sem Fio e Computação Móvel, 2002. p. 1-9.
-
MACÊDO, Raimundo José de Araújo ; ASSIS, F. . Integrating Mobility into Groups. In: Fourth European Research Seminar on Advances in Distributed System, 2001, Bertinoro. Proceedings of Fourth European Research Seminar on Advances in Distributed System, 2001. p. 209-214.
-
ASSIS, F. ; MACÊDO, Raimundo José de Araújo . Reliable Communication for Mobile Agents with Mobile Groups. In: Workshop on Software Engineering and Mobility - Co-located with IEEE/ACM ICSE 2001, 2001, Toronto. Proceedings of the Workshop on Software Engineering and Mobility (co-located with ACM/IEEE ICSE 2001), 2001. p. 1-5.
-
MACÊDO, Raimundo José de Araújo ; ASSIS, F. . Mobile Groups. In: XIX Simpósio Brasileiro de Redes de Computadores, 2001, Florianópolis. Anais do XIX Simpósio Brasileiro de Redes de Computadores, 2001. p. 66-81.
-
ASSIS, F. ; MACÊDO, Raimundo José de Araújo . Reliability Requirements in Mobile Agent Systems. In: II Workshop de Testes e Tolerância a Falhas, 2000, Curitiba. Anais do II Workshop de Testes e Tolerância a Falhas - SBC (Sociedade Brasileira de Computação), 2000. p. 4-9.
-
MENDES, Manuel de Jesus ; ASSIS, F. . Mobile Agents in Autonomous Decentralized Systems. In: Fourth International Symposium on Autonomous Decentralized Systems (ISADS'99), 1999, Tokyo, Japão. Proceedings of the Fourth International Symposium on Autonomous Decentralized Systems (ISADS'99), 1999. p. 258-260.
-
ASSIS, F. . Agentes Móveis. In: II Escola de Informática da SBC (Sociedade Brasileira de Computação) - Edição Nordeste, 1999, Salvador, BA. Anais da II Escola de Informática da SBC, 1999. p. 1-27.
-
ASSIS, F. ; Popescu-ZELETIN, Radu . An Approach for Providing Mobile Agent Fault Tolerance. In: Second International Workshop on Mobile Agents, MA´98, 1998, Stuttgart, Alemanha. Lecture Notes in Computer Science, 1998. v. 1477. p. 14-25.
-
KRAUSE, Sven ; ASSIS, F. ; MAGEDANZ, T. ; Popescu-ZELETIN, Radu ; FALSARELLA, O. M. ; MENDEZ, C. R. A. . MAGNA - A DPE-based Platform for Mobile Agents in Electronic Service Markets. In: International Symposium on Autonomous Decentralized Systems (ISADS'97), 1997, Berlim, Alemanha. Proceedings of the International Symposium on Autonomous Decentralized Systems (ISADS '97), 1997. p. 93-102.
-
ASSIS, F. ; KRAUSE, Sven . A Distributed Transaction Model based on Mobile Agents. In: First International Workshop on Mobile Agents, MA´97, 1997, Berlim, Alemanha. Lecture Notes in Computer Science, 1997. v. 1219. p. 198-209.
-
MENDES, Manuel de Jesus ; LOYOLLA, W. ; MAGEDANZ, T. ; ASSIS, F. ; KRAUSE, Sven . Agent Skills and their Roles in Mobile Computing and Personal Communications. In: IFIP 14th World Computer Congress, World Conference on Mobile Communications, 1996, Australia. Proceedings of the IFIP 14th World Computer Congress, World Conference on Mobile Communications, 1996. p. 181-204.
-
MENDES, Manuel de Jesus ; MADEIRA, Edmundo Roberto Mauro ; ASSIS, F. ; GARCIA, E. ; FUJITO, C. T. ; et al. . SISDI-OSI: Sistema Didático para o Modelo OSI. In: XI. Simpósio Brasileiro de Redes de Computadores (SBRC), 1993, Campinas, SP. Anais do XI. Simpósio Brasileiro de Redes de Computadores, 1993. p. 3-19.
-
ASSIS, F. ; MADEIRA, Edmundo Roberto Mauro . Um Modelo Conceitual para os Componentes da Camada de Aplicação do RM-OSI/ISO. In: XI. Simpósio Brasileiro de Redes de Computadores, 1993, Campinas, SP. Anais do XI. Simpósio Brasileiro de Redes de Computadores, 1993. p. 34-54.
-
OLIVEIRA, F. ; COSTA, D. G. ; ASSIS, F. ; SILVA, I. . A Multi Soft-Sensor Approch for the Development of Emergencies Detection Units on the Edge. In: IEEE International Workshop on Metrology for Industry 4.0 & IoT (MetroInd4.0&IoT), 2023, Brescia, Itália. Proceedings of the IEEE International Workshop on Metrology for Industry 4.0 & IoT (MetroInd4.0&IoT), 2023. v. 1. p. 1-6.
-
OLIVEIRA, F. ; COSTA, D. G. ; ASSIS, F. . An IoT Platform for the Development of Low-Cost Emergencies Detection Units based on Soft Sensors. In: The 8th IEEE International Smart Cities Conference (ISC2), 2022, Paphos, Chipre. Proceedings of the 8th IEEE International Smart Cities Conference, 2022. v. 1. p. 1-4.
-
MACÊDO, Raimundo José de Araújo ; ASSIS, F. . An Overview of the Mobile Group Approach. In: First Open Workshop of the Argo Project, 2001, Salvador. First Open Workshop of the Argo Project - Extended Abstracts, 2001. p. 7-8.
-
ASSIS, F. ; MACÊDO, Raimundo José de Araújo . Approaches for Mobile Agent Fault Tolerance. In: First Open Workshop of the ARGO Project, 2001, Salvador. First Open Workshop of the Argo Project - Extended Abstracts, 2001. p. 9-10.
-
ASSIS, F. . Programa de Pós-Graduação em Mecatrônica. 2022. (Apresentação de Trabalho/Conferência ou palestra).
-
ASSIS, F. . Comunicação entre Dispositivos com Recursos Limitados: Redes de Sensores Sem Fio e Internet das Coisas. 2019. (Apresentação de Trabalho/Conferência ou palestra).
-
José Carlos da Silva ; ASSIS, F. . A Distributed Algorithm to Schedule TSCH Links under the SINR Interference Model. 2017. (Apresentação de Trabalho/Conferência ou palestra).
-
ASSIS, F. . Maximum Lifetime Broadcast in Mobile Sensor Networks. 2013. (Apresentação de Trabalho/Conferência ou palestra).
-
NUNES, B. ; Barboza, F. ; ASSIS, F. . A Localized Algorithm for the Maximum Lifetime Broadcast Problem with Asymmetric Edge Costs. 2012. (Apresentação de Trabalho/Simpósio).
-
ASSIS, F. . Uma Introdução a Sistemas RFID. 2007. (Apresentação de Trabalho/Conferência ou palestra).
-
ASSIS, F. . Redes Industriais de Computadores: Perspectivas da Comunicação Sem Fio. 2004. (Apresentação de Trabalho/Conferência ou palestra).
-
ASSIS, F. . Desenvolvimento de Aplicações baseadas em Agentes Móveis. 2003. (Apresentação de Trabalho/Conferência ou palestra).
-
MACÊDO, Raimundo José de Araújo ; ASSIS, F. . Mobile Groups. 2001. (Apresentação de Trabalho/Simpósio).
-
ASSIS, F. . Uma Introdução a Sistemas de Agentes Móveis. 2000. (Apresentação de Trabalho/Simpósio).
-
ASSIS, F. . Reliability Requirements in Mobile Agent Systems. 2000. (Apresentação de Trabalho/Simpósio).
-
ASSIS, F. . Plataforma de Suporte à Confiabilidade e Correção de Aplicações baseadas em Agentes Móveis. 1999. (Apresentação de Trabalho/Simpósio).
-
ASSIS, F. . An Approach for Providing Mobile Agent Fault Tolerance. 1998. (Apresentação de Trabalho/Conferência ou palestra).
-
ASSIS, F. . An Approach for Mobile Agent Fault Tolerance. 1998. (Apresentação de Trabalho/Seminário).
-
ASSIS, F. . A Distributed Transaction Model based on Mobile Agents. 1997. (Apresentação de Trabalho/Conferência ou palestra).
-
ASSIS, F. . Um Modelo Conceitual para os Componentes da Camada de Aplicação do RM-OSI/ISO. 1993. (Apresentação de Trabalho/Simpósio).
-
ASSIS, F. . A Transaction Model based on Mobile Agents. Berlim, Alemanha: Technische Universität Berlin, 1999 (Tese de Doutorado).
-
ASSIS, F. . Um Refinamento da Estrutura da Camada de Aplicação do RM-OSI/ISO e Aspectos de sua Implementação em um Sistema Didático de Comunicação. Campinas, SP: UNICAMP - Universidade Estadual de Campinas, 1993 (Tese de Mestrado).
Outras produções
Lopes, R. ; ASSIS, F. . MASPOT. 2011.
ASSIS, F. ; MACÊDO, Raimundo José de Araújo . BCGmóvel. 2005.
ASSIS, F. . MABflow. 2004.
ASSIS, F. ; ARGOLLO, Siddhartha Lourenco . GMAS. 2003.
ASSIS, F. . Relatoria sobre Tese de Doutorado: Um Controle de Acesso ao Meio Híbrido em Redes Sem Fio para Coordenação de Sistemas de Tempo-Real Autônomos e Móveis. 2011.
ASSIS, F. ; MACÊDO, Raimundo José de Araújo . Mobile Groups - LaSiD (Laboratório de Sistemas Distribuídos) - Relatório Técnico RI001/01. 2001.
ASSIS, F. . Avaliador de trabalho do 19o. SBRC (Simpósio Brasileiro de Redes de Computadores). 2001.
ASSIS, F. . Membro do Comitê de Avaliação do CTIC (Concurso de Trabalhos de Iniciação Científica) da SBC. 2001.
ASSIS, F. . Coordenador de Programa da VIII Seminfo (Escola de Informática da UFBA). 2000.
ASSIS, F. . Avaliador de trabalho do 18o. SBRC (Simpósio Brasileiro de Redes de Computadores). 2000.
ASSIS, F. . An Implementation Structure for RM-OSI/ISO Transaction Processing Application Contexts. Relatório Técnico - Departamento de Ciência da Computação da UNICAMP.. 1993.
ASSIS, F. . Redes GSM e Redes WiFi (802.11). 2007. (Curso de curta duração ministrado/Extensão).
ASSIS, F. . Sistemas RFID. 2007. (Curso de curta duração ministrado/Extensão).
ASSIS, F. . Anais da VIII Seminfo (Semana de Informática da UFBA). 2000. (Editoração/Anais).
ASSIS, F. . Agentes Móveis. 1999. .
Projetos de pesquisa
-
2019 - Atual
PRH - Monitoramento Inteligente, Controle Avançado e Otimização Econômica para Campos de Petróleo e Gás, Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Flávio Morais de Assis Silva - Integrante / Raimundo José de Araújo Macêdo - Integrante / Leizer Schnitman - Coordenador / Sérgio Gorender - Integrante / Alírio Santos de Sá - Integrante / Márcio André Fernandes Martins - Integrante., Financiador(es): Agência Nacional do Petróleo - Bolsa / Agência Nacional do Petróleo - Outra.
-
2015 - 2016
Distributed Algorithms for Wireless Communication - Trade-Off between Time, Energy and Reliability, Descrição: This is a joint cooperative project between the Departments of Computer Science of the University of Liverpool and of the Federal University of Bahia (UFBA), Brazil, to conduct research in the area of distributed algorithms for systems based on wireless communication. The main research focus is the design and development of algorithms for fundamental problems in wireless networking taking into consideration trade-offs between efficiency in running time and on energy expenditure. Additionally, the project will investigate the development of reliable communication primitives for such networks, i.e., how to build these primitives with tolerance to faults. Although ubiquitous in our society, the current state-of-art in algorithms and technology for wireless networks still needs to be improved to meet the requirements of certain applications. Extremely scalable systems, such as networks built of hundreds of devices, require algorithms which are efficient in terms of running time, number of messages exchanged between devices and that minimize the effects of changes in network topology. Industrial applications require network efficiency in terms of energy expenditure, minimization of message delays and reliability, in an environment subject to high interference. The expected results of the project are the establishment of a close relationship between the involved groups, enabling further exchange of researchers and students between the institutions in the future, and contributions to the state-of-the-art in an important research field.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Flávio Morais de Assis Silva - Integrante / Dariusz Rafal Kowalski - Coordenador / Leszek Gasieniec - Integrante., Financiador(es): British Council - Auxílio financeiro.
-
2015 - Atual
Infraestrutura Tecnológica para Cidades Inteligentes Aplicadas à Saúde, Projeto certificado pelo(a) coordenador(a) Raimundo José de Araújo Macêdo em 26/02/2019., Descrição: 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, abordam-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.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Flávio Morais de Assis Silva - Integrante / Raimundo José de Araújo Macêdo - Coordenador / Sérgio Gorender - Integrante / Paul Denis Etienne Regnier - Integrante / Alírio Santos de Sá - Integrante.
-
2014 - 2015
Maximização do Tempo de Vida de Redes de Sensores Sem Fio na Execução de Difusão de Mensagens, Descrição: O objetivo deste projeto é investigar o problema de maximização do tempo de vida de um rede de sensores sem fio, especificamente quando se executa uma sequência de operações de difusão de mensagens, problema conhecido na literatura como Maximum Lifetime Broadcast. Em particular, o objetivo é investigar o projeto e análise de algoritmos distribuídos para este problema sob modelos que incorporam efeitos de interferência, falhas e mobilidade. Maximização do tempo de vida é um dos problemas fundamentais no desenvolvimento de redes de sensores sem fio. Difusão de mensagens é uma das operações básicas de sistemas distribuídos. Os modelos que serão adotados são importantes para o estudo de diversos outros problemas em redes sem fio. Espera-se, com este projeto: contribuir para o estado-da-arte sobre algoritmos com eficiência energética e de interferência para redes de sensores sem fio; aprofundar os conhecimentos dos envolvidos sobre modelos importantes para algoritmos para estas redes; estabelecer cooperação com um centro de excelência no projeto e desenvolvimento de algoritmos; e, como consequência, ampliar a qualidade dos trabalhos realizados no DCC/UFBA nesta área. Prof. Dariusz Kowalski, colaborador da Universidade de Liverpool, é um dos principais pesquisadores atuais na a ́rea de análise e projeto de algoritmos para redes sem fio, com publicações regulares em vários dos principais periódicos e conferências sobre sistemas distribuídos e algoritmos em geral.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Flávio Morais de Assis Silva - Coordenador / Dariusz Rafal Kowalski - Integrante., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Bolsa.
-
2006 - 2011
Cooperação Acadêmica em Automação de Sistemas de Tempo Real (AST) - Procad/CAPES, Descrição: O principal objetivo deste projeto é o fortalecimento das relações existentes entre dois programas de pós-graduação (da UFBA e UFSC), através do desenvolvimento conjunto de pesquisas e orientações de dissertações e teses, com vistas à consolidação do programa de pós-graduação em Mecatrônica da UFBA (nível 3 na CAPES). Em outras palavras, os objetivos principais deste projeto são: (a) estabelecimento de programas de pesquisa conjuntos em automação e tempo-real; (b) incrementar a formação de recursos humanos, através da realização de orientações conjuntas envolvendo professores e alunos dos dois programas, em nível de mestrado e doutorado; (c) possibilitar a troca de conhecimentos entre as equipes participantes, a partir de reuniões, seminários, estágios e disciplinas a serem ministradas; (d) possibilitar a consolidação do programa de pós-graduação em Mecatrônica da UFBA, com vistas a futura implantação do Doutorado no contexto deste programa.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (4) / Mestrado profissional: (0) / Doutorado: (6) . , Integrantes: Flávio Morais de Assis Silva - Integrante / Raimundo José de Araújo Macêdo - Coordenador / Aline M Santos Andrade - Integrante / George Marconi de Araújo Lima - Integrante / Luciano Porto Barreto - Integrante / Leizer Schnitman - Integrante / Jean-Marie Farines - Integrante / Rômulo Silva de Oliveira - Integrante / Carlos Barros Montez - Integrante / Eduardo Camponogara - Integrante / Marcelo Stemmer - Integrante / Leandro Buss Becker - Integrante., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Cooperação.
-
2001 - 2004
BCGmóvel, Descrição: O conceito de mobilidade em sistemas distribuídos, tanto de 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 BCGmó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 comunciaçã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 no LaSiD 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: (9) / Especialização: (1) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Flávio Morais de Assis Silva - Integrante / Raimundo José de Araújo Macêdo - Coordenador / Fabio Mascarenhas de Queiroz - Integrante / Daniel Breves Martins - Integrante / Deise Côrtes - Integrante / Críston Pereira de Souza - Integrante / Alex Ricardo Anunciação Araújo - Integrante / Alan Carvalho de Queiroz - Integrante / Rosemberg Rocha Leite - Integrante / Joselito Messias Lobo - Integrante / Ivan Medeiros Monteiro - Integrante., Número de produções C, T & A: 10
-
2001 - 2003
ForMOS/IQ-Mobile, Descrição: De maneira geral, se uma aplicação é descrita utilizando uma linguagem de especificação apropriada, é possível aplicar técnicas de verificação para garantir propriedades desejadas do sistema, bem como garantir a correção da implementação. Quando se consideram sistemas complexos a necessidade de utilização de métodos formais para o seu desenvolvimento se torna ainda maior, já que a garantia de correção do mesmo apenas através de testes se torna menos provável. No caso de aplicações móveis executando em sistemas abertos, a situação é ainda mais complicada, devido à presença de um fator adicional que pode influenciar na correção de um programa, a mobilidade de processos. Portanto, métodos formais para desenvolver e avaliar o desempenho de software (em particular, aplicações móveis) para sistemas abertos são fundamentais. Além disso, a existência de um modelo formal descrevendo o sistema torna as dependências entre módulos explícitas e claras. O objetivo deste projeto é melhorar a qualidade de software, em especial aplicações móveis e algoritmos/protocolos distribuídos, para ambientes abertos através do uso de métodos formais. Em particular, neste projeto diferentes métodos formais para especificação de sistemas móveis serão comparados (por exemplo, o cálculo pi, o cálculo de ambientes e gramática de grafos) e um método (ou grupo de métodos) será construído que possa ser utilizado de maneira efetiva na descrição de sistemas móveis. Baseando-se no(s) método(s) escolhido(s), serão definidas maneiras de realizar verificação, análise, simulação e geração de código e posteriormente gerar ferramentas para serem utilizadas em um ambiente integrado de desenvolvimento de software móvel para ambientes abertos. Neste trabalho pretende-se também abordar a análise de complexidade de tais aplicações de forma sistemática, possivelmente utilizando-se ferramentas de apoio.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (4) / Especialização: (2) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Flávio Morais de Assis Silva - Coordenador / Raimundo José de Araújo Macêdo - Integrante / Aline M Santos Andrade - Integrante / Frederico JR Barboza - Integrante / Rafael Oliveira - Integrante / Daniel Aguiar - Integrante / Felipe Moraes - Integrante., Financiador(es): Pontifícia Universidade Católica do Rio Grande do Sul - Cooperação / Universidade Federal do Rio Grande do Sul - Cooperação / Universitá di Pisa - Cooperação / Centro Di Studio Sui Processi Eletrodici - Cooperação., Número de produções C, T & A: 8
-
2000 - 2004
MARES - Plataforma para o Desenvolvimento de Aplicações baseadas em Agentes Móveis Confiáveis e Corretas, Descrição: O objetivo do projeto MARES é construir uma plataforma que suporte o desenvolvimento de aplicações baseadas em agentes móveis corretas e confiáveis, ou seja, aplicações baseadas em agentes que atendam aos requisitos de seus usuários e que sejam tolerantes a falhas e possuam semântica transacional. A plataforma MARES se baseia na BCGmóvel, a nova versão da plataforma de comunicação em grupo BCG, desenvolvida pelo LaSiD. Sobre a BCGmóvel serão implementados protocolos para tolerância a falhas e para garantir o comportamento transacional de aplicações baseadas em agentes. Ferramentas de suporte à geração de programas baseados em agentes móveis corretos completam a arquitetura. No contexto deste projeto, um sistema de gerenciamento de workflows está sendo desenvolvido, chamado MABflow (Mobile Agent-based Workflow Management System). Neste sistema, agentes móveis são utilizados na automatização da execução de processos comerciais.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (8) / Especialização: (13) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Flávio Morais de Assis Silva - Coordenador / Raimundo José de Araújo Macêdo - Integrante / Alfrânio Tavares Correia Jr - Integrante / Sérgio Eduardo Barreto da Luz - Integrante / João Carlos Lago Selch - Integrante / Carmem Lúcia Sousa de Santana Andrade - Integrante / Isabela Almeida Marinho da Silveira - Integrante / Neima P Santos - Integrante / Jorge AL Santos - Integrante / Siddhartha L Argollo - Integrante / Ana Vitoria Piaggio de Freitas - Integrante / Paulino Batista Reis Júnior - Integrante / Vítor Tunes Gerbase - Integrante / Rivaldo Melo Barbosa Júnior - Integrante / Rogério Santana Teixeira - Integrante / Marcos Camada - Integrante / Wagner Saback Dantas - Integrante / Ana Carolina Sokolonski Anton - Integrante / Lucas de Melo Oliveira - Integrante / Elena Sartori - Integrante / Ecivaldo de Souza Matos - Integrante / Tiago Edmundo Ribeiro Brito - Integrante / Leonardo Thomas Torres Santos - Integrante / Adalberto Alves Abraão - Integrante / Florisberto da Silva Santos - Integrante., Número de produções C, T & A: 35
Prêmios
2020
Best Paper - X Brazilian Symposium on Computing Systems Engineering (SBESC 2020) - Artigo: Simple Area Coverage by a Dynamic Set of Unmanned Aerial Vehicles, SBC - Sociedade Brasileira de Computação.
2017
Best Paper - VII Brazilian Symposium on Computing Systems Engineering (SBESC 2017) - Artigo: A Distributed Algorithm to Schedule TSCH Links under the SINR Interference Model, SBC - Sociedade Brasileira de Computação.
Histórico profissional
Endereço profissional
-
Universidade Federal da Bahia, Instituto de Computação, Departamento de Computação Interdisciplinar. , Av. Mílton Santos, S/N, Ondina, 40170110 - Salvador, BA - Brasil, Telefone: (71) 32836501, Fax: (71) 32836145, URL da Homepage:
Experiência profissional
2014 - 2015
University of LiverpoolVínculo: Honorary Staff Member, Enquadramento Funcional: Visiting researcher
2018 - Atual
Universidade Federal da BahiaVínculo: Servidor Público, Enquadramento Funcional: Professor titular, Carga horária: 40, Regime: Dedicação exclusiva.
2016 - Atual
Universidade Federal da BahiaVínculo: Servidor Público, Enquadramento Funcional: Professor Associado IV, Regime: Dedicação exclusiva.
2014 - 2016
Universidade Federal da BahiaVínculo: Servidor Público, Enquadramento Funcional: Professor Associado III, Regime: Dedicação exclusiva.
2012 - 2014
Universidade Federal da BahiaVínculo: , Enquadramento Funcional: Professor Associado II, Regime: Dedicação exclusiva.
2010 - 2012
Universidade Federal da BahiaVínculo: , Enquadramento Funcional: Professor Associado I, Carga horária: 40, Regime: Dedicação exclusiva.
2008 - 2010
Universidade Federal da BahiaVínculo: , Enquadramento Funcional: Professor Adjunto IV, Regime: Dedicação exclusiva.
2006 - 2008
Universidade Federal da BahiaVínculo: , Enquadramento Funcional: Professor Adjunto III, Regime: Dedicação exclusiva.
2004 - 2006
Universidade Federal da BahiaVínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto II, Carga horária: 0, Regime: Dedicação exclusiva.
2002 - 2004
Universidade Federal da BahiaVínculo: , Enquadramento Funcional: Professor Adjunto I, Carga horária: 40, Regime: Dedicação exclusiva.
2000 - 2002
Universidade Federal da BahiaVínculo: Bolsista DCR/CNPq, Enquadramento Funcional: Professor/Pesquisador, Carga horária: 40, Regime: Dedicação exclusiva.
1999 - 2000
Universidade Federal da BahiaVínculo: Bolsista Projeto Nordeste, Enquadramento Funcional: Professor/pesquisador, Carga horária: 40, Regime: Dedicação exclusiva.
Atividades
-
04/2020
Direção e administração, Departamento de Ciência da Computação.,Cargo ou função, Coordenador do Programa de Pós-Graduação em Mecatrônica (PPGM).
-
10/2013
Direção e administração, Instituto de Matemática.,Cargo ou função, Membro do Colegiado do Curso de Bacharelado em Ciência da Computação (UFBA).
-
08/2013
Conselhos, Comissões e Consultoria, Pró-Reitoria de Pesquisa, Criação e Inovação.,Cargo ou função, Líder do Subcomitê de Iniciação Científica e Tecnológica da Área de Ciências Exatas e da Terra.
-
01/2013
Conselhos, Comissões e Consultoria, Pró-Reitoria de Pesquisa, Criação e Inovação.,Cargo ou função, Membro do Subcomitê de Iniciação Científica e Tecnológica da Área de Ciências Exatas e da Terra.
-
01/2007
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, MATA37 - Introdução à Lógica de Programação (2007.1-2007.2), MATA40 - Estruturas de Dados e Algoritmos I (2007.1-2013.2), MATA90 - Algoritmos Distribuídos (2010.1), MATA82 - Sistemas de Tempo Real (2010.1), MATA86 - Tópicos em Redes de Computadores (2011.2-2012.1), MATA54 - Estruturas de Dados e Algoritmos II (2013.1-2013.2)
-
09/2005
Direção e administração, Instituto de Matemática / Escola Politécnica.,Cargo ou função, Membro do Colegiado do Programa de Pós-Graduação em Mecatrônica.
-
03/2003
Ensino, Mecatrônica, Nível: Pós-Graduação,Disciplinas ministradas, MAT568 - Redes de Computadores (2003-2013), MAT566 - Sistemas Operacionais (2003-2004), MAT700 - Tópicos Especiais em Mecatrônica II (2009.2), MAT701 - Tópicos Especiais em Mecatrônica (2011.2), MATC67 - TE - Algoritmos para Redes de Sensores (2009.2), MATD81 - Redes de Sensores Sem Fio (2012.2-2013)
-
01/2001
Direção e administração, Instituto de Matemática, Departamento de Ciências da Computação.,Cargo ou função, Suplente do Representante Institucional da UFBA no LARC (Laboratório Nacional de Redes de Computadores).
-
07/1999
Pesquisa e desenvolvimento, Instituto de Matemática, Departamento de Ciências da Computação Lasid.,Linhas de pesquisa
-
06/2022 - 06/2022
Conselhos, Comissões e Consultoria, Instituto de Computação.,Cargo ou função, Presidente da comissão de avaliação de estágio probatório de Luma da Rocha Seixas (DCI/IC/UFBA).
-
06/2022 - 06/2022
Conselhos, Comissões e Consultoria, Instituto de Computação, Departamento de Computação Interdisciplinar.,Cargo ou função, Presidente da comissão de progressão funcional de Roberto Freitas Parente (DCI/IC) de Adjunto I para Adjunto II.
-
12/2017 - 04/2020
Direção e administração, Departamento de Ciência da Computação.,Cargo ou função, Vice-Coordenador do Programa de Pós-Graduação em Mecatrônica (PPGM).
-
11/2013 - 11/2013
Conselhos, Comissões e Consultoria, Instituto de Matemática.,Cargo ou função, Membro de comissão de estágio probatório: Luciano Rebouças de Oliveira (18 meses).
-
11/2013 - 11/2013
Conselhos, Comissões e Consultoria, Instituto de Matemática.,Cargo ou função, Membro de comissão de avaliação de progressão funcional: Sérgio Gorender (Adj IV - Assoc I).
-
12/2007 - 11/2009
Direção e administração, Instituto de Matemática / Escola Politécnica.,Cargo ou função, Coordenador do Programa de Pós-Graduação em Mecatrônica (PPGM).
-
08/2006 - 11/2007
Direção e administração, Instituto de Matemática / Escola Politécnica.,Cargo ou função, Vice-Coordenador do Programa de Pós-Graduação em Mecatrônica (PPGM).
-
01/2007
Conselhos, Comissões e Consultoria, Instituto de Matemática.,Cargo ou função, Comissão para Definição dos Critérios para o Processo Seletivo 2007 (DMCC - Doutorado Multiinstitucional em Ciência da Computação).
-
01/1999
Ensino, Especialização Avançada Em Sistemas Distribuídos, Nível: Pós-Graduação,Disciplinas ministradas, Administração de Sistemas Distribuídos, Fundamentos de Sistemas Distribuídos, Computação Móvel, Redes de Computadores, Sistemas Distribuídos de Informação, Sistemas Operacionais
-
03/2000 - 12/2006
Ensino, Graduação Em Ciências da Computação, Nível: Graduação,Disciplinas ministradas, MAT112 - Estruturas de Dados (2002, 2003.2-2006.2), MAT152 - Estrutura de Arquivos (2000-2003.1)
-
06/2003 - 05/2005
Direção e administração, Instituto de Matemática, Departamento de Ciências da Computação.,Cargo ou função, Coordenador do Curso de Bacharelado em Ciência da Computação.
-
01/2005
Conselhos, Comissões e Consultoria, Instituto de Matemática / Escola Politécnica.,Cargo ou função, Comissão de Credenciamento e Descredenciamento de Professores do Programa de Pós-Graduação em Mecatrônica (UFBA).
-
01/2005
Conselhos, Comissões e Consultoria, Instituto de Matemática / Escola Politécnica.,Cargo ou função, Membro da Comissão para Realização do Processo Seletivo para Alunos Regulares do PPGM - Turma 2006.
-
01/2001 - 01/2004
Direção e administração, Instituto de Matemática, Departamento de Ciências da Computação Lasid.,Cargo ou função, Vice-Coordenador do Curso de Especialização Avançada em Sistemas Distribuídos.
-
07/1999 - 12/2003
Serviços técnicos especializados , Instituto de Matemática, Departamento de Ciências da Computação Lasid.,Serviço realizado, Supervisor de gerenciamento de rede do LaSiD.
-
01/2000
Direção e administração, Instituto de Matemática, Departamento de Ciências da Computação.,Cargo ou função, Membro da Comissão de Reestruturação Curricular do Curso de Ciências da Computação.
1994 - 1997
German National Research Center For Information Technology Institute For OpVínculo: Colaborador, Enquadramento Funcional: Estudante de Doutorado, Carga horária: 0
Atividades
-
03/1996 - 04/1997
Pesquisa e desenvolvimento, German National Research Center For Information Technology Institute For Op.,Linhas de pesquisa
-
04/1994 - 09/1995
Pesquisa e desenvolvimento, German National Research Center For Information Technology Institute For Op.,Linhas de pesquisa
-
06/1993 - 09/1993
Estágios , German National Research Center For Information Technology Institute For Op.,Estágio realizado, Estudo de um sistema de gerenciamento de redes de computadores em desenvolvimento no instituto GMD FOKUS, para posterior instalação na UNICAMP.
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Flavio Morais de Assis Silva e sempre que o nome aparecer em publicações dos Diários Oficiais, avisaremos por e-mail e pelo painel do usuário
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todas as movimentações desse processo e sempre que o processo aparecer em publicações dos Diários Oficiais e nos Tribunais, avisaremos por e-mail e pelo painel do usuário
Confirma a exclusão?