João Bosco Mangueira Sobral

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


É 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. (Texto informado pelo autor)


Identificação


Nome
João Bosco Mangueira Sobral
Nome em citações bibliográficas
SOBRAL, J. B. M.

Endereço


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: http://www.inf.ufsc.br/~bosco


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


1989 - 1996
Doutorado em Engenharia Elétrica.
Universidade Federal do Rio de Janeiro, UFRJ, Brasil.
Título: Uma Linguagem para Especificação de Sistemas Distribuídos em Alto Nível de Abstração, Ano de obtenção: 1996.
Orientador: 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 Terra
Setores de atividade: Educação.
1975 - 1977
Mestrado em Engenharia de Sistemas e Computação.
Universidade Federal do Rio de Janeiro, UFRJ, Brasil.
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.
Orientador: 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 Terra
Setores de atividade: Educação.
1971 - 1973
Graduação em Bacharelado em Matemática.
Universidade Federal do Rio de Janeiro, UFRJ, Brasil.




Formação Complementar


Curso de Curta Duração.
.
1997 - 1997
Reflexão Computacional no Modelo de Objetos. (Carga horária: 4h).
Universidade Estadual de Campinas, UNICAMP, Brasil.
1997 - 1997
Programação em Java. (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
Rumo à Excelência no Ensino e Aprendizado da Engenharia. (Carga horária: 2h).
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
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.


Atuação Profissional



E. B. M. Virgilio Várzea, EVIRVAR, Brasil.
Vínculo institucional

2015 - 2015
Vínculo: , Enquadramento Funcional:


E. B. M. Intendente Aricomedes da Silva, EBIAS, Brasil.
Vínculo institucional

2013 - 2013
Vínculo: , Enquadramento Funcional:


Universidade Federal de Santa Catarina, UFSC, Brasil.
Vínculo institucional

2012 - Atual
Vínculo: , Enquadramento Funcional: Professor Associado IV, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

03/2009 - Atual
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 - Atual
Ensino, Sistemas de Informação, Nível: Graduação

Disciplinas ministradas
INE5630 - Segurança em Computação Distribuída
3/2004 - Atual
Pesquisa e desenvolvimento , Centro Tecnológico, Departamento de Informática e de Estatística.

Linhas de pesquisa
Segurança de Redes
3/1996 - Atual
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Projeto em Ciência da Computação II
8/1995 - Atual
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
9/2005 - 12/2005
Ensino, Ciências da Computação, Nível: Pós-Graduação

Disciplinas ministradas
INE 6406 - Mobilidade em Computação
8/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
8/2005 - 12/2005
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
INE5380 - Tópicos Especiais em Software Básico II
3/2005 - 6/2005
Ensino, Sistemas de Informação, Nível: Graduação

Disciplinas ministradas
INE5626 - Sistemas Cliente / Servidor
INE5630 - Segurança em Computação Distribuída
3/2005 - 6/2005
Ensino, Sistemas de Informação, Nível: Graduação

Disciplinas ministradas
INE5626 - Sistemas Cliente / Servidor
3/2005 - 5/2005
Ensino, Ciências da Computação, Nível: Pós-Graduação

Disciplinas ministradas
INE6504 - Computação Distribuída
9/2004 - 12/2004
Ensino, Ciências da Computação, Nível: Pós-Graduação

Disciplinas ministradas
INE6404 - Mobilidade em Computação
8/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
8/2002 - 12/2004
Ensino, Sistemas de Informação, Nível: Graduação

Disciplinas ministradas
Computação Distribuída
3/2003 - 5/2004
Ensino, Ciências da Computação, Nível: Pós-Graduação

Disciplinas ministradas
INE6504 - Computação Distribuída
3/2003 - 7/2003
Ensino, Sistemas de Informação, Nível: Graduação

Disciplinas ministradas
INE5625 - Computação Distribuída
INE5626 - Sistemas Cliente / Servidor (Web Services)
3/2003 - 5/2003
Ensino, Ciências da Computação, Nível: Pós-Graduação

Disciplinas ministradas
INE6504 - Computação Distribuída
5/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.
7/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.
5/2002 - 9/2002
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Redes Locais de Computadores
4/2002 - 4/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.
8/1997 - 4/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)
3/2001 - 2/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á.
4/2001 - 4/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.
8/1999 - 12/2000
Pesquisa e desenvolvimento , Centro Tecnológico, Departamento de Informática e de Estatística.
4/2000 - 4/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.
6/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
8/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.
8/1997 - 7/1999
Pesquisa e desenvolvimento , Centro Tecnológico, Departamento de Informática e de Estatística.
5/1999 - 6/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.
3/1999 - 6/1999
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Introdução à Informática para Engenharia Elétrica
3/1999 - 5/1999
Ensino, Pós Graduação em Ciência da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Computação Distribuída
4/1999 - 4/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.
6/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
4/1997 - 8/1998
Pesquisa e desenvolvimento , Centro Tecnológico, Departamento de Informática e de Estatística.
3/1995 - 6/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
3/1995 - 6/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
3/1996 - 5/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
6/1989 - 8/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.
3/1987 - 12/1988
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Redes Locais de Computadores
3/1978 - 12/1988
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Introdução à Ciência da Computação
6/1988 - 8/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.
3/1988 - 5/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.
8/1979 - 12/1986
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Programação em Linguagem Assembler


Linhas de pesquisa


1.
Segurança de Redes

Objetivo: Implantar sistema de detecção de intrusão em ambiente de computação em nuvem: baseados em sistema imunológico artificial ou redes neurais. Avaliar seu desempenho com relação a simulação de ataques à nuvem..


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 extensão


