João Batista Camargo Junior

Possui mestrado em Engenharia Elétrica pela Universidade de São Paulo (1989) e doutorado em Engenharia Elétrica pela Universidade de São Paulo (1996). Em 2002 realizou sua Livre Docência em Análise de Risco de Sistemas Computacionais de Aplicação Crítica passando a ser Professor Associado da Universidade de São Paulo. Atualmente é editor chefe do "Journal of the Brazilian Air Transportation Research Society" e foi vice presidente da Sociedade Brasileira de Pesquisa em Transporte Aéreo - SBTA entre 2004 e 2006. Tem experiência na área de Engenharia Elétrica, com ênfase em Confiabilidade e Segurança de Sistemas Computacionais,atuando principalmente no seguintes temas: análise de risco, confiabilidade, disponibilidade, segurança ("safety"), tolerância a falhas e certificação de sistemas críticos.

Informações coletadas do Lattes em 20/10/2019

Acadêmico

Seção coletada automaticamente pelo Escavador

Formação acadêmica

Doutorado em Engenharia Elétrica

1991 - 1996

Universidade de São Paulo
Título: Estudo da Segurança em Sistemas de Controle Metro-Ferroviários
Benício José de Souza. Palavras-chave: segurança; confiabilidade.Grande área: EngenhariasGrande Área: Engenharias / Área: Engenharia Elétrica / Subárea: Eletrônica Industrial, Sistemas e Controles Eletrônicos / Especialidade: Automação Eletrônica de Processos Elétricos e Industriais. Setores de atividade: Industria Eletro-Eletrônica; Informática; Logística de Transporte, Armazenagem e Comunicações.

Mestrado em Engenharia Elétrica

1984 - 1989

Universidade de São Paulo
Título: Aspectos do Processamento de Interfaces em Linguagem Natural,Ano de Obtenção: 1989
Orientador: João José neto
Palavras-chave: Linguagem Natural; Inteligência Artificial; Formalismos Computacionais.Grande área: EngenhariasSetores de atividade: Informática.

Seção coletada automaticamente pelo Escavador

Idiomas

Inglês

Compreende Razoavelmente, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.

Alemão

Compreende Pouco, Fala Pouco, Lê Pouco, Escreve Pouco.

Seção coletada automaticamente pelo Escavador

Áreas de atuação

    Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Eletrônica Industrial, Sistemas e Controles Eletrônicos/Especialidade: Confiabilidade e Segurança de Sistemas Computacionais.

    Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Engenharia de Software/Especialidade: Confiabilidade e Segurança de Sistemas de Software.

    Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Eletrônica Industrial, Sistemas e Controles Eletrônicos/Especialidade: Disponibilidade de Sistemas Computacionais.

    Grande área: Engenharias / Área: Engenharia de Transportes / Subárea: Segurança de Sistemas Embarcados Críticos.

Seção coletada automaticamente pelo Escavador

Organização de eventos

CAMARGO JOÃO B. . XVII SITRAER Simpósio de Pesquisa em Transporte Aéreo. 2018. (Congresso).

CAMARGO JÚNIOR, J. B. . XIII Simpósio em Transporte Aéreo. 2014. (Congresso).

CAMARGO JÚNIOR, J. B. . 1a. Conferência Brasileira em Sistemas Embarcados Críticos CBSEC 2011. 2011. (Congresso).

CAMARGO JÚNIOR, J. B. . VIII Simpósio de Transporte Aéreo e II Congresso da Red Ibero Americana de Investigación em Transporte Aéreo. 2009. (Congresso).

CAMARGO JÚNIOR, J. B. . IV SITRAER - Simpósio de Pesquisa em Transporte éreo. 2005. (Congresso).

CAMARGO JÚNIOR, J. B. . LADC 2003 - First Latin Amercian Symposium on Dependable Computing. 2003. (Congresso).

Seção coletada automaticamente pelo Escavador

Participação em eventos

BIN@SP.Action Tank 12 - Innovation on Transportation - Innovation on High Speed Railways - Safety Challenges. 2016. (Encontro).

IT-SA Brasil. Ataques e Simulações em Infraestrutura Crítica. 2016. (Congresso).

XV SITRAER Simpósio de Pesquisa em Transporte Aéreo.Air Traffic Control Challenges. 2016. (Simpósio).

Airport EXPO 2014. Workshop de Controle de Tráfego Aéreo. 2014. (Exposição).

XIV Workshop de Graduação do Departamento de Engenharia de Computação e Sistemas Digitais da EPUSP.Debates sobre a EC 3 do PCS. 2014. (Encontro).

DEFESA CIBERNÉTICA e MONITORAMENTO DE FRONTEIRAS.DEFESA CIBERNÉTICA e MONITORAMENTO DE FRONTEIRAS. 2013. (Outra).

SIRIUS BRASIL - Impulsionando o Desenvolvimento do ATM Nacional.SIRIUS BRASIL - Impulsionando o Desenvolvimento do ATM Nacional. 2013. (Seminário).

Workshop de Regulamentação de Sistemas de Aeronaves Remotamente Pilotadas - RPASS.Workshop de regulamentação de Sistemas de Aeronaves Remotamente Pilotadas - RPAS. 2013. (Outra).

17a Semana de Tecnologia Metroferroviária. Estudo de Detecção pelo Trem de trilho Partido em Tempo Real através da Corrente de Tração para Sistemas Metroviários. 2011. (Congresso).

Workshop de Pesquisa, Pós-graduação e Extensão do PCS.Debates sobre o Tema pós-Graduação. 2011. (Encontro).

Projeto de Fibra Ótica para EMTU - Empresa Metropolitana de Transportes Urbanos.Mesa Redonda - Avaliação do Projeto Fibra Ótica. 2010. (Encontro).

ESREL 2009 European Safety and Reliability Conference. Proceding of European Safety and Reliability Conference. 2009. (Congresso).

IX Curso Internacional de Treinamentos em Sistemas de Trens Urbanos.Análise de Segurança de Sistemas Metroferroviários. 2009. (Outra).

ExpoGPS 2008 ? Feira e Congresso Latino Americano de Localização e Rastreamento.Análise de Segurança e Confiabilidade de Sistemas Críticos. 2008. (Outra).

Painel sobre Regulamentação de VANT. 2008. (Outra).

III SafetyWorkshop - MetroFerroviário.III Safety Workshop - MetroFerroviário. 2006. (Encontro).

IV Simpósio de Transporte Aéreo.IV Simpósio de Transporte Aéreo - Coordenador Geral. 2005. (Simpósio).

First Latin American Symposium on Dependable Computing - LADC 2003.General Chair - LADC 2003 - First Latin American Symposium od Dependable Computing. 2003. (Simpósio).

Seção coletada automaticamente pelo Escavador

Participação em bancas

Aluno: Wesley José Nogueira Medeiros

CAMARGO JOÃO B.; BARRETO, A. B.; FILGUEIRAS, L. V. L.. Modelo para determinação de resiliência em sistemas de transportes: uma aplicação no sistema de tráfego aéreo. 2018. Dissertação (Mestrado em Engenharia de Sistemas Logísticos) - Universidade de São Paulo.

Aluno: Yuri Maximilian Rottner Dirickson

CAMARGO JÚNIOR, J. B.; MARTINS, M. R.; BARRETO, A. B.. Metodologia de análise de impacto em segurança crítica da automação das tarefas do controlador de tráfego aéreo da torre de controle de aeródromo. 2016. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo.

Aluno: Thiago Toshio Matsumoto

CAMARGO JÚNIOR, J. B.; COZMAN, F. G.; BRANCO, K. R. L. J. C.. Modelagem e simulação de veículo aéreo não tripulado autônomo para avaliação de risco de colisão com outras aeronaves. 2016. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo.

Aluno: Daniel Braldi Sesso

CAMARGO JÚNIOR, J. B.; SIQUEIRA, F. L.;OLIVEIRA, Í. R.. Avaliação de segurança em sistemas de controle de tráfego aéreo baseados em vigilância dependente automática por radiodifusão considerando parâmetros de integridade de dados. 2016. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo.

Aluno: Jair Diaz Barbosa

SANTOS, R. C.CAMARGO JÚNIOR, J. B.; ASANO, P. T. L.. Metodologia para a Determinação dos Índices de Confiabilidade em Subestações de Energia com Ênfase nos Impactos Sociais de uma Falha. 2015. Dissertação (Mestrado em Energia) - Universidade Federal do ABC.

Aluno: Yang Liu

WEIGANG, L.;CAMARGO JÚNIOR, J. B.; DOREA, C. C.. Sistema de recomendação dos amigos na rede social online baseado em máquinas de vetores suporte. 2014. Dissertação (Mestrado em Ciência da Computação) - Universidade de Brasília.

Aluno: Antonio Vieira da Silva Neto

CUGNASCA, Paulo SérgioCAMARGO JÚNIOR, J. B.; MATSUYAMA, F.. Modelo de predição de falhas baseado em processos estocásticos e filtragem Kalman para suporte à manutenção preditiva de sistemas elétricos, eletrônicos e programáveis. 2014. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo.

Aluno: Francisco de Assis Basilio de Moraes

MARTINS, M. R.; DROGUET, E. A. L.;CAMARGO JÚNIOR, J. B.. Aplicação de redes Bayesianas na análise de risco do processo de descarga do navio-tanque em um terminal portuário especializado. 2014. Dissertação (Mestrado em Engenharia Naval e Oceânica) - Universidade de São Paulo.

Aluno: Leonardo Luiz Barbosa Vieira Cruciol

WEIGANG, L.;CAMARGO JÚNIOR, J. B.; Melo, Alba C. M. A. de. Modelagem de Apoio a Decisão para o Problema de Espera no Ar Utilizando Sistemas Multiagentes e Aprendizagem por Reforço. 2012. Dissertação (Mestrado em Ciência da Computação) - Universidade de Brasília.

Aluno: João Henrique Brogna

LINO de Campos, E. G.;CAMARGO JÚNIOR, J. B.CUGNASCA, P. S.. Disco de estado sólido e disco rígido: Análise comparativa dos desempenhos em sistemas de banco de dados. 2012. Dissertação (Mestrado em Engenharia de Computação) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo.

Aluno: Fernando Tarlá Cardoso Lemos

SATO, L. M.CAMARGO JÚNIOR, J. B.; LEJBMAN, A. G. V.. Uma Arquitetura Otimizada para a Detecção de Falhas em Grades Computacionais. 2012. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo.

Aluno: Rodrigo Pastl Pontes

Saotome; Villani; Ambrósio; OLIVEIRA, J. M. P.;CAMARGO JÚNIOR, J. B.. Análise Comparativa de Duas Técnicas de Verificação Aplicadas a Software Embarcado ESpacial. 2011. Dissertação (Mestrado em Engenharia Aeronâutica e Mecânica) - Instituto Tecnológico de Aeronáutica.

Aluno: Nelson Barbosa Júnior

HIRAMA, K.;MELNIKOFF, S. S. S.CAMARGO JÚNIOR, J. B.. Avaliação da manutenibilidade de software através das métricas de C&K. 2011. Dissertação (Mestrado em Engenharia de Computação) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo.

Aluno: Alex Ander Javarotti Zumalde

CAMARGO JÚNIOR, J. B.CUGNASCA, P. S.; Eliane Martins. Avaliação comparativa entre técnicas de programação defensiva aplicadas a um sistema crítico simulado. 2011. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo.

Aluno: Fernando de Oliveira Gil

CAMARGO JÚNIOR, J. B.; MUNIZ, P. S.; Marcus Vinicius Pereira Pessôa. Metodologia de avaliação de segurança das comunicações entre controlador e piloto via enlace de dados (CPDLC) aplicada em áreas terminais. 2011. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo.

Aluno: Aline Cristine Fadel

Oliveira M.;CAMARGO JÚNIOR, J. B.; Ambrósio. Técnicas de Testes Aplicadas a Software Embarcado em Redes Ópticas. 2011. Dissertação (Mestrado em TECNOLOGIA) - Universidade Estadual de Campinas.

Aluno: Marcos Tork Souza

Carvalho, Tereza Cristina Melo de Brito;CAMARGO JÚNIOR, J. B.; Venturi, Y. R.. Controle de acesso para sistemas distribuídos. 2010. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo.

Aluno: Crisitiane Paschoali de Oliveira

CUGNASCA, P. S.CAMARGO JÚNIOR, J. B.Trindadade Jr., Onofre. Análise dos Modelos para Cálculo de Níveis de Segurança Relacionados à Operação de Veículos Aéreos não Tripulados. 2009. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo.

Aluno: Hudson Peçanha Murad

