João Bosco Mangueira Sobral
É bacharel em Matemática pelo Instituto de Matemática da Universidade Federal do Rio de Janeiro (1973), tem mestrado em Engenharia de Sistemas e Computação pela COPPE-PESC - Universidade Federal do Rio de Janeiro (1977) e doutorado em Engenharia Elétrica pela COPPE-PEE- Universidade Federal do Rio de Janeiro (1996). Atualmente é Professor Titular da Universidade Federal de Santa Catarina, atuando no Curso de Graduação em Sistemas da Informação, tendo atuado, também, no Programa de Pós-Graduação em Ciência da Computação entre 1996-2014 e no Curso de Graduação em Ciência da Computação da UFSC entre 1978-2008. Sua área de interesse atual é Segurança de Redes, com utilização em ambientes de computação em nuvem, com atividades sendo desenvolvidas junto ao Grupo de Pesquisa CNPq-UFSC, Segurança da Informação, Redes e Sistemas. Como projeto de extensão idealizou e participa do projeto Computação no Ensino Fundamental no Colégio de Aplicação da UFSC e escolas básicas da rede municipal.
Informações coletadas do Lattes em 25/05/2026
Acadêmico
Formação acadêmica
Doutorado em Engenharia Elétrica
1989 - 1996
Universidade Federal do Rio de Janeiro
Título: Uma Linguagem para Especificação de Sistemas Distribuídos em Alto Nível de Abstração
Jorge Lopes de Souza Leão. Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: Especificação Formal; Sistemas Distribuídos; CCS; Linguagem Z; Lógica Temporal.Grande área: Ciências Exatas e da TerraSetores de atividade: Educação.
Mestrado em Engenharia de Sistemas e Computação
1975 - 1977
Universidade Federal do Rio de Janeiro
Título: Modelos de Substituição Tecnológica e suas Aplicações ao Setor de Fibras Têxteis no Brasil,Ano de Obtenção: 1977
João Luiz Maurity Sabóia.Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: Modelos Estatísticos de Previsão; Substituição Tecnológica; Fibras Têxteis.Grande área: Ciências Exatas e da TerraSetores de atividade: Educação.
Formação complementar
1997 - 1997
Programação em Java. (Carga horária: 4h). , Universidade Estadual de Campinas, UNICAMP, Brasil.
1997 - 1997
Reflexão Computacional no Modelo de Objetos. (Carga horária: 4h). , Universidade Estadual de Campinas, UNICAMP, Brasil.
1996 - 1996
A Estrutura e Funcionamento da UFSC. (Carga horária: 4h). , Universidade Federal de Santa Catarina, UFSC, Brasil.
1996 - 1996
7 Programa de Formação Pedagógica para Docentes da UFSC. (Carga horária: 4h). , Universidade Federal de Santa Catarina, UFSC, Brasil.
1996 - 1996
Rumo à Excelência no Ensino e Aprendizado da Engenharia. (Carga horária: 2h). , Universidade Federal de Santa Catarina, UFSC, Brasil.
1996 - 1996
A Difícil Relação Professor x Aluno. (Carga horária: 2h). , Universidade Federal de Santa Catarina, UFSC, Brasil.
1988 - 1988
Automação de Escritório. (Carga horária: 12h). , Universidade Federal de Santa Catarina, UFSC, Brasil.
1985 - 1985
Curso Redes Locais. (Carga horária: 20h). , Universidade Federal de Santa Catarina, UFSC, Brasil.
1982 - 1982
Extensão universitária em Treinamento em Projeto, Programação e Aplicação de Microcomputadores. (Carga horária: 108h). , Universidade Federal de Santa Catarina, UFSC, Brasil.
1982 - 1982
I Painel sobre Informática. (Carga horária: 24h). , Universidade Federal de Santa Catarina, UFSC, Brasil.
1981 - 1981
V Encontro de Pesquisadores em Educação da Região Sul. , Universidade Federal de Santa Catarina, UFSC, Brasil.
1980 - 1980
Revisão Gramatical e Técnicas de Redação. (Carga horária: 30h). , Universidade Federal de Santa Catarina, UFSC, Brasil.
1980 - 1980
II Ciclo de Palestras sobre Computação. (Carga horária: 24h). , Universidade Federal de Santa Catarina, UFSC, Brasil.
1979 - 1979
I Ciclo de Palestras e Painéis sobre Computação. (Carga horária: 32h). , Universidade Federal de Santa Catarina, UFSC, Brasil.
1979 - 1979
Treinamento para Auxiliares de Ensino em Estágio Probatório. (Carga horária: 240h). , Universidade Federal de Santa Catarina, UFSC, Brasil.
1978 - 1978
I Reunião de Matemática Aplicada. (Carga horária: 8h). , IBM Research Brazil, IBM BRASIL, Brasil.
Idiomas
Inglês
Compreende Razoavelmente, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.
Espanhol
, Lê Razoavelmente.
Francês
, Lê Razoavelmente.
Á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: Segurança de Sistemas de Computaçao.
Organização de eventos
SALES, R. M. ; SOBRAL, J. B. M. . 9th International Information and Telecommunication Symposium. 2010. (Outro).
LOUREIRO, A. F. ; BOUKERCHE, A. ; NOTARE, Mirela Sechi Moretti Annoni ; SOBRAL, J. B. M. . 8th International Information and Telecommunication Technologies Symposium. 2009. (Outro).
BOUKERCHE, A. ; SOBRAL, J. B. M. ; MACHADO, Renato Bobsin ; SOTUYO, J. C. . 7th International Informnation and Telecommunication Technologies Symposium. 2008. (Outro).
SOBRAL, J. B. M. ; BOUKERCHE, A. ; NOTARE, Mirela Sechi Moretti Annoni . 6th International Information and Telecommunication Technologies Symposium. 2007. (Outro).
SOBRAL, J. B. M. ; BOUKERCHE, A. ; NOTARE, Mirela Sechi Moretti Annoni ; CASTILHO, F. M. B. M. . 5th International Information and Telecommunication Tecnologies Symposium. 2006. (Outro).
SOBRAL, J. B. M. ; NOTARE, Mirela Sechi Moretti Annoni ; ARAUJO, Borges Regina . 4th International Information and Telecommunication Tecnologies Symposium. 2005. (Outro).
SOBRAL, J. B. M. . Workshop de Web Services. 2003. (Outro).
SOBRAL, J. B. M. ; BOUKERCHE, A. . Workshop in Distributed Computing and Agent Technologies. 2002. (Outro).
WESTPHALL, C. B. ; NOTARE, Mirela Sechi Moretti Annoni ; Korman ; SOBRAL, J. B. M. . LANOMS - Latin America Network Operations Management Symposium. 1999. (Outro).
Participação em eventos
9th International Information and Telecommunication Technologies Symposium (I2TS).Workshop em Detecção e Defesa contra Ataques em Redes. 2010. (Simpósio).
8th International Information and Telecommunication Technologies Symposium (I2TS).Organização completa do evento. 2009. (Simpósio).
IV Congresso da Academia Trinacional de Ciências. Experiências e Estratégias para Implantação de um Mestrado em Ciência da Computação. 2009. (Congresso).
7th International Information and Telecommunication Technologies Symposium (I2TS).Abertura do evento. 2008. (Simpósio).
6th International Information and Telecommunication Technologies Symposium (I2TS).Organização do evento (programação, avaliação de trabalhos, controle financeiro). 2007. (Simpósio).
5th Intenational Information and Telecommunication Technolgies Symposium.organização completa do simpósio. 2006. (Simpósio).
5th International Information and Telecommunication Technologies Symposium (I2TS).Organização do evento (programação, edição, avaliação de trabalhos). 2006. (Simpósio).
4th International Information and Telecommunication Technologies Symposium (I2TS).organização local do evento na UFSC. 2005. (Simpósio).
7th International Conference on Enterprise Information Systems. Program Committee. 2005. (Congresso).
Simpósio de Segurança da Informação.Comitê de Programa. 2005. (Simpósio).
6th International Conference on Enterprise Systems. Program Committee. 2004. (Congresso).
International Information Technogy and Telecommunication Syposium.Program Committee. 2004. (Simpósio).
Simpósio de Segurança da Informação.Comitê de Programa. 2004. (Simpósio).
2th International Information and Telecommunication Technologies Symposium (I2TS).Participação em Comite de Programa - I2TS. 2003. (Simpósio).
International Conference on Enterprise Systems.Participação em Comite de Programa - ICEIS. 2003. (Outra).
Simpósio em Segurança da Informação.Participação em Comite de Programa - SSI. 2003. (Simpósio).
WWS - Workshop em Serviços Web.Organizador do I WWS - Workshop em Serviços Web. 2003. (Oficina).
International Conference on Enterprise Systems. Participação em Comité de Programa, ICEIS. 2002. (Congresso).
International Information and Telecommunication Technologies Symposium. 2002. (Simpósio).
MASCOTS 2002 - International Workshop on Distributed Computing and Agent Technologies.Organizador como Workshop, Chair, Workshop on Distributed Computing and Agent Technologies. 2002. (Oficina).
Simpósio de Segurança em Informática.Participação em Comité de Programa, SSI. 2002. (Simpósio).
CBComp'2001. Participação em Comitê de Programa, CBComp. 2001. (Congresso).
Objetos Distribuidos. 2001. (Simpósio).
Simpósio Brasileiro de Engenharia de Software e Banco de Dados. 2001. (Simpósio).
Simpósio de Segurança em Informática.Participação em Comité de Programa do SSI. 2001. (Simpósio).
Simpósio de Seguraça em Informática.Participação em Comité de Programa do SSI. 2000. (Simpósio).
Simpósio de Segurança em Informática.Participação em Comité de Programa, SSI. 1999. (Simpósio).
Objetos Distribuidos. 1998. (Simpósio).
Simpósio Brasileiro de Linguagens de Prograação da SBC.Especificação da Semântica da Linguagem Especificação Formal Zag (tese de doutorado). 1997. (Simpósio).
Simpósio Brasileiro de Redes de Computatores da SBC.Integração de CCS e Z para Especificação Formal de Protocolos com Zag. 1995. (Simpósio).
Simpósio Brasileiro de Redes de Computatores da SBC.Esepcificação de Protocolos usando CSP. 1981. (Simpósio).
Participação em bancas
LEE, H. D.; CHUNG, W. F.;MACHADO, Renato BobsinSOBRAL, J. B. M.. Automatização do Processo de Mapeamento de Laudos Médicos para Representação Estruturada. 2014. Dissertação (Mestrado em Engenharia Elétrica e Computação) - Universidade Estadual do Oeste do Paraná.
WESTPHALL, C. B.; JUNIOR, E.;SOBRAL, J. B. M.; WESTPHALL, C.. Segurança de Serviços de Banco de Dados em Nuvem. 2013. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Programa de Pós-Graduação em Ciência da Computação da UFSC.
FROHLICH, Antonio A. M.; SANTOS, A. L.;SOBRAL, J. B. M.. Integração do Protocolo SIP à Norma IEEE1451 para Redes de Sensores sem Fio. 2012. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Programa de Pós-Graduação em Ciência da Computação da UFSC.
WESTPHALL, C. M.; SANTIN, A. O.;SOBRAL, J. B. M.; PLENTZ, P. D. M.. Federação de Identidades e Computação em Nuvem: Estudo de Caso usando Shibboleth. 2012. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Programa de Pós-Graduação em Ciência da Computação da UFSC.
WESTPHALL, C. M.; SCHULZE, B. R.;WESTPHALL, C. B.SOBRAL, J. B. M.. Estratégia para Otimizar a Alocação de Máquinas Virtiaus em Nuvens Verdes. 2012. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Programa de Pós-Graduação em Ciência da Computação da UFSC.
JUNIOR, E.;SOBRAL, J. B. M.; DANTAS, Mário Antônio Ribeiro;WESTPHALL, C. B.. Algoritmo Distribuido para Backup Reativo Tolerante a Faltas Bizantinas em Redes Peer-to-Peer. 2012. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Programa de Pós-Graduação em Ciência da Computação da UFSC.
DANTAS, Mário Antônio Ribeiro;SOBRAL, J. B. M.. Uma Arquitetura Paralela para o Armazenamento de Imagens Médicas em um Sistema de Arquivos Distribuídos. 2012. Dissertação (Mestrado em Pós Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
DANTAS, Mário Antônio Ribeiro;SOBRAL, J. B. M.. Uma Abordagem para Reserva Antecipada de Recursos em Ambiente de Grades Computacionais Móveis. 2011. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Programa de Pós-Graduação em Ciência da Computação da UFSC.
CUSTODIO, R. F.;SOBRAL, J. B. M.. NBPKI - Uma ICP Baseada em Autoridades Notariais. 2011. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Programa de Pós-Graduação em Ciência da Computação da UFSC.
WESTPHALL, C. B.SOBRAL, J. B. M.. Uma Abordagem para Alocação e Distribuição de Máquinas Virtuais em Ambientes de Computação em Nuvem Verde. 2011. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Programa de Pós-Graduação em Ciência da Computação da UFSC.
DANTAS, Mário Antônio Ribeiro;SOBRAL, J. B. M.. Seleção de Recursos Computacionais em Grade de Multi-Agregados baseada na Características da Aplicação. 2011. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Programa de Pós-Graduação em Ciência da Computação da UFSC.
MARTINS, A. T. C.; BUCHSBAUM, A. R. V.; OLIVEIRA, A. G.;SOBRAL, J. B. M.WESTPHALL, C. B.. Uma Apresentação dos Principais Sistemas Relacionados à Lógica Clássica. 2010. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Programa de Pós-Graduação em Ciência da Computação da UFSC.
FRANKE, H. A.;WESTPHALL, C. B.SOBRAL, J. B. M.; DANTAS, Mário Antônio Ribeiro; SCHULZE, B. R.. Uma Abordagem de Acordo de Nível de Serviço Dinâmico para Computação de Nuvem. 2010. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Programa de Pós-Graduação em Ciência da Computação da UFSC.
SILVA, A. A. F.; BUCHSBAUM, A. R. V.;SOBRAL, J. B. M.WESTPHALL, C. B.. Condições de Equivalência entre os Pricípios da Indução Fraca, da Indução Completa e da Boa Ordem. 2010. Dissertação (Mestrado em Pós Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
SILVA, C. C.; EBECKEN, N. F. F.; DANTAS, Mário Antônio Ribeiro;SOBRAL, J. B. M.. Uma Arquitetura para Autenticação Sensível ao Contexto baseda em Definições Comportamentais. 2010. Dissertação (Mestrado em Pós Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
FERREIRA, D. J.; DANTAS, Mário Antônio Ribeiro; EBECKEN, N. F. F.;SOBRAL, J. B. M.. GRADI: Uma Proposta de Arquitetura para Reserva Dinâmica e Antecipada de Recursos em Configurações Multi-Clusters utilizando Ontologias e Lógica Difusa. 2010. Dissertação (Mestrado em Pós Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
WESTPHALL, C. B.; LEJBMAN, A. G. v.; Koch, F. L.;SOBRAL, J. B. M.. Arquitetura e Sistema de Monitoramento para Computação de Nuvem Privada. 2010. Dissertação (Mestrado em Pós Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
WESTPHALL, C. B.SOBRAL, J. B. M.. Sistema Autonômico para Análise, Seleção e Alocação de Canal em Redes sem Fio. 2010. Dissertação (Mestrado em Pós Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
WESTPHALL, C. B.SOBRAL, J. B. M.. Sistema para Gerência Autonômica de Grades Computacionais. 2009. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Programa de Pós-Graduação em Ciência da Computação da UFSC.
FROHLICH, Antonio A. M.;SOBRAL, J. B. M.. Um Framework para a Geração de Protocolos de Roteamento para Redes Ad Hoc Sem Fios. 2009. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Programa de Pós-Graduação em Ciência da Computação da UFSC.
WESTPHALL, C. B.SOBRAL, J. B. M.. Gerência de reservas de recursos e capacidades para a Grade. 2008. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Programa de Pós-Graduação em Ciência da Computação da UFSC.
FROHLICH, Antonio A. M.;SOBRAL, J. B. M.. Um Algoritmo Descentralizado de Localização para Rede de Sensores Sem Fio Usando Calibragem Cooperativa e Heurísticas. 2007. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Programa de Pós-Graduação em Ciência da Computação da UFSC.
WESTPHALL, C. B.SOBRAL, J. B. M.. Uma Proposta de Aplicação Paralela de Técnicas Distintas de Detecção de Intrusão em Ambientes de Grid. 2007. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Programa de Pós-Graduação em Ciência da Computação da UFSC.
WESTPHALL, C. B.SOBRAL, J. B. M.. Uma Arquitetura para Submissão de Aplicações de Dispositivos Móveis e Embarcados para uma Configuração de Grade Computacional. 2007. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Programa de Pós-Graduação em Ciência da Computação da UFSC.
FROHLICH, Antonio A. M.;SOBRAL, J. B. M.. Um Modelo para Compartilhamento Consistente de Dados em Ambientes de Computação Móvel. 2007. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Programa de Pós-Graduação em Ciência da Computação da UFSC.
BUCHSBAUM, Arthur R. D. V.;SOBRAL, J. B. M.. Uma Lógica para a Referência Ambígua. 2007. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Programa de Pós-Graduação em Ciência da Computação da UFSC.
FROHLICH, Antonio A. M.;SOBRAL, J. B. M.. Um Sistema Descentralizado de Localização para Rede de Sensores sem Fio usando Calibragem Cooperativa e Heurísitca. 2007. Dissertação (Mestrado em Pós Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
WESTPHALL, C. B.;SOBRAL, J. B. M.. Uso de Grade Computacional para a Integração e Gerenciamento de Dispositivos Móveis e Embarcados. 2007. Dissertação (Mestrado em Pós Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
WESTPHALL, C. B.SOBRAL, J. B. M.. Mecanismos para Aplicação Paralela de Técnicas Distintas de Detcção de Intrusão em, Ambientes de Grid. 2007. Dissertação (Mestrado em Pós Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
DANTAS, Mário Antônio Ribeiro;SOBRAL, J. B. M.. Uma Abordagem para Compartilhamento Consistente de Dados em Ambientes de Computação Móvel sem Fio. 2007.
SOBRAL, J. B. M.. Caminhos Mínimos sob Restrições: uma revisão e aplicações. 2006. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Santa Catarina.
DANTAS, Mário Antônio Ribeiro;SOBRAL, J. B. M.. Uma Abordagem de Monitoração Wireless Diferenciada em um Ambiente de Cluster com Alta Disponibilidade. 2005. Dissertação (Mestrado em Pós Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
GAUTHIER, F. Á. O.;SOBRAL, J. B. M.. Modlelo de Recuperação e Indexação de Conhecimento em Documentos Corporativos Anotados Semanticamente. 2005. Dissertação (Mestrado em Pós Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
DANTAS, Mário Antônio Ribeiro;SOBRAL, J. B. M.. Um Estudo e Implementação de Políticas de Qulaidade de Serviço em um Ambiente de Rede Coporativo. 2005. Dissertação (Mestrado em Pós Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
MELLO, Ronaldo dos Santos;SOBRAL, J. B. M.. Uma Proposta de Mapeamento do Módulo XML Schema para o Modelo Relacional. 2005. Dissertação (Mestrado em Pós Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
MELLO, Ronaldo dos Santos;SOBRAL, J. B. M.. Uma Proposta de Mapeamento do Módulo de Banco de Dados Orientado a Objetos para o Modleo XML Schema. 2005. Dissertação (Mestrado em Pós Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
LOCH, Carlos;SOBRAL, J. B. M.; PHILLIPS, Jürgen Wilhelm; VOLLERTT JUNIOR, João Rosaldo. Potencial da Linguagem SVG para Visualização de Dados Espaciais na Internet - Estudo de Caso. 2004. Dissertação (Mestrado em Engenharia Civil) - Universidade Federal de Santa Catarina.
WILLRICH, Roberto;SOBRAL, J. B. M.. Técnica de Avaliação de Qualidade de Redes para Voz sobre IP. 2003. Dissertação (Mestrado em Pós Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
COSTA, R. J. C.;SOBRAL, J. B. M.. Um Ambiente Computacional Flutuante. 2003. Dissertação (Mestrado em Pós Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
MAZZOLA, V. B.;SOBRAL, J. B. M.. QoS Assistida por Agente Inteligente. 2003. Dissertação (Mestrado em Pós Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
BORGES, P. S. S.;SOBRAL, J. B. M.. Um Sistema de Lógica Fuzzi Aplicado ao Gerenciamento do Desempenho de Pessaol. 2003. Dissertação (Mestrado em Pós Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
BORGES, P. S. S.;SOBRAL, J. B. M.. Utilizando Integrais Fuzzi em Tomada de Decisão Multicritério. 2003. Dissertação (Mestrado em Pós Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
BITTENCOURT, G.;SOBRAL, J. B. M.. Extração de Informação para Busca Semântica na Web baseada em Ontologias. 2003. Dissertação (Mestrado em PROGRAMA DE POS GRADUAÇÃO EM ENGENHARIA ELETRICA) - Universidade Federal de Santa Catarina.
LABIDI, S.; FUKS, H.;SOBRAL, J. B. M.. Definição de Modelo de Workflow Integrando a Cooperação e a Organização Temporal. 2002. Dissertação (Mestrado em Engenharia de Eletricidade) - Universidade Federal do Maranhão.
BARRETO, J. M.;SOBRAL, J. B. M.. Avaliação Interativa da Aprendizagem Lógica utilizando Simuladores Artificiais Inteligentesd. 2002. Dissertação (Mestrado em Pós Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
COSTA, R. J. C.;SOBRAL, J. B. M.. Uma Arquitetura baseda em Ambiente para Sistemas de Comércio Eletrônico. 2002. Dissertação (Mestrado em Pós Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
SPECIALSKI, E. S.;SOBRAL, J. B. M.. Modelo de Gerenciamento baseado em Ferramentas de Baixo Custo para Redes de Pequeno Porte. 2002. Dissertação (Mestrado em Pós Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
MAZZOLA, V. B.;SOBRAL, J. B. M.. Proposta de uma Metodologia de Desenvolvimento de interfaces Humano-Computador centrada na Tarefa baseada em Critérios de Usabilidade. 2002. Dissertação (Mestrado em Pós Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
BARRETO, J. M.;SOBRAL, J. B. M.. Implementação de Prontuário Médico Eletrônico Hospitalar. 2002. Dissertação (Mestrado em Pós Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
SPECIALSKI, E. S.;SOBRAL, J. B. M.. Um Modleo de Sistema de Recomendação baseado em Filtragem Colaborativa e Correlação de Itens para Personalização de Comércio Eletrônico. 2002. Dissertação (Mestrado em Pós Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
COSTA, R. J. C.;SOBRAL, J. B. M.. Explorando a Abordagem Orientada a Agents no Desenvolvimento de um Sistema de Gerência de Disciplinas. 2002. Dissertação (Mestrado em Pós Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
ALVES, João Bosco da Mota;SOBRAL, J. B. M.. Infraestrutura de um Servidor de Aplicação Web Seguro. 2002. Dissertação (Mestrado em Pós Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
COSTA, R. J. C.;SOBRAL, J. B. M.. Um Sistema de Bibliotecas utilizando Agentes Móveis. 2002. Dissertação (Mestrado em Pós Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
COSTA, R. J. C.;SOBRAL, J. B. M.. Uma Arquitetura de Aplicação de Agentes Móveis para um Sistema de Imobiliárias. 2002. Dissertação (Mestrado em Pós Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
MAZZOLA, V. B.;SOBRAL, J. B. M.. Uma Proposta para Descrição e Busca por Recursos utilizando Metadados XML/RDF em Redes Peer-to-Peer. 2002. Dissertação (Mestrado em Pós Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
RISO, B. G.;SOBRAL, J. B. M.. Um Sistema Computacional para Controle Financeiro de Empresas Integrando a Área Contábil, Administrativa e Financeira. 2002. Dissertação (Mestrado em Pós Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
WILLRICH, Roberto; MAZZOLA, V. B.;SOBRAL, J. B. M.. Serviços Diferenciados em Redes IP: Diferenciação dos Serviços de Rede utilizando Roteador CBQ. 2002. Dissertação (Mestrado em Pós Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
MAZZOLA, V. B.; COSTA, R. J. C.;SOBRAL, J. B. M.. Rosângela Aguiar Adam. 2002. Dissertação (Mestrado em Pós Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
MAZZOLA, V. B.;SOBRAL, J. B. M.; WILLRICH, Roberto. Marcos Eduardo Muniz Godinho. 2002. Dissertação (Mestrado em Pós Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
COSTA, R. J. C.;SOBRAL, J. B. M.. Sobre a Aplicação de Padrões de Projeto no Desenvolvimento de Frameworks: Um Estudo-de-Caso. 2002. Dissertação (Mestrado em Pós Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
WANGENHEIN, A.;SOBRAL, J. B. M.. Desenvolvimento de um Servidor de Imagens Médicas Digitais DICOM. 2001. Dissertação (Mestrado em Pós Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
WILLRICH, Roberto;SOBRAL, J. B. M.. Transmissão de Fluxos MPEG-2 com QoS a partir de Serviços Multimídia em Redes ATM. 2001. Dissertação (Mestrado em Pós Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
ZANACANELA, L. C.;SOBRAL, J. B. M.. Uma Solução Reflexiva para Gerenciamento de Objetos Distribuídos em Aurora. 2001. Dissertação (Mestrado em Pós Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
WANGENHEIN, A.;SOBRAL, J. B. M.. Uma Proposta para o Enfoque de Metodologias Generalizadas para Reconstrução 3D de Estruturas Anatômicas a partir de Tomografias. 2001. Dissertação (Mestrado em Pós Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
BARRETO, J. M.;SOBRAL, J. B. M.; LIMA, W. C.; ROISEMBERG, M.. Desenvolvimento de Software com IA: Sistema Especialista para os Primeiros Socorros de Aimais Domésticos. 2001. Dissertação (Mestrado em Pós Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
WILLRICH, Roberto;SOBRAL, J. B. M.. Qualidade de Serviço em Aplicações Multimídia sobre Redes IP/ATM. 2000. Dissertação (Mestrado em Pós Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
ALVES, João Bosco da Mota;SOBRAL, J. B. M.. Gerência de Conexões, Sinalizações e Fluxo de Células numa rede ATM utilizando Java e SNMP. 2000. Dissertação (Mestrado em Pós Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
LABIDI, S.; FUKS, H.;SOBRAL, J. B. M.. Definição de um Modelo de Wokflow Integrando a Cooperação e a Organização Temporal. 2000. Dissertação (Mestrado em Engenharia de Eletricidade) - Universidade Federal do Maranhão.
WANGENHEIN, A.;SOBRAL, J. B. M.. Modelagem e Implementação de Conexão a Banco de Dados Relacional para o Padrão DICOM. 2000. Dissertação (Mestrado em Pós Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
NASSAR, S. M.;SOBRAL, J. B. M.. Gerência de Desenvolvimento de Tráfego em Redes utilizando Baseline Bayesiana. 2000. Dissertação (Mestrado em Pós Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
WESTPHALL, C. B.SOBRAL, J. B. M.. Um Modleo de Gerência de Segurança baseado em Objetos Distribuidos. 2000. Dissertação (Mestrado em Pós Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
WANGENHEIN, A.;SOBRAL, J. B. M.. Sala de Laudo Virtual: um Ambiente de Teleradiologia para diagnóstico Cooperativo via Internet. 2000. Dissertação (Mestrado em Pós Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
WESTPHALL, C. B.SOBRAL, J. B. M.. Proposta de um Ambiente de Gerência de Redes de Alta Velocidade utilizando CORBA, Java e HTML. 2000. Dissertação (Mestrado em Pós Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
WESTPHALL, C. B.SOBRAL, J. B. M.. Avaliação Analítica de Desempenho do Uso de IPV6. 2000. Dissertação (Mestrado em Pós Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
WILLRICH, Roberto;SOBRAL, J. B. M.. Utilização de Filtros de Escalonamento de Mídia na Interconexão entre duas Redes Heterogêneas. 1999. Dissertação (Mestrado em Pós Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
COSTA, R. J. C.;SOBRAL, J. B. M.. Um Modelo para Especificação Formal de Apresentações Multimídia Interativas. 1999. Dissertação (Mestrado em Pós Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
WESTPHALL, C. B.SOBRAL, J. B. M.. Gerência de Segurança em Aplicações de Bancos de Dados na Web. 1999. Dissertação (Mestrado em Pós Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
WESTPHALL, C. B.SOBRAL, J. B. M.. Avaliação Analítica do Uso de Agentes Móveis na Gerência de Redes. 1999. Dissertação (Mestrado em Pós Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
WESTPHALL, C. B.SOBRAL, J. B. M.. Aplicação o Modelo TMN na Gerência de Redes de Alta Velocidade. 1999. Dissertação (Mestrado em Pós Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
COSTA, R. J. C.;SOBRAL, J. B. M.. Uma Proposta baseada em Padrões de Projeto para o Desenvolvimento de Sistemas Cooperativos em Ambiente Aberto. 1999. Dissertação (Mestrado em Pós Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
WESTPHALL, C. B.SOBRAL, J. B. M.. Gerência de Segurança para Detecção de Intrusão em Telecomunicações através de Redes Neurais. 1999. Dissertação (Mestrado em Pós Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
WESTPHALL, C. B.SOBRAL, J. B. M.. Gerenciamento de Autoconfiguração do IPV6. 1998. Dissertação (Mestrado em Pós Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
WESTPHALL, C. B.SOBRAL, J. B. M.. Realização da Gerência Distribuida de Redes utilizando SNMP, Java, WWW e CORBA. 1998. Dissertação (Mestrado em Pós Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
RISO, B. G.;SOBRAL, J. B. M.. Projeto de Sistemas utilizando Construções Predefinidas Aplicadas à Gerência de Redes: a Biblioteca BBLOTOS. 1997. Dissertação (Mestrado em Pós Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
WESTPHALL, C. B.SOBRAL, J. B. M.. Novas Funções de Gerência paraRedes de Telecomunicações e de Alta Velocidade usando a Plataforma OSIMIS. 1997. Dissertação (Mestrado em Pós Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
DANTAS, Mário Antônio Ribeiro; GAUTHIER, F. Á. O.;SOBRAL, J. B. M.; FIALHO, F. A. P.; HIRATA, C. M.; YAMIN, A. C.. Sistema de Recomendação Sensível ao Contexto para Apoio a Autenticação em Ambientes Móveis e Pervasivos Baseado no Conhecimento Comportamental do Usuário. 2013. Tese (Doutorado em Doutorado em Engenharia do Conhecimento) - Programa de Pós-Graduação em Engenharia e Gestão do Conhecimento.
RABELO, R. J.; ADAMATI, D. F.; FORTES, R. P. M.; HUBNER, J. F.;SOBRAL, J. B. M.. Arquitetura de Referência para Softwares Assistentes Pessoais Baseada na Arquitetura Orientada a Serviços. 2012. Tese (Doutorado em mestrado em engenharia de atomação e sistemas) - Programa de Pós-Graduação em Engenharia de Automação e Sistemas.
RABELO, R. J.;SOBRAL, J. B. M.. Uma Arquitetura de Referência para Software Assistentes Pessoais baseada na Arquitetura Orientada a Serviços. 2012. Tese (Doutorado em Pós Graduação em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.
RABELO, R. J.;SOBRAL, J. B. M.. Um Modelo de Descoberta Dinâmica de Serviços de Software Baseado no Contexto de Processos de Negócios e em Qualidade de Serviço. 2011. Tese (Doutorado em Doutorado) - Programa de Pós-Graduação em Automação e Sistemas.
SOUZA JUNIOR, A. S.; SZEJNFELD, J.; NOGUEIRA, R. G.; CARVALHO, A. C. C.;SOBRAL, J. B. M.. Teleradiologia: Central Remota de Diagnóstico por Imagem Digital Integrada a um Portal de Informações Médicas Distribuídas com Aplicação na Rede Pública de Saúde. 2010. Tese (Doutorado em Radiologia Clínica) - Universidade Federal de São Paulo.
PHILIPS, J. W.; Meirelles, M. S.; Sluster, C. R.; Hochhein, N.;SOBRAL, J. B. M.; Figueiredo, L. F.; Bastos, L. C.. Web Mapas Interativos como interface aos dados geoespaciais: uma abordagem utilizando tecnologias de fontes abertas. 2004. Tese (Doutorado em Engenharia Civil) - Universidade Federal de Santa Catarina.
SOBRAL, J. B. M.; BITTENCOURT, G.; ÁLVAREZ, L. O.; STEMMER, M. R.; BARRETO, J. M.; HEUSER, C. A.. Sistemas Multiagentes Cognitivos para a Recuperação, Classificação e Extração Integradas de Informação da Web. 2002. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal de Santa Catarina.
GAUTHIER, F. Á. O.;SOBRAL, J. B. M.. Metodologia para Gerenciamento Distribuído de Projetos e Métrica de Software. 2002. Tese (Doutorado em Engenharia de Produção) - Universidade Federal de Santa Catarina.
SOBRAL, J. B. M.WESTPHALL, C. B.; DUARTE, O. C. M. B.; ALVES, João Bosco da Mota; MARTINS, J. S. B.; BARRETO, J. M.; RISO, B. G.. Concepção, Desenvolviemento e Análise de um Sistema de Segurança para Redes de Telecomunicações. 2000. Tese (Doutorado em Pós Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
SOBRAL, J. B. M.WESTPHALL, C. B.; BARRETO, J. M.; RISO, B. G.; DUARTE, O. C. M. B.; MARTINS, J. S. B.; ALVES, João Bosco da Mota. Uma Metodologia para Gerência de Segurança em Sistemas Distribuídos Validada em Redes de Telecomunicações. 1999. Tese (Doutorado em Pós Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
DANTAS, Mário Antônio Ribeiro; FIALHO, F. A. P.; TODESCO, J. L.; HIRATA, C. M.;SOBRAL, J. B. M.. Sistema de Recomendação Sensível ao Contexto para Apoio a Autenticação Implícita em Ambientes Móveis e Pervasivos Baseado no Conheciimento Comportamental do Usuário. 2012. Exame de qualificação (Doutorando em Doutorado em Engenharia do Conhecimento) - Programa de Pós-Graduação em Engenharia e Gestão do Conhecimento.
RABELO, R. J.;SOBRAL, J. B. M.. Uma Arquitetura de Referência para Assistentes Pessoais de Empresa: Uma abordagem baseada em Agentes e Serviços de Software. 2009. Exame de qualificação (Doutorando em Pós Graduação em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.
BARRETO, J. M.;SOBRAL, J. B. M.. Uma Arquitetura Multiagente para Suporte ao Aprendizado em Grupo em Sistemas Tutores Inteligentes. 2005. Exame de qualificação (Doutorando em Programa de Pós-graduação em Engenharia Elétrica) - Universidade Federal de Santa Catarina.
SOBRAL, J. B. M.; PHILIPS, J. W.; Hochhein, N.; Figueiredo, L. F.. Produtos Cartográficos Interativos na Web, uma proposição de interface de comunicação com o usuário utilizando recurso web mapping. 2003. Exame de qualificação (Doutorando em Engenharia Civil) - Universidade Federal de Santa Catarina.
SOBRAL, J. B. M.; GAUTHIER, F. Á. O.; PACHECO, R. C. S.; ROCHA, A. M.. Técnica e Ferramenta CASE para Gerenciamento Distribuído de Projetos e Métrica de Software. 2001. Exame de qualificação (Doutorando em Engenharia de Produção) - Universidade Federal de Santa Catarina.
SOBRAL, J. B. M.; BITTENCOURT, G.; ÁLVAREZ, L. O.; STEMMER, M. R.; MAZZOLA, V. B.. Sistemas Multiagentes Cognitivos para a Recuperação, Classificação e Extração Integradas de Informação da Web. 2000. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Federal de Santa Catarina.
SOBRAL, J. B. M.WESTPHALL, C. B.; ALVES, João Bosco da Mota; RISO, B. G.; BARRETO, J. M.; MARTINS, J. S. B.. Concepção Desenvolvimento e Análise de um Sistema de Gerência de Segurança para Redes de Telecomunicações. 1999. Exame de qualificação (Doutorando em Pós Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
SOBRAL, J. B. M.. Análise de Dados Espaço-Temporal Gerados por Dispositivos Móveis. 2011. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
PEREIRA, A. A.; SIQUEIRA, Frank Augusto; CRUZ, F. A. S.;SOBRAL, J. B. M.. Segurança em Web Service para Dispositivos Móveis. 2010. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal de Santa Catarina.
SOBRAL, J. B. M.. SGD - Sistema de Gestão de Docentes para a CPPD-UFSC. 2010. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
SOBRAL, J. B. M.. Aplicação para Consulta de Itinerários e Horários do Transporte Público em Dispositivo Movel baseado na Arquitetur\a SOA. 2010. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
SOBRAL, J. B. M.. Detecção e Recuperação de Falhas em Web Services. 2007. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
SOBRAL, J. B. M.. Automatização na Cotação de Livros utilizando Web Service. 2007. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
SOBRAL, J. B. M.. Sistema Polvo v3. 2006. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
SOBRAL, J. B. M.. LRSB Firewalls. 2006. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
SOBRAL, J. B. M.. Estudo de Interface Hoem-Máquina em Dispositivos Móveis. 2006. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
SOBRAL, J. B. M.. Compressão de Dados e Performance de Web Services. 2006. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
SIQUEIRA, Frank Augusto;SOBRAL, J. B. M.; SILVA, Ricardo Pereira e. Avaliação do Framework Struts para Implementação de Aplicações Web usando Padrão Modelo-Visão-Controlador. 2004. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal de Santa Catarina.
SOBRAL, J. B. M.; KOMOSINSKI, Leandro José. Sistema de controle de suporte técnico utilizando Web Service na Imprensa Oficial do Estado de Santa Catarina. 2004. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal de Santa Catarina.
SOBRAL, J. B. M.; MELLO, Ronaldo dos Santos. Coleta e Geração de Dados de Medição de Energia para o Novo Modelo Elétrico Brasileiro. 2004. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal de Santa Catarina.
SOBRAL, J. B. M.; REIS, Júlio A. de A.. Ferramenta de auxilio na emissão de Autos de Infracao. 2004. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
SOBRAL, J. B. M.; DANTAS, Mário Antônio Ribeiro. Framework para camada de apresentação. 2004. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
SOBRAL, J. B. M.; MAZZUCCO JR., José. Gerência de Sistemas de Imagem Única. 2004. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
SOBRAL, J. B. M.; ALVES, João Bosco da Mota. Internet Small Computer System Interface: Um Estudo de Caso Para Storage Area Networks. 2004. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
SOBRAL, J. B. M.; DANTAS, Mário Antônio Ribeiro; COSTA, Marcelo Thiry Comicholli da. Um Framework para persistência de dados em PHP. 2004. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
SOBRAL, J. B. M.; KOMOSINSKI, Leandro José. Metabolic IsaViz - representando vias metabólicas em grafos RDF. 2004. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
SOBRAL, J. B. M.; LUCCA, José Eduardo de. Portal para construção e publicação de homepages. 2004. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
SOBRAL, J. B. M.; MAZZUCCO JR., José. HYDRA - Compilação distribuída de código fonte. 2004. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
SOBRAL, J. B. M.; MELLO, Ronaldo dos Santos. Um sistema de informações via WEB sobre projetos arquitetônicos da UFSC. 2004. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal de Santa Catarina.
SOBRAL, J. B. M.; REIS, Lidiane Pereira dos; SEHN, Michel. Uma proposta para conversão de exames de eletrocardiografia para o formato DICOM. 2004. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.
SOBRAL, J. B. M.; AYROSA, P. P. S.; SIMOES, R. H. S.. Portaria 1053/2006 - Provimento de Vagas para Docentes da Universidade do Estado do Mato Grosso. 2006. Universidade do Estado de Mato Grosso.
SOBRAL, J. B. M.; LUCKE, H. A. H.; COSTA, R. J. C.; LEITE, M. M.. Edital 056/DP/88 - Prof. Auxiliar (ref. Edital 183/DP/87). 1988. Universidade Federal de Santa Catarina.
SOBRAL, J. B. M.; LUCKE, H. A. H.; COSTA, R. J. C.; LEITE, M. M.. Edital 142/DP/87 - Professor Assistente (Edital 119/DP/87). 1987. Universidade Federal de Santa Catarina.
SOBRAL, J. B. M.; MENDONCA, I. J.; JOB, L. M.; CARDOSO, J.. Edital 013/DP/86 - Professor Auxiliar e Adjunto. 1986. Universidade Federal de Santa Catarina.
RABUSKE, R. A.; MAIA, L. F. J.;SOBRAL, J. B. M.. Edital 013/DP/82 - Professor Assistente. 1982. Universidade Federal de Santa Catarina.
CAMARGO, C. Celso de B.;SOBRAL, J. B. M.. Comissão de Processo Administrativo Disciplinar. 2008. Universidade Federal de Santa Catarina.
MENDONCA, N. D.; RISO, B. G.;SOBRAL, J. B. M.. Comissão Examinadora - Edital 017/DRH/97 - Portaria 14/INE/97 - Professor Substituto. 1997. Universidade Federal de Santa Catarina.
SOBRAL, J. B. M.; OLIVEIRA, C. A.; VILAIN, P.. Comissão Examinadora - Prof. Substituto. 1996. Universidade Federal de Santa Catarina.
Orientou
Escalabilidade de Serviços em Nuvem com Gerência de Identidade Federada; 2014; Dissertação (Mestrado em Mestrado em Ciência da Computação) - Programa de Pós-Graduação em Ciência da Computação da UFSC,; Orientador: João Bosco Mangueira Sobral;
Avaliando Auto-Proteção para Detecçãode Ataques em Rede de Sensores; 2012; Dissertação (Mestrado em Mestrado em Ciência da Computação) - Programa de Pós-Graduação em Ciência da Computação da UFSC, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: João Bosco Mangueira Sobral;
Auto-Otimização e Auto-Configuração nos Protocolos de Roteamento AODV e OLSR para Redes em Malha sem Fio; 2009; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: João Bosco Mangueira Sobral;
Especificando Privacidade em Ambientes de Computação Ubíqua; 2009; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina,; Orientador: João Bosco Mangueira Sobral;
Análise Comparativa dos Métodos de Detecção de Intrusão Logcheck e Rede Neural; 2009; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina,; Orientador: João Bosco Mangueira Sobral;
Arquitetura para Ganho de Eficiência Energética em Redes de Sensores sem Fios de Próxima Geração; 2008; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina,; Orientador: João Bosco Mangueira Sobral;
Uma Análise de Protocolos de Roteamento Anônimo para Redes sem fio Ad Hoc Móveis; 2007; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: João Bosco Mangueira Sobral;
Um Sistema de Detecção de Intrusão de Host baseado em Sistema Imunológico Artificial; 2005; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina,; Orientador: João Bosco Mangueira Sobral;
Uma Abordagem Simplificada de Detecção de Intrusão Baseada em Redes Neurais Artificiais; 2005; 94 f; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina,; Orientador: João Bosco Mangueira Sobral;
Metamodelagem de Sistemas Imunológicos Artificiais com Metamodel Object Facility; 2005; 0 f; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina,; Orientador: João Bosco Mangueira Sobral;
Aspectos de Modelagem para Ambientes de Computação Ubíqua; 2005; 0 f; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina,; Orientador: João Bosco Mangueira Sobral;
Uma Proposta de Agentes de Software em Serviços de Televisão Digital; 2005; Dissertação (Mestrado em Pós Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina,; Orientador: João Bosco Mangueira Sobral;
Utilização de Agentes para Definição e Alteração de Bancos de Dados Heterogêneos; 2003; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina,; Orientador: João Bosco Mangueira Sobral;
Avaliação para Instrução Baseada na Web usando Portfólios Eletrônicos; 2003; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina,; Orientador: João Bosco Mangueira Sobral;
Modelagem com Agentes utilizando Redes de Petri Orientadas a Objeto; 2003; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina,; Orientador: João Bosco Mangueira Sobral;
Mobilidade em Gerência de Redes ATM; 2002; 0 f; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina,; Orientador: João Bosco Mangueira Sobral;
XCUBe: Solução de Business Inteligence para um Sistema de Comércio Eletrônico e ERP; 2002; 0 f; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina,; Orientador: João Bosco Mangueira Sobral;
Sistema de Detecção de Vírus baseado em Agentes Móveis; 2002; 96 f; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina,; Orientador: João Bosco Mangueira Sobral;
Disponibilidade, Desempenho e Segurança do Ambiente de Tecnologia da Informação com Acordo de Nível de Serviço utilizando ATM; 2002; 0 f; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina,; Orientador: João Bosco Mangueira Sobral;
Uma Aplicação para a Monitoração de Atalhos MPOA Client utilizando Agentes Móveis; 2002; 0 f; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina,; Orientador: João Bosco Mangueira Sobral;
Uma Proposta para Integração de e-Business e CRM através de Agentes; 2002; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina,; Orientador: João Bosco Mangueira Sobral;
Uma Implementação do Serviço de Persistência CORBA para Integração de Bases de Dados; 2002; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina,; Orientador: João Bosco Mangueira Sobral;
Utilizando Agentes Inteligentes baseados em Lógica Difusa para o Processo de Negociação de Compra e Venda em Sistemas ERP; 2002; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina,; Orientador: João Bosco Mangueira Sobral;
Um Estudo sobre a Concepção e Desenvolvimento de Acordos de Nível de Serviço para Ambientes de Redes de Computadores; 2002; 0 f; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina,; Orientador: João Bosco Mangueira Sobral;
Projeto de um Emulador de Comutador para uma Rede Local Ethernet utilizando Redes de Petri Coloridas; 2002; 0 f; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina,; Orientador: João Bosco Mangueira Sobral;
Distribuição de Tarefas em Sistemas de Workflow usando Lógica Nebulosa; 2002; 0 f; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina,; Orientador: João Bosco Mangueira Sobral;
Perfil de Link sem Fio em Ambiente Aberto: Avaliação através de Medições; 2002; 0 f; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina,; Orientador: João Bosco Mangueira Sobral;
Padrões de Projeto para Desenvolver Aplicações Distribuídas com CORBA e Java; 2002; 0 f; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina,; Orientador: João Bosco Mangueira Sobral;
Construção de uma Ferramenta de Geração de Componentes de Negócio Baseados na Arquitetura Enterprise JavaBeans; 2002; 0 f; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina,; Orientador: João Bosco Mangueira Sobral;
SICOGEF: Sistema Computacional do Genograma Estrutural da Família; 2002; 0 f; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina,; Orientador: João Bosco Mangueira Sobral;
Interoperabilidade em Sistemas Distribuidos Heterogêneos; 2002; Dissertação (Mestrado em Pós Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina,; Orientador: João Bosco Mangueira Sobral;
Implementação de uma Aplicação de Agentes Móveis para Avaliar o Impacto da Mobilidade em Segurança; 2002; Dissertação (Mestrado em Pós Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina,; Orientador: João Bosco Mangueira Sobral;
Uma Aplicação para a Monitoração de Atalhos MPOA Client utilizando Agentes Móveis; 2002; Dissertação (Mestrado em Pós Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina,; Orientador: João Bosco Mangueira Sobral;
Implementação de um Sistema de Informação em uma Administração Tributária Estadual; 2002; Dissertação (Mestrado em Pós Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina,; Orientador: João Bosco Mangueira Sobral;
QoS e Soluções ATM aplicadas à Rede de Computadores de Itaipu Binacional; 2002; 0 f; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina,; Orientador: João Bosco Mangueira Sobral;
Avaliando a Interoperabilidade de Plataformas de Agentes Móveis através da Padronização OMG MASIF; 2001; 0 f; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina,; Orientador: João Bosco Mangueira Sobral;
Uma Arquitetura para Integração de Aplicações Inter-Empresa baseada em Agentes; 2001; 0 f; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina,; Orientador: João Bosco Mangueira Sobral;
Um Sistema de Detecção de Intrusão baseado no Sistema Imunológico Humano com Análise dos Registros de Atividades; ; 2001; 0 f; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina,; Orientador: João Bosco Mangueira Sobral;
Integração de Sistemas Legados com Tecnologia de Sistemas Distribuidos; 2001; Dissertação (Mestrado em Pós Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina,; Orientador: João Bosco Mangueira Sobral;
Integração de Bases de Dados Utilizando a Mobilidade do Código; 2000; 0 f; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina,; Orientador: João Bosco Mangueira Sobral;
CUBe: Um Sistema para Integrar Comércio Eletrônico e ERP através de Agentes Móveis; 2000; 0 f; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina,; Orientador: João Bosco Mangueira Sobral;
Mobilidade em Gerência de Redes SNMP; 2000; 0 f; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina,; Orientador: João Bosco Mangueira Sobral;
Roteiro para Desenvolvimento de Componentes Enterprise Java Beans; 2000; 0 f; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina,; Orientador: João Bosco Mangueira Sobral;
Desenvolvendo Worflow com Agentes Móveis; 2000; 0 f; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina,; Orientador: João Bosco Mangueira Sobral;
Conceitos de Redes Ativas em Sistemas de Objetos Distribuídos; 2000; 0 f; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina,; Orientador: João Bosco Mangueira Sobral;
Gerenciamento de Serviços de Telecomunicações com CORBA e Java; 1998; 0 f; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina,; Orientador: João Bosco Mangueira Sobral;
Gerenciamernto Distribuído TMN: uma Experiência em Supervisão de Alarmes com CORBA; 1998; 0 f; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina,; Orientador: João Bosco Mangueira Sobral;
Interligação Micro x Mainframe utilizando Rede Local; 1988; Monografia; (Aperfeiçoamento/Especialização em Curso de Especialização em Redes e Protocolos) - Universidade Federal de Santa Catarina; Orientador: João Bosco Mangueira Sobral;
Especificação de um Sistema de Mensagens; 1988; Monografia; (Aperfeiçoamento/Especialização em Curso de Especialização em Redes e Protocolos) - Universidade Federal de Santa Catarina; Orientador: João Bosco Mangueira Sobral;
Transparência e Manipulação de Arquivos Indexados na Comunicação Labo x IBM; 1988; Monografia; (Aperfeiçoamento/Especialização em Curso de Especialização em Redes e Protocolos) - Universidade Federal de Santa Catarina; Orientador: João Bosco Mangueira Sobral;
Cominicação Micro x Mainframe; 1988; Monografia; (Aperfeiçoamento/Especialização em Curso de Especialização em Redes e Protocolos) - Universidade Federal de Santa Catarina; Orientador: João Bosco Mangueira Sobral;
Protocolo de Comunicação de Dados Ponto-a-Ponto para Micromputadores Tipo PC; 1988; Monografia; (Aperfeiçoamento/Especialização em Curso de Especialização em Redes e Protocolos) - Universidade Federal de Santa Catarina; Orientador: João Bosco Mangueira Sobral;
Subversão de Sistemas de Detecção de Intrusão em Segmento de Rede; 2016; Trabalho de Conclusão de Curso; (Graduação em Sistema de Informação) - Universidade Federal de Santa Catarina; Orientador: João Bosco Mangueira Sobral;
Teste de Segurança do sistema SIA-DI-Cloud num Ambiente de Nuvem Computacional; 2016; Trabalho de Conclusão de Curso; (Graduação em Sistema de Informação) - Universidade Federal de Santa Catarina; Orientador: João Bosco Mangueira Sobral;
Ferramenta METASPLOIT para Teste de Segurança em Sistemas; 2015; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Federal de Santa Catarina; Orientador: João Bosco Mangueira Sobral;
Auditoria de Aplicações Web e Contra-Medidas de Segurança; 2015; Trabalho de Conclusão de Curso; (Graduação em Sistema de Informação) - Universidade Federal de Santa Catarina; Orientador: João Bosco Mangueira Sobral;
Implantação de um Sistema de Detecção de Intrusão baseado em Sistema Imunológico Artificial para um Ambiente de Nuvem Computacional; 2015; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Federal de Santa Catarina; Orientador: João Bosco Mangueira Sobral;
Auditoria com Testes de Penetração em Sistemas Altamente Seguros; 2014; Trabalho de Conclusão de Curso; (Graduação em Sistema de Informação) - Universidade Federal de Santa Catarina; Orientador: João Bosco Mangueira Sobral;
Adaptação de um Sistema de Detecção de Intrusão baseado em Sistema Imunológico Artificial; 2014; Trabalho de Conclusão de Curso; (Graduação em Sistema de Informação) - Universidade Federal de Santa Catarina; Orientador: João Bosco Mangueira Sobral;
Implementação de um Sistema de Detecção de Intrusão baseado em Rede Neural; 2014; Trabalho de Conclusão de Curso; (Graduação em Sistema de Informação) - Universidade Federal de Santa Catarina; Orientador: João Bosco Mangueira Sobral;
Autorização com Certificados de Atributo aplicada à Emissão de Atestados Médicos Eletrônicos; 2013; Trabalho de Conclusão de Curso; (Graduação em Sistema de Informação) - Universidade Federal de Santa Catarina; Orientador: João Bosco Mangueira Sobral;
Avaliação da Segurança de Protolocos para Comunicação por Stream para Canais de Áudio e Vídeo; 2011; Trabalho de Conclusão de Curso; (Graduação em Sistema de Informação) - Universidade Federal de Santa Catarina; Orientador: João Bosco Mangueira Sobral;
Segurança em Virtualização de Servidores; 2011; Trabalho de Conclusão de Curso; (Graduação em Sistema de Informação) - Universidade Federal de Santa Catarina; Orientador: João Bosco Mangueira Sobral;
Análise de Protocolo de Anonimato através de ataques numa Rede Ad Hoc Móvel; 2010; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Federal de Santa Catarina; Orientador: João Bosco Mangueira Sobral;
Implementação e Simulção do Protocolo ANODR de Roteamento Anônimo em Redes Ad Hoc Móveis; 2008; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Federal de Santa Catarina; Orientador: João Bosco Mangueira Sobral;
Sistema de Detecção de Intrusão baseado em Rede Neural para Redes Ad Hoc Móveis; 2008; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Federal de Santa Catarina; Orientador: João Bosco Mangueira Sobral;
Um Framework para Web Service através de Short Message Serviice; 2007; Trabalho de Conclusão de Curso; (Graduação em Sistema de Informação) - Universidade Federal de Santa Catarina; Orientador: João Bosco Mangueira Sobral;
O Processo de Gestão de Negócios e Serviços de Restaurante usando Wireless e Data Warehiouse; 2006; Trabalho de Conclusão de Curso; (Graduação em Sistema de Informação) - Universidade Federal de Santa Catarina; Orientador: João Bosco Mangueira Sobral;
V; Violada; Segurança de Rede em Ambientes de Instituição de Ensino; 2006; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Federal de Santa Catarina; Orientador: João Bosco Mangueira Sobral;
Análise de Ferramentas para Segurança de Redes; 2006; Trabalho de Conclusão de Curso; (Graduação em Sistema de Informação) - Universidade Federal de Santa Catarina; Orientador: João Bosco Mangueira Sobral;
Uma Proposta de Integração entre Centros de Saúde e Hospitais Públicos baseada em Web Service; 2006; Trabalho de Conclusão de Curso; (Graduação em Sistema de Informação) - Universidade Federal de Santa Catarina; Orientador: João Bosco Mangueira Sobral;
Avaliação de plataformas para desenvolvimento de web services; ; 2005; 0 f; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Federal de Santa Catarina; Orientador: João Bosco Mangueira Sobral;
Padrões de segurança utilizando a linguagem XML; 2005; 0 f; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Federal de Santa Catarina; Orientador: João Bosco Mangueira Sobral;
Um aplicativo para o levantamento de cadastro imobiliário em PDAs; 2005; 0 f; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina; Orientador: João Bosco Mangueira Sobral;
Sistema de agendamento de consultas em hospitais da rede pública; 2005; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina; Orientador: João Bosco Mangueira Sobral;
Aplicação para o desenvolvimento de Questionários Dinâmicos On-Line; 2005; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Federal de Santa Catarina; Orientador: João Bosco Mangueira Sobral;
Controlador de Atividades Empresariais (CATE); 2005; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Federal de Santa Catarina; Orientador: João Bosco Mangueira Sobral;
Controladores Virtuais em Ambiente de Micro-simulação de Tráfego Urbano; 2005; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Federal de Santa Catarina; Orientador: João Bosco Mangueira Sobral;
Modelo de uma Biblioteca Virtual com Peer-to-Peer e Web Services; 2004; 0 f; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Federal de Santa Catarina; Orientador: João Bosco Mangueira Sobral;
Sistema para gerenciamento e administração de competições de triathlon; 2004; 0 f; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina; Orientador: João Bosco Mangueira Sobral;
VDF2Colab - Visual DataFlex para Colaboração; 2004; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Federal de Santa Catarina; Orientador: João Bosco Mangueira Sobral;
Uma Ferramenta para o Gerenciamento de Nível de Serviço utilizando Serviços Web; 2004; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Federal de Santa Catarina; Orientador: João Bosco Mangueira Sobral;
Um sistema de compartilhamento de arquivos entre grupos de pessoas; 2004; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina; Orientador: João Bosco Mangueira Sobral;
Sistemas WEB na área de engenharia civil; 2004; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina; Orientador: João Bosco Mangueira Sobral;
Integração de Aplicações através de Web Services; 2003; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina; Orientador: João Bosco Mangueira Sobral;
Geração de imagens cartográficas pela Web utilizando o padrão SVG; 2003; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina; Orientador: João Bosco Mangueira Sobral;
Framework para Aplicações Web; 2001; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina; Orientador: João Bosco Mangueira Sobral;
Arquitetura e Desenvolvimento de Web Services; 2001; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina; Orientador: João Bosco Mangueira Sobral;
Novas Tecnologias de Banco de Dados; 2000; 0 f; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina; Orientador: João Bosco Mangueira Sobral;
Interconexão de Serviços em Rede Usando a Tecnologia Jini; 1999; 0 f; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina; Orientador: João Bosco Mangueira Sobral;
Construindo uma Aplicação de Comércio Eletrônico; 1999; 0 f; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina; Orientador: João Bosco Mangueira Sobral;
Componentes de Software para Programação com Objetos Distribuídos; 1999; 0 f; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina; Orientador: João Bosco Mangueira Sobral;
Sistema de Resevas de Hotéis na Internet; 1999; 0 f; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina; Orientador: João Bosco Mangueira Sobral;
Alternativas para Implementação de um Serviço em Telecomunicações; 1999; 0 f; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina; Orientador: João Bosco Mangueira Sobral;
Sistemas de Segurança contra Clonagem de Telefones Celulares; 1999; 0 f; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina; Orientador: João Bosco Mangueira Sobral;
Especificador de Linguagem e Simulação de Comando Numérico; 1997; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina; Orientador: João Bosco Mangueira Sobral;
Estruturação e Organização Empresarial com Intranet; 1997; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina; Orientador: João Bosco Mangueira Sobral;
Implementação de um Editor para a Linguagem Zag; 1996; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina; Orientador: João Bosco Mangueira Sobral;
Programação de Microcomputadores em Linguagem Assembly; 1982; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina; Orientador: João Bosco Mangueira Sobral;
Estudo e Implementação de Algoritmos de Busca de Caminhos em Grafos: o Algoritmo A*; 1981; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina; Orientador: João Bosco Mangueira Sobral;
Gerência de Segurança do Serviço SETWeb: Serviço de Extrato Telefônico via Web; 1999; 0 f; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Santa Catarina, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: João Bosco Mangueira Sobral;
Tecnologias para o Desenvolvimento de Sistemas/Aplicações através de Objetos Distribuídos; 1998; 0 f; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Santa Catarina, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: João Bosco Mangueira Sobral;
Tecnologias para o Desenvolvimento de Sistemas/Aplicações através de Objetos Distribuídos; 1998; 0 f; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Santa Catarina, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: João Bosco Mangueira Sobral;
Produções bibliográficas
-
PEREIRA, A. A. ; SOBRAL, J. B. M. ; WESTPHALL, C. M. . Towards Scalability for Federated Identity Systems for Cloud-Based Environments. CLEI Electronic Journal , v. 18, p. 1-11, 2015.
-
GUARDALBEN, L. ; VILLALBA, L. J. G. ; BUIATI, F. ; SOBRAL, J. B. M. ; CAMPONOGARA, E. . Self-Configuration and Self-Optimization Process in Heterogeneous Wireless Networks. Sensors (Basel) , v. 11, p. 425-454, 2010.
-
BOUKERCHE, A. ; MACHADO, Renato Bobsin ; JUCÁ, Kathia Regina Lemos ; SOBRAL, J. B. M. ; NOTARE, Mirela Sechi Moretti Annoni . An agent based and biological inspired real-time intrusion detection and security model for computer network operations. Computer Communications , v. 30, p. 2649-2660, 2007.
-
Azzedine Boukerche ; MACHADO, Renato Bobsin ; JUCÁ, Kathia Lemos ; SOBRAL, J. B. M. . An agent based and biological inspired real-time intrusion detection and security model for computer network operations. Computer Communications. Computer Communications , v. 30, p. 2649-2660, 2007.
-
BOUKERCHE, A. ; JUCÁ, Kathia Regina Lemos ; SOBRAL, J. B. M. ; NOTARE, Mirela Sechi Moretti Annoni . An Artificial Immune based Intrusion Detection Model for Computer and Telecommunication Systems. Parallel Computing , Published by Elsevier B. V., v. 30, p. 629-646, 2004.
-
SILVA, Flavio Arnaldo Braga da ; YAMANE, Emílio Eiji ; CAMPIOLO, Rodrigo ; SOBRAL, J. B. M. . A New Active Network Environment. WSEAS Transactions on Systems , EUA, v. 2, n.1, p. 166-172, 2003.
-
SILVA, Flavio Arnaldo Braga da ; CAMPIOLO, Rodrigo ; YAMANE, Emilio Eiji ; SOBRAL, J. B. M. . Difficulties on Transport Digital Certificates in Active Networks. WSEAS Transactions on Systems , EUA, v. 2, n.2, p. 453-455, 2003.
-
SOBRAL, J. B. M. ; LEÃO, J. L. S. ; PEDROZA, A. C. P. . Especificando Software de Telecomunicações em Z com Agentes. Revista da Sociedade Brasileira de Telecomunicações , Campinas, SP, v. 10, n.1, p. 112-130, 1995.
-
KALEMPA, Vivian Cremer ; SOBRAL, J. B. M. . Especificando Privacidade em Ambientes de Computação Ubíqua. 1. ed. Novas Edições Acadêmicas, 2017. v. 1. 149p .
-
SOBRAL, J. B. M. . Da Computabilidade Formal às Máquinas Programáveis. 1. ed. Florianópolis: Edição do Aultor, 2015. v. 1. 297p .
-
SOBRAL, J. B. M. . Dos Primórdios da Matemática aos Sistemas Formais da Computação. 1. ed. Florianópolis: Edição do Autor, 2015. v. 1. 315p .
-
KALEMPA, Vivian Cremer ; SOBRAL, J. B. M. ; GUARDALBEN, L. ; BARDEMAKER, Urian . On Modeling of Ubiquitous Computing Environments featuring Privacy. In: Edited by Prof. Eduard Babkin. (Org.). Ubiquitous Computing. 1ed.Rijeka, Croatia: Intech Open Access Publisher of Scientific Books and Journals, 2011, v. 1, p. 127-147.
-
BOUKERCHE, A. ; JUCÁ, Kathia Regina Lemos ; SOBRAL, J. B. M. ; NOTARE, Mirela Sechi Moretti Annoni . Biological Inspired Based Intrusion Detection Models for Mobile Telecommunication Systems. In: Stephan Olariu;Albert Y. Zomaya. (Org.). Handbook of Bioinspired Algorithms and Applications. 1ed.: Chapman & Hall/CRC, 2005, v. 1, p. 359-372.
-
VIEIRA, K. M. ; PASCAL FILHO, D. S. M. ; WESTPHALL, C. B. ; SOBRAL, J. B. M. ; WERNER, J. . Providing Response to Security Incidents in the Cloud Computing with Autonomic Systems and Big Data. In: The Eleventh Advanced International Conference on Telecommunications - AICT IARIA 2015, 2015, Brussels, Belgium. Proceedings of The Eleventh Advanced International Conference on Telecommunications, 2015.
-
GUARDALBEN, L. ; BOUKERCHE, A. ; SOBRAL, J. B. M. ; NOTARE, Mirela Sechi Moretti Annoni . A Self-X Approach to OLSR Routing Protocol in Large-Scale Wireless Mesh Networks. In: IEEE Global Communications Conference (GLOBECOM 2008), 2008, New Orleans. IEEE Globecom 2008 Ad Hoc, Sensor and Mesh Networking Symposium (GC'08), 2008. p. 1-6.
-
BOUKERCHE, A. ; GUARDALBEN, L. ; NOTARE, Mirela Sechi Moretti Annoni ; SOBRAL, J. B. M. . A Performance Evaluation of OLSR and AODV Routing Protocols using a Self-Configuration mechanism for heterogeneous Wireless Mesh Networks. In: 33rd IEEE Conference on Local Computer Networks, 2008. LCN 2008, 2008, Montreal. Proceedings of Fourth IEEE International Workshop on Performance and Management of Wireless and Mobile Networks - P2MNET 2008, 2008. p. 697-704.
-
ZIMMERMMAN, A. ; SILVA, J. S ; CERQUEIRA, E. ; BOAVIDA, F. ; SOBRAL, J. B. M. . An Efficient Communication Control Approach for Next Generation Wireless Sensor Networks. In: X Workshop Brasileiro de Tempo Real e Sistemas Embarcados - WTR 2008, 2008, Rio de Janeiro. Proceedings of WTR 2008, 2008.
-
ZIMMERMMAN, A. ; SILVA, J. S ; BOAVIDA, F. ; SOBRAL, J. B. M. . 6GLAD: IPv6 Global to Link-layer Address Translation for 6LoWPAN Overhead Reducing. In: 4th EURO-NGI Conference on Next Generation Internet Networks, 2008, Kraków. Proceedings of 4th EURO-NGI Conference on Next Generation Internet Networks, 2008.
-
GUARDALBEN, L. ; TAMASHIRO, C. H. ; SOBRAL, J. B. M. . Towards an Architecture for Self-Organization in Wireless Mesh Networks. In: XXXIII Conferencia Latinoamericana de Informática - CLEI 2007, 2007, Santiago. Proceedings of CLEI 2007, 2007.
-
GUARDALBEN, L. ; SOBRAL, J. B. M. ; TAMASHIRO, C. H. . Uma Arquitetura para Auto-Organização em Redes em Malha Sem Fio. In: XXV Simpósio Brasileiro de Telecomunicações, 2007, Recife. Anais do XXV Simpósio Brasileiro de Telecomunicações, 2007.
-
MACHADO, Renato Bobsin ; SOBRAL, J. B. M. ; JUCÁ, Kathia Regina Lemos ; NOTARE, Mirela Sechi Moretti Annoni . A Hibrid Artificial Immune and Mobile Agent Intrusion Detection Based Model for Computer Network Operations. In: International Parallel and Distributed Processing Symposium, 2005, Denver. Proceedings of IPDPS 2005, 2005.
-
SOBRAL, J. B. M. ; CASTILHO, Fernando ; PRETI, João Paulo ; JUCÁ, Kathia Regina Lemos ; NOTARE, Mirela Sechi Moretti Annoni . On the Use of Fuzzy Logic to Enhance Mobile Agents in Distributed e-Commerce. In: International Conference of Parallel and Distributed Systems, 2005, Fukuoka. Proceedings do ICPADS 2005, 2005.
-
SOBRAL, J. B. M. ; PAGLIARES, R. M. ; LIMA, J. C. . ArchCollect: A Set of Components Towards Web User's Interations. In: International Conference on Enterprise Informtion Systems, 2003, Angers. Proceedings of ICEIS'2002, 2003.
-
JUCÁ, Kathia Regina Lemos ; BOUKERCHE, A. ; SOBRAL, J. B. M. ; NOTARE, Mirela Sechi Moretti Annoni . Human Immune Anomaly and Misuse Based Detection for Computer System Operations: Part II. In: 17th International Paralell & Distributed Processing Symposium - Workshop on Nature Inspired Distributed Computing, 2003, Nice. Proceedings of 17th International Paralell & Distributed Processing Syponsium, 2003. p. 146-153.
-
CAMPIOLO, Rodrigo ; SOBRAL, J. B. M. ; SILVA, Flavio Arnaldo Braga da ; YAMANE, E. E. . Aspectos de Segurança para um Ambiente de Redes Ativas. In: SSI - Simpósio de Segurança em Informática, 2003, São José dos Campos. Anais SSI 2003, 2003.
-
SILVA, Flavio Arnaldo Braga da ; CAMPIOLO, Rodrigo ; YAMANE, E. E. ; SOBRAL, J. B. M. . A New Active Network Environment. In: WSEAS - International Conference on Information Security, Hardware/Software Codesign, E-Commerce and Computer Networks, 2002, Rio de Janeiro. Proceedings of WSEAS, 2002. p. 1741-1747.
-
SILVA, Flavio Arnaldo Braga da ; CAMPIOLO, Rodrigo ; YAMANE, E. E. ; SOBRAL, J. B. M. . Difficulties to Transport Digital Certificates in Active Networks. In: International Conference on Information Security, Hardware/Software Codesign, E-Commerce and Computer Networks, 2002, Rio de Janeiro. Proceedings of WSEAS, 2002. p. 2301-2303.
-
JUCÁ, Kathia Regina Lemos ; BOUKERCHE, A. ; SOBRAL, J. B. M. . Intrusion Detection Based on the Immune Human System. In: 16th International Parallel & Distributed Processing Symposium, 2002, Ft.Lauderdale, Florida, USA. Proceedings of IPDPS (Abstracts and CD-ROM). Ft. Lauderdale, Florida, USA.: The Printing House, 2002. v. 1. p. 199-199.
-
SILVA, Flavio Arnaldo Braga da ; YAMANE, E. E. ; CAMPIOLO, Rodrigo ; SOBRAL, J. B. M. . ANE: Towards an Active Network Environment. In: DC-AT- First International Workshop on Distributed Computing and Agent Technologies, 2002, Fort Worth. Proceedings of DC-AT'2002. Florianópolis: DUPLIC, 2002. p. 42-47.
-
SILVA, A. R. V. ; CLARO, Daniela Barreiro ; SOBRAL, J. B. M. ; NASCIMENTO, F. . Integração de Banco de Dados utilizando Agentes Móveis. In: I Congresso Brasileiro de Computação, 2001, Itajaí. Anais do CBComp. Itajaí, SC: UNIVALI, 2001. p. 49-60.
-
SOBRAL, J. B. M. . ANE: an Environment for Active Networks. In: Jornada Chilena de Ciencia de la Computacion (SCCC), 2001, Punta Arenas. Proceedings of JCCC 2001 (in CD), 2001.
-
SILVA, I. F. ; SOBRAL, J. B. M. . Uma Ferramenta para Busca de Informações XML na Web. In: Objetos Distribuídos, 2001, São Paulo,. Anais do Workshop de Tendências em Objetos Distribuídos, 2001.
-
BECKER, A. K. ; CLARO, Daniela Barreiro ; SOBRAL, J. B. M. . Web Services e XML: um Novo paradigma de Computação Distribída. In: Objetos Distribuídos - Worksho em Tendências em OD, 2001, São Paulo. Anais do Workshop em Tendências em Objetos Distribuídos, 2001.
-
CLARO, Daniela Barreiro ; SOBRAL, J. B. M. . Integrating Databases with Mobile Agents. In: Workshop on Agent-Based Simulation, 2000, Passau. Proceedings of Workshop Agent-Based Simulation. Erlangen, Germany: Gruner Druck GmbH, 2000. v. 1. p. 227-232.
-
VALDO, C. A. ; SOBRAL, J. B. M. . Integração de e-Commerce e ERP através de Agentes Móveis. In: XXVII SEMISH, 2000, Curitiba. Anais do XX Congresso Nacional da Sociedade Brasileira de Computação. Curitiba: Editora Universitária CHAMPAGNAT, 2000. v. 1. p. 23-23.
-
CLARO, Daniela Barreiro ; SOBRAL, J. B. M. . Agentes Móveis Aplicados à Integração de Bancos de Dados. In: XXVII SEMISH, 2000, Curitiba. Anais do XX Congresso Nacional da Sociedade Brasileira de Computação - SEMISH. Curitiba: Editora Universitária CHAMPAGNAT, 2000. v. 1. p. 21-21.
-
CLARO, Daniela Barreiro ; SOBRAL, J. B. M. . Information Retrieval through Mobile Agents. In: VI Congreso Argentino de Ciencias de la Computación - CACIC'2000, 2000, Ushuaia. Proceedings of CACIC'2000 ( in CD ). Ushuaia: Universid Nacional de la Patagonia San Juan Bosco, 2000. v. 1. p. xxx-xxx.
-
SOBRAL, J. B. M. . Gerenciamento de Serviços de Telecomunicações Utilizando CORBA e Java. In: Simpósio Brasileiro de Telecomunicações, 1999, Vila Velha. Anais do XVII SBT, 1999. v. 1. p. 487-491.
-
GONÇALVES, P. R. R. ; SOBRAL, J. B. M. ; WESTPHALL, C. B. . Implementação de Gerenciamento de Serviços de Telecomunicações Utilizando CORBA, Java e Reflexão Computacional. In: Congresso Nacional da Sociedade Brasileira de Computação (SBC), 1999, Rio de Janeiro. Anais do XIX Congresso Nacional da SBC - SEMISH, 1999. v. 1. p. 180-194.
-
GONÇALVES, P. R. R. ; SOBRAL, J. B. M. ; WESTPHALL, C. B. . Telecommunication Service Management Implementation Using CORBA, Java and Computational Reflection. In: Symposium on Performance Evaluation of Computer and Telecommunication Systems, 1999, Chicago. Proceedings of SPECTS'99, 1999. v. 1. p. 400-406.
-
LORENSET, V. L. ; SOBRAL, J. B. M. ; WESTPHALL, C. B. . TMN Distributed Management with CORBA: an experience in Alarm Surveillance. In: International Conference on Paralell and Distributed Processing Techniques and Aplications, 1999, Las Vegas. Proceedings of the PDPTA'99, 1999. v. VI. p. 2692-2698.
-
SOBRAL, J. B. M. ; MATOS, A. V. ; WESTPHALL, C. B. . Segurança e Flexibilidade de Aplicações de Banco de Dados na Web. In: Simpósio sobre Segurança em Informática, 1999, São José dos Campos. SSI'99, 1999. v. 1. p. 09-18.
-
LORENSET, V. L. ; SOBRAL, J. B. M. ; WESTPHALL, C. B. . CORBA Based Telecommunication Network Management System: an experience on Alarm Surveillance. In: Symposium on Performance Evaluation of Computer and Telecommunication Systems, 1998, Reno - Nevada. Proceedings of SPECTS'98, 1998. p. 296-301.
-
GONÇALVES, P. R. R. ; SOBRAL, J. B. M. . Telecommunications Services Management with Computational Reflection Using CORBA and Java. In: International Telecommunication Symposium, 1998, São Paulo. Proceedings of the ITS'98, 1998. v. II. p. 486-491.
-
CORRÊA, E. F. ; FRIEDRICH, L. F. ; LORENSET, V. L. ; SOBRAL, J. B. M. . Micronúcleos Abertos: Alternativa em Sistemas de Telecomomunicações. In: II Seminário Franco-Brasileiro em Sistemas Informáticos Distribuídos, 1997, Fortaleza. Anais do II SFBSID'97, 1997. p. 159-170.
-
SOBRAL, J. B. M. ; LEÃO, J. L. S. ; PEDROZA, A. C. P. . Um Modelo Alternativo para Concorrência: o Estudo de Caso para uma Linguagem de Especificação. In: II Simpósio Brasileiro de Linguagens de Programação, 1997, Campinas. Anais do II SBLP'97 da Sociedade Brasileira de Computação, 1997. p. 65-80.
-
SOBRAL, J. B. M. ; LEÃO, J. L. S. ; PEDROZA, A. C. P. . Integrating CCS and Z Languages for Specifying Distributed Systems. In: First Workshop on System Level Design Languages, 1997, San José (Silicon Valley). Proceedings of SLDL 1997, 1997. v. 1.
-
SOBRAL, J. B. M. ; LEÃO, J. L. S. ; PEDROZA, A. C. P. . Especificando Software de Telecomunicações em Z com Agentes. In: Simpósio Brasileiro de Telecomunicações, 1995, Águas de Lindóia. Anais do XIII SBT da Sociedade Brasileira de Telecomunicações, 1995. v. 2. p. 634-640.
-
SOBRAL, J. B. M. ; LEÃO, J. L. S. ; PEDROZA, A. C. P. . Modelando Protocolos de Comunicação em Z com Agentes. In: Simósio Brasileiro de Redes de Computadores, 1995, Belo Horizonte. Anais do XIII SBRC da Sociedade Brasileira de Computação, 1995. p. 41-60.
-
SOBRAL, J. B. M. ; LEÃO, J. L. S. ; PEDROZA, A. C. P. . CSP*: Um Dialeto de CSP e sua Aplicação à Especificação de Protocolos de Comunicação. In: Simpósio Brasileiro de Redes de Computadores, 1991, Florianópolis. Anais do IX SBRC da Sociedade Brasileira de Computação, 1991. p. 277-294.
-
KALEMPA, Vivian Cremer ; BARDEMAKER, Urian K. ; SOBRAL, J. B. M. . Especificando Privacidade em Ambientes de Computação Ubíqua. In: IV Congresso da Academia Trinacional de Ciências, 2009, Foz do Iguaçu. Acta Scientiarum. Agronomy (Online). Foz de Iguaçu: PTI-Unioeste, 2009.
-
LIMA, Igor Vinicius Mussoi de ; DEGASPARI, J. A. ; SOBRAL, J. B. M. . Intrusion Detection Through Artificial Neural Networks. In: IEEE/IFIP Network Operations & Management Symposium, 2008, Salvador. Proceedings of NOMS 2008, 2008.
-
CAMPIOLO, Rodrigo ; CREMER, V. ; SOBRAL, J. B. M. . On Modeling for Pervasive Computing Environments. In: The 10-th ACM International Symposium on Modeling, Analysis and Simulation of Wireless and Mobile Systems, 2007, Chania, Crete Island. Proceedings of 10th MSWiM, 2007.
-
GUARDALBEN, L. ; SOBRAL, J. B. M. . An Architectural Self-Organization Model for Large-Scale Wireless Mesh Networks based on Technology of Agents. In: 6th International Information and Telecommunication Technologies Symposium (I2TS), 2007, Brasilia - DF. Proceedings of 6th International Information and Telecommunication Technologies Symposium (I2TS), 2007, 2007. p. 15-18.
-
CAMARGOS, Fernando Laudares de ; HAUFFE, Denis Nazareno ; CLARO, Daniela Barreiro ; SOBRAL, J. B. M. . TriathlonApp: an System for Control and Management of Triathlon Competitions with J2ME. In: 3rd International Information and Telecommunication Technologies Symposium, 2004, São Carlos. I2TS'2004. São Carlos: Editora Universidade Federal de São Carlos, 2004. v. 1. p. 180-181.
-
VIEIRA, KLEBER ; KOCH, FERNANDO L. ; SOBRAL, JOAO BOSCO M. ; WESTPHALL, CARLOS BECKER ; LEAO, JORGE LOPES DE SOUZA . Autonomic Intrusion Detection and Response Using Big Data. IEEE Systems Journal , 2019.
-
SOBRAL, J. B. M. . Do Pensamento Matemático à Ciência da Computação. 2016. (Apresentação de Trabalho/Conferência ou palestra).
-
SOBRAL, J. B. M. . Do Pensamento Matemático à Ciência da Computação. 2015. (Apresentação de Trabalho/Conferência ou palestra).
-
KALEMPA, Vivian Cremer ; BARDEMAKER, Urian K. ; SOBRAL, J. B. M. . Especificando Privacidade em Ambientes Ubíquos. 2009. (Apresentação de Trabalho/Comunicação).
-
SOBRAL, J. B. M. . A Matemática e a Lógica como Base para a Ciência da Computação. 2009. (Apresentação de Trabalho/Conferência ou palestra).
-
SOBRAL, J. B. M. ; HUBINER, J. . Segurança Computacional: Criptografia, Assinaturas Digitais e Certificação Digital. 2009. (Apresentação de Trabalho/Conferência ou palestra).
-
SOBRAL, J. B. M. . Cursos Educacionais à Distância: avaliação e acompanhamento don estudante através de IA. 2001. (Apresentação de Trabalho/Conferência ou palestra).
-
SOBRAL, J. B. M. ; KITTEL, R. ; HOPPEN, A. ; CRUZ, F. A. S. . Computação no Ensino Fundamental na Escola Pública 2015 (artigo-relatório).
-
BARDEMAKER, Urian ; SOBRAL, J. B. M. . On Self-Protection for Wireless Sensor Networks 2010 (Poster - I2TS 2010).
-
RADOWITZ, Romulo ; SOBRAL, J. B. M. . Detecção de Intrusão em Redes Ad Hoc Móveis através de Rede Neural Artificial 2010 (Poster - I2TS 2010).
-
MACHADO, Renato Bobsin ; SOBRAL, J. B. M. . Detecção de Intrusão aplicando Sistema Imunológico Artificial e Agentes Móveis 2010 (Poster - I2TS 2010).
Outras produções
SOBRAL, J. B. M. . Parecer técnico sobre projeto de desenvolvimento de software - Projeto Softex 2000. 1997.
GUARDALBEN, L. ; SOBRAL, J. B. M. . Módulos de Auto-Otimização e Auto-Configuração para os Protocolos de Roteamento AODV e OLSR em Redes de Malha sem Fio. 2009.
MACHADO, Renato Bobsin ; SOBRAL, J. B. M. . Um Sistema de Detecção de Intrusão baseado em Imunologia Artificial e Agentes Móveis. 2005.
LIMA, Igor Vinicius Mussoi de ; SOBRAL, J. B. M. . Um Sistema de Detecção de Intrusão baseado em Rede Neural. 2005.
CLARO, Daniela Barreiro ; SOBRAL, J. B. M. . Integração de Bancos de Dados com Mobilidade de Código. 2000.
VALDO, C. A. ; SOBRAL, J. B. M. . Integração de e-Commerce e ERP através de Agentes Móveis. 2000.
OLIVEIRA, D. V. ; SOBRAL, J. B. M. . Mobilidade em Gerência de Redes SNMP. 2000.
TRIDAPALLI, G. W. ; SANT'ANNA, J. S. ; SOBRAL, J. B. M. . Aplicativo Cliente/Servidor para Comércio Eletrônico (Construindo uma Aplicação de Comércio Eletrônico). 1999.
COUTO, M. M. ; SOBRAL, J. B. M. . Componentes de Software para Programação com Objetos Distribuídos. 1999.
SOBRAL, J. B. M. . Supervisor do Laboratório de Pesquisa DMC-NS - Distributed Mobile Computing and Network Security. 2009.
SOBRAL, J. B. M. . Parecer técnico sobre projeto de pesquisa para a FACEP. 2004.
SOBRAL, J. B. M. . Computação no Ensino Fundamental - Nivel I - Programando com Scratch. 2015. (Curso de curta duração ministrado/Extensão).
SOBRAL, J. B. M. . Computação no Ensino Fundamental - Nível I - Python Básico. 2014. (Curso de curta duração ministrado/Extensão).
SOBRAL, J. B. M. ; NOTARE, Mirela Sechi Moretti Annoni . I2TS 2009 - 8th International Information and Telecommunication Technologies Symposium. 2009. (Cartas, mapas ou similares/Outra).
BOUKERCHE, A. ; LOUREIRO, A. F. ; SOBRAL, J. B. M. . I2TS 2008 - 7th International Information and Telecommunication Technologies Symposium. 2009. (Cartas, mapas ou similares/Outra).
SOBRAL, J. B. M. ; HUBINER, J. . Princípios de Criptografia e Segurança Computacional. 2009. (Palestra).
SOBRAL, J. B. M. ; BARDEMAKER, Urian K. ; DEVES, Rafael Correa ; MACHADO, Renato Bobsin ; LIMA, Igor Vinicius Mussoi de ; NOTARE, Mirela Sechi Moretti Annoni ; KALEMPA, Vivian Cremer ; GUARDALBEN, L. ; WUNDERLICH, Daniel Salvi ; HEIDERMAN, Dalton ; DEGASPARI, J. A. ; TAMASHIRO, C. H. ; CAMPIOLO, Rodrigo . Supervisor do Laboratório do Griupo de Pesquisa DMC-NS, Distributed Mobile Computing and Network Security. 2009. (supervisor de laboratório).
SOBRAL, J. B. M. . A Matemática e a Lógica como base para a Ciência da Computação. 2009. (Palestra).
SOBRAL, J. B. M. . Revisor IEEE Latin America. 2004 (Demais trabalhos relevantes) .
SOBRAL, J. B. M. . Colloquium Exactae - Revista Científica da Universidade do Oeste Paulista - Unoeste Editoração: Pró-Reitoria de Pesquisa e Pós-Graduação da Unoeste Rodovia Raposo Tavares, Km 572 - Bairro Limoeiro - Campus II CEP19067-17 Presidente Prudente - SP - Fone: (18) 229.2078 - Fax: (18) 229.2080 e-mail: colloquium-exactae@posgrad.unoeste.br. 2000 (Consultor Ad-Hoc) .
Projetos de pesquisa
-
2016 - Atual
Expansão do Sistema de Detecção de Intrusão SIA-DI para Ambiente de Nuvem Computacional, Projeto certificado pelo(a) coordenador(a) Renato Bobsin Machado em 20/05/2016., Descrição: O sistema de detecção de intrusão SIA-DI, originariamente construído para redes convencionais, é agora expandido para trabalhar numa nuvem computacioanl. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (4) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: João Bosco Mangueira Sobral - Integrante / Renato Bobsin Machado - Coordenador.
-
2009 - 2011
Módulo de Auto-Proteção em Redes de Sensores Auto-Organizada, Descrição: Toma-se como base a rede do sistema SCADA da Hidroelétrica de Itaipu Binacional. Projeto realizado através de recursos financeiros para bolsista de mestrado do PPGCC, atarvés da Fundação do Parque Tecnológico de Itaipu.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (1) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: João Bosco Mangueira Sobral - Coordenador / Rafael Correa Deves - Integrante / Urian Kramer Bardemaker - Integrante., Financiador(es): Parque Tecnológico de Itaipu - Bolsa., Número de produções C, T & A: 5
-
2006 - Atual
Auto-organização em Redes de Malha sem Fio, Descrição: Trata-se do desenvolvimento dos módulos de computação autonômica voltados para auto-organização de redes em malha sem fio, utilizando os protocolos OLSR e AODV. Já foi desenvolvidos os módulos de auto-otimização e auto-configuração e o proximo passo será um módulo de auto-proteção, na linha de segurança de redes.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: João Bosco Mangueira Sobral - Coordenador / Azzedine Boukerche - Integrante / Mirela Sechi Moretti Annoni Notare - Integrante / Lucas Guardalben - Integrante., Número de produções C, T & A: 5 / Número de orientações: 1
-
2005 - Atual
Segurança de Redes Ad Hoc Móveis com Protocolos de Anonimato, Descrição: Trata-se do estudo de todos os protocolos de anonimato para redes ad hoc móveis e atualmente, a pesquisa está em fase de implementar e verificar propriedades desses protocolos através de simulação.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Especialização: (1) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: João Bosco Mangueira Sobral - Coordenador / Daniel Salvi Wunderlich - Integrante / Dalton Heiderman - Integrante / Evandro Araujo - Integrante., Número de orientações: 1
-
2004 - Atual
Modelagem e Simulação para Ambientes de Computação Ubíqua, Descrição: Trata-se do desenvolvimento formal de um metamodelo voltado para modelar ambientes de computação ubíqua. Na atual etapa do projeto, foi considerado o problema de privacidade nesses ambientes, como extensão do metamodelo anteriormente desenvolvido. Numa etapa seguinte, passaremos a criação de um simulador para computação ubíqua, tendo como base este metamodelo.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (3) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: João Bosco Mangueira Sobral - Coordenador / Rodrigo Campiolo - Integrante / Vivian Cremer Kalempa - Integrante / Urian Bardemaker - Integrante., Número de produções C, T & A: 1
-
2000 - 2002
Uso Controlado de recursos de redes IP usando a tecnologia MPLS, Descrição: Avaliação através de medições do perfil de um link sem Fio em ambiente aberto.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (1) . , Integrantes: João Bosco Mangueira Sobral - Integrante / Julio Cesar da Costa Ribas - Integrante / Roberto Willrich - Coordenador / Roberto Alexandre Dias - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Outra.Número de orientações: 1
-
2000 - Atual
Construção de um Sistema de Detecção de Intrusão baseado em Sistema Imunológico Artificial e Rede Neural, Descrição: Trata-se de vários trabalhos de pesquisa em segurança de redes, realizados através de dissertações de mestrado em ciência da computação. O projeto foi iniciado com o desenvolvimento do sistema de detecção de intrusão inicial com a definição de um sistema imunológico artificial e a utilização das ferramentas convencionais Syslog-ng e Logcheck originadas em sistemas Unix. A pesquisa foi ampliada num segundo trabalho, com a criação de agentes de software e a implemnetação de parte importante do sistema imunológico artificial atarvés deses agentes estáticos e móveis. Numa terceira etapa, foi desenvolvido um sistema de detcção de intrusão baseado em rede neural. Atualmente, estamos no ultimo trabalho em que foi feita uma análise comparativa entre o usos das ferramentas Syslog-nh e Logcheck contra a utilização da rede neural anteriormente desenvolvida. A pesquisa está sendo aplicada e redes ad hoc móveis e deverá ser utilizada em testes de invasões numa rede real.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (4) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: João Bosco Mangueira Sobral - Coordenador / Kathia Regina Lemos Jucá - Integrante / Renato Bobsin Machado - Integrante / Igor Vinicius Mussoi de Lima - Integrante / Joelson Alencar Degaspari - Integrante / Romulo Radowitz - Integrante., Número de produções C, T & A: 4 / Número de orientações: 4
Projetos de desenvolvimento
-
1997 - 1998
Programa PROTEM-CC / CNPq / Absorção e Fixação de Recém Doutores, Descrição: Desenvolvimento de aplicações em computação com objetos distribuídos.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: João Bosco Mangueira Sobral - Coordenador / Tatiana Custódio - Integrante / Graziela W Tridapalli - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa., Número de produções C, T & A: 2 / Número de orientações: 4
-
1997 - 1998
Programa PROTEM-CC / CNPq - Absorção e Fixação de Recém Doutores, Descrição: Consolidação do conhecimento sobre Computação com Objetos Distribuídos. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: João Bosco Mangueira Sobral - Coordenador / Tatiana Custódio - Integrante / Graziela Tridapali - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 7 / Número de orientações: 8
-
1997 - 1998
Programa PROTEM-CC / CNPq - Absorção e Fixação de Recém Doutores, Descrição: Consolidação do conhecimento sobre Computação com Objetos Distribuídos. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: João Bosco Mangueira Sobral - Coordenador / Tatiana Custódio - Integrante / Graziela Tridapali - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 7 / Número de orientações: 8
-
1997 - 1998
Programa PROTEM-CC / CNPq / Absorção e Fixação de Recém Doutores, Descrição: Desenvolvimento de aplicações em computação com objetos distribuídos.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: João Bosco Mangueira Sobral - Coordenador / Tatiana Custódio - Integrante / Graziela W Tridapalli - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa., Número de produções C, T & A: 2 / Número de orientações: 4
-
1997 - 1998
Programa PROTEM-CC / CNPq - Absorção e Fixação de Recém Doutores, Descrição: Consolidação do conhecimento sobre Computação com Objetos Distribuídos. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: João Bosco Mangueira Sobral - Coordenador / Tatiana Custódio - Integrante / Graziela Tridapali - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 7 / Número de orientações: 8
-
1997 - 1998
Programa PROTEM-CC / CNPq / Absorção e Fixação de Recém Doutores, Descrição: Desenvolvimento de aplicações em computação com objetos distribuídos.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: João Bosco Mangueira Sobral - Coordenador / Tatiana Custódio - Integrante / Graziela W Tridapalli - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa., Número de produções C, T & A: 2 / Número de orientações: 4
-
1997 - 1998
Programa PROTEM-CC / CNPq / Absorção e Fixação de Recém Doutores, Descrição: Desenvolvimento de aplicações em computação com objetos distribuídos.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: João Bosco Mangueira Sobral - Coordenador / Tatiana Custódio - Integrante / Graziela W Tridapalli - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa., Número de produções C, T & A: 2 / Número de orientações: 4
-
1997 - 1998
Programa PROTEM-CC / CNPq - Absorção e Fixação de Recém Doutores, Descrição: Consolidação do conhecimento sobre Computação com Objetos Distribuídos. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: João Bosco Mangueira Sobral - Coordenador / Tatiana Custódio - Integrante / Graziela Tridapali - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 7 / Número de orientações: 8
-
1997 - 1998
Programa PROTEM-CC / CNPq - Absorção e Fixação de Recém Doutores, Descrição: Consolidação do conhecimento sobre Computação com Objetos Distribuídos. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: João Bosco Mangueira Sobral - Coordenador / Tatiana Custódio - Integrante / Graziela Tridapali - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 7 / Número de orientações: 8
-
1997 - 1998
Programa PROTEM-CC / CNPq / Absorção e Fixação de Recém Doutores, Descrição: Desenvolvimento de aplicações em computação com objetos distribuídos.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: João Bosco Mangueira Sobral - Coordenador / Tatiana Custódio - Integrante / Graziela W Tridapalli - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa., Número de produções C, T & A: 2 / Número de orientações: 4
-
1997 - 1998
Programa PROTEM-CC / CNPq / Absorção e Fixação de Recém Doutores, Descrição: Desenvolvimento de aplicações em computação com objetos distribuídos.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: João Bosco Mangueira Sobral - Coordenador / Tatiana Custódio - Integrante / Graziela W Tridapalli - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa., Número de produções C, T & A: 2 / Número de orientações: 4
-
1997 - 1998
Programa PROTEM-CC / CNPq - Absorção e Fixação de Recém Doutores, Descrição: Consolidação do conhecimento sobre Computação com Objetos Distribuídos. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: João Bosco Mangueira Sobral - Coordenador / Tatiana Custódio - Integrante / Graziela Tridapali - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 7 / Número de orientações: 8
-
1997 - 1998
Programa PROTEM-CC / CNPq - Absorção e Fixação de Recém Doutores, Descrição: Consolidação do conhecimento sobre Computação com Objetos Distribuídos. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: João Bosco Mangueira Sobral - Coordenador / Tatiana Custódio - Integrante / Graziela Tridapali - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 7 / Número de orientações: 8
-
1997 - 1998
Programa PROTEM-CC / CNPq / Absorção e Fixação de Recém Doutores, Descrição: Desenvolvimento de aplicações em computação com objetos distribuídos.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: João Bosco Mangueira Sobral - Coordenador / Tatiana Custódio - Integrante / Graziela W Tridapalli - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa., Número de produções C, T & A: 2 / Número de orientações: 4
-
1997 - 1998
Programa PROTEM-CC / CNPq - Absorção e Fixação de Recém Doutores, Descrição: Consolidação do conhecimento sobre Computação com Objetos Distribuídos. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: João Bosco Mangueira Sobral - Coordenador / Tatiana Custódio - Integrante / Graziela Tridapali - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 7 / Número de orientações: 8
-
1997 - 1998
Programa PROTEM-CC / CNPq / Absorção e Fixação de Recém Doutores, Descrição: Desenvolvimento de aplicações em computação com objetos distribuídos.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: João Bosco Mangueira Sobral - Coordenador / Tatiana Custódio - Integrante / Graziela W Tridapalli - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa., Número de produções C, T & A: 2 / Número de orientações: 4
Histórico profissional
Endereço profissional
-
Universidade Federal de Santa Catarina, Centro Tecnológico, Departamento de Informática e de Estatística. , Cidade Universitária, Trindade, 88040900 - Florianópolis, SC - Brasil - Caixa-postal: 476, Telefone: (48) 37217551, Ramal: 7551, Fax: (48) 37219770, URL da Homepage:
Experiência profissional
2012 - Atual
Universidade Federal de Santa CatarinaVínculo: , Enquadramento Funcional: Professor Associado IV, Carga horária: 40, Regime: Dedicação exclusiva.
Atividades
-
03/2009
Ensino, Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, INE 5680 - Segurança da Informação e de Redes, INE5645 - Programação Paralela e Distribuída
-
08/2004
Ensino, Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, INE5630 - Segurança em Computação Distribuída
-
03/2004
Pesquisa e desenvolvimento , Centro Tecnológico, Departamento de Informática e de Estatística.,Linhas de pesquisa
-
03/1996
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Projeto em Ciência da Computação II
-
08/1995
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Projeto em Ciência da Computação I
-
08/2006 - 12/2008
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, INE5377 - Tópicos Especiais em Software Aplicativo II
-
09/2006 - 12/2006
Ensino, Ciências da Computação, Nível: Pós-Graduação,Disciplinas ministradas, INE6406 - Mobilidade em Computação
-
04/2006 - 08/2006
Ensino, Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, INE5630 - Segurança em Computação Distribuída
-
04/2006 - 08/2006
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, INE5380 - Tópicos Especiais em Software Básico II
-
03/2006 - 05/2006
Ensino, Ciências da Computação, Nível: Pós-Graduação,Disciplinas ministradas, INE6504 - Computação Distribuída
-
09/2005 - 12/2005
Ensino, Ciências da Computação, Nível: Pós-Graduação,Disciplinas ministradas, INE 6406 - Mobilidade em Computação
-
08/2005 - 12/2005
Ensino, Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, INE5380 - Tópicos Especiais em Software Básico II, INE 5630 - Segurança em Computação Distribuída
-
08/2005 - 12/2005
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, INE5380 - Tópicos Especiais em Software Básico II
-
03/2005 - 06/2005
Ensino, Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, INE5626 - Sistemas Cliente / Servidor, INE5630 - Segurança em Computação Distribuída
-
03/2005 - 06/2005
Ensino, Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, INE5626 - Sistemas Cliente / Servidor
-
03/2005 - 05/2005
Ensino, Ciências da Computação, Nível: Pós-Graduação,Disciplinas ministradas, INE6504 - Computação Distribuída
-
09/2004 - 12/2004
Ensino, Ciências da Computação, Nível: Pós-Graduação,Disciplinas ministradas, INE6404 - Mobilidade em Computação
-
08/2004 - 12/2004
Ensino, Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, INE5630 - Segurança em Computação Distribuída, INE5626 - Sistemas Cliente / Servidor (Web Services), INE5380 - Tópicos Especiais em Software Básico II - (Tecnologias de Agentes Móveis), INE5625 - Computação Distribuída
-
08/2002 - 12/2004
Ensino, Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Computação Distribuída
-
03/2003 - 05/2004
Ensino, Ciências da Computação, Nível: Pós-Graduação,Disciplinas ministradas, INE6504 - Computação Distribuída
-
03/2003 - 07/2003
Ensino, Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, INE5625 - Computação Distribuída, INE5626 - Sistemas Cliente / Servidor (Web Services)
-
03/2003 - 05/2003
Ensino, Ciências da Computação, Nível: Pós-Graduação,Disciplinas ministradas, INE6504 - Computação Distribuída
-
05/2000 - 04/2003
Extensão universitária , Centro Tecnológico, Curso de Pós Graduação Em Ciência da Computação.,Atividade de extensão realizada, Coodenação de Curso de Mestrado - Convênio UFSC/Unirondon.
-
07/2001 - 12/2002
Extensão universitária , Centro Tecnológico, Departamento de Informática e de Estatística.,Atividade de extensão realizada, Coordenação de Curso de Especialização - Convênio UFSC/UNIOESTE - Foz do Iguaçu.
-
05/2002 - 09/2002
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Redes Locais de Computadores
-
04/2002 - 04/2002
Extensão universitária , Centro Tecnológico, Departamento de Informática e de Estatística.,Atividade de extensão realizada, Coordenação de Curso de Extensão - Curso de Programação Java Básico.
-
08/1997 - 04/2002
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Tópicos Especiais em Software Básico II (Computação Distribuída)
-
03/2001 - 02/2002
Extensão universitária , Centro Tecnológico, Departamento de Informática e de Estatística.,Atividade de extensão realizada, Coordenação de Curso de Especialização - Convênio UFSC/Unirondon - Cuiabá.
-
04/2001 - 04/2001
Extensão universitária , Centro Tecnológico, Departamento de Informática e de Estatística.,Atividade de extensão realizada, Coordenação de Curso de Extensão - Curso de Progranação Java Básico.
-
08/1999 - 12/2000
Pesquisa e desenvolvimento , Centro Tecnológico, Departamento de Informática e de Estatística.
-
04/2000 - 04/2000
Extensão universitária , Centro Tecnológico, Departamento de Informática e de Estatística.,Atividade de extensão realizada, Coordenação do Curso de Extensão em Programação Java Básico.
-
06/1999 - 12/1999
Ensino, Pós Graduação em Ciência da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Tópicos Especiais em Engenharia de Sistemas Distribuídos
-
08/1998 - 12/1999
Ensino, Engenharia Elétrica, Nível: Graduação,Disciplinas ministradas, Introdução à Ciência da Computação
-
11/1999 - 11/1999
Extensão universitária , Centro Tecnológico, Departamento de Informática e de Estatística.,Atividade de extensão realizada, Curso de Computação Distribuída - Mestrado Fora de Sede - Sociedade Lageana de Educação - Lages / SC.
-
08/1997 - 07/1999
Pesquisa e desenvolvimento , Centro Tecnológico, Departamento de Informática e de Estatística.
-
05/1999 - 06/1999
Extensão universitária , Centro Tecnológico, Departamento de Informática e de Estatística.,Atividade de extensão realizada, Coordenação de Curso de Extensão - Programação Básica em Java - FEESC / UFSC.
-
03/1999 - 06/1999
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Introdução à Informática para Engenharia Elétrica
-
03/1999 - 05/1999
Ensino, Pós Graduação em Ciência da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Computação Distribuída
-
04/1999 - 04/1999
Extensão universitária , Centro Tecnológico, Departamento de Informática e de Estatística.,Atividade de extensão realizada, Coordenação de Curso de Extensão - Programação Básica em Java - FEESC / UFSC.
-
06/1998 - 12/1998
Ensino, Pós Graduação em Ciência da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Computação Distribuída
-
04/1997 - 08/1998
Pesquisa e desenvolvimento , Centro Tecnológico, Departamento de Informática e de Estatística.
-
03/1995 - 06/1998
Ensino, Engenharia Elétrica, Nível: Graduação,Disciplinas ministradas, Linguagens Formais e Compiladores
-
10/1997 - 12/1997
Ensino, Pós Graduação em Ciência da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Computação Distribuída
-
03/1995 - 06/1997
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Introdução à Ciência da Computação, Linguagens Formais
-
10/1996 - 12/1996
Ensino, Pós Graduação em Ciência da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Verificação em Sistemas Concorrentes com Lógica Temporal
-
03/1996 - 05/1996
Ensino, Pós Graduação em Ciência da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Métodos Formais para Especificação de Sistemas Distribuídos
-
10/1995 - 12/1995
Ensino, Pós Graduação em Ciência da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Métodos Formais para Especificação de Sistemas Distribuídos
-
06/1989 - 08/1989
Extensão universitária , Centro Tecnológico, Departamento de Informática e de Estatística.,Atividade de extensão realizada, Curso de Redes Locais de Computadores (45 H/A ) - Curso de Especilização em Redes de Computadores.
-
03/1987 - 12/1988
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Redes Locais de Computadores
-
03/1978 - 12/1988
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Introdução à Ciência da Computação
-
06/1988 - 08/1988
Extensão universitária , Centro Tecnológico, Departamento de Informática e de Estatística.,Atividade de extensão realizada, Curso de Protocolos de Comunicação - (25 H/A) - Curso de Especialização em Redes de Computadores.
-
03/1988 - 05/1988
Extensão universitária , Centro Tecnológico, Departamento de Informática e de Estatística.,Atividade de extensão realizada, Curso de Redes de Longa Distância - (10H/A) - Curso de Especialização em Redes de Computadores.
-
08/1979 - 12/1986
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Programação em Linguagem Assembler
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de João Bosco Mangueira Sobral 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?