2016 - Atual
Computação no Ensino Fundamental
Situação: Em andamento; Natureza: Extensão.
Alunos envolvidos: Graduação: (1) .
Integrantes: João Bosco Mangueira Sobral - Coordenador / Juliana Eyng - Integrante / Rodrigo Fantinatti - Integrante.
2015 - 2015
Computação no Ensino Fundamental - Nível II
Situação: Concluído; Natureza: Extensão.
2015 - 2015
Computação no Ensino Fundamental - Nível I
Situação: Concluído; Natureza: Extensão.
Alunos envolvidos: Graduação: (1) .
Integrantes: João Bosco Mangueira Sobral - Coordenador / Juliana Eyng - Integrante.
2015 - 2015
Computação no Ensino Fundamental - Nível I
Situação: Concluído; Natureza: Extensão.
2014 - 2014
Computação no Ensino Fundamental - Nível 1
Situação: Concluído; Natureza: Extensão.
2013 - 2013
Computação no Ensino Fundamental - Nível I
Situação: Concluído; Natureza: Extensão.
2012 - 2012
Computação no Ensino Fundamental - Nível II
Descrição: Ensino de programação de computador, utilizando a linguagem Java, para alunos do ensino fundamental da Escola Básica Municipal Intendente Aricomedes da Silva, continuando o projeto anterior Computação no Ensino Fundamental de 2011.
Situação: Concluído; Natureza: Extensão.
Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: João Bosco Mangueira Sobral - Coordenador.
2011 - 2012
Integração Social em Comunidade com Deficiência Visual
Descrição: Projeto voltado para os problemas dos deficientes visuais mantidos pela ACIC (Florianópolis), financiado pelo CNPq, para o Laboratório de Software Educacional do Departamento de Informática e Estatística da UFSC..
Situação: Concluído; Natureza: Extensão.
Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: João Bosco Mangueira Sobral - Coordenador / Luiz Fernando Bier Melgarejo - Integrante.
2011 - 2011
Computação no Ensino Fundamental - Nível I
Descrição: Projeto Institucional UFSC-CAPES, Programa Novos Talentos, aplicado para alunos do curso fundamental, pre-adolescentes entre 13 -14 anos, como uma experiência inédita em SC, envolvendo a UFSC. O projeto visou a formação básica e a introdução da ciência da computação, abordando algoritmos, lógica proposicional ensinada de forma lúdica e programação numa linguagem apropriada para ensino de iniciantes..
Situação: Concluído; Natureza: Extensão.
Alunos envolvidos: Graduação: (4) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: João Bosco Mangueira Sobral - Coordenador / Fernando Augusto da Silva Cruz - Integrante / Luiz Fernando Bier Melgarejo - Integrante / Rosângela Kittel - Integrante.


Projetos de desenvolvimento


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


Revisor de periódico


2008 - 2008
Periódico: Revista IEEE América Latina


Áreas de atuação


1.
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.


Idiomas


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


Produções



Produção bibliográfica
Citações

Outras
Total de trabalhos:12
Total de citações:18
João Bosco M. Sobral  Data: 26/04/2016

Artigos completos publicados em periódicos

1.
PEREIRA, A. A.2015PEREIRA, 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.

2.
GUARDALBEN, L.2010 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.

3.
BOUKERCHE, A.2007 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.

4.
Azzedine Boukerche2007Azzedine 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.

5.
BOUKERCHE, A.2004BOUKERCHE, 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.

6.
SILVA, Flavio Arnaldo Braga da2003SILVA, 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.

7.
SILVA, Flavio Arnaldo Braga da2003SILVA, 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.

8.
SOBRAL, J. B. M.1995SOBRAL, 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.

Livros publicados/organizados ou edições
1.
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 .

2.
SOBRAL, J. B. M.. Da Computabilidade Formal às Máquinas Programáveis. 1. ed. Florianópolis: Edição do Aultor, 2015. v. 1. 297p .

3.
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 .

Capítulos de livros publicados
1.
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.

2.
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.

Trabalhos completos publicados em anais de congressos
1.
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.

2.
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.

3.
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.

4.
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.

5.
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.

6.
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.

7.
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.

8.
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.

9.
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.

10.
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.

11.
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.

12.
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.

13.
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.

14.
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.

15.
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.

16.
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.

17.
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.

18.
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.

19.
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.

20.
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.

21.
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.

22.
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.

23.
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.

24.
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.

25.
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.

26.
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.

27.
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.

28.
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.

29.
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.

30.
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.

31.
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.

32.
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.

33.
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.

34.
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.

35.
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.

36.
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.

37.
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.

Resumos expandidos publicados em anais de congressos
1.
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.

2.
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.

3.
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.

4.
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.

5.
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.

Apresentações de Trabalho
1.
SOBRAL, J. B. M.. Do Pensamento Matemático à Ciência da Computação. 2016. (Apresentação de Trabalho/Conferência ou palestra).

2.
SOBRAL, J. B. M.. Do Pensamento Matemático à Ciência da Computação. 2015. (Apresentação de Trabalho/Conferência ou palestra).

3.
KALEMPA, Vivian Cremer ; BARDEMAKER, Urian K. ; SOBRAL, J. B. M. . Especificando Privacidade em Ambientes Ubíquos. 2009. (Apresentação de Trabalho/Comunicação).

4.
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).

5.
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).

6.
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).

Outras produções bibliográficas
1.
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).

2.
BARDEMAKER, Urian ; SOBRAL, J. B. M. . On Self-Protection for Wireless Sensor Networks 2010 (Poster - I2TS 2010).

3.
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).

4.
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).


Produção técnica
Assessoria e consultoria
1.
SOBRAL, J. B. M.. Parecer técnico sobre projeto de desenvolvimento de software - Projeto Softex 2000. 1997.

Programas de computador sem registro
1.
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.

2.
MACHADO, Renato Bobsin ; SOBRAL, J. B. M. . Um Sistema de Detecção de Intrusão baseado em Imunologia Artificial e Agentes Móveis. 2005.