OLIVEIRA, J. M. P.; RIBEIRO, C. H. C.; CUNHA, A. M.;CAMARGO JÚNIOR, J. B.. Aplicação da Biblioteca Opensteer na Resolução de Conflitos de Tráfego Aéreo Simulado. 2009. Dissertação (Mestrado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica.

Aluno: Antonio Carlos de Arruda Junior

WEIGANG, L.;CAMARGO JÚNIOR, J. B.; CARVALHO, G. C.. Aprendizagem pro Reforço aplicada à Análise de Impacto no Controle de Fluxo de Tráfego Aéreo. 2009. Dissertação (Mestrado em Ciência da Computação) - Universidade de Brasília.

Aluno: Jenner Gigante Pereira Borges

LINO de Campos, E. G.;CAMARGO JÚNIOR, J. B.; MENDOZA, J. V. P.. Uma Ferramenta para a Configuração e Gerência de Papéis em Sistemas de Banco de Dados. 2009. Dissertação (Mestrado em Engenharia de Computação) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo.

Aluno: Oswaldo Cabral de Vasconcellos Neto

MUNIZ, P. S.;CAMARGO JÚNIOR, J. B.; VEGA, I. S.. Análise de Disponibilidade em Sistemas de Software na WEB. 2009. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo.

Aluno: Carlos Henrique Andrade Costa

CAMARGO JÚNIOR, J. B.; Licciardi M. B., P. S.; Terada, R.. Criptografia quântica em redes de informação crítica - aplicação a telecomunicações aeronáuticas. 2008. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo.

Aluno: Walter Nogueira Pizzo

CUGNASCA, P. S.CAMARGO JÚNIOR, J. B.; WEIGANG, L.. Avaliação da disponibilidade de sistemas computacionais críticos para o controle do espaço aéreo por meio de modelo analítico da teoria de filas. 2008. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo.

Aluno: José Cássio dos Santos Júnior

HIRAMA, K.; LINO de Campos, E. G.;CAMARGO JÚNIOR, J. B.. Análise da Estabilidade da Estrutura de Relacionamentos de Classes de um Software a partir de Conceitos Dinâmicos Complexos. 2008. Dissertação (Mestrado em Engenharia de Computação) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo.

Aluno: Erico Pessoa Felix

SOUZA, G. F. M.;CAMARGO JÚNIOR, J. B.; AZEVEDO, I. A.. Análise de Confiabilidade de Sistemas Eletrônicos Complexos Baseada em Ensaios Acelerados de Vida. 2007. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo.

Aluno: Amália Massumi Chujo

Evandro; Fernando; Müller; SIEWERDT, E.;CAMARGO JÚNIOR, J. B.. Tecnologias de Navegação Aérea por GNSS e DGNSS para Operação CNS/ATM: Aplicações para o Brasil. 2007. Dissertação (Mestrado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica.

Aluno: Renato Jorge Galvão Teixeira

CUGNASCA, P. S.; PINTO, C. J.;CAMARGO JÚNIOR, J. B.. Análise do Impacto do suo da re-setorização dinâmica na carga de trabalho do controlador de tráfego aéreo por meio de simulações computacionais. 2007. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo.

Aluno: Alexandre Fernandes de Moraes

CAMARGO JÚNIOR, J. B.ALMEIDA JR, J. R.; ALVES, C. J. P.. Método para Avaliação da Tecnologia Biométrica na Segurança de Aeroportos. 2006. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo.

Aluno: Rogério Ishibashi

CAMARGO JÚNIOR, J. B.; CUNHA, A. A.; ANZALONI, A.; PINTO, C. J.; SWWIEDERT, E.. UM Arcabouço de Implementação da Rede AMHS-ATN Brasileira. 2006. Dissertação (Mestrado em Engenharia de Infra-Estrutura Aeronáutica) - Instituto Tecnológico de Aeronáutica.

Aluno: Wagner Ludesher

CAMARGO JÚNIOR, J. B.CUGNASCA, P. S.; GIACOMINI, R. C.. Análise de Disponibilidade de Sistemas de Comércio Eletrônico. 2006. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo.

Aluno: Altieres Ribeiro Lopes

ARAUJO, R. B.;CAMARGO JÚNIOR, J. B.; GOULARTE, R.. Projeto de um Ambiente 3D de Visualização e Reprodução de Eventos Capturados e Interpretados a Partir de Ambientes Físicos Cientes de Contexto para Aplicação de Preparaçãopara Emergência. 2006. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São Carlos.

Aluno: Danielli Villar Lemes

SOUZA, G. F. M.;CAMARGO JÚNIOR, J. B.; AZEVEDO, I. A.. Proposta de Método de Análise de Confiabilidade de Sistemas Eletrônicos Empregando Dados de Retorno em Garantia. 2006. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo.

Aluno: Mauricio de Castro Navarrete

CUGNASCA, P. S.CAMARGO JÚNIOR, J. B.; CUNHA, A. M.. Modelo de Previsão de Posição de Aeronave para Uso em Sistemas de Vigilãncia do Espaço Aéreo. 2006. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo.

Aluno: Cristiani de Araújo Siqueira

CAMARGO JÚNIOR, J. B.; ALVES, C. J. P.; PORTO, P. P.; OLIVEIRA, A. V. M.; CORREIA, A. R.. Navegação Aérea Segundo o Conceito CNS/ATM: Custos e Benefícios. 2005. Dissertação (Mestrado em Engenharia de Infra-Estrutura Aeronáutica) - Instituto Tecnológico de Aeronáutica.

Aluno: Claudio Macoto Hazome Hayashi

CAMARGO JÚNIOR, J. B.CUGNASCA, P. S.; ARAÚJO, R. B.. Liocalização de Falhas em Sistemas Distribuídos Utilizando Redes Neurais Artificiais. 2005. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo.

Aluno: Amir Afif

KIM, H. Y.;CAMARGO JÚNIOR, J. B.; FABRIS, A. E.. Estudo de Esteganografia e Marcas D'agua de Autenticação para Imagens Binárias e Meio-tom. 2004. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo.

Aluno: Lúcio Oliveira Corrêa Filho

PELLEGRINO, S. R. M.;CAMARGO JÚNIOR, J. B.; CUNHA, A. M.; MOKARZEL, F. C.; FALEIROS, A. C.. Controle de Acesso: Uma Solução para Aplicações Distribuídas que Utilizam como Meio de Transmissão de Dados Redes de Baixa Velocidade. 2004. Dissertação (Mestrado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica.

Aluno: Taciana Novo Kudo

ARAÚJO, R. B.;CAMARGO JÚNIOR, J. B.; CAMARGO, H. A.. Computação Ciente de Contexto Aplicada ao Monitoramento de Condições Críticas em Ambientes Físicos. 2004. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São Carlos.

Aluno: Paulo Hideshi Ogata

CAMARGO JÚNIOR, J. B.CUGNASCA, P. S.; PORTO, P. P.. Avaliação do Perigo de Colisão entre Aeronaves em Operação de Aproximação em Pistas de Aterrisagem Paralelas. 2004. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo.

Aluno: Perseverando da Trindade Garcia Filho

BUENO, V. C.;CAMARGO JÚNIOR, J. B.; ESTEVES, L. G.. Testes de Burn-in. 2004. Dissertação (Mestrado em Matemática) - Universidade de São Paulo.

Aluno: Vinicius da Silva Almendra

CAMARGO JÚNIOR, J. B.; HIRAMA, K.; SPÍNOLA, M. M.. Modelo para Avaliação de Métricas de Software. 2003. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo.

Aluno: Ítalo Romani de Oliveira

CAMARGO JÚNIOR, J. B.CUGNASCA, P. S.; PORTO, P. P.. Verificação de Segurança em Confluência de Trajetórias de aeronaves Utilizando Autômatos Híbridos. 2003. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo.

Aluno: JOÃO EDUARDO PROENÇA PÁSCOA

CAMARGO JÚNIOR, J. B.MELNIKOFF, S. S. S.; GIACOMINI, R.. Fatores e Subfatores para Avaliação da Segurança em Software de Sistemas Críticos. 2002. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo.

Aluno: Carlos Cesar Dutra

BECERRA, J. L. R.;CAMARGO JÚNIOR, J. B.MELNIKOFF, S. S. S.; ANDRADE, M. T.. Um Método de Gerenciamento de Requisitos para Projetos Baseados em tecnologia Web/Internet. 2001. Dissertação (Mestrado em Engenharia de Computação) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo.

Aluno: José Antonio Fonseca

ALMEIDA JÚNIOR, J. R.CAMARGO JÚNIOR, J. B.; GIACOMINI, R.. Arquitetura não Replicada de Hardware Aplicada em Sistemas de Controle com Requisitos de Segurança. 2001. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo.

Aluno: Carlos Cesar Dutra

CAMARGO JÚNIOR, J. B.. Um Método de Gerenciamento de Requisitos para Projetos Baseados em Tecnologia Web/Internet. 2001. Dissertação (Mestrado em Engenharia de Computação) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo.

Aluno: Adilson Luiz Bonifácio

MOURA, A. V.;CAMARGO JÚNIOR, J. B.; ARAÚJO, G. C. S.. Verificação e Síntese de Sistemas Híbridos. 2000. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

Aluno: Cibele Andréa Tessari

HIRAMA, K.;CAMARGO JÚNIOR, J. B.; VOTRE, V. P.. plicação do Método de Monte Carlo para Simulação de Risco de Custo em Projetos de Tecnologia da Informação. 2000. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Presbiteriana Mackenzie.

Aluno: João Carlos Salamani

SOUZA, G. F. M.;CAMARGO JOÃO B.; PELLINI, E. L.; CASTRO, H. F.; BAETA, J. G. C.. Análise de Risco e aumento da confiabilidade de motores Otto com relação às falhas esporádicas e de difícil diagnóstico. 2018. Tese (Doutorado em Engenharia Mecânica) - Universidade de São Paulo.

Aluno: André Luiz de Oliveira

BRAGA, R. T. V.;CAMARGO JÚNIOR, J. B.; LUCREDIO, D.; BECKER, L. B.; KELLY, T. P.. A model-based approach to support the systematic reuse and generation of safety artefacts in safety-critical software product line engineering. 2016. Tese (Doutorado em Instituto de Ciências Matemáticas e de Computação) - Universidade de São Paulo.

Aluno: Emerson Alberto Marconato

BRANCO, K. R. L. J. C.; OSORIO, F. S.;CAMARGO JÚNIOR, J. B.; PEDRO, P. S. M.; CAGNIN, M. I.. Modelo de arquitetura em camadas para interconexão de sistemas em SANT. 2016. Tese (Doutorado em Instituto de Ciências Matemáticas e de Computação) - Universidade de São Paulo.

Aluno: Guilherme Eduardo da Cunha Barbosa

SOUZA, G. F. M.;CAMARGO JÚNIOR, J. B.; SANTOS, J. R.; SILVEIRA, Z. C.; DIAS, A.. Reengenharia de sistemas na recuperação e modernização de produtos: proposta de um modelo baseado em risco. 2015. Tese (Doutorado em Engenharia Mecânica) - Universidade de São Paulo.

Aluno: Felipe Leonardo Lôbo Medeiros

Vijaykumar, N. L.; Guimarães, L. N. F.; Yanasse, H. H.;CAMARGO JÚNIOR, J. B.; Kienitz, K. H.. Estudo de Modelagem computacional de navegação através de grafos de visibilidade e modelos digitais de elevação visando ao planejamento de trajetórias para veículos aéreos não tripulados. 2012. Tese (Doutorado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais.

Aluno: Paulo Claudino Véras

Saotome; Villani; Ambrósio; Madeira, Henrique; YANO, E. T.; Eliane Martins;CAMARGO JÚNIOR, J. B.. Benchmark Software Requirements Documentation for Space Application. 2011 - Instituto Tecnológico de Aeronáutica.

Aluno: Fernando Jesús Guevara Carazas

SOUZA, G. F. M.; José Roberto Simões Moreira;CAMARGO JÚNIOR, J. B.; Nísio de Carvalho Lobo Brum; José Luiz Silveira. Decisões Baseadas em risco-método aplicado na indústria de geração de energia elétrica para a seleção de equipamentos críticos e políticas de manutençao. 2011. Tese (Doutorado em Engenharia Mecânica) - Universidade de São Paulo.

Aluno: Wagner Ludescher

CUGNASCA, P. S.CAMARGO JÚNIOR, J. B.; SPÍNOLA, M. M.; Edson Luiz Riccio;AVELINO, V. F.. Modelo para avaliação da qualidade de projetos de planos de continuidade de negócios aplicados a sistemas computacionais. 2011. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo.

Aluno: Marcelo Jose Ruv Lemes

CAMARGO JÚNIOR, J. B.MELNIKOFF, Selma Shin Shimizu; HIRAMA, K.; HOFF, J. C. C.;LAHOZ, C. H. N.. Complexidade, acolplamento e criticalidade (C2A) como indicadores de risco me projetos de sistemas. 2011. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo.

Aluno: Giovani Volnei Meinerz

Tasinaffo, Paulo M.; CUNHA, A. M.; ALVES, C. J. P.;CUGNASCA, P. S.CAMARGO JÚNIOR, J. B.. Decola: Um Modelo de Decisões Colaborativas para Sequenciamento de Pousos e Decolagens Utilizando Sistemas Multiagentes. 2011. Tese (Doutorado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica.

Aluno: Marcos Antônio Simplicio Júnior

Licciardi M. B., P. S.;CAMARGO JÚNIOR, J. B.; RUGGIERO, W. V.; DAHAB, R.; MATSNASLUND,. Message Authentication Algorithms for Wireless Sensor Networks. 2010. Tese (Doutorado em Doutorado em Engenharia Elétrica) - Universidade de São Paulo.

Aluno: Marcio Augusto de Lima e ilva

RUGGIERO, W. V.; Carvalho, Tereza Cristina Melo de Brito;CAMARGO JÚNIOR, J. B.; Moreira, J. E.; Catto, A. J.. Uma Infraestrutura de Comando e Controle de Datacenter para um Conjunto de Recursos Computacionais. 2009. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo.

Aluno: Carlos Henrique Netto Lahoz

CAMARGO JÚNIOR, J. B.; MELNIKOFF, S. H. S.;ALMEIDA JR, J. R.; Maldonado, José Carlos; YANO, E. T.. Elicere - O Processo de Elicitação de Metas de Dependabilidade para Sistemas Computacionais Críticos - Estudo de Caso Aplicado a Área Espacial. 2009. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo.

Aluno: Adilson de Oliveira

ALMEIDA JR, J. R.CUGNASCA, P. S.CAMARGO JÚNIOR, J. B.; KOBAYASHI, G.; POLETTO, A. S. R. S.. Análise Inteligente de Falhas para Apoiar Decisões Estratégicas em Projetos de Sistemas Críticos. 2009. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo.

Aluno: Jorge Martins Secall

CAMARGO JÚNIOR, J. B.CUGNASCA, P. S.ALMEIDA JR, J. R.; GIACOMINI, R. C.; AZEVEDO, I. A.. Avaliação Comparativa do Impacto do Emprego de Técnicas de Programação Defensiva na Segurança de Sistemas Críticos. 2007. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo.

Aluno: Ítalo Romani de Oliveira

CUGNASCA, P. S.CAMARGO JÚNIOR, J. B.; Müller;ALMEIDA JÚNIOR, J. R.; CUNHA, A. M.. Análise de Risco da Operação de Espaçamento Temporal Aerotransportado por meio de um Modelo em Rede de Petro Estocástica e Dinamicamente Colorida. 2007. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo.

Aluno: Iran Martins do Carmos

BUENO, V. C.;CAMARGO JÚNIOR, J. B.; TANAKA, N. I.; COSTA, O. L. V.; DOREA, C. C. Y.. Analisando a Redundância Ativa em Sistemas K-de-n:F sob Condições de Dependência. 2006. Tese (Doutorado em Matemática) - Universidade de São Paulo.

Aluno: José Antonio Fonseca

CAMARGO JÚNIOR, J. B.ALMEIDA JR, J. R.MELNIKOFF, S. S. S.; GIACOMINI, R. C.; FERREIRA, M. G. V.. Uma Extensão de RAMS para o Modelo CMMI Baseada nas Normas Ferroviárias CENELEC. 2005. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo.

Aluno: Luiz Carlos Begosso

CAMARGO JÚNIOR, J. B.; FILGUEIRAS, L. V. L.; SILVA, J. C. A.; SICHMAN, J. S.; OLIVEIRA, L. F. S.. S.PERERE- uma ferramenta apoiada pro arquiteturas cognitivas para o estudo da confiabildiade humana. 2005. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo.

Aluno: Reinaldo Augusto da Costa Bianchi

SICHMAN, J. S.;CAMARGO JÚNIOR, J. B.; ROMERO, R. A. F.; ARAUJO, A. F. R.; COSTA, O. L. V.. Uso de Heurísticas para a Aceleração do Aprendizado por Reforço. 2004. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo.

Aluno: Rogéria Cristiane Gratão de Souza

CAMARGO JÚNIOR, J. B.MELNIKOFF, S. S. S.; BECERRA, J. L. R.; PENTEADO, R. A. D.; NAKANISHI, T.. Características de Testabilidade nos Diagramas UML: Apoio aos Testes de Sistemas de Software Orientados a Objetos. 2003. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo.

Aluno: Maurício Amaral de Almeida

MELNIKOFF, S. H. S.;CAMARGO JÚNIOR, J. B.; RILLO, M.; MONARD, M. C.; MELO, W. L. M.. Geração de Modelos de Qualidade de Software Através da Abordagem de Aprendizagem Automática. 1999. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo.

Aluno: Paulo Sergio Cugnasca

ANDRADE, M. T. C.CAMARGO JÚNIOR, J. B.RANZINI, E.; SOUZA, F. M. C.; OLIVEIRA NETO, J. M.. Modelos Baseados em Lógica Nebulosa para Avaliação de Sistemas Tolerantes a Defeitos. 1999. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo.

Aluno: Renato Camargo Giacomini

SOUZA, B. J.;CAMARGO JÚNIOR, J. B.MELNIKOFF, S. S. S.; OLIVEIRA NETO, J. M.; BORGES, W. S.. Estudo de Método de Avaliação Quantitativa de Segurança Aplicada à Especificação de Sistemas de Controle e Proteção. 1998. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo.

Aluno: Jorge Kinoshita

JOSÉ NETO, J.;CAMARGO JÚNIOR, J. B.RANZINI, E.; MELO, Z. M. Z. C.; ARVALHO, A. M. B. R.. Aspectos de Implementação de uma Ferramenta de Auxílio à Tradução Inglês-Português. 1997. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo.

Aluno: André Luiz de Oliveira

OSORIO, F. S.;Trindadade Jr., OnofreCAMARGO JÚNIOR, J. B.. Uma abordagembaseada em casos de segurança para apoiar o desenvolvimento e certificação de linhas de produtos de sistemas aviônicos do domínio de veículos aéreos não tripulados. 2012. Exame de qualificação (Doutorando em Ciências de Computação e Matemática Computacional) - Instituo de Ciências Matemáticas e de Computação - USP.

Aluno: Alaide Barbosa Martins

Sergio Takeo Kofuji;ALMEIDA JR, J. R.CAMARGO JÚNIOR, J. B.. Análise de Risco com Método CORAS e Avaliação Quantitativa: Um Estudo de Caso. 2011. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade de São Paulo.

Aluno: Wagner Ludescher

CUGNASCA, P. S.CAMARGO JÚNIOR, J. B.AVELINO, V. F.. Modelo para Avaliação da Qualidade de Planos de Recuperação de Desastres Aplicados a Sistemas Computacionais. 2010. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade de São Paulo.

Aluno: Ricardo Alexandre Veiga Gimenes

ALMEIDA JR, J. R.CAMARGO JÚNIOR, J. B.CUGNASCA, P. S.. Metodologia de Avaliação de Segurança Crítica para Inserção de VANTs em Espaço Aéreo não Controlado e não Segregado. 2010. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade de São Paulo.

Aluno: Osvandre Alves Martins

OLIVEIRA, J. M. P.; CUNHA, A. M.;CAMARGO JÚNIOR, J. B.. Um padrão arquitetural para compartilhamento de informações na tomada de decisões colaborativas em aeroportos. 2010. Exame de qualificação (Doutorando em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica.

Aluno: Carlos Alberto Murad

SOUZA, G. F. M.; Hess Coelho, T. A.;CAMARGO JÚNIOR, J. B.. Desenvolvimento de novos produtos considerando aspectos de confiabilidade e risco e ferramentas da qualidade. 2010. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade de São Paulo.

Aluno: Carlos Henrique Netto Lahoz

CAMARGO JÚNIOR, J. B.MELNIKOFF, S. S. S.ALMEIDA JR, J. R.. O Processo de Elicitação de Requisitos de Confiança no Funcionamento em Sistemas Computacionais da Área Espacial. 2007. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade de São Paulo.

Aluno: Jorge Martins Secall

CAMARGO JÚNIOR, J. B.ALMEIDA JR, J. R.CUGNASCA, P. S.. Avaliação Quantitativa do Impacto do Emprego de técnicas de programação Defensiva no Nível de Integridade de Segurança de Sistemas Críticos. 2005. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade de São Paulo.

Aluno: Ítalo Romani de Oliveira

CAMARGO JÚNIOR, J. B.CUGNASCA, P. S.ALMEIDA JR, J. R.. Gerenciamento de Chegadas em Áreas Terminais de Tráfego Aéreo Utilizando o Sistema de Assistência de Separação Baseado na Aeronave. 2005. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade de São Paulo.

Aluno: Elizeth Tavares de Lacerda

CAMARGO JÚNIOR, J. B.ALMEIDA JR, J. R.; FILGUEIRAS, L. V. L.. Redução de Erros na Operação de Sistemas CNS/ATM pelo Treinamento em Fatores Humanos. 2005. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade de São Paulo.

Aluno: Leonardo Tórtora Devienne Ferraz

JUJNIOR, M. A. S.;Camargo Junior, João Batista; LEJBMAN, A. G. V.. Métodos para melhorar os processos de vinculação e revogação o de certificados em redes veiculares. 2018. Exame de qualificação (Mestrando em Engenharia Elétrica) - Universidade de São Paulo.

Aluno: Euclides Carlos Pinto Neto

CUGNASCA, P. S.CAMARGO JOÃO B.; NAUFAL JR, J. K.. Swarm-based optimization of final arrival segments considering the unmanned aircraft system integration into the non-segregated airspace.. 2017. Exame de qualificação (Mestrando em Engenharia Elétrica) - Universidade de São Paulo.

Aluno: Thiago Toshio Matsumoto

CAMARGO JÚNIOR, J. B.; SICHMAN, J. S.; COZMAN, F. S.. MODELAGEM E SIMULAÇÃ O DE VANT AUTÔNOMO P ARA AVALIAÇÃO DE RISCO D E COLISÃO COM OUTRAS AERONAVES. 2015.

Aluno: Daniel Baraldi Sesso

CAMARGO JÚNIOR, J. B.; ALBERTINI, B. C.; SIQUEIRA, F. L.. Avaliação de segurança em sistemas de controle de tráfego aéreo baseados. 2015. Exame de qualificação (Mestrando em Engenharia Elétrica) - Universidade de São Paulo.

Aluno: Patrícia Lustosa Ventura Ribeiro

WEIGANG, L.;CAMARGO JÚNIOR, J. B.; DOREA, C. C.; LUCERO, J. C.. Metodologia de Construção de Léxicos de Sentimentos Relacionados a Domínio e Específicos para Tweets. 2014. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade de Brasília.

Aluno: Evandro Siqueira Francisco

CAMARGO JÚNIOR, J. B.; YOSHIZAKI, H.;CUGANSCA, P. S.. Avaliação de estratégias para implantação do ADS-B no Brasil. 2014. Exame de qualificação (Mestrando em Engenharia de Sistemas Logísticos) - Universidade de São Paulo.

Aluno: João Henrique Brogna

LINO de Campos, E. G.;CAMARGO JÚNIOR, J. B.CUGNASCA, P. S.; Rezende, Marcelo N.. Análise Comparativa dos Desempenhos em Sistemas de Banco de Dados. 2012. Exame de qualificação (Mestrando em Engenharia de Computação) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo.

Aluno: Neemias Xavier Ferreira dos Santos

ALMEIDA JR, J. R.MELNIKOFF, S. S. S.CAMARGO JÚNIOR, J. B.. Apresentação e análise das caracterísitcas e funcionalidades de um sistema metroferroviário que utiliza conceitos de ITS. 2016. Monografia (Aperfeiçoamento/Especialização em Curso de Especialização em tecnologia Metro-Ferroviária) - Universidade de São Paulo.

Aluno: Rodrigo Reinaldo da Silva

ALMEIDA JR, J. R.MELNIKOFF, S. S. S.CAMARGO JÚNIOR, J. B.. Estudo de aplicação de sistemas inteligentes de transporte (ITS) dirigidos à integração de dados na Companhia Paulista de Trens Metropolitanods - CPTM. 2016. Monografia (Aperfeiçoamento/Especialização em Curso de Especialização em tecnologia Metro-Ferroviária) - Universidade de São Paulo.

Aluno: Gerson Oliveira de Jesus

ALMEIDA JR, J. R.CAMARGO JÚNIOR, J. B.; SOUZA, G. F. M.. Sistema de bilhetagem eletrônica de passageiros da CPTM: Tendências para o acesso com cartões inteligentes. 2016. Monografia (Aperfeiçoamento/Especialização em Curso de Especialização em tecnologia Metro-Ferroviária) - Universidade de São Paulo.

Aluno: Heloisa Helena Lobato de Oliveira

ALMEIDA JR, J. R.CAMARGO JÚNIOR, J. B.; SOUZA, G. F. M.. EStudo dos impactos das gratuidades no transporte de passageiros da CPTM. 2016. Monografia (Aperfeiçoamento/Especialização em Curso de Especialização em tecnologia Metro-Ferroviária) - Universidade de São Paulo.

Aluno: Guilherme Lopes Soledade

SOUZA, G. F. M.; MOREIRA, J. R. S.;CAMARGO JÚNIOR, J. B.. Gestão da manutenção das instalações civis do Metrô de São Paulo utilizando tecnologia BIM. 2016. Monografia (Aperfeiçoamento/Especialização em Curso de Especialização em tecnologia Metro-Ferroviária) - Universidade de São Paulo.

Aluno: ROBSON SIRINEU SILVA SANTOS

CAMARGO JÚNIOR, J. B.MELNIKOFF, S. S. S.; HIRAKAWA, A. R.. ESTUDO DE CASO DO SISTEMA DE TRÁFEGO CENTRALIZADO NO CCO Uma análise de falhas do Sistema de Controle e Aquisição de Dados visando maior estabilidade e disponibilidade do Sistema. 2016. Monografia (Aperfeiçoamento/Especialização em Curso de Especialização em tecnologia Metro-Ferroviária) - Universidade de São Paulo.

Aluno: ALEXANDRE FERRAZ BRITO

CAMARGO JÚNIOR, J. B.MELNIKOFF, S. S. S.; HIRAKAWA, A. R.. ESTUDO DE CASO DO SISTEMA DE TELECONTROLE DE ENERGIA Proposta de melhoria das Interfaces de Comunicação do Sistema de Telecontrole de Energia. 2016. Monografia (Aperfeiçoamento/Especialização em Curso de Especialização em tecnologia Metro-Ferroviária) - Universidade de São Paulo.

Aluno: Natália Nogueira da Silva

CAMARGO JÚNIOR, J. B.MELNIKOFF, S. S. S.; HIRAKAWA, A. R.. RELATÓRIO GERENCIAL DA MANUTENÇÃO DO CCO: Uma ferramenta gerencial para proporcionar o aumento da disponibilidade do Sistema de Controle de Tráfego Centralizado no CCO. 2016. Monografia (Aperfeiçoamento/Especialização em Curso de Especialização em tecnologia Metro-Ferroviária) - Universidade de São Paulo.

Aluno: JOANA MARIA RIQUELME AGAPITO DE PAULA

CAMARGO JÚNIOR, J. B.MELNIKOFF, S. S. S.; HIRAKAWA, A. R.. Estudo de vulnerabilidades e interferências de uma rede sem fio em um ambiente metroferroviário.. 2016. Monografia (Aperfeiçoamento/Especialização em Curso de Especialização em tecnologia Metro-Ferroviária) - Universidade de São Paulo.

Aluno: Júlio Mitsuhiro Obuchi

CUGANSCA, P. S.; HIRAKAWA, A. R.;CAMARGO JÚNIOR, J. B.. Estudo para Implantação de Telemetria do Consumo de Água das Estações da Linha 1 - Azul do Metro. 2016. Monografia (Aperfeiçoamento/Especialização em Curso de Especialização em tecnologia Metro-Ferroviária) - Universidade de São Paulo.

Aluno: Almir Valério Ramos

CUGNASCA, Paulo Sérgio; HIRAKAWA, A. R.;CAMARGO JÚNIOR, J. B.. Estudo para Implantação de Telemetria do Consumo de Água das Estações da Linha 1 - Azul do Metro. 2016. Monografia (Aperfeiçoamento/Especialização em Curso de Especialização em tecnologia Metro-Ferroviária) - Universidade de São Paulo.

Aluno: Oséias Pinto dos Santos

CUGNASCA, P. S.; HIRAKAWA, A. R.;CAMARGO JÚNIOR, J. B.. Estudo para Implantação de Telemetria do Consumo de Água das Estações da Linha 1 - Azul do Metro. 2016. Monografia (Aperfeiçoamento/Especialização em Curso de Especialização em tecnologia Metro-Ferroviária) - Universidade de São Paulo.

Aluno: Felipe Copche

GABOS, D.;CAMARGO JÚNIOR, J. B.; MAIA, R. F.. Diagnóstico do Sistema Metroferroviário utilizando Tecnologia Embarcada de Smartphones. 2016. Monografia (Aperfeiçoamento/Especialização em Curso de Especialização em tecnologia Metro-Ferroviária) - Universidade de São Paulo.

Aluno: Marcio Eiji Tamura

GABOS, D.;CAMARGO JÚNIOR, J. B.; MAIA, R. F.. Diagnóstico do Sistema Metroferroviário utilizando Tecnologia Embarcada de Smartphones. 2016. Monografia (Aperfeiçoamento/Especialização em Curso de Especialização em tecnologia Metro-Ferroviária) - Universidade de São Paulo.

Aluno: Sérgio Trahiko Nozawa

CUGNASCA, Paulo Sérgio; HIRAKAWA, A. R.;CAMARGO JÚNIOR, J. B.. Estudo para Implantação de Telemetria do Consumo de Água das Estações da Linha 1 - Azul do Metro. 2016. Monografia (Aperfeiçoamento/Especialização em Curso de Especialização em tecnologia Metro-Ferroviária) - Universidade de São Paulo.

Aluno: Tadeu Ribeiro Silvestre

CAMARGO JÚNIOR, J. B.; MAIA, R. F.; CHOUCAIR, M.. Controle de Segurança nas redes internas ao material rodante do Metrô de SP para garantir a circulação de trens. 2014 - Centro Universitário da Fundação Educacional Inaciana Pe. Sabóia de Medeiro.

Aluno: Lauro Toshio Yoshida

CAMARGO JÚNIOR, J. B.; MAIA, R. F.; CHOUCAIR, M.. Análise de riscos na utilização de sistemas de transmissão de dados padrão de mercado em aplicações de missão crítica. 2014 - Centro Universitário da Fundação Educacional Inaciana Pe. Sabóia de Medeiro.

Aluno: João Bosco Freire Leite Segundo, Mariana Fadel Bearzi

CAMARGO JOÃO B.. Plataforma de Suporte a Simulação de Sistemas Veiculares em Tempo Acelerado. 2017. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade de São Paulo.

Aluno: Alunos de graduação

CAMARGO JÚNIOR, J. B.. Projeto de Formatura. 2009. Trabalho de Conclusão de Curso (Graduação em Engenharia Elétrica) - Universidade de São Paulo.

Aluno: Renato Jorge Galvão Teixeira

CUGNASCA, P. S.CAMARGO JÚNIOR, J. B.ALMEIDA JÚNIOR, J. R.. Balanceamento da Carga de Trabalho do Controlador de Tráfego Aéreo utilizando a Resetorização Dinâmica. 2006. Outra participação, Universidade de São Paulo.

Aluno: Christian Becker Bueno de Abreu

CUGNASCA, P. S.CAMARGO JÚNIOR, J. B.ALMEIDA JR, J. R.. Impacto da Qualidade de Software na Segurança de Sistemas Críticos. 2006. Outra participação, Universidade de São Paulo.

Aluno: Erico Pessoa Felix

CAMARGO JÚNIOR, J. B.; SOUZA, G. F. M.; KAWANO, A.. Análise de Confiabilidade de Sistemas Eletrônicos Complexos Baseada em Ensaios Acelerados de Vida. 2006. Outra participação, Universidade de São Paulo.

Aluno: Akio Nogueira Barbosa

CAMARGO JÚNIOR, J. B.; SANCHES, P. L. P.; GUELFI, A. E.. Um Sistema para Análise Ativa de Comportamento de Firewall. 2005. Outra participação, Universidade de São Paulo.

Aluno: Gilberto de Menezes Camargo

CAMARGO JÚNIOR, J. B.ALMEIDA JR, J. R.CUGNASCA, P. S.. Controle da pressão Seletiva em Algoritmo Genético Aplicado a Otimização de Demanda em Infra-Estrutura Aeronáutica. 2005. Outra participação, Universidade de São Paulo.

Aluno: Reginaldo Inojosa da Silva Filho

CAMARGO JÚNIOR, J. B.; BECERRA, J. R.; KOVACS, Z. L.. Sistemas de dignósticos baseado em redes neurais. 2005. Outra participação, Universidade de São Paulo.

Aluno: Lúcio Flávio Vismari

CAMARGO JÚNIOR, J. B.ALMEIDA JR, J. R.CUGNASCA, P. S.. Avaliação do Impacto da Vigilância Dependente Automática sobre a Segurança do Sistema de Tráfego Aéreo. 2005. Outra participação, Universidade de São Paulo.

CAMARGO JÚNIOR, J. B.. Comissão Julgadora do Processo Seletivo para Contratação de dois Docentes na categoria Professor Doutor. 2004. Universidade de São Paulo.

CAMARGO JÚNIOR, J. B.; MASIERO, P. C.; TRAINA JUNIOR, C.; SONG, S. W.; WEBER, T. S.. Processo seletivo para contratação de um docente, na categoria de Professor Doutor, para o Departamento de Ciências da Computação e Estatística, do ICMC-USP. 2003. Universidade de São Paulo.

CAMARGO JÚNIOR, J. B.. Concurso para o cargo de professor Assistente Doutor de Departamento de Ciência da Computação da Faculdade de Matemática, Física e Tecnologia, do Centro das Ciências Exatas e Tecnologia da Pontifícia Universidade Católica de São Paulo. 2003. Pontifícia Universidade Católica de São Paulo.

CAMARGO JÚNIOR, J. B.. 23 Simpósio de Iniciação Científica. 2015. Universidade de São Paulo.

CAMARGO JÚNIOR, J. B.. Banca Examinadora de Trabalho Finais da Disciplina Introdução à Engenharia de Computação. 2015. Universidade de São Paulo.

CAMARGO JÚNIOR, J. B.. 12o Simpósio Internacional de Iniciação Científica da USP-SIICUSP. 2004. Universidade de São Paulo.

CAMARGO JÚNIOR, J. B.. Banca julgadora sobre exame de transferência para Doutorado Direto do aluno Daniel Rodrigues Ribeiro. 2004. Universidade de São Paulo.

CAMARGO JÚNIOR, J. B.; NISHIMOTO, K.; STRUM, M.. Comissão de avaliação dos memorias apresentados pelos candidatos no concurso de Professor Doutor junto ao Departamento de Engenharia Naval e Oceânica. 2003. Universidade de São Paulo.

CAMARGO JÚNIOR, J. B.; CINTRA, J. P.; FIORELLI, F. A. S.. Comissão de avaliação dos memorial apresentado pelos candidato no concurso de Professor Doutor junto ao Departamento de Engenharia de Transportes. 2003. Universidade de São Paulo.

Seção coletada automaticamente pelo Escavador

Comissão julgadora das bancas

Wagner de Souza Borges

BORGES, W. S.; SOUZA, Benício José de; OLIVEIRA NETO, José Messias de; MELNIKOFF, Selma Shin Shimizu; JOSÉ NETO, João. Estudo da segurança em sistemas de controle metro-ferroviários. 1996. Tese (Doutorado em Engenharia Elétrica) - Escola Politécnica da Universidade de São Paulo.

João José Neto

JOSÉ NETO, J.. Aspectos do processamento de linguagem natural - aplicações à interface com bancos de dados. 1989. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo.

João José Neto

JOSÉ NETO, J.. Estudo de segurança em sistemas de controle metro-ferroviários. 1996. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo.

João José Neto

JOSÉ NETO, J.. Estudo da segurança em sistemas de controle metro-ferroviário. 1995. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade de São Paulo.

Andrea Lago da Silva

PIRES, Silvio I; Vivaldini, M; Argoud, A.R.T.T; Souza, F.B.;SILVA, A. L.. Um modelo de utilização de computação em nuvens para empresas atuando em cadeias de suprimentos operando no Brasil. 2015. Tese (Doutorado em Administração) - Universidade Metodista de Piracicaba.

Andrea Lago da Silva

Pires, S.R.I.; Vivaldini, M; Argoud, A.R.T.T; Souza, F.B.;SILVA, A. L.. Modelo de utilização em nuvens para a gestão da cadeia de suprimentos. 2014. Exame de qualificação (Doutorando em Administração) - Universidade Metodista de Piracicaba.

Seção coletada automaticamente pelo Escavador

Orientou

Alexandre Ray da Silva

Uuso da Inteligência Artificial (IA) em sistemas críticos em segurança (safety); Início: 2018; Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo; (Orientador);

Ivanildo Jacintho dos Santos

Geração Automática de Testes de Segurança em Sistemas de Sinalização e Telecomunicação; Início: 2018; Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo, VALE SA; (Orientador);

Tiago Alves Silva

Comunicação Segura em Arquitetura de Sistemas de Transporte Inteligentes; Início: 2016; Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo; (Orientador);

Maurício Vinícius O

de Souza; Logística de Implantação da Vigilância Dependente Automática no Brail; Início: 2015; Dissertação (Mestrado em Engenharia de Sistemas Logísticos) - Universidade de São Paulo; (Orientador);

Derick Moreira Baum

Proposta de Modelo de Complexidade para Cálculo da Capacidade de Espaço Aéreo e manutenção da segurança (safety): Aplicação no Espaço Aéreo Brasileiro; Início: 2016; Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo; (Orientador);

Lúcio Flávio Vismari

Análise do Impacto da Complexidade na Segurança de Sistemas Críticos - Unsafety Case; Início: 2016; Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo; (Orientador);

Renan Buosi Ferreira

Método de Separação entre Aeronaves Baseado em Cálculos de Probabilidade de Colisão; Início: 2016; Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo; (Orientador);

Daniel Braldi Sesso

Safety assessment in air traffic control systems based on Automatic Dependent Surveillance Broadcast (ADS-B) by considering data integrity parameters; Início: 2016; Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo; (Orientador);

Thiago Toshio Matsumoto

Risk-based decision making in unmanned aircraft system applications; Início: 2016; Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo; (Orientador);

Jamil Kalil Naufal Júnior

Início: 2015; Universidade de São Paulo;

Gustavo Yokota Iannotti Souza

Resiliência em sistemas veiculares autônomos; Início: 2018; Iniciação científica (Graduando em Engenharia de Computação) - Universidade de São Paulo, Ericsson Telecomunication; (Orientador);

TIAGO YUKI FUJII

Segurança crítica em sistemas veiculares autônomos; Início: 2018; Iniciação científica (Graduando em Engenharia Elétrica - Ênfase em Computação) - Universidade de São Paulo, Ericsson Telecomunication; (Orientador);

Gabriel Paliari Zanoni

Pesquisa sobre segurança em tecnologias da aviação e ATM (Gestão do Tráfego Aéreo); Início: 2016; Iniciação científica (Graduando em Engenharia de Computação) - Universidade de São Paulo, Boeing R&D; (Orientador);

Lucca Corsi Silva

Pesquisa sobre segurança em tecnologias da aviação e ATM (Gestão de Tráfego Aéreo); Início: 2016; Iniciação científica (Graduando em Engenharia de Computação) - Universidade de São Paulo, Boeing R&D; (Orientador);

Leonardo Borges Mafra Machado

Pesquisa sobre segurança em tecnologias da aviação e ATM (Gestão de Tráfego Aéreo); Início: 2016; Iniciação científica (Graduando em Engenharia de Computação) - Universidade de São Paulo, Boeing R&D; (Orientador);

Paula Naomi Muniz dos Santos

Avaliação do comportamento do tráfego em vias com veículos autônomos e convencionais transitando simultaneamente; 2019; Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo,; Orientador: João Batista Camargo Júnior;

Wesley José Nogueria Medeiros

Modelo para determinação de resiliência em sistemas de transpotes: uma aplicação no sistema de tráfego aéreo; 2018; Dissertação (Mestrado em Engenharia de Sistemas Logísticos) - Universidade de São Paulo,; Orientador: João Batista Camargo Júnior;

Daniel Baraldi Sesso

Avaliação de segurança em sistemas de controle de tráfego aéreo baseados em vigilância dependente automática por radiodifusão considerando parâmetros de integridade de dados; 2016; Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo,; Orientador: João Batista Camargo Júnior;

Thiago Toshio Matsumoto

Avaliação de risco da automação das atividades do piloto; 2016; Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo,; Orientador: João Batista Camargo Júnior;

Yuri Maximilian Rottner Dirickson

Avaliação de risco da automação no controle de tráfego aéreo em áreas terminais; 2016; Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: João Batista Camargo Júnior;

Alex Ander Javarotti Zumalde

Avaliação comparativa entre técnicas de programação defensiva aplicadas a um sistema crítico simulado; 2011; Dissertação (Mestrado em Programa de Pósgradução em Engenharia Elétrica) - Escola Politécnica,; Orientador: João Batista Camargo Júnior;

Fernando de Oliveira Gil

Metodologia de avaliação de segurança das comunicações entre controlador e piloto via enlace de dados (CPDLC) aplicada em áreas terminais; 2011; Dissertação (Mestrado em Programa de Pósgradução em Engenharia Elétrica) - Escola Politécnica,; Orientador: João Batista Camargo Júnior;

Carlos Henrique Andrade Costa

Criptografia quântica em redes de informação crítica - aplicação a telecomunicações aeronáuticas"; 2008; Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: João Batista Camargo Júnior;

Lúcio Flávio Vismari

Vigilância Dependente Automática no Controle de Tráfego Aéreo: Avaliação de Risco Baseada em Modelagem em Redes de Petri Fluidas e Estocásticas; 2007; Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo,; Orientador: João Batista Camargo Júnior;

Alexandre Fernandes de Moraes

Método para Avaliação da Tecnologia Biométrica na Segurança de Aeroportos; 2006; 230 f; Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo,; Orientador: João Batista Camargo Júnior;

Gilberto de Menezes Camargo

Controle da Pressão Seletiva em Algoritmo Genético Aplicado a Otimização de Demanda em Infra-Estrutura Aeronáutica; 2006; 186 f; Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo,; Orientador: João Batista Camargo Júnior;

Claudio Macoto Hazome Hayashi

Localização de Falhas em Sistemas Distribuídos Utilizando Redes Neurais Artificais; 2005; 120 f; Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo,; Orientador: João Batista Camargo Júnior;

Paulo Hideshi Ogata

Avaliação do Perigo de Colisão entre Aeronaves em Operação de Aproximação em Pistas de Aterrisagem Paralelas; 2004; 124 f; Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo,; Orientador: João Batista Camargo Júnior;

JOÃO EDUARDO PROENÇA PÁSCOA

Fatores e Subfatores para Avaliação da Segurança em Software de Sistemas Críticos; 2002; 169 f; Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo,; Orientador: João Batista Camargo Júnior;

Jamil Kalil Naufal Jr

; Algorítmo e Arquitetura para a Localização de Falhas em Sistemas Distribuídos; 2000; 0 f; Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo,; Orientador: João Batista Camargo Júnior;

Renata Evangelista Romariz Recco

O Desenvolvimento de Sistemas Baseados em Componentes a partir da Visão de Objetos; 2000; 0 f; Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo,; Orientador: João Batista Camargo Júnior;

Marcelo Jose Ruv Lemes

Complexidade, acolplamento e criticalidade (C2A) como indicadores de risco me projetos de sistemas; 2011; Tese (Doutorado em Programa de Pósgraduação em Engenharia Elétrica) - Escola Politécnica,; Orientador: João Batista Camargo Júnior;

Carlos Henrique Netto Lahoz

Elicere - O Processo de Elicitação de Metas de Dependabilidade para Sistemas Computacionais Críticos - Estudo de Caso Aplicado a Área Espacial; 2009; Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo,; Orientador: João Batista Camargo Júnior;

Mário Aparecido Corrêa

Modelo de Veículos Aéreos não tripulados Baseado em Sistemas Mulit-Agentes; 2008; Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo,; Orientador: João Batista Camargo Júnior;

Jorge Martins Secall

Avaliação Comparativa do Impacto do Emprego de Técnicas de Programação Defensiva na Segurança de Sistemas Críticos; 2007; Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo,; Orientador: João Batista Camargo Júnior;

Jamil Kalil Naufal Jr

; Modelo de Otimização de demanda em Infra-Estrutura Aeronáutica; 2005; 267 f; Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo,; Orientador: João Batista Camargo Júnior;

ALEXANDRE FERRAZ BRITO

ESTUDO DE CASO DO SISTEMA DE TELECONTROLE DE ENERGIA Proposta de melhoria das Interfaces de Comunicação do Sistema de Telecontrole de Energia; 2016; Monografia; (Aperfeiçoamento/Especialização em Curso de Especialização em tecnologia Metro-Ferroviária) - Universidade de São Paulo, Companhia Paulista de Trens Metropolitanos; Orientador: João Batista Camargo Júnior;

Natália Nogueira da Silva

Uma ferramenta gerencial para proporcionar o aumento da disponibilidade do Sistema de Controle de Tráfego Centralizado no CCO; 2016; Monografia; (Aperfeiçoamento/Especialização em Curso de Especialização em tecnologia Metro-Ferroviária) - Universidade de São Paulo, Companhia Paulista de Trens Metropolitanos; Orientador: João Batista Camargo Júnior;

ROBSON SIRINEU SILVA SANTOS

ESTUDO DE CASO DO SISTEMA DE TRÁFEGO CENTRALIZADO NO CCO Uma análise de falhas do Sistema de Controle e Aquisição de Dados visando maior estabilidade e disponibilidade do Sistema; 2016; Monografia; (Aperfeiçoamento/Especialização em Curso de Especialização em tecnologia Metro-Ferroviária) - Universidade de São Paulo, Companhia Paulista de Trens Metropolitanos; Orientador: João Batista Camargo Júnior;

JOANA MARIA RIQUELME AGAPITO DE PAULA 

Estudo de vulnerabilidades e interferências de uma rede sem fio em um ambiente metroferroviário; ; 2016; Monografia; (Aperfeiçoamento/Especialização em Curso de Especialização em tecnologia Metro-Ferroviária) - Universidade de São Paulo; Orientador: João Batista Camargo Júnior;

AMAURI SAULO SHIMABUKURO

Segurança critica de sistemas ciberfisicos automotivos; 2017; Iniciação Científica; (Graduando em Engenharia de Computação) - Universidade de São Paulo, Ericsson Telecomunication; Orientador: João Batista Camargo Júnior;

Gabriel Paliari Zanoni

Pesquisa sobre segurança em tecnologias da aviação e ATM (gestão de tráfego aéreo); 2017; Iniciação Científica; (Graduando em Engenharia de Computação) - Universidade de São Paulo, Boeing R&D; Orientador: João Batista Camargo Júnior;

JOÃO BOSCO FREIRE LEITE SEGUNDO

Segurança critica de sistemas ciberfisicos automotivos em tempo acelerado; 2017; Iniciação Científica; (Graduando em Engenharia de Computação) - Universidade de São Paulo, Ericsson Telecomunication; Orientador: João Batista Camargo Júnior;

Leonardo Borges Mafra Machado

Research on Safety in Aviation Technologies and ATM; 2017; Iniciação Científica; (Graduando em Engenharia de Computação) - Universidade de São Paulo, Boeing R&D; Orientador: João Batista Camargo Júnior;

Lucca Corsi Silva

Pesquisa sobre segurança em tecnologias da aviação e ATM (gestão de tráfego aéreo); 2017; Iniciação Científica; (Graduando em Engenharia Elétrica - Ênfase em Computação) - Universidade de São Paulo, Boeing R&D; Orientador: João Batista Camargo Júnior;

PEDRO VANDERLINE DARVAS

Segurança critica de sistemas ciberfisicos automotivos; 2017; Iniciação Científica; (Graduando em Engenharia de Computação) - Universidade de São Paulo, Ericsson Telecomunication; Orientador: João Batista Camargo Júnior;

Paulo Henrique Pereira Cardoso

Treinamento e avaliação de sistema de controle autônomo baseado em aprendizagem para prevenção de colisões em veículos aéreos não tripulados; 2015; Iniciação Científica; (Graduando em Engenharia de Computação) - Universidade de São Paulo, Fundação Para o Desenvolvimento Tecnológico da Engenharia; Orientador: João Batista Camargo Júnior;

PEDRO SEITI NAKANE MATSWUMOTO

Ferramentas de apoio ao ambiente de simulação de tráfego aéreo; 2015; Iniciação Científica; (Graduando em Engenharia Elétrica - Ênfase em Computação) - Universidade de São Paulo, Fundação Para o Desenvolvimento Tecnológico da Engenharia; Orientador: João Batista Camargo Júnior;

Rafael Yudi Imai

Desenvolvimento de ferramentas de auxílio a simulação de operações de tráfego áereo; 2015; Iniciação Científica; (Graduando em Engenharia de Computação) - Universidade de São Paulo, Boeing R&D; Orientador: João Batista Camargo Júnior;

Pedro Matsumoto Seiti

Desenvolvimento de Ferramenta de Apoio ao Ambiente Pipe SEC; 2014; Iniciação Científica; (Graduando em Engenharia de Computação) - Universidade de São Paulo; Orientador: João Batista Camargo Júnior;

Marcelo Deguti Hashimoto

Plataforma Integrada para Ensaios de Sistemas Embarcados Críticos (PIpE-SEC) Integração com espaço aéreo virtual e implementação do Núcleo de Gerenciamento de Ensaios; 2014; Iniciação Científica; (Graduando em Engenharia de Computação) - Universidade de São Paulo, Fundação Para o Desenvolvimento Tecnológico da Engenharia; Orientador: João Batista Camargo Júnior;

Rafael Yudi Imai

Desenvolvimento de ferramentas de auxílio a simulação de operações de tráfego áereo; 2014; Iniciação Científica; (Graduando em Engenharia de Computação) - Universidade de São Paulo, Fundação Para o Desenvolvimento Tecnológico da Engenharia; Orientador: João Batista Camargo Júnior;

Marcela Gimenes Luz

Ground Unsafe Approach Resolution by Digital Assessment of Navigation; 2004; 40 f; Iniciação Científica; (Graduando em Engenharia Elétrica) - Universidade de São Paulo, Fundação Para o Desenvolvimento Tecnológico da Engenharia; Orientador: João Batista Camargo Júnior;

Frederico Silva de Araujo

Gerenciamento de Falhas em Sistemas Distribuídos; 2004; 0 f; Iniciação Científica; (Graduando em Engenharia Elétrica) - Universidade de São Paulo, Fundação Para o Desenvolvimento Tecnológico da Engenharia; Orientador: João Batista Camargo Júnior;

Andre Ricardo Koeppl

Aplicação de Algoritmos Genéticos no Gerenciamento e Controle do Tráfego Aéreo; 2004; 29 f; Iniciação Científica; (Graduando em Engenharia Elétrica) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: João Batista Camargo Júnior;

Diogo Haiashida Ito

Algoritmos Genéticos na Balanceamento da Demanda e Capacidade Aeronáutica; 2003; 0 f; Iniciação Científica; (Graduando em Engenharia Elétrica) - Universidade de São Paulo, Fundação Para o Desenvolvimento Tecnológico da Engenharia; Orientador: João Batista Camargo Júnior;

Rafa

Simulação de Algorítmos Aplicados ao Controle de Tráfego Aéreo; 2001; 1 f; Iniciação Científica; (Graduando em Engenharia Elétrica) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: João Batista Camargo Júnior;

Ricardo Lanicheck

Simulação de Circuitos Digitais Aplicados em Projetos de Sistemas de Segurança; 1999; 0 f; Iniciação Científica; (Graduando em Engenharia Elétrica) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: João Batista Camargo Júnior;

Claudio Macoto Hazome Hayashi

Simulação para avaliação da segurança de sistemas computacionais; 1998; 0 f; Iniciação Científica; (Graduando em Engenharia Elétrica) - Universidade de São Paulo; Orientador: João Batista Camargo Júnior;

Ariana Maria da Conceição Lacorte

Desenvolvimento de Ferramenta de Análise de Completeza de Especificações de Segurança; 1998; 0 f; Iniciação Científica; (Graduando em Engenharia Elétrica) - Universidade de São Paulo; Orientador: João Batista Camargo Júnior;

Rogério Yoco Takimoto

Auxílio no Desenvolvimento do Ambiente Computacional para Avaliação da Especificação; 1997; 0 f; Iniciação Científica; (Graduando em Engenharia Elétrica) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: João Batista Camargo Júnior;

Seção coletada automaticamente pelo Escavador

Foi orientado por

Rafael de Lima Nascimento

Simulação de algoritmos aplicados ao controle de tráfego aéreo; 2002; Iniciação Científica; (Graduando em Engenharia Elétrica) - Escola Politécnica, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Rafael de Lima Nascimento;

Benício José de Souza

Metodologia Para Análise de Segurança de Sistemas Tolerantes A Defeitos; 1996; Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo,; Orientador: Benício José de Souza;

Seção coletada automaticamente pelo Escavador

Produções bibliográficas

  • BARBOSA, JAIR D. ; SANTOS, RICARDO C. ; ROMERO, JESUS F. A. ; ASANO, PATRICIA T. L. ; NETO, ANTONIO V. S. ; CAMARGO, JOÃO B. ; ALMEIDA, JORGE R. ; CUGNASCA, PAULO S. . A methodology for reliability assessment of substations using fault tree and Monte Carlo simulation. ELECTRICAL ENGINEERING , v. 1, p. 1-10, 2019.

  • BARBOSA, J. D. ; SANTOS, R. C. ; ROMERO, J. F. A. ; ASANO, P. T. L. ; SILVA NETO, A. V. ; CAMARGO JÚNIOR, J. B. ; ALMEIDA JR, J. R. ; CUGNASCA, P. S. . Methodology for Determining Reliability Indices of Electric Power Substations. IEEE Latin America Transactions , v. 16, p. 1959-1968, 2018.

  • DA SILVA NETO, ANTONIO VIEIRA ; VISMARI, LUCIO FLAVIO ; GIMENES, Ricardo Alexandre Veiga ; SESSO, DANIEL BARALDI ; DE ALMEIDA, JORGE RADY ; CUGNASCA, PAULO SERGIO ; CAMARGO, JOAO BATISTA . A Practical Analytical Approach to Increase Confidence in PLD-Based Systems Safety Analysis. IEEE Systems Journal , v. 1, p. 1-12, 2017.

  • NAUFAL, JAMIL K. ; CAMARGO, JOAO B. ; VISMARI, LUCIO F. ; DE ALMEIDA, JORGE R. ; MOLINA, CAROLINE ; GONZALEZ, RODRIGO IGNACIO R. ; INAM, RAFIA ; FERSMAN, ELENA . A²CPS: A Vehicle-Centric Safety Conceptual Framework for Autonomous Transport Systems. IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS , v. 1, p. 1-15, 2017.

  • PIVETTA, T. A. ; LAHOZ, C. H. N. ; CAMARGO JÚNIOR, J. B. . PRO-ELICERE: A Hazard Analysis Automation Process Applied to Space Systems. Journal of Aerospace Technology and Management (Online) , v. 8, p. 328-338, 2016.

  • CAMARGO JÚNIOR, J. B. ; ALMEIDA JR, J. R. ; CUGNASCA, Paulo Sérgio . Desafios da avaliação continuada em um curso de engenharia. Eccos Revista Científica (Online) , v. 1, p. 215-232, 2015.

  • BARALDI SESSO, DANIEL ; VISMARI, LUCIO F. ; VIEIRA DA SILVA NETO, ANTONIO ; CUGNASCA, PAULO S. ; CAMARGO, JOÃO B. . An Approach to Assess the Safety of ADS-B-based Unmanned Aerial Systems: Data Integrity as a Safety Issue. Journal of Intelligent & Robotic Systems , v. 84, p. 621-638, 2015.

  • VISMARI, LUCIO F. ; CAMARGO, JOAO BATISTA ; DE ALMEIDA, JORGE RADY ; DA SILVA NETO, ANTONIO V. ; GIMENES, RICARDO A. V. ; CUGNASCA, PAULO SERGIO . A Practical Analytical Approach to Increase Confidence in Software Safety Arguments. IEEE Systems Journal , v. 1, p. 1-12, 2015.

  • GIMENES, RICARDO A. V. ; VISMARI, LUCIO F. ; AVELINO, VALTER F. ; CAMARGO, JOÃO B. ; ALMEIDA, JORGE R. ; CUGNASCA, PAULO S. . Guidelines for the Integration of Autonomous UAS into the Global ATM. Journal of Intelligent & Robotic Systems , v. 74, p. 465-478, 2014.

  • ALMEIDA JR, J. R. ; CAMARGO JÚNIOR, J. B. ; CUGNASCA, Paulo Sérgio . Safety and Security in Critical Applications and in Information Systems - A Comparative Study. Revista IEEE América Latina , v. 11, p. 1127-1133, 2013.

  • VISMARI L.F. ; CAMARGO JÚNIOR, J. B. . A safety assessment methodology applied to CNS/ATM-based Air Traffic Control System. Reliability Engineering & Systems Safety , v. 96, p. 727-738, 2011.

  • GIL, F. O. ; CAMARGO JÚNIOR, J. B. ; ALMEIDA JR, J. R. ; ALAMINO, R. C. ; CUGNASCA, Paulo Sérgio ; VISMARI, Lucio Flávio ; GIMENES, Ricardo Alexandre Veiga ; FURTADO, V. H. . PIpE-SEC: Platform for Tests and Validation of Unmanned Aerial Vehicles (UAVs) in Controlled Airspace. Journal of the Brazilian Air Transportation Research Society , v. 6, p. 47-60, 2010.

  • VISMARI, L. F. ; CAMARGO JÚNIOR, J. B. . Quantitative Safety Assessment of CNS/ATM based Air Traffic Control System. Journal of the Brazilian Air Transportation Research Society , v. 5, p. 9-22, 2009.

  • CUGNASCA, P. S. ; CAMARGO JÚNIOR, J. B. ; ALMEIDA JÚNIOR, J. R. . MANAGEMENT AND IMPLEMENTATION OF QUALITY IN A COOPERATIVE COMPUTER ENGINEERING COURSE. Innovations (Arlington, Va.) , v. 1, p. 593-608, 2008.

  • ALMEIDA JÚNIOR, J. R. ; CAMARGO JÚNIOR, J. B. ; CUGNASCA, P. S. . A Segurança do Software em Aplicações de Controle Metroviário e de Tráfego Aéreo. Revista IEEE América Latina , v. 6, p. 106-113, 2008.

  • CAMARGO JÚNIOR, J. B. ; CUGNASCA, Paulo Sérgio ; ALMEIDA JR, J. R. . Air Traffic Control and the Challenges Generated for the Future Computational Systems. Journal of the Brazilian Air Transportation Research Society , v. 4, p. 35-45, 2008.

  • ALMEIDA JR, J. R. ; CAMARGO JÚNIOR, J. B. ; CUGNASCA, Paulo Sérgio . Software Safety in Subway and Air Traffic Control Applications. Revista IEEE América Latina , v. 6, p. 106-113, 2008.

  • CORREA, M. A. ; CAMARGO JÚNIOR, J. B. ; GIMENES, R. A. V. ; ALMEIDA JÚNIOR, J. R. . Integrating UAV into Controlled Airspace using Cooperative Multiagent Negotiation. Journal of the Brazilian Air Transportation Research Society , v. 3, p. 23-37, 2007.

  • LAHOZ, C. ; CAMARGO JÚNIOR, J. B. ; ABDALA, M. ; BURGARELI, L. . A Software Safety Requirements Elicitation Study on Critical Computer Systems. System Safety , London 0 England, v. 1, n.1, p. 47-53, 2006.

  • LAHOZ, C. ; CAMARGO JÚNIOR, J. B. . Um Estudo sobre a Atividade de Elicitação de Requisitos em Projetos de Software da Área Espacial. Cadernos do IME. Série Informática , Rio de Janeiro, v. 20, p. 116-123, 2006.

  • CAMARGO JÚNIOR, J. B. ; ALMEIDA JR, J. R. ; CUGNASCA, P. S. . Análise de Risco de um Sistema de Controle de Transporte Público. Revista dos Transportes Públicos , São Paulo, v. 110, n.1, p. 7-16, 2006.

  • OLIVEIRA, Í. R. ; CUGNASCA, P. S. ; LUBACHESKI, F. A. G. ; SATO, L. M. ; CORREA, M. A. ; CAMARGO JÚNIOR, J. B. ; SIEWERDT, E. . A Logical Architecture for Decision-Making Support in Air Traffic Management. Journal of the Brazilian Air Transportation Research Society , v. 2, p. 41-61, 2006.

  • CAMARGO JÚNIOR, J. B. . Análise de Risco de Sistemas Metroferroviários. Revista Ferroviária, São paulo, v. 1, 2005.

  • VISMARI, L. F. ; CAMARGO JÚNIOR, J. B. . Evaluation of the Impact of New Technologies on Aeronautical Safety: an Approach through Modelling, Simulation and Comparison with Legacy Systems. Journal Of The Brazilian Air Transportation Research Society , São Paulo - SP, v. 1, p. 19-30, 2005.

  • NAUFAL JR, J. K. ; CAMARGO JÚNIOR, J. B. . A Demand Optimization Model for Aeronautical Infrastrucuture. Journal Of The Brazilian Air Transportation Research Society , São Paulo - SP, v. 1, p. 58-68, 2005.

  • CAMARGO JÚNIOR, J. B. ; ALMEIDA JR, J. R. ; CUGNASCA, P. S. . A Experiência do Paradigma da Aprendizagem em um Curso de Engenharia. Revista de Ensino de Engenharia , Brasília, v. 23, n.2, p. 19-26, 2004.

  • ALMEIDA JÚNIOR, J. R. ; CAMARGO JÚNIOR, J. B. ; BASSETO, B. A. ; PAZ, S. M. . Best Practices in Code Inspection for Safety-Critical Software. IEEE Software , England, v. 20, n.3, p. 56-63, 2003.

  • VISMARI, L. F. ; GIMENES, R. A. V. ; CAMARGO JÚNIOR, J. B. ; ALMEIDA JR, J. R. . The Influences of Security Concept in Safety-Related Systems: an Approach to CNS/ATM System. WSEAS Transactions on Systems , v. 2, p. 179-184, 2003.

  • ALMEIDA JR, J. R. ; MELNIKOFF, Selma Shin Shimizu ; CAMARGO JÚNIOR, J. B. ; SOUZA, Benício José de . Defensive Programming for Safety-Critical Systems. WSEAS Transactions on Systems , Grécia, v. 2, n.2, p. 307-312, 2003.

  • VISMARI, Lucio Flávio ; GIMENES, Ricardo Alexandre Veiga ; CAMARGO JÚNIOR, J. B. ; ALMEIDA JR, J. R. . The Influences of Security Concept in Safety-Related Systems: An Approach to CNS/ATM Systems. WSEAS Transactions on Systems , Grécia, v. 2, n.2, p. 179-184, 2003.

  • CAMARGO JÚNIOR, J. B. ; CANZIAN, E. ; ALMEIDA JR, J. R. ; PAZ, S. M. ; BASSETO, B. A. . Quantitative Analysis Methodology in Safety-Critical Microprocessor Applications. Reliability Engineering & Systems Safety , Inglaterra, v. 74, n.01, p. 53-62, 2001.

  • CUGNASCA, P. S. ; CAMARGO JÚNIOR, J. B. ; ANDRADE, M. T. C. . A Fuzzy Method for the Reliability and Safety Assessment of Critical Systems. Frontiers Science Series , Japan, v. 1, n.1, p. 541-547, 2000.

  • CAMARGO JÚNIOR, J. B. ; ALMEIDA JR, J. R. ; DANTAS JR, C. A. . A Segurança no controle de transporte metroferroviário. Revista dos Transportes Públicos , São Paulo, n.1o trim., p. 45-52, 1997.

  • CAMARGO JÚNIOR, J. B. ; ALMEIDA JR, J. R. ; DANTAS JUNIOR, C. A. . A Importância da Análise de Segurança em Sistemas de Controle de Transporte Metro Ferroviário. Revista dos Transportes Públicos , São Paulo, v. 74, p. 45-52, 1997.

  • CAMARGO JÚNIOR, J. B. ; DANTAS JÚNIOR, C. A. . Sistemas de Sinalização. Revista Ferrovia, São Paulo, v. 58, n.148, p. 28-29, 1993.

  • Cesar Marcondes (Org.) ; Fabiano Passuelo Hessel (Org.) ; Camargo Junior, João Batista (Org.) . 1a. Conferência Brasileira em Sistemas Embarcados Críticos CBSEC 2011. 1. ed. São Paulo: EPUSP, 2011. v. 1. 132p .

  • CAMARGO JÚNIOR, J. B. . Avanços No Transporte Aéreo Brasileiro. São Paulo: EPUSP, 2009. v. 1. 813p .

  • CAMARGO JÚNIOR, J. B. ; ALMEIDA JÚNIOR, J. R. (Org.) . II Safety Workshop - Segurança em Sistemas Eletro-Eletrônicos e Programáveis. 1. ed. São Paulo: Escola Politécnica da USP, 2004. v. 1. 146p .

  • LEMOS, R. (Org.) ; WEBER, T. S. (Org.) ; CAMARGO JÚNIOR, J. B. (Org.) . Dependable Computing - First Latin American American Symposium, LADC 2003. Berlin: Springer Verlag, 2003. v. 1. 375p .

  • CAMARGO JÚNIOR, J. B. ; LEMOS, R. (Org.) ; WEBER, T. S. (Org.) . Workshop em Segurança (I Safety Workshop): Sistemas Computacionais em Aplicações Críticas. São Paulo: João Batista Camargo Júnior/Rogério de Lemos/ Taisy Silva Weber, 2003. v. 1. 166p .

  • Nascimento, A. M. ; VISMARI, L. F. ; Queiroz, A. C. M. ; CUGNASCA, P. S. ; Camargo, J. B. ; de Almeida, J. R. . The Moral Machine: Is It Moral?. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2019, v. , p. 405-410.

  • Molina, C. B. S. T. ; VISMARI, L. F. ; Fuji, T. ; Camargo, J. B. ; de Almeida, J. R. ; Inam, R. ; Fersman, E. ; Hata, A. ; Marquezini, M. V. . Enhancing Sensor Capabilities of Open-Source Simulation Tools to Support Autonomous Vehicles Safety Validation. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2018, v. , p. 353-364.

  • Nascimento, A. M. ; VISMARI, L. F. ; CUGNASCA, P. S. ; Camargo, J. B. ; de Almeida, J. R. ; Inam, R. ; Fersman, E. ; Hata, A. ; Marquezini, M. V. . Concerns on the Differences Between AI and System Safety Mindsets Impacting Autonomous Vehicles Safety. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2018, v. , p. 481-486.

  • TONINI, A. M. BAMBERG, P. HENRARD, A. A. MIKOWSKI, A. MARANHAO, A. C. K. ROSA, A. P. C. OLIVEIRA, A. R. BATISTA, C. E. R. SACCHELLI, C. M. OLINTO, C. R. OGRODOWSKI, C. S. GARROSSINI, D. F. VIANA, D. M. ASSAYAG, E. S. RADMANN, E. M. CONTENTE, E. C. M. S. ABDALLA JUNIOR, H. CAMARGO JÚNIOR, J. B. COSTA, J. A. V. ALMEIDA JÚNIOR, J. R. GARCEZ, L. R. ARAUJO JUNIOR, L. O. CARVALHO, L. F. SILVA, M. N. A. CARMO, M. J. , et al. SILVA, M. R. SOUZA, M. R. A. Z. CUGNASCA, P. S. DELATORRE, R. GARCIA, T. R. SANTOS, T. D. ; Projetos de Extensão na Engenharia: Uma Responsabilidade Social para Além das Demandas Tecnológicas. In: Vanderlei Fava de Oliveira; Marcos José Tozzi; José Hélio Alvarez Elarrat; Luciano Sérgio Brito Nicolau da Costa; Antônio Malaquias Pereira. (Org.). Desafios da Educação em Engenharia: Formação em Engenharia, Internacionalização, Experiências Metodológicas e Proposições. 1ed.Brasília: ABENGE, 2013, v. 1, p. 75-123.

  • Ana Maria de Mattos Retttl ; Sheyla Mara Baptista Serra ; Anna Célia Silva Arruda ; Elza C. Giostri ; Ivete Ana Schmitz Booth ; Camargo Junior, João Batista ; ALMEIDA JR, J. R. ; Karina Borges Mendes ; Marcos José Tozzi ; Patrícia Helena Lara dos Santos Matai ; CUGNASCA, P. S. ; SHIGUEHARU, ; Valquíria ; Vera Lúcia da Fonseca Mossmann . Educação por Competência e Formação do Professor de Engenharia. In: ABENGE. (Org.). Engenharia Sem Fronteiras. Passo Fundo - RS: UPF Editora, 2011, v. 1, p. 189-246.

  • Rodrigues ; PIRES ; Estrella ; Vieira ; Correa ; CAMARGO JÚNIOR, J. B. ; Kalinka ; Onofre . Application of SOA in Safety-Critical Embedded Systems. In: Geuk Lee;Daniel Howard;Dominik Ślęzak. (Org.). Convergence and Hybrid Information Technology Communications in Computer and Information Science. Nova York: Springer Verlag, 2011, v. 206, p. 345-354.

  • OLIVEIRA, I. R. ; VISMARI, L. F. ; CUGNASCA, P. S. ; CAMARGO JÚNIOR, J. B. ; Bakker, B.G.H.J ; Blom, H.A.P . A Case Study of Advanced Airborne Technology Impacting Air Traffic Management. In: Li Weigang; Alexandre G. de Barros; Italo Romani de Oliveira. (Org.). Computational Models, Software Engineering and Advanced Technologies in Air Transportation: Next Generation Applications. 1ed.Hershey: IGI Global, 2010, v. 1, p. 177-214.

  • VISMARI, L. F. ; CAMARGO JÚNIOR, J. B. . Assessing Risks in Critical Systems using Petri Nets. In: Pawel Pawlewski. (Org.). Petri Nets: Applications. 1ed.Vukovar: Pawel Pawlewski, 2010, v. 1, p. 541-566.

  • CAMARGO JÚNIOR, J. B. ; LEMOS, R. . Workshop on Safety: Computer Systems in Critical Applications. In: Lecture Notes in Computer Science. (Org.). Dependable Computing. Heidelberg: Springer Berlin, 2003, v. 2847, p. 362-362.

  • CAMARGO JÚNIOR, J. B. . Ciência em Crescimento. TRAER - A Revista do Transporte Aéreo, São Paulo, p. 34 - 34, 02 abr. 2012.

  • CAMARGO JÚNIOR, J. B. . Em busca de mais segurança no ar. Conselho - CREA - RS, Porto Alegre, p. 16 - 16, 15 fev. 2007.

  • CAMARGO JÚNIOR, J. B. ; CUGNASCA, P. S. . Pesquisas da Poli podem melhorar a segurança do tráfego aéreo. Engenharia Automotiva e Aeroespacial, Saõ Paulo, p. 75 - 75, 01 dez. 2006.

  • CAMARGO JÚNIOR, J. B. . Em busca de mais segurança no ar: tecnologia desenvolvida pela USP utiliza a inteligência artificial para auxiliar no planejamento do tráfego brasileiro. Correio Popular, Campinas, p. B10 - B10, 29 out. 2006.

  • CAMARGO JÚNIOR, J. B. . Segurança de Vôo - USP testa equipamento que reduz o risco de choques entre aeronaves, como ocorreu no acidente com o Boeing da Gol. Sistema é acoplado ao avião e atua de forma automática, mas só estará disponível em 2014. Correio Braziliense, Brasília, p. 16 - 16, 26 out. 2006.

  • CAMARGO JÚNIOR, J. B. . Mais segurança no ar. Agência FAPESP, São Paulo, 23 out. 2006.

  • CAMARGO JÚNIOR, J. B. . Análise de Risco de Sistemas Metroferroviários. Revista Ferroviária, São Paulo, , v. 1, p. 18 - 18, 04 jan. 2005.

  • CAMARGO JÚNIOR, J. B. . Por que os acidentes acontecem?. Super Interessante, São Paulo, p. 74 - 78, 18 jul. 2002.

  • VISMARI, LUCIO F. ; JUNIOR, JOAO B. CAMARGO ; NAUFAL, JAMIL K. ; DE ALMEIDA, JORGE R. ; MOLINA, CAROLINE B. S. T. ; INAM, RAFIA ; FERSMAN, ELENA ; MARQUEZINI, MARIA V. . A Fuzzy logic, risk-based autonomous vehicle control approach and its impacts on road transportation safety. In: 2018 IEEE International Conference on Vehicular Electronics and Safety (ICVES), 2018, Madrid. 2018 IEEE International Conference on Vehicular Electronics and Safety (ICVES), 2018. p. 1.

  • NASCIMENTO, ALEXANDRE M. ; CUGNASCA, PAULO S. ; VISMARI, LUCIO F. ; CAMARGO JUNIOR, JOAO B. ; DE ALMEIDA, JORGE R. . Enhancing the Accuracy of Parking Assistant Sensors with Bayesian Filter. In: 2018 IEEE International Conference on Vehicular Electronics and Safety (ICVES), 2018, Madrid. 2018 IEEE International Conference on Vehicular Electronics and Safety (ICVES), 2018. p. 1.

  • VISMARI, LUCIO F. ; MOLINA, CAROLINE ; CAMARGO JÚNIOR, J. B. ; ALMEIDA JR, J. R. ; INAM, R. ; FERSMAN, E. ; MARQUEZINI, M. V. . A simulation-based safety analysis framework for autonomous vehicles? assessing impacts on road transport system?s safety and efficiency. In: European Safety and Reliability Conference (ESREL), 2018, Trondheim. Safety and Reliability ? Safe Societies in a Changing World. London: Taylor & Francis Group, 2018. v. 1. p. 2067-2075.

  • YUDI, R. ; BAUM, D. M. ; CAMARGO JR, J. B. . Cellular Automata as an Approach for Collision Avoidance in UTM. In: XVII Air Transportation Symposium SITRAER 2018, 2018, São Paulo. XVII Air Transportation Symposium SITRAER 2018. São Paulo: João Batista Camargo Jr., 2018. v. 1. p. 1-10.

  • PINTO NETO, E. C. ; BAUM, D. M. ; ALMEIDA, JORGE RADY DE ; CAMARGO JR, J. B. ; CUGNASCA, PAULO S. . A Framework for Evaluating Path Planning in Low Altitude Environments. In: XVII Air Transportation Symposium SITRAER 2018, 2018, São Paulo. XVII Air Transportation Symposium SITRAER 2018. São Paulo: João Batista Camargo Jr., 2018. v. 1. p. 1-10.

  • ALMEIDA, V. M. ; MATSUMOTO, T. T. ; CUGNASCA, PAULO S. ; CAMARGO JR, J. B. . A Simulation Framework for Testing Detect and Avoid Technique for Small Unmanned Aircraft Systems. In: XVII Air Transportation Symposium SITRAER 2018, 2018, São Paulo. XVII Air Transportation Symposium SITRAER 2018. São Paulo: João Batista Camargo Jr., 2018. v. 1. p. 1-10.

  • SNATOS, P. N. M. ; CAMARGO JR, J. B. ; VISMARI, Lucio Flávio . UMA PROPOSTA DE ANÁLISE DO IMPACTO DOS VEÍCULOS AUTÔNOMOS SOBRE ASPECTOS LOGÍSTICOS DO SISTEMA VIÁRIO ATUAL. In: 32º Congresso de Pesquisa e Ensino em Transportes - 2018. São Paulo: Associação Nacional de Pesquisa e Ensino em Transportes, 2018, Gramado - RS. Anais do 32º Congresso de Pesquisa e Ensino em Transportes - 2018. São Paulo, 2018. v. 1. p. 3450-3461.

  • NETO, EUCLIDES PINTO ; BAUM, DERICK M. ; BRINATI, M. ; ALMEIDA, JORGE R. ; CAMARGO JR, J. B. ; CUGANSCA, P. S. . . A Safe Flow-Management Method for Air Traffic Considering the UAS Presence into the Non-Segregated Airspace. In: European Safety and Reliability Conference (ESREL 2018), 2018, Trondheim. Proceedings of ESREL 2018.. Lomdon: CRC Press, 2018. v. 1. p. 2137-2145.

  • BUOSI, R. ; BAUM, DERICK M. ; PINTO NETO, E. C. ; MARTINS, M. ; de Almeida, J. R. ; CUGNASCA, P. S. ; CAMARGO JR, J. B. . A Risk Analysis of Unmanned Aircraft Systems (UAS) integration into non-segregate Airspace. In: International Conference on Unmanned Aircraft Systems (ICUAS 2018), 2018, Dallas. PROCEEDINGS OF 2018 INTERNATIONAL CONFERENCE ON UNMANNED AIRCRAFT SYSTEMS, 2018. v. 1. p. 1-10.

  • MOLINA, CAROLINE BIANCA SANTOS TANCREDI ; ALMEIDA, JORGE RADY DE ; VISMARI, LUCIO F. ; GONZALEZ, RODRIGO IGNACIO R. ; NAUFAL, JAMIL K. ; CAMARGO, JOAO BATISTA . Assuring Fully Autonomous Vehicles Safety by Design: The Autonomous Vehicle Control (AVC) Module Strategy. In: 2017 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop (DSNW), 2017, Denver. 2017 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), 2017. v. 1. p. 16-21.

  • NETO, EUCLIDES PINTO ; BAUM, DERICK M. ; HERNANDEZ-SIMOES, CARLOS E. ; ALMEIDA, JORGE R. ; CAMARGO, JOAO B. ; CUGNASCA, PAULO S. . An airspace capacity-based safety assessment model considering UAS integration. In: 2017 International Conference on Unmanned Aircraft Systems (ICUAS), 2017, Miami. 2017 International Conference on Unmanned Aircraft Systems (ICUAS), 2017. v. 1. p. 961-970.

  • MOLINA, C. ; GONZALEZ, RODRIGO IGNACIO R. ; CAMARGO JR, J. B. ; ALMEIDA JR, J. R. ; VISMARI, Lucio Flávio ; NAUFAL JR, J. K. ; INAM, RAFIA ; AZEVEDO, C. R. B. . A comparison of two simulators to support safety analysis in autonomous vehicles. In: European Safety and Reliability Conference, 2017, Portoroz - Eslovênia. Safety and Reliability ? Theory and Applications. Londres: Taylor & Francis Group, 2017. v. 1. p. 1903-1911.

  • SILVA, T. A. ; CAMARGO JR, J. B. ; NAUFAL JR, J. K. ; VISMARI, Lucio Flávio ; INAM, RAFIA ; AZEVEDO, C. R. B. . A preliminary analysis of impacts of vehicular ad hoc networks on traffic safety. In: European Safety and Reliability Conference, 2017, Portoroz, Eslovênia. Safety and Reliability ? Theory and Applications.. Londres, Inglaterra: Taylor & Francis Group, 2017. v. 1. p. 2503-2508.

  • PINTO NETO, E. C. ; BAUM, DERICK M. ; ALMEIDA, JORGE R. ; CAMARGO JR, J. B. ; CUGNASCA, P. S. . . EVALUATING SAFETY AND EFFICIENCY IN AIRCRAFT SEQUENCING IN FINAL APPROACH CONSIDERING THE UAS PRESENCE. In: XXXI Congresso de Pesquisa e Ensino em Transportes - XXXI ANPET, 2017, 2017, Recife. Anais do XXXI Congresso de Pesquisa e Ensino em Transportes - XXXI ANPET, 2017. v. 1. p. 1-12.

  • PINTO NETO, E. C. ; BAUM, D. M. ; CAMARGO JR, J. B. ; CUGNASCA, P. S. . ANALYSIS OF THE BRAZILIAN AIRSPACE CAPACITY MODEL IN COMPLEX ENVIRONMENTS. In: XVI SITRAER - Simpósio de Transporte Aéreo, 2017, Rio de Janeiro. Anais do XVI SITRAER - Simpósio de Transporte Aéreo, 2017. v. 1. p. 1-13.

  • BAUM, D. M. ; PINTO NETO, E. C. ; ALMEIDA JR, J. R. ; CUGNASCA, P. S. ; CAMARGO JR, J. B. . IMPACT ASSESSMENT OF UAS OPERATIONS ON AIRPORT CAPACITY APPLYING CONTIGENCY OPERATIONS. In: XVI SITRAER - Simpósio de Transporte Aéreo, 2017, Rio de Janeiro. Anais do XVI SITRAER - Simpósio de Transporte Aéreo, 2017. v. 1. p. 1-15.

  • MATSUMOTO, T. T. ; CAMARGO JÚNIOR, J. B. . Modelling and Simulation of Autonomous Unmanned Aircraft to Assess Risk of Collision with other Aircraft. In: XV SITRAER - Simpósio de Pesquisa em Transporte Aéreo, 2016, São Luis. XV SITRAER - Simpósio de Pesquisa em Transporte Aéreo. SBTA - Sociedade Brasileira de: SBTA - Sociedade Brasileira de Pesquisa em Transporte Aéreo, 2016. v. 1.

  • SESSO, D. B. ; VISMARI, L. F. ; CAMARGO JÚNIOR, J. B. . An approach to assess the safety of automatic dependent surveillance systems considering aspects of integrity in positional data based on computational simulation. In: ESREL 2015 ? European Safety and Reliability Conference 2015, 2015, Zurich. Safety and Reliability of Complex Engineered Systems. Londres: Taylor & Francis Group, 2015. v. 1. p. 305-313.

  • MATSUMOTO, T. T. ; VISMARI, L. F. ; CAMARGO JÚNIOR, J. B. . Training and evaluation of a learning-based autonomous unmanned aircraft for collision avoidance: Virtual training data generation. In: ESREL 2015 ? European Safety and Reliability Conference 2015, 2015, Zurich. Safety and Reliability of Complex Engineered Systems. Londres: Taylor & Francis Group, 2015. v. 1. p. 2771-2779.

  • MATSUMOTO, THIAGO TOSHIO ; VISMARI, LUCIO FLAVIO ; GIMENES, Ricardo Alexandre Veiga ; ALMEIDA, JORGE RADY DE ; CAMARGO, JOAO B. . A Learning-Based Autonomous Control System Approach for Collision Avoidance within an Unmanned Aircraft. In: 2015 IEEE International Conference on Dependable Systems and Networks Workshops (DSNW), 2015, Rio de Janeiro. 2015 IEEE International Conference on Dependable Systems and Networks Workshops, 2015. p. 96-103.

  • SESSO, DANIEL BARALDI ; VISMARI, LUCIO F. ; NETO, ANTONIO V. SILVA ; CUGNASCA, PAULO S. ; CAMARGO, JOAO B. . Using Data Integrity as an Improvement Characteristic to Assess the Safety of ADS-B-based Systems. In: 2015 IEEE International Conference on Dependable Systems and Networks Workshops (DSNW), 2015, Rio de Janeiro. 2015 IEEE International Conference on Dependable Systems and Networks Workshops, 2015. p. 88.

  • SESSO, D. B. ; VISMARI L.F. ; CAMARGO JÚNIOR, J. B. . An approach to assess the safety of ADS-B based unmanned aerial systems. In: 2014 International Conference on Unmanned Aircraft Systems (ICUAS), 2014, Orlando. 2014 International Conference on Unmanned Aircraft Systems (ICUAS). Orlando: IEEE, 2014. p. 669-676.

  • MATSUMOTO, T. T. ; VISMARI, L. F. ; CAMARGO JR, J. B. . A method to implement and to evaluate a learning-based Piloting Autonomous System for UAS. In: 2014 International Conference on Unmanned Aircraft Systems (ICUAS), 2014, Orlando. 2014 International Conference on Unmanned Aircraft Systems (ICUAS). Orlando: IEEE, 2014. p. 195-199.

  • MATSUMOTO, T. T. ; VISMARI, Lucio Flávio ; Camargo Junior, João Batista . MODELAGEM E SIMULAÇÃ O DE VANT AUTÔNOMO P ARA AVALIAÇÃO DE RISCO D E COLISÃO COM OUTRAS AERONAVES. In: XIII SITRAER ? AIR TRANSPORTATION SYMPOSIUM, 2014, São Paulo. XIII SITRAER ? AIR TRANSPORTATION SYMPOSIUM. São Paulo: EPUSP, 2014. v. 1. p. 1-6.

  • SESSO, D. B. ; VISMARI, Lucio Flávio ; CAMARGO JÚNIOR, J. B. . AN APPROACH TO ASSESS SAFETY CONSIDERING INTEGRITY OF DATA OF ADS-B BASED AERIAL SYSTEMS. In: XIII SITRAER ? AIR TRANSPORTATION SYMPOSIUM, 2014, São Paulo. XIII SITRAER ? AIR TRANSPORTATION SYMPOSIUM. São Paulo: EPUSP, 2014. v. 1. p. 20-29.

  • DIRICKSON, Y. M. R. ; VISMARI, Lucio Flávio ; CAMARGO JÚNIOR, J. B. . A METHODOLOGICAL APPROACH TO SAFETY ANALYSIS OF AUTOMATED TASKS OF TWR ATCO. In: XIII SITRAER ? AIR TRANSPORTATION SYMPOSIUM, 2014. XIII SITRAER ? AIR TRANSPORTATION SYMPOSIUM. São Paulo: EPUSP, 2014. v. 1. p. 89-95.

  • FERREIRA FILHO, B. A. ; CAMARGO JÚNIOR, J. B. . SYSTEMS-THEORETIC AND ACCIDENT MODEL AND PROCESSES (STAMP) APPLIED TO DESIGN A SAFETY-DRIVEN CONCEPT OF AN AIR NAVIGATION SERVICE PROVIDER (ANSP). In: XIII SITRAER ? AIR TRANSPORTATION SYMPOSIUM, 2014, São Paulo. XIII SITRAER ? AIR TRANSPORTATION SYMPOSIUM. São Paulo: EPUSP, 2014. v. 1. p. 125-134.

  • FRANCISCO, E. S. ; VISMARI, Lucio Flávio ; CAMARGO JÚNIOR, J. B. . CONSTRUÇÃO DE CENÁRIOS PARA AVALIAÇÃO DA IMPLANTAÇÃO DO ADS-B NO BRASIL UTILIZANDO FUZZY COGNITIVE MAPS. In: XIII SITRAER ? AIR TRANSPORTATION SYMPOSIUM, 2014, São Paulo. XIII SITRAER ? AIR TRANSPORTATION SYMPOSIUM. São Paulo: EPUSP, 2014. v. 1. p. 195-204.

  • CUGNASCA, P. S. ; MELNIKOFF, Selma Shin Shimizu ; CAMARGO JR, J. B. . Método de Reestruturação Curricular Aplicado aos Cursos de Engenharia de Computação da Escola Politécnica da USP.. In: COBENGE 2014 - XLII Congresso Brasileiro de Educação em Engenharia, 2014, Juiz de Fora. Anais do XLII Congresso Brasileiro de Ensino de Engenharia, 2014. p. 1-12.

  • OLGUIN, G. S. ; CUGNASCA, Paulo Sérgio ; CAMARGO JÚNIOR, J. B. . Student Learning Quality Assessment based on the Alumni Profile. In: International Conference on Engineering Education and Research ICEER'13, 2013, Marrakesh. ICEER'13 Conference Proceedings. Marrakesh: ICEER 2013, 2013. v. 1. p. 977-984.

  • GIMENES, R. A. V. ; CORREA, M. A. ; CAMARGO JÚNIOR, J. B. ; AVELINO, V. F. ; VISMARI, Lucio Flávio ; CUGNASCA, P. S. ; ROSSI, M. A. ; ALMEIDA JR, J. R. . Guidelines for Integration of Autonomous UAS in Global ATM. In: International Conference on Unmanned Aircraft Systems ICUAS'13, 2013, Atlanta. Proceedings of 2013 International Conference on Unammanned Aircraft Systems ICUAS'13. Atlanta: IEEE, 2013. v. 1. p. 994-1003.

  • DIRICKSON, Y. M. R. ; VISMARI L.F. ; CAMARGO JR, J. B. . Elicitation of Operational Requirements in ATC Activities Automation Process: The TWR Case. In: 2013 III Brazilian Symposium on Computing Systems Engineering (SBESC), 2013, Niteroi. 2013 III Brazilian Symposium on Computing Systems Engineering. Niteroi: IEEE, 2013. p. 149-154.

  • VISMARI L.F. ; CAMARGO JÚNIOR, J. B. . Safety assurance in complex engineered systems: could the current safety standards and regulations be doing our critical systems more unsafe?. In: Student Workshop - II Brazilian Conference on Critical Embedded Systems, 2012, Campinas. Student Workshop - II Brazilian Conference on Critical Embedded Systems. Estados Unidos: CPS - Engineering Publishing Services, 2012. p. 21-28.

  • Correa ; CAMARGO JÚNIOR, J. B. ; Rossi, M. A. ; ALMEIDA JR, J. R. . Improving the Resilience of UAV in Non-Segregated Airspace Using Multiagent Paradigm. In: II Brazilian Conference on Critical Embedded Systems (CBSEC 2012), 2012, Campinas. Proceedings of II Brazilian Conference on Critical Embedded Systems (CBSEC 2012). Nova York: CPS - Engineering Publishing Services, 2012. v. 1. p. 88-93.

  • CUGNASCA, P. S. ; CAMARGO JÚNIOR, J. B. ; OLGUIN, G. S. . Análise do Curso de Engenharia de Computação da Escola Politécnica da USP Segundo seus Egressos. In: XL Congresso Brasileiro de Educação em Engenharia - COBENGE 2012, 2012, Belém - PARA. XL Congresso Brasileiro de Educação em Engenharia. Belém: Universidade Federal do Pará, 2012. v. 1. p. 1-12.

  • AVELINO, V. F. ; CUGANSCA, P. S. ; GIMESES, R. A. V. ; CORREA, M. A. ; CAMARGO JÚNIOR, J. B. ; VISMARI, L. F. ; ROSSI, M. A. ; ALMEIDA JÚNIOR, J. R. . Desafios na Integração de VANTs No ATM Global. In: XI SITRAER - Simpósio Brasileiro de Pesquisa em Transporte Aéreo, 2012, Brasília. Tecnologia Avançada de Transporte Aéreo no Brasil. São Paulo: EPUSP, 2012. v. 1. p. 11-21.

  • GIMENES, Ricardo Alexandre Veiga ; CORRÊA, M. A. ; CAMARGO JÚNIOR, J. B. ; CUGNASCA, P. S. ; AVELINO, V. F. ; VISMARI, L. F. ; ROSSI, M. A. ; ALMEIDA JR, J. R. . Proposta de Taxonomia para VANTs. In: XI SITRAER - Simpósio Brasileiro de Pesquisa em Transporte Aéreo, 2012, Brasília. Tecnologia Avançada de Transporte Aéreo no Brasil. São Paulo: EPUSP, 2012. v. 1. p. 23-28.

  • Agnelo Gomes Jr. ; Felix Prado ; Renato Franzon Soares ; Camargo Junior, João Batista . Estudo de Detecção pelo Trem de trilho Partido em Tempo Real através da Corrente de Tração para Sistemas Metroviários. In: 17a Semana de Tecnologia Metroferroviária, 2011, São Paulo. 17a Semana de Tecnologia Metroferroviária, 2011. v. 1.

  • Marcelo José Ruv Lemes ; CAMARGO JÚNIOR, J. B. . The SAE ARP 4754 Development Process Supported by DSM and DMM. In: 14th ATRS Conference, 2010, Porto. 14th Air Transportation Research Society, 2010.

  • Marcelo José Ruv Lemes ; CAMARGO JÚNIOR, J. B. . THE USE OF DSM AND DMM TO SUPPORT SAE ARP-4754 DEVELOPMENT ACTIVITIES. In: 12TH INTERNATIONAL DEPENDENCY AND STRUCTURE MODELLING CONFERENCE, DSM?10, 2010, Cambridge. 12TH INTERNATIONAL DEPENDENCY AND STRUCTURE MODELLING CONFERENCE, DSM?10. Cambridge, 2010.

  • CUGNASCA, P. S. ; CAMARGO JÚNIOR, J. B. ; ALMEIDA JR, J. R. . Experiências com a Aplicação de Trabalho de Conclusão de Curso na Engenharia de Computação. In: XXXVIII Congresso Brasileiro de educação em Engenharia, 2010, Fortaleza. COBENGE 2010 XXXVIII Congresso Brasileiro de Educação em Engenharia. Fortaleza: Wave Media, 2010.

  • CORREA, M. A. ; GIMENES, R. A. V. ; VISMARI, Lucio Flávio ; CAMARGO JÚNIOR, J. B. ; ALMEIDA JR, J. R. ; CUGNASCA, P. S. . Diretrizes para Certificação de Veículos Aéreos não Tripulados (VANT) para uso no Espaço Aéreo. In: IX SITRAER - Simpósio de Transporte Aéreo, 2010, Manaus. IX SITRAER - Simpósio de Transporte Aéreo. Manuas: Universidade do Estado do Amazonas - UEA, 2010. v. 1. p. 308-318.

  • SANTOS, R. C. ; BASSETO, B. ; CUGNASCA, Paulo Sérgio ; ALMEIDA JR, J. R. ; CAMARGO JÚNIOR, J. B. . Um Método Baseado em Árvore de Falhas e Simulação de Monte Carlo para a Análise de Confiabilidade/Disponibilidade de Sistemas Elétricos de Potência. In: IEEE/PES T&D 2010 - Latin America, 2010, São Paulo. IEEE/PES T&D 2010 - Latin America. São Paulo: IEEE, 2010. p. 1-6.

  • Gil ; CAMARGO JÚNIOR, J. B. ; ALMEIDA JR, J. R. ; VISMARI, L. F. ; CUGNASCA, P. S. ; GIMENES, R. A. V. ; FURTADO, V. H. . PIPE-SEC: Plataforma para Ensaios e Validação da Operação de Veículos Aéreso não Tripulados (VANTS) no Espaço Aéreo Controlado. In: VIII Simpósio de Transporte Aéreo (SITRAER) II Red Iberoamericana de Investigación em Transporte Aéreo (RIDITA), 2009, São Paulo. Avanços no Transporte Aéreo Brasileiro. São Paulo: EPUSP, 2009. p. 511-524.

  • Oliveira, C. Paschoali de ; CUGNASCA, P. S. ; CAMARGO JÚNIOR, J. B. ; Trindadade Jr., Onofre . Análise de Aspectos de Segurança para a Utilização de Veículos Aéreos não Tripulados na Vigilância de Fronteiras. In: VIII Simpósio de Transporte Aéreo (SITRAER) II Red Iberoamericana de Investigación em Transporte Aéreo (RIDITA), 2009, São Paulo. Avanços no Transporte Aéreo Brasileiro. São Paulo: EPUSP, 2009. p. 77-88.

  • Zumalde ; SECALL, J. ; CAMARGO JÚNIOR, J. B. . Comparative Analysis on the impact of defensive programming techniques for safety-critical systems. In: Fourth Latin-American Symposium on Dependable Computing, 2009, João Pessoa. Fourth Latin-American Symposium on Dependable Computing. Campina Grande: Departamento de Sistemas e Computação - Universidade Federal de Campina Grande, 2009. v. 1. p. 95-102.

  • CAMARGO JÚNIOR, J. B. ; CUGNASCA, P. S. ; ALMEIDA JR, J. R. . A Motivação do Professor de Engenharia Face ao Paradigma da Aprendizagem. In: XXXVII Congresso Brasileiro de Educação em Engenharia - COBENGE, 2009, Recife. XXXVII Congresso Brasileiro de Educação em Engenharia. Recife: COBENGE, 2009. v. 1. p. 1-5.

  • CUGNASCA, P. S. ; CAMARGO JÚNIOR, J. B. ; ALMEIDA JR, J. R. . Coordenação de Cursos na Engenharia de Computação da Escola Politécnica da USP. In: XXXVII Congresso Brasileiro de Educação em Engenharia - COBENGE, 2009, Recife. XXXVII Congresso Brasileiro de Educação em Engenharia. Recife: COBENGE, 2009. v. 1. p. 1-10.

  • SANTOS, R. C. ; BASSETO, B. ; CUGNASCA, P. S. ; ALMEIDA JR, J. R. ; CAMARGO JÚNIOR, J. B. . Análise de Disponibilidade de Subestações de Alta Tensão Considerando seus Principais Equipamentos. In: 8th Latin-American Congress: Electricity Generation and Transmission, 2009, Ubatuba. Book of Abstracts and Proceedings VIII Latin-American Congress: Electricity Generation and Transmission. Guaratingueta: FDCT-Fundação para o Desenvolvimento Científico e Tecnológico, 2009. v. 1. p. 1-8.

  • NAUFAL JR, J. K. ; CAMARGO JÚNIOR, J. B. . Demand optimization model in aeronautical infrastructure to maintain the safety integrity level. In: European Safety and Reliability Conference, 2009, Praga. Proceedings of the European Safety and Reliability Conference. Londres: Taylor & Francis Group, 2009. v. 1. p. 119-122.

  • VISMARI, L. F. ; CAMARGO JÚNIOR, J. B. . An absolute-relative risk assessment methodology approach to current safety critical systems and its application to ADS-B based Air Traffic Control. In: 27th International Symposium on Reliable Distributed Systems - IEEE SRDS 2008, 2008, Nápoles. IEEE SRDS 2008 - 27th International Symposium on Reliable Distributed Systems. Los Alamitos, CA: IEEE Computer Society, 2008. p. 95-104.

  • CAMARGO JÚNIOR, J. B. ; CUGNASCA, P. S. ; ALMEIDA JÚNIOR, J. R. . A Formação do Professor de Engenharia Face ao Paradigma da Aprendizagem. In: XXXVI Congresso Brasileiro de Educação em Engenharia - COBENGE 2008, 2008, São Paulo. XXXVI Congresso Brasileiro de Educação em Engenharia - COBENGE 2008, 2008.

  • ALMEIDA JÚNIOR, J. R. ; CUGNASCA, P. S. ; CAMARGO JÚNIOR, J. B. . A Visita de Alunos do Ensino Médio à Escola Politécnica da USP no Programa a Universidade e as Profissões. In: XXXVI Congresso Brasileiro de Educação em Engenharia, 2008, São Paulo. XXXVI Congresso Brasileiro de Educação em Engenharia, 2008.

  • CUGNASCA, P. S. ; ALMEIDA JÚNIOR, J. R. ; CAMARGO JÚNIOR, J. B. . A Experiência do Trabalho em Grupos Variáveis de Alunos na Escola Politécnica da USP. In: XXXVI Congresso Brasileiro de Educação em Engenharia, 2008, São Paulo. XXXVI Congresso Brasileiro de Educação em Engenharia, 2008.

  • Marcelo José Ruv Lemes ; CAMARGO JÚNIOR, J. B. . Safety considerations in complex airborne systems. In: European Safety and Reliability Conference, 2008, Valência. Safety, Reliability and Risk Analysis:Theory, Methods and Applications. Leiden: CRC Press/Balkema, 2008. v. 3. p. 2207-2215.

  • SECALL, J. ; CAMARGO JÚNIOR, J. B. . Comparative evaluation of defensive programming in safety critical applications. In: European safety and reliability conference, 2007, Stavanger. Risk, Reliability and Societal Safety. Leiden: Taylor & Francis/Balkema, 2007. v. 1. p. 655-661.

  • CORRÊA, M. A. ; CAMARGO JÚNIOR, J. B. . Introducing UAV in hte CNS/ATM using cooperative multiagent negotiation. In: European Safety and Reliability Conference, 2007, Stavanger. Risk, Reliability and Societal Safety. Leiden: Taylor & Francis/Balkema, 2007. v. 3. p. 2077-2084.

  • CAMARGO JÚNIOR, J. B. ; CUGNASCA, P. S. ; ALMEIDA JÚNIOR, J. R. . Tendências no Controle do Tráfego Aéreo e os Desafios para os Sistemas Computacionais. In: VI Simpósio de Transporte Aéreo - VI SITRAER, 2007, Maringá. VI SITRAER - simpósio de transporte aéreo. Maringá: Douglas Targa e Anderson Ribeiro Correia, 2007. v. 1. p. 328-336.

  • ALMEIDA JÚNIOR, J. R. ; CAMARGO JÚNIOR, J. B. ; CUGNASCA, P. S. . A integração entre a Graduação e a Pós-graduação na Engenharia de Computação da Escola Politécnica da USP. In: XXXV Congresso Brasileiro de Educação em Engenharia, 2007, Curitiba. XXXV Congresso Brasileiro de Educação em Engenharia. Curitiba: Cobenge, 2007. v. 1. p. 132-142.

  • LAHOZ, C. H. N. ; CAMARGO JÚNIOR, J. B. . An Approach for Dependability Requirements Elicitation in Computer Systems for Space Projects. In: 25th International System Safety Conference, 2007, Baltimore. Conference Proceedings Engineering a Safer World. Unionville: System Safey Soceity, 2007. v. 1. p. 239-248.

  • ALMEIDA JÚNIOR, J. R. ; CAMARGO JÚNIOR, J. B. ; CUGNASCA, P. S. . Experiences in Cooperative Computer Engineering Course at the São Paulo University - Brazil. In: International Conference on Engineering Education, 2007, Coimbra. Proceedings of the International Conference on Engineering Education 2007. Coimbra: Universidade de Coimbra, 2007. v. 1. p. 1-6.

  • FURTADO, V. H. ; CAMARGO JÚNIOR, J. B. . Desafios na Aplicação de Sensor Fusion em Veículos Aéreos não Tripulados. In: VI SITRAER - Simpósio de Pesquisa em Transporte Aéreo, 2007, Maringá. VI SITRAER - Simpósio de Pesquisa em Transporte Aéreo. Maringá - PR: Douglas Targa e Anderson Ribeiro Correia, 2007. v. 1. p. 294-306.

  • CAMARGO JÚNIOR, J. B. ; ALMEIDA JR, J. R. ; CUGNASCA, P. S. . Risk Analysis of a CBTC Signaling System. In: 7th World Congress on Railway Research, 2006, Montreal. 7th World Congress on Railway Research. Montreal: WCRR 2006 Congress Secretariat, 2006. v. 1. p. 1-8.

  • CORREA, M. A. ; CAMARGO JÚNIOR, J. B. ; GIMENES, R. A. V. ; ALMEIDA JÚNIOR, J. R. . Safety Concerns on Operation UAV sing Cooperative Multiagent Negotiation. In: First IFAC Workshop on Multivehicle Systems, 2006, Salvador. First IFAC Workshop on Multivehicle Systems, 2006. p. 102-107.

  • COSTA, C. H. A. ; CAMARGO JÚNIOR, J. B. . Segurança da Informação em telecomunicações Aeronáuticas: Discussão da Viabilidade e Benefícios da Utilização de Criptografia Quântica.. In: V SITRAER - Simpósio de Pesquisa em Transporte Aéreo, 2006, Brasília. V SITRAER - Simpósio de Pesquisa em Transporte Aéreo. São Paulo: EDUSP, 2006. p. 173-179.

  • CAMARGO JÚNIOR, J. B. ; ALMEIDA JÚNIOR, J. R. ; CUGNASCA, P. S. . Análise Preliminar de Risco do Sistema de Sinalização CBTC. In: 12a Semana de Tecnologia Metroferroviária, 2006, São Paulo. 12a Semana de tecnologia Metroferroviária. São Paulo: Associação dos Engenheiros e Arquitetos de Metrô, 2006.

  • CAMARGO, G. M. ; CAMARGO JÚNIOR, J. B. ; NAUFAL JR, J. K. ; MATIUSSI, G. . Definition of Selective Pressure Control Methods for Optimization of Genetic Algorithms in Air Traffic Control. In: 10th IASTED International Conference on Artificial Inteligence and Soft Computing, 2006, Palma de Mallorca. Proceedings of the IASTED International Conference on Artificial Inteligence and Soft Computing. Anaheim-Calgary-Zurich: ACTA Press, 2006. v. 1. p. 304-311.

  • CUGNASCA, P. S. ; CAMARGO JÚNIOR, J. B. ; ALMEIDA JÚNIOR, J. R. . A Avaliação no Ensino de Engenharia - Experiencias na Graduação e na Pós-Graduação. In: COBENGEXXXIV - Ensino de Engenharia: Empreender e Preservar, 2006, Passo Fundo - RS. COBENGE 2006 - Ensino de Engenharia: Empreender e Preservar. Passo Fundo - RS: Universidade de Passo Fundo, 2006. v. 1. p. 1-14.

  • CORREA, M. A. ; CAMARGO JÚNIOR, J. B. ; GIMENES, R. A. V. ; ALMEIDA JR, J. R. . Integration UAV in to Controlated Air Space Using Cooperative Multiagent Negotiation. In: V SITRAER - Simpósio de Transporte Aéreo, 2006, Brasília. Avanços do Transporte Aéreo Brasileiro. São Paulo: EDUSP, 2006. p. 315-324.

  • OLIVEIRA, I. R. ; CUGNASCA, P. S. ; LUBACHESKI, F. A. G. ; SATO, L. M. ; CORREA, M. A. ; CAMARGO JÚNIOR, J. B. ; SIEWERDT, E. . Uma Arquitetura Lógica para Auxílio à Tomada de Decisão no Gerenciamento de Tráfego Aéreo. In: IV Simpósio de Transporte Aéreo, 2005, São José dos Campos. IV Simpósio de Transporte Aéreo. São Paulo: João Batista Camargo Jr., 2005. v. 1. p. 187-206.

  • MORAES, A. F. ; CAMARGO JÚNIOR, J. B. . Biometrics - Evaluation Security Technologies for Brazilian Airpotrs. In: International Conference on Security and Managment, 2005, Las Vegas. Proceedings of the 2005 International Conference on Security and Mangment. Las Vegas: CSREA Press, 2005. v. 1. p. 491-496.

  • CUGNASCA, P. S. ; ALMEIDA JR, J. R. ; CAMARGO JÚNIOR, J. B. . Modelo de Qualidade Aplicado a um Curso de Engenharia com Múltiplas Turmas. In: XXXIII Congresso Brasileiro de Ensiono em Engenharia, 2005, Campina Grande. XXXIII Congresso Brasileiro de Ensino em Engenharia, 2005. p. 1-12.

  • ALMEIDA JR, J. R. ; CAMARGO JÚNIOR, J. B. ; CUGNASCA, P. S. . Risk Analysis of Railway Control Systems. In: 8TH International Heavy Haul Conference, 2005, Rio de Janeiro. Proceedings 0 8th International Heavy Haul Conference. Virginia, VA, USA: Forest Hills Court, 2005. v. 1. p. 129-137.

  • OGATA, P. H. ; CAMARGO JÚNIOR, J. B. . Hazard Evaluation of Aircraft Collision on Ultra Closely Spaced Parallel Aproach Operation. In: IX Air Transportation Research Society World Conference, 2005, Rio de Janeiro. IX Air Transportation Research Society World Conference, 2005. v. 1. p. 1-14.

  • VISMARI, L. F. ; CAMARGO JÚNIOR, J. B. . AN APPROACH TO EVALUATE THE IMPACT OF NEW TECHNOLOGIES OVER AERONAUTICAL SAFETY. In: IX Air Transportation Research Society World Conference, 2005, Rio de Janeiro. IX Air Transportation Research Society World Conference, 2005. v. 1. p. 1-18.

  • OLIVEIRA, I. R. ; CUGNASCA, P. S. ; CAMARGO JÚNIOR, J. B. ; FONSECA, R. ; SILVA, J. . An Evolutive Environment for Development of Free-Flight. In: PSAM 7 - International Conference on Probabilistic Safety Assessment and Management, 2004, Berlim. Probabilistic Safety Assessment and Management - PSAM7 - ESREL´04. London Berlin Heidelberg: Springer-Verlag, 2004. v. 1. p. 513-518.

  • CAMARGO JÚNIOR, J. B. ; ALMEIDA JR, J. R. ; CUGNASCA, P. S. . A Eficácia da Avaliação Continuada na Aprendizagem em um Curso de Engenharia. In: XXXII COBENGE - CONGRESSO BRASILEIRO DE ENSINO DE ENGENHARIA, 2004, Brasília, 2004.

  • ALMEIDA JÚNIOR, J. R. ; CAMARGO JÚNIOR, J. B. ; CUGNASCA, P. S. . A Importância do Trabalho de Conclusão de Curso na Formação do Engenheiro de Computação. In: XXXII COBENGE - CONGRESSO BRASILEIRO DE ENSINO DE ENGENHARIA, 2004, Brasília, 2004.

  • CUGNASCA, P. S. ; CAMARGO JÚNIOR, J. B. ; ALMEIDA JÚNIOR, J. R. . O Workshop de Graduação como um Instrumento de Manutenção da Qualidade de um Curso de Engenharia. In: XXXII COBENGE - CONGRESSO BRASILEIRO DE ENSINO DE ENGENHARIA, 2004, Brasília, 2004.

  • NAUFAL JR, J. K. ; CAMARGO JÚNIOR, J. B. . Modelo de Otimização de Demanda em Infra-Estrutura Aeronáutica. In: III Simpósio de Transporte Aéreo, 2004, São José dos Campos, 2004.

  • VISMARI, L. F. ; CAMARGO JÚNIOR, J. B. . Avaliação do Impacto das Novas Tecnologias sobre a Segurança Aeronáutica. In: III Simpósio de Transporte Aéreo, 2004, São José dos Campos, 2004.

  • CAMARGO JÚNIOR, J. B. ; CUGNASCA, P. S. ; ALMEIDA JR, J. R. . O Treinamento de Docentes para o Ensino Cooperativo de Engenharia - Foco no Aprendizado do Aluno. In: XXXI Cobenge, 2003, Rio de Janeiro. COBENGE 2003. Rio de Janeiro: IME - UFRJ - UERJ, 2003. v. 1. p. 254-254.

  • ARAKAKI, R. ; CUGNASCA, P. S. ; FREGNI, E. ; CAMARGO JÚNIOR, J. B. ; MARTUCCI JR, M. . Um Novo Paradigma de Estágio no Curso de Engenharia de Computação Cooperativo da EPUSP. In: XXXI Cobenge, 2003, Rio de Janeiro. Cobenge 2003. Rio de Janeiro: IME - UFRJ - UERJ, 2003. v. 1. p. 153-153.

  • CUGNASCA, P. S. ; CAMARGO JÚNIOR, J. B. ; MARTUCCI JR, M. ; MASSOLA, A. M. A. ; BRAGA, L. . Introdução do Ensino Cooperativo de Engenharia no Estado do Amazonas - Cooperação UEA/EPUSP. In: CobengeXXXI, 2003, Rio de Janeiro. Cobenge 2003. Rio de Janeiro: IME - UFRJ - UERJ, 2003. v. 1. p. 84-84.

  • CUGNASCA, P. S. ; CAMARGO JÚNIOR, J. B. ; ALMEIDA JÚNIOR, J. R. . A Participação Discente no Ensino de Engenharia - A Introdução do Relatório de Avaliação da Classe por parte dos Docentes no Curso de Engenharia de Computação da EPUSP. In: XXXI Cobenge, 2003, Rio de Janeiro. Cobenge 2003. Rio de Janeiro: IME - UERJ - UFRJ, 2003. v. 1. p. 11-11.

  • RADY, J. ; MELNIKOFF, S. S. S. ; CAMARGO JÚNIOR, J. B. . Ciclo de Vida de Sistemas Computacionais Críticos. In: First Latin American Symposium on Dependable Computing - LADC 2003, 2003, São Paulo. Workshop em Segurança (safety Workshop): Sistemas Computacionais em Aplicações Críticas. São Paulo: João Batista Camargo Jr/Rogério de Lemos/ Taisy Silva Weber, 2003. v. 1. p. 127-144.

  • CAMARGO JÚNIOR, J. B. ; NASCIMENTO, R. L. . Simulação de Algorítmos Aplicados ao Controle de Tráfego Aéreo. In: 10 Simpósio Internacional de Iniciação Científica da USP, 2002, São Carlo. SIICUSP, 2002. v. 1.

  • VISMARI, L. F. ; GIMENES, R. A. V. ; CAMARGO JÚNIOR, J. B. ; ALMEIDA JR, J. R. . The Influence of Security Concept in Safety-Related Systems: An Approach to CNS/ATM. In: 2002 WSEAS International Conference on Information Security, 2002, Rio de Janeiro. 2002 WSEAS International Conference on Information Security, 2002.

  • CAMARGO JÚNIOR, J. B. ; CUGNASCA, P. S. ; ALMEIDA JR, J. R. . A Avaliação Continuada no Processo de Aprendizagem. In: XXX Congresso Brasileiro de Ensino em Engenharia, 2002, São Paulo. XXX Cobenge, 2002. p. 208-209.

  • CUGNASCA, P. S. ; CAMARGO JÚNIOR, J. B. ; ALMEIDA JR, J. R. . A Participação Discente no Ensino de Engenharia - Experiências no Curso de Engenharia da Computação da EPUSP. In: XXX Congresso Brasileiro de Ensino em Engenharia, 2002, Piracicaba. XXX Cobenge, 2002. p. 119-119.

  • ALMEIDA JR, J. R. ; MELNIKOFF, S. S. S. ; CAMARGO JÚNIOR, J. B. ; SOUZA, B. J. . Defensive Program for Safety-Critical Systems. In: Applied Mathematics and Computer Science, 2002, Rio de Janeiro, 2002.

  • ALMEIDA JR, J. R. ; CAMARGO JÚNIOR, J. B. ; CUGNASCA, P. S. . Metodologia de Análise de Segurança em Sistemas de Controle Computadorizados. In: 10 Congresso e Exposição Internacional de Automação CONAI 2002, 2002, São Paulo, 2002.

  • CAMARGO JÚNIOR, J. B. ; PÁSCOA, J. E. P. . Software quantitative safety analysis methodology using quality sub-factors in a metro microprocessor signilling system. In: Computers in Railways, 2002, Lemonos. Computers in Railways VIII. Boston: WIT Press, 2002. v. 1. p. 905-914.

  • CAMARGO JÚNIOR, J. B. ; ALMEIDA JR, J. R. ; MELNIKOFF, S. S. S. . Safety Critical Systems and Object-Oriented Technique as Quality Tool. In: VII Congresso Internacional Ingenieria Informática, 2001, Buenos Aires. VII Congresso Internacional Ingenieria Informática, 2001.

  • CAMARGO JÚNIOR, J. B. ; NAUFAL JR, J. K. ; CUGNASCA, P. S. . Avaliação da Influência da Precisão do Posicionamento das Aeronaves nos Níveis de Segurança do Controle de Tráfego Aéreo. In: SAE Brasil, 2001, São Paulo. SAE BRASIL, 2001. v. 1.

  • CAMARGO JÚNIOR, J. B. ; CUGNASCA, P. S. ; ANDRADE, M. T. C. . A Fuzzy Evaluation Reliability Model. In: V JSIC/IV JPA - V Instrumentation and Control Systems/ IV Pan-American Automation Symposium, 2000, Caracas. V Instrumentation and Control Systems, 2000.

  • CAMARGO JÚNIOR, J. B. ; MOURA, A. ; BONIFÁCIO, A. L. ; ÚNIOR, J. R. A. . Formal Parameter Synthesis for Track Segments of a Subway Mesh. In: 7th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2000, Edinburg. 7th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems,, 2000. v. 1. p. 263-271.

  • CAMARGO JÚNIOR, J. B. ; CUGNASCA, P. S. ; ANDRADE, M. T. C. . A Fuzzy Method for the Reliability and Safety Assessment of Critical System. In: PSAM 5 -International Conference on Probabilistic Safety Assessment and Management, 2000, Osaka. PSAM 5 -International Conference on Probabilistic Safety Assessment and Management, 2000.

  • CAMARGO JÚNIOR, J. B. ; ALMEIDA JÚNIOR, J. R. ; PAZ, S. M. ; CANZIAN, E. ; BASSETO, B. ; CUNHA, R. ; SOUZA, B. J. . Safety Analysis Methodology In Microprocessor Critical Applications. In: PSAM 5 -International Conference on Probabilistic Safety Assessment and Management, 2000, Osaka. PSAM 5 -International Conference on Probabilistic Safety Assessment and Management, 2000.

  • CAMARGO JÚNIOR, J. B. ; ALMEIDA JÚNIOR, J. R. ; BASSETO, B. ; CUNHA, R. ; PAZ, S. M. . An Inspection List for Critical Software Analysis.. In: PSAM 5 -International Conference on Probabilistic Safety Assessment and Management, 2000, Osaka. PSAM 5 -International Conference on Probabilistic Safety Assessment and Management, 2000.

  • CAMARGO JÚNIOR, J. B. ; ALMEIDA JÚNIOR, J. R. ; CANZIAN, E. ; BASSETO, B. A. ; CUNHA, R. ; PAZ, S. M. . Safety Analysis Methodology in Microprocessor Critical Applications. In: PSAM5 - Probabilistic Safety Assessment and Managment, 2000, Tokyo. 5th International Conference on Probabilistic Safety Assessment and managment. Tokyo, Japan: Universal Academy Press, Inc., 2000. v. 1. p. 533-539.

  • CAMARGO JÚNIOR, J. B. ; ALMEIDA JÚNIOR, J. R. ; BASSETO, B. A. ; CUNHA, R. ; PAZ, S. M. . An Inspection List for critical Software Analysis. In: PSAM5 - Probabilistic Safety Assessment and Managment, 2000, Tokyo. 5th International Conference on Probabilistic safety Assessment and managment. Tokyou, Japan: Universal Academy Press, Inc., 2000. v. 4. p. 2369-2375.

  • CAMARGO JÚNIOR, J. B. ; CUGNASCA, P. S. ; ANDRADE, M. T. C. . A Fuzzy Method for Reliability and Safety Assessment of Critical Systems. In: PSAM 5 _ Probabilistic Safety Assessment and Managment, 2000, Tokyo. 5th International Conference on Probabilistic Safety Assessment and Managment. Tokyo, Japan: Universal Academy Press, Inc., 2000. v. 1. p. 541-547.

  • CAMARGO JÚNIOR, J. B. ; CUGNASCA, P. S. ; ANDRADE, M. T. C. . A Fuzzy Based Aid Approach for the Design and Evaluation of Dependable Systems Using Markov Model. In: PRDC99 - 1999 Pacific RIM International Symposium on Dependable Computing, 1999, Hong Kong. PRDC99 - 1999 Pacific RIM International Symposium on Dependable Computing, 1999.

  • CAMARGO JÚNIOR, J. B. ; ALMEIDA JÚNIOR, J. R. ; BASSETO, B. A. ; CUNHA, R. ; PAZ, S. M. . Uma Lista de Inspeção para a Análise de Software Crítico. In: Simpósio sobre Segurança em Informática SSI99, 1999, São José dos Campos. Simpósio sobre Segurança em Informática SSI99, 1999. v. 1. p. 67-74.

  • CAMARGO JÚNIOR, J. B. ; CUGNASCA, P. S. ; ANDRADE, M. T. C. . Aplicação de Técnicas de Inteligência Artificial na Modelagem e Simulação da Confiabilidade e Segurança de Sistemas Tolerantes a Defeitos. In: EC99 - VII Encuentro Chileno de Computación, 1999, Maule. EC99 - VII Encuentro Chileno de Computación, 1999. v. 1. p. 11-20.

  • CAMARGO JÚNIOR, J. B. ; ALMEIDA JÚNIOR, J. R. ; MOURA, A. ; NAUFAL JÚNIOR, J. K. . Análise e Verificação de Segmentos de Via de uma Malha Metroviária. In: II Workshop on Formal Methods,, 1999, Florianópolis. II Workshop on Formal Methods,, 1999. v. 1. p. 13-22.

  • CAMARGO JÚNIOR, J. B. ; CUGNASCA, P. S. ; ANDRADE, M. T. C. . Um Método de Cálculo da Confiabilidade e Segurança de Sistemas Tolerantes a Defeitos Utilizando a Lógica Nebulosa. In: Simpósio sobre Segurança em Informática SSI´99, 1999, São José dos Campos. Simpósio sobre Segurança em Informática SSI´99, 1999. v. 1. p. 121-131.

  • CAMARGO JÚNIOR, J. B. ; CUGNASCA, P. S. ; ANDRADE, M. T. C. . A Fuzzy System as a Reliability Assessment Aid Tool.. In: Simpósio SBAI'99 - 4th Brazilian Symposium on Intelligent Automation, 1999, São Paulo. Simpósio SBAI'99 - 4th Brazilian Symposium on Intelligent Automation, 1999. v. 1. p. 320-325.

  • CAMARGO JÚNIOR, J. B. ; RANZINI, E. ; CUGNASCA, P. S. ; ANDRADE, M. T. C. . Fuzzy Based Modelling Applied to Reliability Assessment of Critical Systems. In: AMS'99 - IASTED - International Conference - Applied Modelling and Simulation, 1999, Queensland. AMS'99 - IASTED - International Conference - Applied Modelling and Simulation, 1999. v. 1. p. 24-29.

  • CAMARGO JÚNIOR, J. B. ; ALMEIDA JÚNIOR, J. R. . Applying HAZOP to a Subway Signaling System.. In: ISSC'99 - 17th International System Safety Conference - System Safety at the Dawn of a New Millenium,, 1999, Orlando. ISSC'99 - 17th International System Safety Conference - System Safety at the Dawn of a New Millenium,, 1999. v. 1. p. 689-694.

  • CAMARGO JÚNIOR, J. B. ; ALMEIDA JÚNIOR, J. R. . A Tool using Adaptative Statecharts for Evaluation of Critical Systems Specifications.. In: ISSC'99 - 17th International System Safety Conference - System Safety at the Dawn of a New Millenium, 1999, Orlando. ISSC'99 - 17th International System Safety Conference - System Safety at the Dawn of a New Millenium, 1999. v. 1. p. 637-645.

  • CAMARGO JÚNIOR, J. B. ; CUGNASCA, P. S. ; ANDRADE, M. T. C. . Fuzzy Markov Model. In: ISSC'99 - 17th International System Safety Conference - System Safety at the Dawn of a New Millenium,, 1999, Orlando. ISSC'99 - 17th International System Safety Conference - System Safety at the Dawn of a New Millenium,, 1999. v. 1. p. 337-346.

  • CAMARGO JÚNIOR, J. B. ; ALMEIDA JÚNIOR, J. R. . The Safety Analysis Case in Sao Paulo Metro.. In: Seventh Safety-critical Systems Symposium, 1999, Huntingdon. Seventh Safety-critical Systems Symposium, 1999. v. 1. p. 99-110.

  • CAMARGO JÚNIOR, J. B. ; ALMEIDA JÚNIOR, J. R. . Safety Problems in Computer Systems. In: International Conference on Probabilistic Safety Assessment and Management -PSAM4, 1998, Nova York. International Conference on Probabilistic Safety Assessment and Management -PSAM4, 1998. v. 1. p. 29-34.

  • CAMARGO JÚNIOR, J. B. ; ALMEIDA JÚNIOR, J. R. . A Utilização de Software em Sistemas de Segurança.. In: 3° Congresso de Equipamentos e Automação da Indústria Química e Petroquímica, 1997, São Paulo. 3° Congresso de Equipamentos e Automação da Indústria Química e Petroquímica, 1997. v. 1.

  • CAMARGO JÚNIOR, J. B. ; ALMEIDA JÚNIOR, J. R. . Safety Analysis of Railway Control Systems Using Statecharts. In: World Congress on Railway Research - WCRR'97, 1997, Firenze. World Congress on Railway Research - WCRR'97, 1997. v. 1. p. 153-160.

  • CAMARGO JÚNIOR, J. B. ; ALMEIDA JÚNIOR, J. R. . Aspectos Gerais do Projeto de Norma IEC 1508 Fnional Safety: Related Systems.. In: Congresso Tecnologia & Negócios,, 1997, Rio de Janeiro. Congresso Tecnologia & Negócios,, 1997. v. 1.

  • CAMARGO JÚNIOR, J. B. ; ALMEIDA JÚNIOR, J. R. ; MELNIKOFF, S. S. S. . O Uso de Fatores de Qualidade na Avaliação da Segurança de Software em Sistemas Críticos. In: VIII Conferência Internacional de Tecnologia de Software: Qualidade de Software, 1997, Curitiba. VIII Conferência Internacional de Tecnologia de Software: Qualidade de Software, 1997. v. 1. p. 181-195.

  • CAMARGO JÚNIOR, J. B. ; ALMEIDA JÚNIOR, J. R. ; DANTAS JÚNIOR, C. A. . Panorama Internacional da Normatização dos Aspectos de Segurança em Sistemas Metro Ferroviários.. In: Congresso Internacional de Sistemas de Controle e Cargas Ferroviárias, 1996, Florianópolis. Congresso Internacional de Sistemas de Controle e Cargas Ferroviárias, 1996. v. 1. p. 19-35.

  • CAMARGO JÚNIOR, J. B. ; ALMEIDA JÚNIOR, J. R. . Modelos para Gerenciamento de Redes Ferroviárias.. In: Congresso Internacional de Sistemas de Controle e Cargas Ferroviárias, 1996, Florianópolis. Congresso Internacional de Sistemas de Controle e Cargas Ferroviárias, 1996. v. 1. p. 37-55.

  • CAMARGO JÚNIOR, J. B. ; ALMEIDA JÚNIOR, J. R. . A Importância da Completeza na Especificação de Sistemas de Segurança. In: 7° Congresso Nacional de Automação - CONAI 96, 1996, São Paulo. 7° Congresso Nacional de Automação - CONAI 96, 1996. v. 1. p. 107-113.

  • CAMARGO JÚNIOR, J. B. ; ALMEIDA JÚNIOR, J. R. . Principais Aspectos da Segurança em Sistemas Utilizados em Áreas Críticas.. In: 7° Congresso Nacional de Automação - CONAI 96, 1996, São Paulo. 7° Congresso Nacional de Automação - CONAI 96, 1996. v. 1. p. 63-89.

  • CAMARGO JÚNIOR, J. B. ; ALMEIDA JÚNIOR, J. R. ; CAGNONI, A. ; DANTAS JÚNIOR, C. A. . Análise de Segurança de Sistemas de Controle Metro-Ferroviários. In: Congresso Internacional de Sistemas de Controle e Integração Tarifária, 1995, São Paulo. Congresso Internacional de Sistemas de Controle e Integração Tarifária, 1995. v. 1. p. 63-89.

  • CAMARGO JÚNIOR, J. B. ; CAGNONI, A. . A Importância do Fator de Cobertura de Defeito na Confiabilidade do Sistema.. In: I Seminário de Confiabilidade, Segurança e Qualidade nos Transportes Metro-Ferroviários, 1995, Vitória. I Seminário de Confiabilidade, Segurança e Qualidade nos Transportes Metro-Ferroviários, 1995. v. 1. p. 363-379.

  • CAMARGO JÚNIOR, J. B. ; DANTAS, C. A. ; CAGNONI, A. . Os Sistemas de Controle Metro-Ferroviário e a Verificação da Confiabilidade e Segurança. In: I Seminário de Confiabilidade, Segurança e Qualidade nos Transportes Metro-Ferroviários, 1995, Vitória. I Seminário de Confiabilidade, Segurança e Qualidade nos Transportes Metro-Ferroviários, 1995. v. 1. p. 125-151.

  • CAMARGO JÚNIOR, J. B. . Avaliação Qualitativa de Especificação de Sistema de Sinalização Metrô-Ferroviários Envolvendo Aspectos de Segurança. In: Congresso Internacional de Sinalização, Telecomunicações e Energia, 1993, Rio de Janeiro. Congresso Internacional de Sinalização, Telecomunicações e Energia, 1993.

  • CAMARGO JÚNIOR, J. B. ; VENÂNCIO, I. ; OLIVEIRA, S. ; DANTAS JR, C. A. . Análise de Segurança de Sistemas de Sinalização Metro Ferroviária, Experiência Adquiridas pela CMSP. In: Congresso Internacional de Sinalização, Telecomunicações e Energia, 1993, Rio de Janeiro, 1993.

  • CAMARGO JÚNIOR, J. B. . Análise de Segurança - Aspectos Metodológicos. In: II Encontro Nacional de Sinalização - II ENSIN, 1989, Rio de Janeiro, 1989.

  • CAMARGO JÚNIOR, J. B. . The Specification of a Knowledge Based Environment for the Design of Production Systems. In: INCOM 89 - Symposium on Information control Problems in Manufacturing Technology, 1989, Madrid, 1989.

  • CAMARGO JÚNIOR, J. B. ; MUNIZ, P. S. ; FERREIRA, M. A. G. V. . Sistemas de Software para Controle de Tráfego Urbano. In: VI Congresso Nacional de Transportes Públicos, 1987, Salvador, 1987. p. 159-167.

  • FOGACA JUNIOR, L. Q. ; CAMARGO JÚNIOR, J. B. . AVALIAÇÃO DE RISCO DO CONTROLE POR TORRE DE CONTROLE REMOTA DO TRÁFEGO AÉREO PARA AEROPORTOS DE PEQUENO E MÉDIO PORTE. In: XIII SITRAER ? AIR TRANSPORTATION SYMPOSIUM, 2014, São Paulo. XIII SITRAER ? AIR TRANSPORTATION SYMPOSIUM. São Paulo: EPUSP, 2014. v. 1. p. 225-228.

  • MEDEIROS, W. J. N. ; CAMARGO JÚNIOR, J. B. . ANÁLISE DE RESILIÊNCIA LOGÍSTICA EM SISTEMAS DE TRANSPORTES ATRAVÉS DA SIMULAÇÃO DE EVENTOS DISCRETOS: UMA PROPOSTA DE ESTUDO NO SISTEMA DE TRÁFEGO AÉREO. In: XIII SITRAER ? AIR TRANSPORTATION SYMPOSIUM, 2014, São Paulo. XIII SITRAER ? AIR TRANSPORTATION SYMPOSIUM. São Paulo: EPUSP, 2014. v. 1. p. 218-220.

  • CUGNASCA, P. S. ; CAMARGO JÚNIOR, J. B. ; ALMEIDA JR, J. R. . A Relevância de Atividades de Extensão na Formação Humanista do Engenheiro. In: XL Congresso Brasileiro de Educação em Engenharia - COBENGE 2012, 2012, Belém - PARA. XL Congresso Brasileiro de Educação em Engenharia. Belém: Universidade Federal do Pará, 2012. v. 1. p. 3-3.

  • CORREA, M. A. ; Camargo Junior, João Batista . Proposal for Integrating UAV into Controlled Airspace Using Multiagent Paradigm. In: 1a Conferência Brasileira de Sistemas Embarcados Críticos, 2011, São Carlos. 1a. Conferência Brasileira de Sistemas Embarcados Críticos. São Paulo: EPUSP, 2011. v. 1. p. 127-127.

  • Douglas ; Júlio Cesar Estrella ; CORREA, M. A. ; Camargo Junior, João Batista ; Kalinka R C Branco ; Trindadade Jr., Onofre . Serivce-Oriented Architectures for Complex Safety-Critical Embedded Systems: A Case Study on UAVs. In: 1a Conferência Brasileira de Sistemas Embarcados Críticos, 2011, São Carlos. 1a. Conferência Brasileira de Sistemas Embarcados Críticos. São Paulo: EPUSP, 2011. v. 1. p. 130-130.

  • CAMARGO JÚNIOR, J. B. ; JOSÉ NETO, J. . Ensaio no Entendimento de Texto por Computador. In: 44a. Reunião Anual da SBPC, 1992, São Paulo, 1992. p. A7.

  • CAMARGO JÚNIOR, J. B. ; LEMOS, R. . Workshop on Safety: Computer Systems in Critical Applications. Lecture Notes in Computer Science , Heidelberg, v. 2847, p. 362-362, 2003.

  • NASCIMENTO, ALEXANDRE M. ; VISMARI, LUCIO F. ; MOLINA, CAROLINE ; CUGNASCA, PAULO S. ; Camargo, J.B. ; de Almeida, J. R. ; INAM, RAFIA ; FERSMAN, ELENA ; MARQUEZINI, MARIA V. ; Hata, A. . 'A Systematic Literature Review about the impact of Artificial Intelligence on Autonomous Vehicle Safety. IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS , 2019.

  • CAMARGO JÚNIOR, J. B. . Innovation on High Speed Railways -SAFETY CHALLENGES. 2016. (Apresentação de Trabalho/Conferência ou palestra).

  • CAMARGO JÚNIOR, J. B. . Ataques e Simulações em Infraestrutura Crítica. 2016. (Apresentação de Trabalho/Conferência ou palestra).

  • CAMARGO JÚNIOR, J. B. . Air Traffic Control Challenges. 2016. (Apresentação de Trabalho/Conferência ou palestra).

  • CAMARGO JÚNIOR, J. B. . Os Desafios da Certificação de Segurança (safety) nos Sistemas de Aplicação Crítica. 2014. (Apresentação de Trabalho/Conferência ou palestra).

  • CAMARGO JÚNIOR, J. B. . Avanços na automação do tráfego aéreo - Aspectos de Segurança. 2014. (Apresentação de Trabalho/Conferência ou palestra).

  • CAMARGO JÚNIOR, J. B. . Desafios no Controle do Tráfego Aéreo. 2014. (Apresentação de Trabalho/Conferência ou palestra).

  • CAMARGO JÚNIOR, J. B. . Segurança (Safety) e Confiabilidade em Sistemas Computacionais Críticos. 2012. (Apresentação de Trabalho/Conferência ou palestra).

  • CAMARGO JÚNIOR, J. B. . Análise de Risco. 2008. (Apresentação de Trabalho/Seminário).

  • CAMARGO JÚNIOR, J. B. . Segurança e Confiabilidade. 2006. (Apresentação de Trabalho/Conferência ou palestra).

  • CAMARGO JÚNIOR, J. B. . Palestra sobre Qualidade de Codificação. 2001. (Apresentação de Trabalho/Comunicação).

  • CAMARGO JÚNIOR, J. B. ; ALMEIDA JR, J. R. ; MELNIKOFF, S. S. S. ; LAHOZ, C. ; ABDALA, M. A. D. . Palestra sobre Segurança de Software. 2001. (Apresentação de Trabalho/Congresso).

  • CAMARGO JÚNIOR, J. B. ; JOSÉ NETO, J. . Palestra sobre a Aplicação de Autômatos Adaptativos em Análise de Segurança. 2000. (Apresentação de Trabalho/Comunicação).

  • CAMARGO JÚNIOR, J. B. ; MELNIKOFF, S. S. S. . Palestra sobre Aplicação da Técnica Orientada a Objetos em Sistemas de Segurança. 2000. (Apresentação de Trabalho/Comunicação).

  • CAMARGO JÚNIOR, J. B. . Conceituação sobre Aspectos de Disponibilidade e Confiabilidade em Sistemas Computacionais. 2000. (Apresentação de Trabalho/Comunicação).

  • CAMARGO JÚNIOR, J. B. . Palestra sobre Engenharia de Computação e Sistemas Digitais. 1999. (Apresentação de Trabalho/Comunicação).

  • CAMARGO JÚNIOR, J. B. . Aspectos de Segurança em Sistemas Críticos. 1998. (Apresentação de Trabalho/Comunicação).

  • CAMARGO JÚNIOR, J. B. . Metodologia de Análise de Segurança. 1998. (Apresentação de Trabalho/Comunicação).

  • CAMARGO JÚNIOR, J. B. . Palestra sobre Análise de Segurança e Confiabilidade em Plantas Industriais. 1996. (Apresentação de Trabalho/Comunicação).

  • CAMARGO JÚNIOR, J. B. . Palestra sobre Confiabilidade, Disponibilidade e Segurança de Sistemas Computacionais. 1996. (Apresentação de Trabalho/Comunicação).

  • CAMARGO JÚNIOR, J. B. . Palestra sobre Sistema de Controle Aplicado ao Transporte Ferroviário. 1994. (Apresentação de Trabalho/Comunicação).

  • OGATA, P. H. ; CAMARGO JÚNIOR, J. B. . Avaliação do Perigo de Colisão entre Aeronaves em Operação de Aproximação em Pistas de Aterrissagem Paralelas. Escola Politécnica da USP, 2004 (Boletim Técnico).

  • PÁSCOA, J. E. P. ; CAMARGO JÚNIOR, J. B. . Fatores e Subfatores para Avaliação da Segurança em Software de Sistemas Críticos. São Paulo: Escola Politécnica da USP, 2002 (Boletim Técnico).

  • NAUFAL JÚNIOR, J. K. ; CAMARGO JÚNIOR, J. B. . Gerenciamento Hierárquico de Falhas. São Paulo: Escola Politécnica da USP, 2001 (Boletim Técnico).

  • RECCO, E. R. ; CAMARGO JÚNIOR, J. B. . O Desenvolvimento de Sistemas Baseados em Componentes a Partir da Visão de Objetos. São Paulo: Escola Politécnica da USP, 2001 (Boletim Técnico).

  • CAMARGO JÚNIOR, J. B. ; SOUZA, B. J. . A Importância da Completeza na Especificação de Sistemas de Segurança. São Paulo: Escola Politécnica da USP, 1996 (Boletim Técnico).

Seção coletada automaticamente pelo Escavador

Outras produções

CAMARGO JÚNIOR, J. B. ; MUNIZ, P. S. ; FERREIRA, M. A. G. . Sistema de Software para Controle de Tráfego Urbano. Anais EPUSP - Engenharia de Eletricidade. 1988.

CAMARGO JÚNIOR, J. B. ; NAKAMURA, C. M. ; GALASINI, M. ; AISO, S. Y. . Sistema de Criação e Análise de Árvores de Falhas. 1997.

CAMARGO JÚNIOR, J. B. ; ALMEIDA JÚNIOR, J. R. ; SOFTWARE, F. . Ambiente Computacional para Avaliação de Especificações. 1997.

CAMARGO JÚNIOR, J. B. ; NAUFAL JR, J. K. . Gerenciamento Hierárquico de Falhas. 2001.

CAMARGO JÚNIOR, J. B. ; RECCO, R. E. R. . O Desenvolvimento de Sistemas Baseados em Componentes a Partir da Visão de Objetos. 2001.

CAMARGO JÚNIOR, J. B. . Comissão Julgadora do XXVI Concurso Premio Governador do Estado - Invento Brasileiro. 2000.

CAMARGO JÚNIOR, J. B. ; MOURA, A. ; ALMEIDA JR, J. R. ; BONIFÁCIO, A. . Análise, Verificação e Síntese de Segmentos de Via de uma Malha Metroviária.. 1999.

CAMARGO JÚNIOR, J. B. ; ALMEIDA JÚNIOR, J. R. . Confiabilidade e Segurança- A pesquisa na Escola Politécnica. 1997.

CAMARGO JÚNIOR, J. B. ; SOUZA, B. J. . A Importância da Completeza na Especificação de Sistemas de Segurança. 1996.

CAMARGO JÚNIOR, J. B. . Ambiente Inteligente para o Projeto de Unidades de Sistemas de Produção. 1989.

CAMARGO JÚNIOR, J. B. ; JOSÉ NETO, J. . Formalização de Linguagens Naturais. Anais EPUSP - Engenharia de Eletricidade. 1988.

CAMARGO JÚNIOR, J. B. . Segurança de Tráfego Aéreo. 2006. (Programa de rádio ou TV/Entrevista).

CAMARGO JÚNIOR, J. B. . Segurança de Tráfego Aéreo. 2006. (Programa de rádio ou TV/Entrevista).

CAMARGO JÚNIOR, J. B. . Segurança de Tráfego Aéreo. 2006. (Programa de rádio ou TV/Entrevista).

CAMARGO JÚNIOR, J. B. . Segurança de Tráfego Aéreo. 2006. (Programa de rádio ou TV/Entrevista).

CAMARGO JÚNIOR, J. B. . Segurança de Tráfego Aéreo. 2006. (Programa de rádio ou TV/Entrevista).

CAMARGO JÚNIOR, J. B. . Segurança de Tráfego Aéreo. 2006. (Programa de rádio ou TV/Entrevista).

CAMARGO JÚNIOR, J. B. . Segurança de Tráfego Aéreo. 2006. (Programa de rádio ou TV/Entrevista).

CAMARGO JÚNIOR, J. B. . Segurança de Tráfego Aéreo. 2006. (Programa de rádio ou TV/Entrevista).

CAMARGO JÚNIOR, J. B. . Segurança em Sistemas Computacionais. 1999. .

CAMARGO JÚNIOR, J. B. . Confiabilidade e Segurança em Sistemas Computacionais. 1998. .

CAMARGO JÚNIOR, J. B. . Engenharia de Software Orientado a Objeto. 1997. (Curso de curta duração ministrado/Extensão).

CAMARGO JÚNIOR, J. B. . Confiabilidade, Disponibilidade e Segurança de Sistemas Computacionais. 1996. (Curso de curta duração ministrado/Extensão).

CAMARGO JÚNIOR, J. B. . Confiabilidade, Disponibilidade e Segurança de Sistemas de Controle Metro-Ferroviários. 1994. (Curso de curta duração ministrado/Extensão).

CAMARGO JÚNIOR, J. B. . Confiabilidade, Disponibilidade e Segurança de Sistemas Digitais. 1994. (Curso de curta duração ministrado/Extensão).

CAMARGO JÚNIOR, J. B. . Engenharia de programação. 1990. (Curso de curta duração ministrado/Extensão).

CAMARGO JÚNIOR, J. B. . Engenharia de Programação. 1986. (Curso de curta duração ministrado/Extensão).

CAMARGO JÚNIOR, J. B. ; MELNIKOFF, S. H. S. ; ALEXEI, . Arte e Cultura na POLI. 2010. Interpretação.

CAMARGO JÚNIOR, J. B. ; CUGNASCA, Paulo Sérgio . Processos de Qualidade da Graduação no Curso de Engenharia de Computação da Poli-USP. 2010 (Palestra) .

Seção coletada automaticamente pelo Escavador

Projetos de pesquisa

  • 2018 - Atual

    Segurança Crítica (safety) e Resiliência em Sistemas Veiculares Autônomos, Descrição: Contempla as seguintes atividades: 1) Investigação sobre Sistemas Complexos e Comunicação Colaborativa visando Segurança e Resiliência. 2) Atualização do Framework já desenvolvido e Desenvolvimento de Casos de Uso. 3) Demonstração dp Framework e Análise de Segurança e Resiliência de Veículos Autônomos. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Doutorado: (3) . , Integrantes: João Batista Camargo Júnior - Coordenador / VISMARI, LUCIO F. - Integrante / CUGNASCA, PAULO S. - Integrante / ALMEIDA, JORGE RADY DE - Integrante / MOLINA, CAROLINE - Integrante / NASCIMENTO, ALEXANDRE M. - Integrante., Financiador(es): Ericsson Telecomunicações - Matriz - Cooperação.

  • 2018 - Atual

    Automação da Sinalização Ferroviária, Descrição: O objetivo geral do projeto consiste em propor soluções tecnológicas inovadoras para a modernização dos sistemas de sinalização e telecomunicações. Dentro deste contexto, as pesquisas estarão divididas em 3 (três) grandes vertentes: Sinalização e Telecomunicação, Big Data e Manutenção Preditiva.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (3) / Doutorado: (1) . , Integrantes: João Batista Camargo Júnior - Coordenador / Jorge Rady de Almeida Jr - Integrante / Jamil Kalil Naufal Jr. - Integrante / Lúcio Flávio Vismari - Integrante / Paulo Sérgio Cugansca - Integrante / Ivanilo Jacintho dos Santos - Integrante / Gabriel Francisco Florio - Integrante / David Fernandes Neves Oliveira - Integrante., Financiador(es): VALE S A - Bolsa.

  • 2015 - 2017

    Segurança Crítica (safety) em sistemas ciberfísicos automotivos, Descrição: Atividade t investigação a respeito do estado da arte, conceitos e tendências relacionadas aos sìstemas ciberfisicos. Atividade 2: investigação, identificação e compreensão de conceitos, métricas, técnicas e modelos relacionados à dEendabilidade e à rcsiliência de sisïemas ciberfísìcos. Atividade 3: identificação de quais elementos investigados nas atividades 1 e 2 poderiam ser aplicados em processos de análise de confiabilidade e resiliência de sistemas ciberfisicos.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Especialização: (1) / Mestrado acadêmico: (2) / Doutorado: (1) . , Integrantes: João Batista Camargo Júnior - Coordenador / Jorge Rady de Almeida Jr - Integrante / Jamil Kalil Naufal Jr. - Integrante / LUCIO FLÁVIO VISMARI - Integrante / Caroline Molina - Integrante / Ignacio Rojas González - Integrante.

  • 2015 - 2017

    Research on Safety in Aviation Technologies and ATM - Boeing Research & Technology - Brazil, Descrição: This Statement of Work (SOW) contemplates the collaborative efforts between the Grupo de Análise de Segurança da Escola Politécnica da USP (GAS/POLI-USP, in the Portuguese acronym for Safety Analysis Group / School of Engineering at University of São Paulo) and Boeing Research and Technology ? Brazil (BR&TB), as part of The Boeing Company (Boeing), on the theme ?Safety in aviation technologies and ATM?. This SOW, which acts as a technical project, aims at demonstrating the competence and the expertize of GAS/POLI-USP in carrying out the research projects related to the areas of research opportunity in Air Traffic Management (ATM) identified by BR&T in Brazil. It contains a project description for the activities, schedule, milestones and deliverables that BR&TB and GAS/POLI-USP will coordinate on the above mentioned theme.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (3) / Doutorado: (3) . , Integrantes: João Batista Camargo Júnior - Coordenador / Jorge Rady de Almeida Jr - Integrante / PAULO SÉRGIO CUGNASCA - Integrante / RICARDO ALEXANDRE VEIGA GIMENES - Integrante / Daniel Baraildi Sesso - Integrante / Thiago Toshio Matsumoto - Integrante / Carlos Enrique Simões - Integrante / Derick Moreira Baum - Integrante / Danilo de Sousa Lopes - Integrante., Financiador(es): The Boeing Company - Cooperação.

  • 2009 - 2013

    INCT-SEC - Instituto Nacional de Ciencias e Tecnologia em Sistemas Embarcados Criticos, Descrição: O Laboratório Grupo de Análise de Segurança - GAS da POLI-USP participa do INCT-SEC - Instituto Nacional de Ciência e Tecnologia em Sistemas Embarcados Críticos, coordenado pelo ICMC/USP, São Carlos, SP, de grande relevância nacional. A missão do INCT-SEC é elevar e agregar habilidades, competências e infra-estrutura necessárias para o desenvolvimento de sistemas embarcados críticos, com ênfase para veículos autônomos móveis, de forma a capacitar a academia e a indústria brasileira no ensino, treinamento, pesquisa e desenvolvimento científico-tecnológico em aplicações de relevância e de alto impacto econômico-social em áreas estratégicas do país, a exemplo de aplicações na agricultura, segurança e defesa nacional, aviação e meio ambiente. O projeto é bastante abrangente, e envolve grupos de pesquisadores de nove universidades brasileiras, entre elas EESC/USP, ICMC/USP, UNESP, POLI/USP, PUCRS, UEM, UFES, UFAM, UFG e UFSCar, e sete componentes da Iniciativa privado. Os principais objetivos são o desenvolvimento de pesquisas para a construção de sistemas embarcados críticos com ênfase para veículos autônomos móveis e a construção de pelo menos dois protótipos de veículo, um aéreo e um terrestre, com o objetivo de serem transferidos para as empresas associadas, visando a possível fabricação e comercialização. Outros objetivos relevantes do INCT/SEC são: a produção de uma metodologia e tecnologias associadas para o ensino e treinamento de pessoal formado na área. Na realidade pretende-se constituir um Centro de Treinamento e Capacitação no âmbito do projeto. Pretende-se também motivar a formação de um número significativo de mestres e doutores e produção intelectual na forma de artigos científicos apresentados e publicados em conferências e periódicos de boa qualidade, bem como de patentes. A parte específica do Grupo de Análise de Segurança refere-se à Análise de Risco de Sistemas Aéreos não Tripulados visando uma futura regulamentação para Certificação. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (2) Doutorado: (5) . , Integrantes: João Batista Camargo Júnior - Integrante / Paulo Sérgio Cugnasca - Integrante / Jorge Rady de Almeida Júnior - Integrante / Lúcio Flávio Vismari - Integrante / Ricardo Alexandre Veiga Gimenes - Integrante / Mário Aparecido Corrêa - Integrante / Vitor Hugo Furtado - Integrante / Fernando de Oliveira Gil - Integrante / José Carlos Maldonado - Coordenador., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 12 / Número de orientações: 2

  • 2009 - 2010

    Laboratório de Sistemas Críticos para Certificação de Sistemas de Transporte, Descrição: Sistemas cujo funcionamento anormal, fora dos requisitos aceitáveis, possa ser catastrófico para pessoas ou para o ambiente no qual está inserido, causando mortes, ferimentos, prejuízos ambientais e materiais, são categorizados como ?Sistemas Críticos em Segurança (Safety)? (STOREY, 1996; KNIGHT, 2002; CAMARGO JR., 2002). Encontra-se nesta categoria de Sistemas Críticos em Segurança, entre outros, os Sistemas de Supervisão e Controle de diversas aplicações de transporte, tais como as aplicações aeronáuticas e metroferroviárias. Portanto, devido às severas conseqüências nas quais as pessoas e o ambiente estão expostos, altos níveis de confiabilidade e de segurança devem ser garantidos, por meio de processos minuciosos de desenvolvimento, de testes e de certificação, aos sistemas de supervisão e controle críticos em segurança aplicados em áreas vitais do cotidiano, tais como os transportes. Além disso, a aceitação de produtos críticos em segurança, sobretudo aqueles relacionados aos transportes aéreos, pela comunidade internacional é condicionada ao atendimento de severos requisitos de testes e de certificação. Assim, é de vital importância para a balança comercial que o país possua know-how em processos de desenvolvimento e de certificação de produtos críticos em segurança, pois isto abrirá mercados para a exportação destes produtos de alto valor agregado. Nas últimas décadas, os Sistemas Críticos evoluíram rapidamente, estando cada vez mais automatizados e interconectados. Este paradigma se baseia no emprego intensivo das modernas tecnlogias, incluindo softwares de aplicação extensos que operam sobre sistemas operacionais complexos e estão interconectados por meio de sofisticados protocolos de comunicação. A complexidade de tais sistemas é crescente e, justamente por este fato, impõe grandes desafios para seus Engenheiros e Desenvolvedores: os projetos contêm uma grande quantidade de elementos funcionais fortemente interdependentes (muitos dos quais são ?de prate. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (2) Doutorado: (5) . , Integrantes: João Batista Camargo Júnior - Coordenador / Paulo Sérgio Cugnasca - Integrante / Jorge Rady de Almeida Júnior - Integrante / Carlos Lahoz - Integrante / Lúcio Flávio Vismari - Integrante / Ricardo Alexandre Veiga Gimenes - Integrante / Mário Aparecido Corrêa - Integrante / Italo Romani de Oliveira - Integrante / Flávio Monteiro Rachel - Integrante / Alex Ander Javarotti Zumalde - Integrante / Fernando de Oliveira Gil - Integrante / Alan Cleber Borim - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

  • 2004 - 2007

    Prototipagem de Um Sistema de Apoio à Decisão Compartilhada para Infra-estrutura Aeronáutica sobre Bases de Dados Paralelas e Distribuídas, Descrição: O objetivo principal deste projeto é avaliar uma implementação do sistema CDM ? Collaborative Decision Making na área de gerenciamento do tráfego aéreo em uma plataforma de rede gigabit. Conceitualmente, o CDM é definido na proposta do Air Traffic Managment Operational Concept Panel como ?um grupo de aplicativos que visa melhorar as operações de vôo mediante o crescente envolvimento dos operadores de aeronaves e dos aeroportos no processo de gerenciamento de tráfego aéreo?.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) Doutorado: (2) . , Integrantes: João Batista Camargo Júnior - Integrante / Paulo Sérgio Cugnasca - Integrante / Jorge Rady de Almeida Jr - Integrante / Lúcio Flávio Vismari - Integrante / Mário Aparecido Corrêa - Integrante / Italo Romani de Oliveira - Integrante / Liria Matsumoto Sato - Coordenador / Eno Siewerdt - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro., Número de produções C, T & A: 3 / Número de orientações: 1

Seção coletada automaticamente pelo Escavador

Prêmios

2017

Menção Honrosa como Poster de Destaque do Doutoradno Derick Baum orientado por João Batista Camargo Jr - VI Workshop de Pós-Graduação, Programa de Pós-Graduação em Engenharia Elétrica - EPUSP.

2017

Professor Paraninfo da Turma de Engenharia de Computação da Escola Politécnica da USP, Escola Politécnica da USP.

2016

Terceiro Melhor Artigo durante o XV SITRAER - Simpósio de Pesquisa em Transporte Aéreo, Sociedade Brasileira de Pesquisa em Transporte Aéreo.

2013

Paraninfo da Turma de Engenharia de Computação, Escola Politécnica da USP.

2013

Paraninfo da Turma de Engenharia Elétrica - Ênfase Computação, Escola Politécnica da USP.

2011

Paraninfo da Turma dos Formandos do Curso de Engenharia de Computação, Escola Politécnica da USP.

2007

Terceiro Melhor Artigo - Tendências no Contole do Tráfego Aéreo e os Desafios para os Sistemas Computacionais - VI SITRAER, Sociedade Brasileira de Pesquisa em Transporte Aéreo - SBTA.

2007

Paraninfo da turma dos Formando do Curso de Engenharia Elétrica - Ênfase Computação Quadrimestral de 2007, Escola Politécnica da USP.

2006

Melhor Artigo do V SITRAER, Simpósio de Pesquisa em Transporte Aéreo: Integrating UAV in to Controlated Air Space Using Cooperative Multiagent Negotiation, Sociedade Brasileira de Pesquisa em Transporte Aéreo.

2005

Melhor Artigo do IV SITRAER - Simpósio de Pesquisa em Transporte Aéreo: Uma arquitetura lógica para auxílio à tomada de decisão no gerenciamento de tráfego aéreo, Sociedade Brasileira de Pesquisa em Transporte Aéreo.

2004

Professor Paraninfo dos Formandos em 2004 do Curso de Engenharia de Computação Cooperativo, Escola Politécnica da USP.

2004

Prêmio de Destaque: premia Lúcio Flávio Vismari e João Batista Camargo Jr. pelo seu destaque na apresentação do trabalho intitulado Avaliação do Impacto das Novas Tecnologias sobre a Segurança Aeronáutica, realizado durante o IV SITRAER, Sociedade Brasileira de Pesquisa em Transporte Aéreo.

2004

Prêmio de Destaque: premia Jamil Kali Naufal Jr. e João Batista Camargo Jr. pelo seu destaque na apresentação do trabalho intitulado Modelo de Otimização de Demanda em Infra-Estrutura Aeronáutica no III SITRAER Simpósio de Transporte Aéreo, Sociedade Brasileira de Pesquisa em Transporte Aéreo.

2003

Citação ao Grupo de Análise de Segurança - GAS na página 77 com o título: Engenharia nos Trilhos e nos Ares., Revista Info Exame, Ano 18, No. 210, setembro de 2003.

1999

Menção Honrosa pelo artigo Uma Lista de Inspeção para Análise de Software Críticodurante o Simpósio de Segurança em Informática SSI., Instituto Tecnológico de Aeronáutica - ITA.

1995

Paraninfo da Turma de 1995 do Curso de Engenharia de Computação, Escola Politécnica da USP.

Histórico profissional

Seção coletada automaticamente pelo Escavador

Endereço profissional

  • Universidade de São Paulo, Escola Politécnica, Departamento de Engenharia de Computação e Sistemas Digitais. , Av. Professor Luciano Gulaberto, Trav 3, N 158 Sala C2-34, Cidade Universitária, 05508-900 - Sao Paulo, SP - Brasil, Telefone: (11) 30915401, Fax: (11) 30915294, URL da Homepage:

Seção coletada automaticamente pelo Escavador

Experiência profissional

  • 2009 - Atual

    Fundação para o Desenvolvimento Tecnológico da Engenharia

    Vínculo: , Enquadramento Funcional:

  • 2008 - Atual

    Fundação de Amparo à Pesquisa do Estado de São Paulo

    Vínculo: Assessor ad-hoc, Enquadramento Funcional: Assessor ad-hoc

  • 2005 - Atual

    Journal fo the Brazilian Air Transportation Research Society

    Vínculo: Editor Chefe, Enquadramento Funcional: Colaborador

  • 2018 - Atual

    Sociedade Brasileira de Pesquisa em Transporte Aéreo

    Vínculo: Colaborador, Enquadramento Funcional: Presidente, Carga horária: 1

  • 2004 - 2006

    Sociedade Brasileira de Pesquisa em Transporte Aéreo

    Vínculo: Colaborador, Enquadramento Funcional: Vice Presidente, Carga horária: 2

    Atividades

    • 01/2004

      Direção e administração, Sociedade Brasileira de Pesquisa Em Transporte Aéreo, .,Cargo ou função, Vice Presidente.

  • 1989 - Atual

    Universidade de São Paulo

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

  • 2013 - 2015

    Universidade de São Paulo

    Vínculo: Servidor Público, Enquadramento Funcional: Professor ASSOCIADO, Carga horária: 40, Regime: Dedicação exclusiva.

    Outras informações:
    Membro da Congragação da EPUSP como suplente, na categoria de Professor Associado, no período de maio de 2013 a abril de 2015

    Atividades

    • 01/2018

      Ensino, Engenharia de Computação, Nível: Graduação,Disciplinas ministradas, Análise de Desempenho de Sistema Computacionais, Sistemas Tolerantes a Falhas, Projeto de Formatura I, Projeto de Formatura II

    • 01/2015

      Direção e administração, Escola Politécnica, Departamento de Engenharia de Computação e Sistemas Digitais.,Cargo ou função, Presidência de Coordenadoria de Curso do PCS.

    • 01/2010

      Direção e administração, Escola Politécnica, .,Cargo ou função, Presidente da Coordenadoria dos Cursos Quadrimestrais da EPUSP.

    • 01/1997

      Ensino, Engenharia Elétrica, Nível: Pós-Graduação,Disciplinas ministradas, PCS-5733 Confiabilidade e Segurança de Sistemas Computacionais

    • 01/1989

      Pesquisa e desenvolvimento , Escola Politécnica, Departamento de Engenharia de Computação e Sistemas Digitais.,Linhas de pesquisa

    • 01/1989 - 12/2017

      Ensino, Engenharia Elétrica, Nível: Graduação,Disciplinas ministradas, Introdução à Engenharia, Introdução à Inteligência Artifical, Laboratório Digital I, Laboratório Digital II, Noções de Estruturas de Dados para Engenharia, Requisitos de Sistemas Computacionais

    • 01/1989 - 12/2017

      Extensão universitária , Escola Politécnica, Departamento de Engenharia de Computação e Sistemas Digitais.,Atividade de extensão realizada, Análise de Segurança do Sistema de Sinalização Metro-Ferroviário.

    • 01/1995 - 12/1995

      Extensão universitária , Escola Politécnica, Departamento de Engenharia de Computação e Sistemas Digitais.,Atividade de extensão realizada, Projeto de Software de Gerenciamento de Redes.

  • 1983 - 1985

    Telecomunicações do estado de São Paulo

    Vínculo: Servidor público ou celetista, Enquadramento Funcional: Engenheiro, Carga horária: 0, Regime: Dedicação exclusiva.

    Atividades

    • 12/1983 - 03/1985

      Serviços técnicos especializados , Telecomunicações do Estado de São Paulo, .,Serviço realizado, Desenvolvimento de Cabo de Fibra Óptica.

  • 1982 - 1983

    NEC do Brasil

    Vínculo: Servidor público ou celetista, Enquadramento Funcional: Engenheiro, Carga horária: 0, Regime: Dedicação exclusiva.

    Atividades

    • 12/1982 - 11/1983

      Serviços técnicos especializados , Nec do Brasil, .,Serviço realizado, Projeto de Sistemas UHF e Microondas.