3.
LIMA, Igor Vinicius Mussoi de ; SOBRAL, J. B. M. . Um Sistema de Detecção de Intrusão baseado em Rede Neural. 2005.

4.
CLARO, Daniela Barreiro ; SOBRAL, J. B. M. . Integração de Bancos de Dados com Mobilidade de Código. 2000.

5.
VALDO, C. A. ; SOBRAL, J. B. M. . Integração de e-Commerce e ERP através de Agentes Móveis. 2000.

6.
OLIVEIRA, D. V. ; SOBRAL, J. B. M. . Mobilidade em Gerência de Redes SNMP. 2000.

7.
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.

8.
COUTO, M. M. ; SOBRAL, J. B. M. . Componentes de Software para Programação com Objetos Distribuídos. 1999.

Trabalhos técnicos
1.
SOBRAL, J. B. M.. Supervisor do Laboratório de Pesquisa DMC-NS - Distributed Mobile Computing and Network Security. 2009.

2.
SOBRAL, J. B. M.. Parecer técnico sobre projeto de pesquisa para a FACEP. 2004.


Demais tipos de produção técnica
1.
SOBRAL, J. B. M.. Computação no Ensino Fundamental - Nivel I - Programando com Scratch. 2015. (Curso de curta duração ministrado/Extensão).

2.
SOBRAL, J. B. M.. Computação no Ensino Fundamental - Nível I - Python Básico. 2014. (Curso de curta duração ministrado/Extensão).

3.
BOUKERCHE, A. ; LOUREIRO, A. F. ; SOBRAL, J. B. M. . I2TS 2008 - 7th International Information and Telecommunication Technologies Symposium. 2009. (Cartas, mapas ou similares/Outra).

4.
SOBRAL, J. B. M.; NOTARE, Mirela Sechi Moretti Annoni . I2TS 2009 - 8th International Information and Telecommunication Technologies Symposium. 2009. (Cartas, mapas ou similares/Outra).

5.
SOBRAL, J. B. M.. A Matemática e a Lógica como base para a Ciência da Computação. 2009. (Palestra).

6.
SOBRAL, J. B. M.; HUBINER, J. . Princípios de Criptografia e Segurança Computacional. 2009. (Palestra).

7.
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).

Demais trabalhos
1.
SOBRAL, J. B. M.. Revisor IEEE Latin America. 2004 (Demais trabalhos relevantes) .

2.
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) .



Patentes e registros



Programa de computador
1.
MACHADO, Renato Bobsin ; BODNAR, L. M. . SIA-DI (Sistema Imunológico Artificial para Detecção de Intrusão. 2016.
Patente: Programa de Computador. Número do registro: BR512016000190-9, data de registro: 26/02/2016, título: "SIA-DI (Sistema Imunológico Artificial para Detecção de Intrusão" , Instituição de registro: INPI - Instituto Nacional da Propriedade Industrial.



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
LEE, H. D.; CHUNG, W. F.; MACHADO, Renato Bobsin; SOBRAL, J. B. M.. Participação em banca de Jefferson Tales Oliva. 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á.

2.
WESTPHALL, C. B.; JUNIOR, E.; SOBRAL, J. B. M.; WESTPHALL, C.. Participação em banca de Fábio Grezele. 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.

3.
FROHLICH, Antonio A. M.; SANTOS, A. L.; SOBRAL, J. B. M.. Participação em banca de Leonardo Maccari Rufino. 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.

4.
WESTPHALL, C. M.; SANTIN, A. O.; SOBRAL, J. B. M.; PLENTZ, P. D. M.. Participação em banca de Marcos Auréilo Pedroso Leandro. 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.

5.
WESTPHALL, C. M.; SCHULZE, B. R.; WESTPHALL, C. B.; SOBRAL, J. B. M.. Participação em banca de Guilherme Arthur Gerônimo. 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.

6.
JUNIOR, E.; SOBRAL, J. B. M.; DANTAS, Mário Antônio Ribeiro; WESTPHALL, C. B.. Participação em banca de Alisson Rafael Appio. 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.

7.
DANTAS, Mário Antônio Ribeiro; SOBRAL, J. B. M.. Participação em banca de Tiago Steinmetz Soares. 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.

8.
DANTAS, Mário Antônio Ribeiro; SOBRAL, J. B. M.. Participação em banca de Matheus Anversa Vieira. 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.

9.
CUSTODIO, R. F.; SOBRAL, J. B. M.. Participação em banca de Cristian Thiago Moecke. 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.

10.
WESTPHALL, C. B.; SOBRAL, J. B. M.. Participação em banca de Jorge Werner. 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.

11.
DANTAS, Mário Antônio Ribeiro; SOBRAL, J. B. M.. Participação em banca de Rodrigo Grumiche Silva. 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.

12.
MARTINS, A. T. C.; BUCHSBAUM, A. R. V.; OLIVEIRA, A. G.; SOBRAL, J. B. M.; WESTPHALL, C. B.. Participação em banca de Aracele Garcia de Oliveira. 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.

13.
FRANKE, H. A.; WESTPHALL, C. B.; SOBRAL, J. B. M.; DANTAS, Mário Antônio Ribeiro; SCHULZE, B. R.. Participação em banca de Hans Alberto Franke. 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.

14.
SILVA, A. A. F.; BUCHSBAUM, A. R. V.; SOBRAL, J. B. M.; WESTPHALL, C. B.. Participação em banca de Alvaro Altair Ferreira da Silva. 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.

15.
SILVA, C. C.; EBECKEN, N. F. F.; DANTAS, Mário Antônio Ribeiro; SOBRAL, J. B. M.. Participação em banca de Cristiano Cortez da Rocha. 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.

16.
FERREIRA, D. J.; DANTAS, Mário Antônio Ribeiro; EBECKEN, N. F. F.; SOBRAL, J. B. M.. Participação em banca de Denise Janson Ferreira. 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.

17.
WESTPHALL, C. B.; LEJBMAN, A. G. v.; Koch, F. L.; SOBRAL, J. B. M.. Participação em banca de Shirlei Aparecida de Chaves. 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.

18.
WESTPHALL, C. B.; SOBRAL, J. B. M.. Participação em banca de Eric Douglas Teixeira. 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.

19.
WESTPHALL, C. B.; SOBRAL, J. B. M.. Participação em banca de Douglas de Oliveira Balen. 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.

20.
FROHLICH, Antonio A. M.; SOBRAL, J. B. M.. Participação em banca de Rafael Pereira Pires. 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.

21.
WESTPHALL, C. B.; SOBRAL, J. B. M.. Participação em banca de Leonardo Kunrath. 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.

22.
FROHLICH, Antonio A. M.; SOBRAL, J. B. M.. Participação em banca de Ricardo Reghelin. 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.

23.
WESTPHALL, C. B.; SOBRAL, J. B. M.. Participação em banca de Kleber Magno Maciel Vieira. 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.

24.
WESTPHALL, C. B.; SOBRAL, J. B. M.. Participação em banca de Carlos Oberdan Rolim. 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.

25.
FROHLICH, Antonio A. M.; SOBRAL, J. B. M.. Participação em banca de Frank Juergen Knaesel. 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.

26.
BUCHSBAUM, Arthur R. D. V.; SOBRAL, J. B. M.. Participação em banca de Andressa Sebben. 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.

27.
FROHLICH, Antonio A. M.; SOBRAL, J. B. M.. Participação em banca de Ricardo Reghelin. 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.

28.
WESTPHALL, C. B.; SOBRAL, J. B. M.. Participação em banca de Carlos Oberdan Rolim. 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.

29.
WESTPHALL, C. B.; SOBRAL, J. B. M.. Participação em banca de Kleber Magno Maciel Vieira. 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.

30.
DANTAS, Mário Antônio Ribeiro; SOBRAL, J. B. M.. Participação em banca de Frank Juergen Knaesel. Uma Abordagem para Compartilhamento Consistente de Dados em Ambientes de Computação Móvel sem Fio. 2007.

31.
SOBRAL, J. B. M.. Participação em banca de Ricardo Baveto Shima. 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.

32.
DANTAS, Mário Antônio Ribeiro; SOBRAL, J. B. M.. Participação em banca de Luis Cassiano Goularte Rist. 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.

33.
GAUTHIER, F. Á. O.; SOBRAL, J. B. M.. Participação em banca de Ricardo Flores Zago. 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.

34.
DANTAS, Mário Antônio Ribeiro; SOBRAL, J. B. M.. Participação em banca de José Washington de Medeiros. 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.

35.
MELLO, Ronaldo dos Santos; SOBRAL, J. B. M.. Participação em banca de Claudio Roberto Marquetto Mauricio. 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.

36.
MELLO, Ronaldo dos Santos; SOBRAL, J. B. M.. Participação em banca de Fabiana Frata Furlan Peres. 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.

37.
LOCH, Carlos; SOBRAL, J. B. M.; PHILLIPS, Jürgen Wilhelm; VOLLERTT JUNIOR, João Rosaldo. Participação em banca de Vamilson Prudêncio da Silva Júnior. 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.

38.
WILLRICH, Roberto; SOBRAL, J. B. M.. Participação em banca de Rogerio Maniezi. 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.

39.
COSTA, R. J. C.; SOBRAL, J. B. M.. Participação em banca de Helcio Hermes Hofmann. Um Ambiente Computacional Flutuante. 2003. Dissertação (Mestrado em Pós Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.

40.
MAZZOLA, V. B.; SOBRAL, J. B. M.. Participação em banca de Ismael Luiz Hartmann Cerdeira Gumiel. 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.

41.
BORGES, P. S. S.; SOBRAL, J. B. M.. Participação em banca de Luiz Gustavo Velazquez Osório. 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.

42.
BORGES, P. S. S.; SOBRAL, J. B. M.. Participação em banca de Wilnice Tavares Reis Oliveira. 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.

43.
BITTENCOURT, G.; SOBRAL, J. B. M.. Participação em banca de Tércio de Morais Sampaio Silva. 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.

44.
LABIDI, S.; FUKS, H.; SOBRAL, J. B. M.. Participação em banca de Ana Clenir Freitas da Costa Alves. 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.

45.
BARRETO, J. M.; SOBRAL, J. B. M.. Participação em banca de Raul Domingos Valle Monteiro. 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.

46.
COSTA, R. J. C.; SOBRAL, J. B. M.. Participação em banca de Karin Maria Sohnlein. 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.

47.
SPECIALSKI, E. S.; SOBRAL, J. B. M.. Participação em banca de Jeziel Torres Pereira. 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.

48.
MAZZOLA, V. B.; SOBRAL, J. B. M.. Participação em banca de Gem Luciane Agliardi. 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.

49.
BARRETO, J. M.; SOBRAL, J. B. M.. Participação em banca de Rosane Terezinha Gotardo. 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.

50.
SPECIALSKI, E. S.; SOBRAL, J. B. M.. Participação em banca de Elaine Venson. 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.

51.
COSTA, R. J. C.; SOBRAL, J. B. M.. Participação em banca de Clarice Knihs de Camargo. 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.

52.
ALVES, João Bosco da Mota; SOBRAL, J. B. M.. Participação em banca de Ubirajara Maia de Oliveira. 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.

53.
COSTA, R. J. C.; SOBRAL, J. B. M.. Participação em banca de Carlos Marques. 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.

54.
COSTA, R. J. C.; SOBRAL, J. B. M.. Participação em banca de Dorival Magro Junior. 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.

55.
MAZZOLA, V. B.; SOBRAL, J. B. M.. Participação em banca de Alexandre Takahashi Albert. 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.

56.
RISO, B. G.; SOBRAL, J. B. M.. Participação em banca de Fabio Ediardo Vieira Angelo. 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.

57.
WILLRICH, Roberto; MAZZOLA, V. B.; SOBRAL, J. B. M.. Participação em banca de Eugenio Simão. 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.

58.
MAZZOLA, V. B.; COSTA, R. J. C.; SOBRAL, J. B. M.. Participação em banca de Rosangela Aguiar Adam. Rosângela Aguiar Adam. 2002. Dissertação (Mestrado em Pós Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.

59.
MAZZOLA, V. B.; SOBRAL, J. B. M.; WILLRICH, Roberto. Participação em banca de Uma Arquitetura de Redes Virtuais sobre a Estrutura da Unive. Marcos Eduardo Muniz Godinho. 2002. Dissertação (Mestrado em Pós Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.

60.
COSTA, R. J. C.; SOBRAL, J. B. M.. Participação em banca de Odlagenir Lourenço Damaceno. 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.

61.
WANGENHEIN, A.; SOBRAL, J. B. M.. Participação em banca de Paulo Roberto Dellani. 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.

62.
WILLRICH, Roberto; SOBRAL, J. B. M.. Participação em banca de Patricia Lima Seixas Vieira de Melo. 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.

63.
ZANACANELA, L. C.; SOBRAL, J. B. M.. Participação em banca de José Rodrigo Balzan. 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.

64.
WANGENHEIN, A.; SOBRAL, J. B. M.. Participação em banca de Lidiane Pereira dos Reis. 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.

65.
BARRETO, J. M.; SOBRAL, J. B. M.; LIMA, W. C.; ROISEMBERG, M.. Participação em banca de Aldo Antonio Vieira da Silva. 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.

66.
WILLRICH, Roberto; SOBRAL, J. B. M.. Participação em banca de Leonardo dos Santos Pereira. 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.

67.
ALVES, João Bosco da Mota; SOBRAL, J. B. M.. Participação em banca de Gentil Veloso Barbosa. 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.

68.
LABIDI, S.; FUKS, H.; SOBRAL, J. B. M.. Participação em banca de Ana Clenir Freitas da Costa Alves. 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.

69.
WANGENHEIN, A.; SOBRAL, J. B. M.. Participação em banca de Nelson Abu Samra Rahal Junior. 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.

70.
NASSAR, S. M.; SOBRAL, J. B. M.. Participação em banca de Cleverson Alessandro Veronez. 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.

71.
WESTPHALL, C. B.; SOBRAL, J. B. M.. Participação em banca de N'Guessan Désiré. 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.

72.
WANGENHEIN, A.; SOBRAL, J. B. M.. Participação em banca de Euclides de Moraes Barros Junior. 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.

73.
WESTPHALL, C. B.; SOBRAL, J. B. M.. Participação em banca de Hugo André Klauck. 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.

74.
WESTPHALL, C. B.; SOBRAL, J. B. M.. Participação em banca de Maurilio Alves Martins da Costa. 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.

75.
WILLRICH, Roberto; SOBRAL, J. B. M.. Participação em banca de Dayna Maria Bortoluzzi. 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.

76.
COSTA, R. J. C.; SOBRAL, J. B. M.. Participação em banca de Alessandra Monteiro de Castro Porto. 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.

77.
WESTPHALL, C. B.; SOBRAL, J. B. M.. Participação em banca de Alexandre Veloso de Matos. 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.

78.
WESTPHALL, C. B.; SOBRAL, J. B. M.. Participação em banca de Tais Freire da Silva Costa. 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.

79.
WESTPHALL, C. B.; SOBRAL, J. B. M.. Participação em banca de Ketter Ohnes Rogerio. 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.

80.
COSTA, R. J. C.; SOBRAL, J. B. M.. Participação em banca de Ceferino Castro Castro. 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.

81.
WESTPHALL, C. B.; SOBRAL, J. B. M.. Participação em banca de Maria Lauro Schneider. 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.

82.
WESTPHALL, C. B.; SOBRAL, J. B. M.. Participação em banca de Jussara Maria Bozzano. 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.

83.
WESTPHALL, C. B.; SOBRAL, J. B. M.. Participação em banca de André Mello Barotto. 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.

84.
RISO, B. G.; SOBRAL, J. B. M.. Participação em banca de Cristiano Maciel. 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.

85.
WESTPHALL, C. B.; SOBRAL, J. B. M.. Participação em banca de Luiz Fernando Kormann. 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.

Teses de doutorado
1.
DANTAS, Mário Antônio Ribeiro; GAUTHIER, F. Á. O.; SOBRAL, J. B. M.; FIALHO, F. A. P.; HIRATA, C. M.; YAMIN, A. C.. Participação em banca de João Carlos Damasceno Lima. 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.

2.
RABELO, R. J.; ADAMATI, D. F.; FORTES, R. P. M.; HUBNER, J. F.; SOBRAL, J. B. M.. Participação em banca de Saulo Popov Zambiasi. 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.

3.
RABELO, R. J.; SOBRAL, J. B. M.. Participação em banca de Saulo Popov Zambiasi. 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.

4.
RABELO, R. J.; SOBRAL, J. B. M.. Participação em banca de Alexandre Perin de Souza. 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.

5.
SOUZA JUNIOR, A. S.; SZEJNFELD, J.; NOGUEIRA, R. G.; CARVALHO, A. C. C.; SOBRAL, J. B. M.. Participação em banca de Euclides de Moraes Barros Junior. 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.

6.
PHILIPS, J. W.; Meirelles, M. S.; Sluster, C. R.; Hochhein, N.; SOBRAL, J. B. M.; Figueiredo, L. F.; Bastos, L. C.. Participação em banca de Nelson Marisco. 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.

7.
SOBRAL, J. B. M.; BITTENCOURT, G.; ÁLVAREZ, L. O.; STEMMER, M. R.; BARRETO, J. M.; HEUSER, C. A.. Participação em banca de Frederico Luiz Gonçalves de Freitas. 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.

8.
GAUTHIER, F. Á. O.; SOBRAL, J. B. M.. Participação em banca de Fabiane Barreto Vavassori. 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.

9.
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.. Participação em banca de Mirela Sechi Moretti Annoni Notare. 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.

10.
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. Participação em banca de Mirela Sechi Moretti Annoni Notari. 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.

Qualificações de Doutorado
1.
DANTAS, Mário Antônio Ribeiro; FIALHO, F. A. P.; TODESCO, J. L.; HIRATA, C. M.; SOBRAL, J. B. M.. Participação em banca de João Carlos Damasceno Lima. 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.

2.
RABELO, R. J.; SOBRAL, J. B. M.. Participação em banca de Saulo Popov Zambiasi. 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.

3.
BARRETO, J. M.; SOBRAL, J. B. M.. Participação em banca de Eliane Pozzebon. 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.

4.
SOBRAL, J. B. M.; PHILIPS, J. W.; Hochhein, N.; Figueiredo, L. F.. Participação em banca de Nelson Marisco. 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.

5.
SOBRAL, J. B. M.; GAUTHIER, F. Á. O.; PACHECO, R. C. S.; ROCHA, A. M.. Participação em banca de Fabiane Barreto Vavassori. 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.

6.
SOBRAL, J. B. M.; BITTENCOURT, G.; ÁLVAREZ, L. O.; STEMMER, M. R.; MAZZOLA, V. B.. Participação em banca de Frederico Luiz Gonçalves de Freitas. 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.

7.
SOBRAL, J. B. M.; WESTPHALL, C. B.; ALVES, João Bosco da Mota; RISO, B. G.; BARRETO, J. M.; MARTINS, J. S. B.. Participação em banca de Mirela Sechi Moretti Annoni Notare. 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.

Trabalhos de conclusão de curso de graduação
1.
SOBRAL, J. B. M.. Participação em banca de Ediardo Machado Carboni.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.

2.
PEREIRA, A. A.; SIQUEIRA, Frank Augusto; CRUZ, F. A. S.; SOBRAL, J. B. M.. Participação em banca de André Albino Pereira.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.

3.
SOBRAL, J. B. M.. Participação em banca de Bruno Henrique Ferronato.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.

4.
SOBRAL, J. B. M.. Participação em banca de Julio Cesar Jorge.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.

5.
SOBRAL, J. B. M.. Participação em banca de Karla Maria Garcia.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.

6.
SOBRAL, J. B. M.. Participação em banca de Felipe Machado Rovaris.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.

7.
SOBRAL, J. B. M.. Participação em banca de Nahun Carvalho Musse.Sistema Polvo v3. 2006. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.

8.
SOBRAL, J. B. M.. Participação em banca de Roberth de Souza Belter.LRSB Firewalls. 2006. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.

9.
SOBRAL, J. B. M.. Participação em banca de Daniel Franscisco Ribeiro.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.

10.
SOBRAL, J. B. M.. Participação em banca de Rodrigo Cavalcante Garcia.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.

11.
SIQUEIRA, Frank Augusto; SOBRAL, J. B. M.; SILVA, Ricardo Pereira e. Participação em banca de Alice Alves Corrêa.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.

12.
SOBRAL, J. B. M.; KOMOSINSKI, Leandro José. Participação em banca de Fabio de Paula Vieira.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.

13.
SOBRAL, J. B. M.; MELLO, Ronaldo dos Santos. Participação em banca de Daniel Terzella Cardoso.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.

14.
SOBRAL, J. B. M.; REIS, Júlio A. de A.. Participação em banca de Gedson Lanzarin.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.

15.
SOBRAL, J. B. M.; DANTAS, Mário Antônio Ribeiro. Participação em banca de Cláudio Ulisses Nunes Biava.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.

16.
SOBRAL, J. B. M.; MAZZUCCO JR., José. Participação em banca de Cristiano Roberto Maciel.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.

17.
SOBRAL, J. B. M.; DANTAS, Mário Antônio Ribeiro; COSTA, Marcelo Thiry Comicholli da. Participação em banca de Alysson Marques.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.

18.
SOBRAL, J. B. M.; KOMOSINSKI, Leandro José. Participação em banca de Diogo Fernando Veiga.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.

19.
SOBRAL, J. B. M.; LUCCA, José Eduardo de. Participação em banca de Deyse Aparecida Ferreira.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.

20.
SOBRAL, J. B. M.; MAZZUCCO JR., José. Participação em banca de Bruno da Silva Oliveira.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.

21.
SOBRAL, J. B. M.; MELLO, Ronaldo dos Santos. Participação em banca de Renata Espíndola Martins.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.

22.
SOBRAL, J. B. M.; REIS, Lidiane Pereira dos; SEHN, Michel. Participação em banca de Tiago Silva Proença.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.

23.
SOBRAL, J. B. M.; ALVES, João Bosco da Mota. Participação em banca de João Pedro de Carvalho Rocha Dias.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.



Participação em bancas de comissões julgadoras
Concurso público
1.
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.

2.
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.

3.
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.

4.
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.

5.
RABUSKE, R. A.; MAIA, L. F. J.; SOBRAL, J. B. M.. Edital 013/DP/82 - Professor Assistente. 1982. Universidade Federal de Santa Catarina.

Outras participações
1.
CAMARGO, C. Celso de B.; SOBRAL, J. B. M.. Comissão de Processo Administrativo Disciplinar. 2008. Universidade Federal de Santa Catarina.

2.
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.

3.
SOBRAL, J. B. M.; OLIVEIRA, C. A.; VILAIN, P.. Comissão Examinadora - Prof. Substituto. 1996. Universidade Federal de Santa Catarina.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
9th International Information and Telecommunication Technologies Symposium (I2TS).Workshop em Detecção e Defesa contra Ataques em Redes. 2010. (Simpósio).

2.
8th International Information and Telecommunication Technologies Symposium (I2TS).Organização completa do evento. 2009. (Simpósio).

3.
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).

4.
7th International Information and Telecommunication Technologies Symposium (I2TS).Abertura do evento. 2008. (Simpósio).

5.
6th International Information and Telecommunication Technologies Symposium (I2TS).Organização do evento (programação, avaliação de trabalhos, controle financeiro). 2007. (Simpósio).

6.
5th Intenational Information and Telecommunication Technolgies Symposium.organização completa do simpósio. 2006. (Simpósio).

7.
5th International Information and Telecommunication Technologies Symposium (I2TS).Organização do evento (programação, edição, avaliação de trabalhos). 2006. (Simpósio).

8.
4th International Information and Telecommunication Technologies Symposium (I2TS).organização local do evento na UFSC. 2005. (Simpósio).

9.
7th International Conference on Enterprise Information Systems. Program Committee. 2005. (Congresso).

10.
Simpósio de Segurança da Informação.Comitê de Programa. 2005. (Simpósio).

11.
6th International Conference on Enterprise Systems. Program Committee. 2004. (Congresso).

12.
International Information Technogy and Telecommunication Syposium.Program Committee. 2004. (Simpósio).

13.
Simpósio de Segurança da Informação.Comitê de Programa. 2004. (Simpósio).

14.
2th International Information and Telecommunication Technologies Symposium (I2TS).Participação em Comite de Programa - I2TS. 2003. (Simpósio).

15.
International Conference on Enterprise Systems.Participação em Comite de Programa - ICEIS. 2003. (Outra).

16.
Simpósio em Segurança da Informação.Participação em Comite de Programa - SSI. 2003. (Simpósio).

17.
WWS - Workshop em Serviços Web.Organizador do I WWS - Workshop em Serviços Web. 2003. (Oficina).

18.
International Conference on Enterprise Systems. Participação em Comité de Programa, ICEIS. 2002. (Congresso).

19.
International Information and Telecommunication Technologies Symposium. 2002. (Simpósio).

20.
MASCOTS 2002 - International Workshop on Distributed Computing and Agent Technologies.Organizador como Workshop, Chair, Workshop on Distributed Computing and Agent Technologies. 2002. (Oficina).

21.
Simpósio de Segurança em Informática.Participação em Comité de Programa, SSI. 2002. (Simpósio).

22.
CBComp'2001. Participação em Comitê de Programa, CBComp. 2001. (Congresso).

23.
Objetos Distribuidos. 2001. (Simpósio).

24.
Simpósio Brasileiro de Engenharia de Software e Banco de Dados. 2001. (Simpósio).

25.
Simpósio de Segurança em Informática.Participação em Comité de Programa do SSI. 2001. (Simpósio).

26.
Simpósio de Seguraça em Informática.Participação em Comité de Programa do SSI. 2000. (Simpósio).

27.
Simpósio de Segurança em Informática.Participação em Comité de Programa, SSI. 1999. (Simpósio).

28.
Objetos Distribuidos. 1998. (Simpósio).

29.
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).

30.
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).

31.
Simpósio Brasileiro de Redes de Computatores da SBC.Esepcificação de Protocolos usando CSP. 1981. (Simpósio).


Organização de eventos, congressos, exposições e feiras
1.
SALES, R. M. ; SOBRAL, J. B. M. . 9th International Information and Telecommunication Symposium. 2010. (Outro).

2.
LOUREIRO, A. F. ; BOUKERCHE, A. ; NOTARE, Mirela Sechi Moretti Annoni ; SOBRAL, J. B. M. . 8th International Information and Telecommunication Technologies Symposium. 2009. (Outro).

3.
BOUKERCHE, A. ; SOBRAL, J. B. M. ; MACHADO, Renato Bobsin ; SOTUYO, J. C. . 7th International Informnation and Telecommunication Technologies Symposium. 2008. (Outro).

4.
SOBRAL, J. B. M.; BOUKERCHE, A. ; NOTARE, Mirela Sechi Moretti Annoni . 6th International Information and Telecommunication Technologies Symposium. 2007. (Outro).

5.
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).

6.
SOBRAL, J. B. M.; NOTARE, Mirela Sechi Moretti Annoni ; ARAUJO, Borges Regina . 4th International Information and Telecommunication Tecnologies Symposium. 2005. (Outro).

7.
SOBRAL, J. B. M.. Workshop de Web Services. 2003. (Outro).

8.
SOBRAL, J. B. M.; BOUKERCHE, A. . Workshop in Distributed Computing and Agent Technologies. 2002. (Outro).

9.
WESTPHALL, C. B. ; NOTARE, Mirela Sechi Moretti Annoni ; Korman ; SOBRAL, J. B. M. . LANOMS - Latin America Network Operations Management Symposium. 1999. (Outro).



Orientações



Orientações e supervisões concluídas
Dissertação de mestrado
1.
André Albino Pereira. 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.

2.
Urian kramer Bardemaker. 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.

3.
Lucas Guardalben. 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.

4.
Vivian Cremer Kalempa. 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.

5.
Joelson de Alencar Degaspari. 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.

6.
André Zimmermann. 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.

7.
Clytia Higa Tamashiro. 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.

8.
Renato Bobsin Machado. 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.

9.
Igor Vinicius Mussoi de Lima. 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.

10.
Carla Adriana Barvinski Zanchett. 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.

11.
Rodrigo Campiolo. 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.

12.
André Duarte Veras. 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.

13.
Ana Ruth Viana da Silva. 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.

14.
Élida Furtado da Silva Andrade. 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.

15.
Rafael Meurer. 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.

16.
Reginaldo Hugo Szezupior dos Santos. 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.

17.
Robert Luiz Rossato. 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.

18.
Ibraim de Souza Rezende. 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.

19.
Rodrigo Martins Pagliares. 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.

20.
Sandro Luiz Silva. 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.

21.
Marcelo Costa Campos. 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.

22.
João Paulo Delgado Preti. 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.

23.
Maximillian Mayolino Leão. 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.

24.
André Weismann. 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.

25.
Fernando Marcos B Moreira de Castilho. 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.

26.
Julio César Costa Ribas. 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.

27.
Alexandre dos Santos Pacheco. 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.

28.
Edmilson José Molinari. 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.

29.
José Renato Campos Borges. 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.

30.
Rodrigo Bianco. 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.

31.
João Bosco de Barros Freitas. 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.

32.
Tatiana Custodio. 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.

33.
Rodrigo Martins Pagliares. 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.

34.
Mauro Nakamura Filho. 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.

35.
Bruno Bandeira De Lamonica Freire. 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.

36.
Eduardo Augusto Oliveira Lobo. 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.

37.
Carlos Alberto Zorzo. 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.

38.
Kathia Regina Lemos Jucá. 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.

39.
Clayton Bonelli. 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.

40.
Daniela Barreiro Claro. 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.

41.
Clayton Augusto Valdo. 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.

42.
Daniela Vanassi de Oliveira. 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.

43.
Edjandir Corrêa Costa. 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.

44.
Marcelo José Ferrari. 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.

45.
Ivonei Freitas da Silva. 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.

46.
Paulo Roberto Riccioni Gonçalves. 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.

47.
Vera Lúcia Lorenset. 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.

Monografia de conclusão de curso de aperfeiçoamento/especialização
1.
Arnaldo Braum. 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.

2.
Eduardo Minatto e Sergio Luiz Pereira. 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.

3.
Moacir Antonio Marafon. 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.

4.
Mauro Ligocki Vieira. 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.

5.
José Paulo Monguilhott. 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.

Trabalho de conclusão de curso de graduação
1.
Mauricio Branco Biazus. 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.

2.
Augusto Pacheco Santos de Souza. 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.

3.
João Maiamaral Fiumari. 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.

4.
Murilo Zilli Gomes de Carvalho. 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.

5.
Rafael de Moraes Costa. 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.

6.
Luis Felipe Nunes. 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.

7.
Lucas Marcus Bodnar. 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.

8.
Tiago Pereira Carneiro. 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.

9.
Ramon Thiago de Campos Facchin. 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.

10.
Guilherme Cassol Espindola. 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.

11.
Diogo Vieira Cardoso. 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.

12.
Dalton Heidmann. 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.

13.
Daniel Salvi Wunderlich. 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.

14.
Rômulo Radowitz. 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.

15.
Bruno de Medeiros Ledesma. 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.

16.
Paulo Alberto M. 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.

17.
Anselmo Boteon. 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.

18.
Douglas Schroeder e Fernando Marçal Senra. 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.

19.
Felipe Simas Silva. 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.

20.
Carlos Alberto Furtado. 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.

21.
Luiz Henrique Wigges Kato. 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.

22.
João Bosco Andrade Pereira Filho. 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.

23.
Gilberto Renaldo Laureano / Victor Otávio Peter Keunecke. 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.

24.
Daniel Costa Smolenaars / Fabíola Pavan Costa. 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.

25.
Kleyton Weber da Silva / Sérgio Ferreira de Mendonça. 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.

26.
Michel Pires de Araújo. 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.

27.
Fabio Schmitz Tani. 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.

28.
Fernando Laudares Camargos / Denis Nazareno Hauffe. 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.

29.
Rodolpho Brock. 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.

30.
John Cleber Jaraceski. 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.

31.
Gian Carlo Salvati. 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.

32.
Diogo Ruviaro Viegas. 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.

33.
Marcos de Oliveira Santos. 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.

34.
Lauro Silveira Neto / Álvaro Millen da Silveira Neto. 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.

35.
Daniella Pinto Vieira. 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.

36.
Aleksander Knabben Becker. 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.

37.
Ana Ruth Viana da Silva. 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.

38.
André Antunes Meurer e Frederico Andrade. 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.

39.
Graziela Wangenfuhr Tridapalli. 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.

40.
Marlos Moreira Couto. 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.

41.
André Peron. 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.

42.
Cristiano Fabel Milioli. 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.

43.
Tatiana Custódio. 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.

44.
Alessandro Jackson de Oliveira. 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.

45.
Sergio Scherer. 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.

46.
Iara Queiroz Gonçalves e Rubens Lacerda de Queiroz. 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.

47.
João Maria Lima. 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.

48.
José Mendes Damian. 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.

Iniciação científica
1.
José Renato Campos Borges. 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.

2.
Tatiana Custódio. 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.

3.
Graziela Wangenfuhr Tridapalli. 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.



Inovação



Programa de computador registrado
1.
MACHADO, Renato Bobsin ; BODNAR, L. M. . SIA-DI (Sistema Imunológico Artificial para Detecção de Intrusão. 2016.
Patente: Programa de Computador. Número do registro: BR512016000190-9, data de registro: 26/02/2016, título: "SIA-DI (Sistema Imunológico Artificial para Detecção de Intrusão" , Instituição de registro: INPI - Instituto Nacional da Propriedade Industrial.


Projetos de pesquisa


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



Livros e capítulos
1.
SOBRAL, J. B. M.. Da Computabilidade Formal às Máquinas Programáveis. 1. ed. Florianópolis: Edição do Aultor, 2015. v. 1. 297p .

2.
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 .

3.
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 .


Cursos de curta duração ministrados
1.
SOBRAL, J. B. M.. Computação no Ensino Fundamental - Nivel I - Programando com Scratch. 2015. (Curso de curta duração ministrado/Extensão).




Página gerada pelo Sistema Currículo Lattes em 14/12/2018 às 11:24:26