Juliana de Melo Bezerra
Possui graduação (2003) em Curso de Engenharia da Computação pelo Instituto Tecnológico de Aeronáutica, mestrado (2006) e doutorado (2012) em Engenharia Eletrônica e Computação pelo Instituto Tecnológico de Aeronáutica (ITA). Atualmente é Professora Associada do ITA. Suas áreas de interesse incluem: Sistemas Aeroespaciais, Sistemas Embarcados, Sistemas Críticos, Safety, Sistemas Distribuídos e Educação.
Informações coletadas do Lattes em 07/02/2026
Acadêmico
Formação acadêmica
Doutorado em Engenharia Eletrônica e Computação
2009 - 2012
Instituto Tecnológico de Aeronáutica
Título: A Process to Design Incentive Mechanisms for Virtual Communities
, Ano de obtenção: 2012. Prof Celso Massaki Hirata.
Mestrado em Engenharia Eletrônica e Computação
2004 - 2006
Instituto Tecnológico de Aeronáutica
Título: Mapeamento de UML-RT para Pi-calculus, Ano de Obtenção: 2006
Prof Celso Massaki Hirata.
Graduação em Engenharia da Computação
1999 - 2003
Instituto Tecnológico de Aeronáutica
Título: Gestão e Compartilhamento do Conhecimento: um estudo de caso
Orientador: Prof Celso Massaki Hirata
Formação complementar
2025 - 2025
Oficina de Metodologias Ativas. (Carga horária: 16h). , Instituto Tecnológico de Aeronáutica, ITA, Brasil.
2013 - 2013
Extensão universitária em Engineering a Safer World. (Carga horária: 27h). , Instituto Tecnológico de Aeronáutica, ITA, Brasil.
2012 - 2012
SCRUM CAMP. (Carga horária: 40h). , Instituto Tecnológico de Aeronáutica, ITA, Brasil.
2012 - 2012
Strategies for Innovation in Engineering Education in Brazil. (Carga horária: 35h). , Academic and Professional Programs for the Americas, LASPAU, Estados Unidos.
2005 - 2005
Extensão universitária em The Foundation of Formal Specification and Design. (Carga horária: 50h). , Instituto Tecnológico de Aeronáutica, ITA, Brasil.
Idiomas
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Organização de eventos
BEZERRA, J. M. ; OLIVEIRA, N. M. F. . I Encontro de Rede Mulheres em STEM - Projeto Mulheres em STEM2D no Engineering Education for the Future (ITA EEF 2019). 2019. (Outro).
PIANI, R. C. ; OLIVEIRA, N. M. F. ; MARTINS, C. A. ; SANTOS, L. R. ; BEZERRA, J. M. ; SILVA, M. M. ; TELES, L. K. . II Encontro de Liderança Feminina. 2018. (Outro).
BEZERRA, J. M. ; PIANI, R. C. ; OLIVEIRA, N. M. F. ; SILVA, M. M. ; TELES, L. K. ; MARTINS, C. A. . I Encontro de Liderança Feminina. 2017. (Outro).
BEZERRA, J. M. ; OLIVEIRA, N. M. F. ; TELES, L. K. ; SILVA, M. M. ; MARTINS, C. A. ; PIANI, R. C. . Dia de Engenharia do ITA. 2016. (Outro).
BEZERRA, J. M. ; Hirata, C.M. . Evento MIT-ITA-Embraer sobre Safety. 2013. (Outro).
Participação em eventos
21st International Conference on Web Information Systems and Technologies (WEBIST 2025). Towards a Progressive Scalability for Modular Monolith Applications; Toward Decentralized Digital Asset Management on the Blockchain; and Go-Pregel: A User-Friendly Framework for Distributed Graph Processing. 2025. (Congresso).
Seminário do Programa de Pós-Graduação em Computação Aplicada (PGCAP) do Instituto Nacional de Pesquisas Espaciais (INPE).Pesquisas sobre sistemas críticos e sistemas distribuídos. 2024. (Seminário).
16th annual International Technology, Education and Development Conference (INTED 2022). GOOD TEACHING IN REMOTE LEARNING; and DESIGNING AN ONLINE ENGINEERING COURSE BASED ON BLOOM?S TAXONOMY. 2022. (Congresso).
14th annual International Conference of Education, Research and Innovation (ICERI 2021). SENSE OF BELONGING IN ENGINEERING STUDENTS DURING COVID-19 PANDEMIC; and FEEDBACK OF ENGINEERING STUDENTS ABOUT REMOTE CLASSES DURING COVID-19 PANDEMIC. 2021. (Congresso).
23rd International Conference on Enterprise Information Systems (ICEIS 2021). A Blockchain Approach to Support Vaccination Process in a Country; and Exploring Differential Privacy in Practice. 2021. (Congresso).
SysML para Modelagem de Sistemas Aeroespaciais. 2019. (Oficina).
10th International Conference on Computer Supported Education (CSEDU 2018). Presenter of Supporting the Development of Complete Engineers. 2018. (Congresso).
20th International Conference on Enterprise Information Systems (ICEIS 2018). Presenter of A Multipurpose System for Gamified Experiences. Presenter of Fostering Collaboration on Decision Processes.. 2018. (Congresso).
20th International Conference on Enterprise Information Systems (ICEIS 2018). Chair of the Session Internet Computing and Semantic Web.. 2018. (Congresso).
CBRAVIC2017 - Congresso Brasileiro de Aplicações de Vácuo na Indústria e na Ciência.Oficina do projeto "Mulheres em STEM2D" para alunos do Ensino Fundamental e Médio.. 2017. (Oficina).
Oficina de Formação Docente "Inovações no Ensino de Engenharia", com Prof. Dr Alessandro Fernandes Moreira. 2017. (Oficina).
Oficina de Formação Docente "Integração Teoria e Prática", com o Prof. Dr. Messias Borges Silva. 2017. (Oficina).
Oficina de Formação Docente "Relação professor-aluno: Existe espaço para o assédio moral?", com Prof. Dr. José Roberto Montes Heloani. 2017. (Oficina).
Seminário "Igualdade de Gênero para a Inovação: um intercâmbio de experiências entre Suécia e Brasil".Empoderando as mulheres nas áreas de Ciência, Tecnologia e Exatas.. 2017. (Seminário).
Workshop das normas DO-178C, MIL-STD-498 e DO-254. 2017. (Oficina).
Oficina de Formação Docente "Questões contemporâneas da Tecnologia e da Sociedade na Educação", com Prof. Dr Walter Antonio Bazzo. 2016. (Oficina).
11th International Conference on Web Information Systems and Technologies (WEBIST). Presenter of Effects of Task Significance, Coordination and Incentive Mechanisms on Motivation of Online Teams. Presenter of AHP-based Metric for Tie Strength of Online Friendhips.. 2015. (Congresso).
CDIO Conference: Engineering Leadership in Innovation and Design. Presenter of A Case Study of an Innovative Experience in Engineering Education in Brazil. 2013. (Congresso).
IADIS International Conference WWW/Internet. Presenter of Investigating Collaboratiion and Effectiveness of Virtual Teams with Distinct Organization Types. 2012. (Congresso).
SCRUMP CAMP. 2012. (Oficina).
13th International Conference on Enterprise Information Systems (ICEIS). Presenter of Conflict Management Process for Virtual Communities. 2011. (Congresso).
17th CRIWG Conference. Motivation and its Mechanisms in Virtual Communities. 2011. (Congresso).
7th International Conference on Web Information Systems (WEBIST). Self-Organization of Virtual Communities: Need and Members? Participation. 2011. (Congresso).
MiniPLoP Brasil. 2011. (Simpósio).
International Conference WWW/INTERNET. Presenter of Enforcement of Norms in Self-Organizing Virtual Communities. 2010. (Congresso).
Simpósio Brasileiro de Sistemas Colaborativos.Cumprimento de Normas em Comunidades Virtuais Auto-Organizadas. 2010. (Simpósio).
ISD Brasil Customers Conference. 2003. (Simpósio).
IEEE Computer Society Third Annual International Design Competition.UControl - Unversal Control of Devices with Bluetooth. 2002. (Outra).
Participação em bancas
DE AZEVEDO CASTRO CESAR, CECILIA;Hirata, C.M.BEZERRA, J. M.; PAGLIARES, R.. Extensão do STPA utilizando MEF para análise de operações UAVs. 2024. Dissertação (Mestrado em Computação de Missão Crítica - MPCOMP) - Instituto Tecnológico de Aeronáutica.
SAOTOME, O.; DIAS, L. A. V.;BEZERRA, J. M.; AMBROSIO, A. M.. MAPU-DS: Um Método de Aplicação de Processo de Usabilidade em Desenvolvimento de Software. 2023. Dissertação (Mestrado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica.
CUNHA, A. M.; HIRATA, C. M.; MARQUES, J. C.;BEZERRA, J. M.; SAKUGAWA, B. M.. A Proposal of Assessment Process for Compliance with RTCA DO-178C. 2022. Dissertação (Mestrado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica.
DIAS, L. A. V.; Hirata, Celso Massaki;Bezerra, Juliana M.; VIJAYKUMAR, N. L.. Adaptation of STPA for Mission Assurance Analysis of BVR Combat Scenarios. 2021. Dissertação (Mestrado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica.
SANCHES, C. A. A.;Hirata, C.M.Bezerra, Juliana M.; MELO, A. C. V.. STAMP-Based Method for Synthesizing the Controller Logic to Meet Safety Requirements. 2020. Dissertação (Mestrado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica.
VILLANI, E.;Hirata, C.M.; LAHOZ, C. H. N.;BEZERRA, J. M.; LEMOS, F. L.. Approach to Aid Automation of STPA Step 2. 2017. Dissertação (Mestrado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica.
DIAS, L. A. V.;BEZERRA, J. M.; MARQUES, J. C.. Evaluation of Accomplishment of DO-178C Objectives by CMMI-DEV 1.3. 2016. Dissertação (Mestrado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica.
OLIVEIRA, J. M. P.; STARR, R. R.;BEZERRA, J. M.; SILVA, R. A. B. E.. Abordagem para Verificação Formal de Sistemas Críticos Embarcados utilizando Model Checking. 2015. Dissertação (Mestrado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica.
Hirata, C.M.BEZERRA, J. M.; Barp, A.; Yano, E.T.. Método para estimativa de cadeias de atrasos a partir de um modelo de sistema computacional embarcado de tempo-real.. 2009. Dissertação (Mestrado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica.
VILLANI, E.; SANTOS, W. G.; CERQUEIRA, C. S.;BEZERRA, J. M.; AMBROSIO, A. M.; LOUREIRO, G.. Integration of Large Language Models and System-Theoretic Process Analysis for Automating Aerospace Defense Systems Engineering. 2025. Tese (Doutorado em Engenharia Aeronâutica e Mecânica) - Instituto Tecnológico de Aeronáutica.
LOUBACH, D. S.; NOBREGA, E. G. O.; SAOTOME, O.; AZEVEDO, R. J.;Bezerra, Juliana M.. A Runtime Reconfigurable Embedded Systems Design Methodology based on Formal Models of Computation (Uma Metodologia para Projeto de Sistemas Embarcados com Reconfiguração em Tempo de Execução baseada em Modelos Formais de Computação). 2021. Tese (Doutorado em Programa de Pós-Graduação em Engenharia Mecânica) - Universidade Estadual de Campinas.
BORILLE, A. V.; VILLANI, E.; LEMES, M. J. R.;BEZERRA, J. M.; MATTIELLO-FRANCISCO, M. F.; NOBREGA, E. G. O.. Métodos Ágeis para o Desenvolvimento de Sistemas Computacionais Embarcados Críticos por Times Distribuídos. 2018. Tese (Doutorado em Engenharia Aeronâutica e Mecânica) - Instituto Tecnológico de Aeronáutica.
TASINAFFO, P. M.;Hirata, C.M.BEZERRA, J. M.; MIYAGI, P. E.; VIJAYKUMAR, N. L.. Simulation-based Approach for the Dynamic Definition of Engineering Processes. 2017. Tese (Doutorado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica.
Yano, E.T.;Hirata, C.M.; DEWAN, P.;BEZERRA, J. M.; GEROSA, M. A.; VIJAYKUMAR, N. L.. Implementing Synchronous Collaboration on Mobile Computers: issues, approaches, and evaluation. 2016.
RIBEIRO, C. H. C.; MARQUES, J. C.;Bezerra, Juliana M.; SILVA, R. A.. Robustness Guarantees for Machine Learning in Embedded Aeronautical Safety-Critical Systems. 2025. Exame de qualificação (Doutorando em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica.
SANTOS, W. G.; CERQUEIRA, C. S.; CARDOSO JUNIOR, M. M.;BEZERRA, J. M.. Combining Formal Verification Techniques, Genetic Algorithms and STPA into the Verification Phase of Brazilian Military Space Systems. 2023. Exame de qualificação (Doutorando em Engenharia Aeronâutica e Mecânica) - Instituto Tecnológico de Aeronáutica.
Hirata, C.M.; NADJM-TEHRANI, S.; VILLANI, E.;Bezerra, Juliana M.. Synthesis of a controller algorithm for safety-critical systems. 2020. Exame de qualificação (Doutorando em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica.
TASINAFFO, P. M.; VILLANI, E.;BEZERRA, J. M.; NADJM-TEHRANI, S.;Hirata, C.M.. Extending safety and security analysis technique based on systems theory to identify and resolve conflicts and reinforcements in the Concept Phase. 2018. Exame de qualificação (Doutorando em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica.
Hirata, Celso Massaki; CESAR, C. A. C.;Bezerra, Juliana M.; AMBROSIO, A. M.. Análise de Privacidade de Dados e Cibersegurança de um Sistema de Turismo Inteligente usando STPA e considerando a LGPD. 2025. Exame de qualificação (Mestrando em Mestrado Profissional em Computação de Missão Crítica (MPCOMP)) - Instituto Tecnológico de Aeronáutica.
CESAR, C. A. C.; MARCONDES, C. A. C.;Bezerra, Juliana M.. Modelagem de Ameaças aplicada a Sistemas Ciberfísicos Dinâmicos. 2025. Exame de qualificação (Mestrando em Computação de Missão Crítica - MPCOMP) - Instituto Tecnológico de Aeronáutica.
MARCONDES, C. A. C.;BEZERRA, J. M.; CESAR, C. A. C.; HIRATA, C. M.. Uso de STPA para Avaliação de Ameaças no Transporte de Mercadorias via Drones. 2023. Exame de qualificação (Mestrando em Computação de Missão Crítica - MPCOMP) - Instituto Tecnológico de Aeronáutica.
OLIVEIRA, J. M. P.;BEZERRA, J. M.; MATTIELLO-FRANCISCO, M. F.. Análise de Dados Utilizados para Validação do Sistema de Gerenciamento da Segurança Operacional Considerando o Conceito Data Quality. 2012 - Instituto Tecnológico de Aeronáutica.
TASINAFFO, P. M.; DANTAS, J. P. A.; SANCHES, C. A. A.;BEZERRA, JULIANA DE M.. Proposta de Algoritmo Distribuído para Enxames de Drones Defensivos de Pequeno Porte baseado em Planejamento. 2025. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Instituto Tecnológico de Aeronáutica.
OLIVEIRA, J. M. P.;BEZERRA, J. M.; FERNANDES, S. C.; DOMINGOS, F. A.. Prediction of Air Traffic in Control Sectors using Machine Learning for ATFM Analysis. 2024. Trabalho de Conclusão de Curso (Graduação em Engenharia Aeroespacial) - Instituto Tecnológico de Aeronáutica.
PEREIRA JUNIOR, L. A.;BEZERRA, J. M.; FOOK, K. D.. Geração de imagens sintéticas para benchmark em sites de e-commerce. 2023 - Instituto Tecnológico de Aeronáutica.
OLIVEIRA, J. M. P.; SANTOS, R. S.;BEZERRA, J. M.; COSTA, I. C.. Aplicação do Modelo Big Data de Família de Colunas para Dados do SUS. 2023. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Instituto Tecnológico de Aeronáutica.
FERRARI, D. B.; CASTRO, P. A. L.;BEZERRA, J. M.. A Comparative Study on AI-based Metamodeling Techniques for Deterministic Functions. 2023. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Instituto Tecnológico de Aeronáutica.
PEREIRA JUNIOR, L. A.; CESAR, B. K. M.;BEZERRA, J. M.; COSTA, I. C.. Conflict-free Synchronization: Typescript Implementation of a Causal Tree Library. 2023. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Instituto Tecnológico de Aeronáutica.
CESAR, C. A. C.;BEZERRA, J. M.; CURTIS, V. V.. Identificação e Localização de UAS usando Remote ID via Simulação. 2022. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Instituto Tecnológico de Aeronáutica.
FORSTER, C. H. Q.;BEZERRA, J. M.; FERREIRA, D. B.. Reconhecimento de Atributos Faciais para Sistemas de Avatares. 2021. Trabalho de Conclusão de Curso (Graduação em Engenharia Eletrônica) - Instituto Tecnológico de Aeronáutica.
Hirata, C.M.; IHA, K.; COSTA, L. E. V. L.;BEZERRA, J. M.. Application of STPA in a Ground Segment of a Satellite System. 2021. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Instituto Tecnológico de Aeronáutica.
TASINAFFO, P. M.; CASTRO, P. A. L.;Bezerra, Juliana M.. Algoritmo de Neuroevolução NEAT Aplicado em Ambiente Multi-Agente Competitivo. 2020. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Instituto Tecnológico de Aeronáutica.
OLIVEIRA, J. M. P.;BEZERRA, J. M.; SOMA, N. Y.. Estimativa de Tráfego de Páginas em um Domínio por Data Mining e Machine Learning. 2018. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Instituto Tecnológico de Aeronáutica.
FORSTER, C. H. Q.;BEZERRA, J. M.; PELLEGRINO, S. R. M.. Internet das Coisas e a Reestruturação da Didática em Lógica de Programação. 2017. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Instituto Tecnológico de Aeronáutica.
Yano, E.T.;BEZERRA, J. M.; MOKARZEL, F. C.. Introdução à Robótica com ROS e Raspberry Pi. 2017. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Instituto Tecnológico de Aeronáutica.
AFONSO, R. J. M.; OLIVEIRA, N. M. F.;BEZERRA, J. M.. Supporting Avionics Configurator for Report Generator, Configuration Visualization and Network Configuration (Banca de Qualificação). 2017. Trabalho de Conclusão de Curso (Graduação em Engenharia Eletrônica) - Instituto Tecnológico de Aeronáutica.
FORSTER, C. H. Q.;BEZERRA, J. M.; SAOTOME, O.. Infraestrutura em Nuvem para Processamento e Ingestão de Imagens de Satélite. 2017. Trabalho de Conclusão de Curso (Graduação em Engenharia Eletrônica) - Instituto Tecnológico de Aeronáutica.
FORSTER, C. H. Q.;BEZERRA, J. M.; PELLEGRINO, S. R. M.. Inferência de uma Gramática Estocástica para Reconhecimento de Gênero. 2017. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Instituto Tecnológico de Aeronáutica.
CESAR, C. A. C.;BEZERRA, J. M.Hirata, C.M.. Avaliação de Desempenho de Virtualização de Serviços de Rede. 2017. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Instituto Tecnológico de Aeronáutica.
OLIVEIRA, N. M. F.; SHIGUEMORI, E. H.; AFONSO, R. J. M.;BEZERRA, J. M.. Navegação Aérea Autônoma baseada em Visão Computacional. 2017. Trabalho de Conclusão de Curso (Graduação em Engenharia Eletrônica) - Instituto Tecnológico de Aeronáutica.
Yano, E.T.;BEZERRA, J. M.; SISMANDGIU, B. N.. Desenvolvimento de Aplicação para Automatização da Elaboração de Rotinas de Estudo para Alunos do Ensino Médio. 2017. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Instituto Tecnológico de Aeronáutica.
BEZERRA, J. M.; CASTRO, P. A. L.;Hirata, C.M.. Framework para Desenvolvimento de Aplicações do Paradigma de Proximidade. 2015. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Instituto Tecnológico de Aeronáutica.
RIBEIRO, C. H. C.; FERNANDES, C. T.;BEZERRA, J. M.; CASTRO, P. A. L.. Ambiente Mjöllnir Adaptado ao Ensino de Algoritmos de Inteligência Artificial. 2015. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Instituto Tecnológico de Aeronáutica.
GOUVEIA, A. R.; SOMA, N. Y.;BEZERRA, J. M.. Estudo do Problema de Uns Consecutivos e sua Aplicação e Implementação em Algoritmos de Desenho de Grafos Planares. 2015.
Hirata, C.M.BEZERRA, J. M.; CASTRO, P. A. L.. Design Method for Mitigation of Monolithic Web Application to SOA. 2015. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Instituto Tecnológico de Aeronáutica.
Hirata, C.M.BEZERRA, J. M.; CASTRO, P. A. L.. Sistema de pesquisa online com incentivos em bitcoins. 2014. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Instituto Tecnológico de Aeronáutica.
Hirata, C.M.BEZERRA, J. M.; CASTRO, P. A. L.. Plataforma de gerenciamento em tempo real para indústria de produção não seriada. 2014. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Instituto Tecnológico de Aeronáutica.
Hirata, C.M.BEZERRA, J. M.; CASTRO, P. A. L.. Uso de realidade aumentada em manuais de instrução. 2014. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Instituto Tecnológico de Aeronáutica.
Hirata, C.M.BEZERRA, J. M.; CASTRO, P. A. L.. Voto versus veto: aplicativo para campanhas eleitorais. 2014. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Instituto Tecnológico de Aeronáutica.
RIBEIRO, C. H. C.; BRUST, M. R.;BEZERRA, J. M.. Um Modelo de Naming Game com Programação de Termos Baseado em Reputações. 2011. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Instituto Tecnológico de Aeronáutica.
FERRARI, D. B.;BEZERRA, J. M.; FORSTER, C. H. Q.. DACE: Um Pacote em R para Planejamento e Análise de Experimentos Computacionais. 2011. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Instituto Tecnológico de Aeronáutica.
BEZERRA, J. M.; KIMURA, B. Y. L.; MIRISOLA, L. G. B.. Concurso para Professor do ITA 2017 - Campo: Metodologias de Computação - Área: Sistemas Distribuídos (perfil 40). 2018. Instituto Tecnológico de Aeronáutica.
BEZERRA, J. M.; CASTRO, P. A. L.; ARIAS, R.; GATTO, R. C.; OLIVEIRA, P. P. B.. Prova de Defesa Pública de Memorial no Concurso Público do DCTA (Campo de conhecimento: Geointeligência). 2013. Departamento de Ciência e Tecnologia Aeroespacial.
BEZERRA, J. M.. Comitê de Programa do Track Industrial na Conferência DSN (Dependable Systems and Networks). 2015. Instituto Nacional de Pesquisas Espaciais.
Orientou
A Controlled Natural Language for Requirement Specification of Critical Systems; 2016; Dissertação (Mestrado em Engenharia Aeronâutica e Mecânica) - Instituto Tecnológico de Aeronáutica, ; Orientador: Juliana de Melo Bezerra;
A Rule-Based Approach for Safety Analysis Using STAMP/STPA; 2015; Dissertação (Mestrado em Engenharia Aeronâutica e Mecânica) - Instituto Tecnológico de Aeronáutica, ; Coorientador: Juliana de Melo Bezerra;
Design Recommendations for the Development of Airborne Multi-core Systems; 2015; Dissertação (Mestrado em Engenharia Aeronâutica e Mecânica) - Instituto Tecnológico de Aeronáutica, ; Orientador: Juliana de Melo Bezerra;
Modeling Guidelines and Usage Analysis Towards Applying HiP-HOPS Method to Airbone; 2015; Dissertação (Mestrado em Engenharia Aeronâutica e Mecânica) - Instituto Tecnológico de Aeronáutica, ; Orientador: Juliana de Melo Bezerra;
Uma Abordagem para Gerenciamento Colaborativo de Projetos Informais; 2015; Dissertação (Mestrado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica, ; Coorientador: Juliana de Melo Bezerra;
A Framework to Support Online Collaboration in Multi-Criteria Decision Processes; 2015; Dissertação (Mestrado em Engenharia Aeronâutica e Mecânica) - Instituto Tecnológico de Aeronáutica, ; Orientador: Juliana de Melo Bezerra;
Método para Geração Automática de Casos de Teste Utilizando o Critério de Cobertura MC/DC; 2014; Dissertação (Mestrado em Engenharia Aeronâutica e Mecânica) - Instituto Tecnológico de Aeronáutica, ; Coorientador: Juliana de Melo Bezerra;
An Approach to Generate Optimized Cyclic Scheduling from AADL Specification; 2014; Dissertação (Mestrado em Engenharia Aeronâutica e Mecânica) - Instituto Tecnológico de Aeronáutica, ; Coorientador: Juliana de Melo Bezerra;
Fluxo de Atividades para Integração de Modelos de Sistemas Aeronáuticos: Caso KC390; 2013; Dissertação (Mestrado em Engenharia Aeronâutica e Mecânica) - Instituto Tecnológico de Aeronáutica, ; Coorientador: Juliana de Melo Bezerra;
Chimera: A Framework for Education and Prototyping in Distributed Machine Learning; 2025; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Instituto Tecnológico de Aeronáutica; Orientador: Juliana de Melo Bezerra;
Exploring the Challenges and Strategies of Distributed Databases; 2025; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Instituto Tecnológico de Aeronáutica; Orientador: Juliana de Melo Bezerra;
Exploring Resilient Strategies for Distributed Data Stream Processing; 2025; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Instituto Tecnológico de Aeronáutica; Orientador: Juliana de Melo Bezerra;
A Blockchain Infrastructure to Support UTM Services; 2025; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Instituto Tecnológico de Aeronáutica; Orientador: Juliana de Melo Bezerra;
Investigating Model Checking Approaches in the Design of Critical Cyber-Physical Systems; 2024; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Instituto Tecnológico de Aeronáutica; Orientador: Juliana de Melo Bezerra;
Tokenization of DeFi Projects using Social Validation in Blockchain; 2024; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Instituto Tecnológico de Aeronáutica; Orientador: Juliana de Melo Bezerra;
Exploring Distributed Graph Processing Techniques; 2024; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Instituto Tecnológico de Aeronáutica; Orientador: Juliana de Melo Bezerra;
Towards a Decentralized Multichain Asset Management Platform using Blockchain; 2024; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Instituto Tecnológico de Aeronáutica; Orientador: Juliana de Melo Bezerra;
A Pastry based distributed database in Rust; 2023; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Instituto Tecnológico de Aeronáutica; Orientador: Juliana de Melo Bezerra;
Launching a Stablecoin with Cross-Chain Interoperability; 2023; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Instituto Tecnológico de Aeronáutica; Orientador: Juliana de Melo Bezerra;
Towards the Development of Digital Twins (com co-orientação do Prof; Marcus Vinicius Pereira Pessoa - University of Twente); 2022; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Instituto Tecnológico de Aeronáutica; Orientador: Juliana de Melo Bezerra;
Study and Application of Blockchain in the Healthcare Industry (Orientação em parceria com Prof; Inaldo Capistrano Costa - ITA); 2022; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Instituto Tecnológico de Aeronáutica; Orientador: Juliana de Melo Bezerra;
Privacy in the Big Data Era; 2019; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Instituto Tecnológico de Aeronáutica; Orientador: Juliana de Melo Bezerra;
A 3D Visualization Approach for Designing Aircraft Systems; 2019; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Instituto Tecnológico de Aeronáutica; Orientador: Juliana de Melo Bezerra;
Supporting Testing Automation of Critical Systems and Software in Aerospace Context; 2019; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Instituto Tecnológico de Aeronáutica; Orientador: Juliana de Melo Bezerra;
Customization of the INPE Satellite Control System (SATCS) to SPORT Mission; 2018; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Instituto Tecnológico de Aeronáutica; Orientador: Juliana de Melo Bezerra;
Supporting the Development of Unmanned Vehicles: Mavlink Protocol and its Security Aspects; 2018; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Instituto Tecnológico de Aeronáutica; Orientador: Juliana de Melo Bezerra;
Design and analysis of a generalized gamification system; 2016; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Instituto Tecnológico de Aeronáutica; Orientador: Juliana de Melo Bezerra;
Activity model to improve learning in a distributed systems course; 2016; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Instituto Tecnológico de Aeronáutica; Orientador: Juliana de Melo Bezerra;
Collaborative Strategies for Engineering Learning; 2015; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Instituto Tecnológico de Aeronáutica; Orientador: Juliana de Melo Bezerra;
Aplicativo para Percepção de Intensidade de Relacionamento numa Rede Social; 2013; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Instituto Tecnológico de Aeronáutica; Orientador: Juliana de Melo Bezerra;
Automação residencial; 2013; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Instituto Tecnológico de Aeronáutica; Orientador: Juliana de Melo Bezerra;
Desenvolvimento e Avaliação de Comunidades Virtuais Projetadas Considerando Mecanismos de Incentivo; 2013; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Instituto Tecnológico de Aeronáutica; Orientador: Juliana de Melo Bezerra;
Desenvolvimento de Interface Gráfica de Mudança de Parâmetros em Tempo Real; 2019; Iniciação Científica; (Graduando em Engenharia da Computação) - Instituto Tecnológico de Aeronáutica, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Juliana de Melo Bezerra;
Desenvolvimento de um sistema gamificado de múltiplas aplicações; 2015; Iniciação Científica - Instituto Tecnológico de Aeronáutica; Orientador: Juliana de Melo Bezerra;
Desenvolvimento de mecanismos de motivação para ambiente wiki; 2012; Iniciação Científica - Instituto Tecnológico de Aeronáutica, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Juliana de Melo Bezerra;
Desenvolvimento de mecanismos de gerenciamento de conflitos para ambiente wiki; ; 2012; Iniciação Científica - Instituto Tecnológico de Aeronáutica, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Juliana de Melo Bezerra;
Desenvolvimento e avaliação de uma aplicação para uma comunidade virtual auto-organizada; 2011; Iniciação Científica - Instituto Tecnológico de Aeronáutica, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Juliana de Melo Bezerra;
Produções bibliográficas
-
CARNIEL, ANDREI ; BEZERRA, JULIANA DE MELO ; Hirata, Celso Massaki . Workflow for Conflict and Reinforcement Identification based on STPA and STRIDE. IEEE Access , v. 13, p. 1-1, 2025.
-
DE FARIAS, JÚLIO CÉSAR LEITÃO ALBUQUERQUE ; CARNIEL, ANDREI ; de Melo Bezerra, Juliana ; Hirata, Celso Massaki . Approach based on STPA extended with STRIDE and LINDDUN, and blockchain to develop a mission-critical e-voting system. Journal of Information Security and Applications , v. 81, p. 103715, 2024.
-
CARNIEL, ANDREI ; BEZERRA, JULIANA DE MELO ; Hirata, Celso Massaki . An Ontology-based Approach to Aid STPA Analysis. IEEE Access , v. 1, p. 1-1, 2023.
-
PEREIRA PESSOA, MARCUS VINICIUS ; LOPES SCHUCH, ANA PAULA ; BEZERRA, JULIANA MELO . Using model-based systems engineering to design system-based digital twins. INCOSE INTERNATIONAL SYMPOSIUM , v. 33, p. 1435-1449, 2023.
-
SOUZA, N. P. ; CESAR, C. A. C. ; BEZERRA, J. M. ; HIRATA, C. M. . Extending STPA with STRIDE to identify cybersecurity loss scenarios. Journal of Information Security and Applications , v. 55, p. 102620, 2020.
-
BEZERRA, J. M. ; Hirata, C.M. ; RANDALL, D. . A Conceptual Framework to Define Incentive Mechanisms for Virtual Communities. JOURNAL OF UNIVERSAL COMPUTER SCIENCE , v. 21, p. 1107-1135, 2015.
-
BEZERRA, J. M. ; Hirata, C.M. . A Polyadic pi-Calculus Approach for the Formal Specification of UML-RT. ADVANCES IN SOFTWARE ENGINEERING (PRINT) , v. 2009, p. 1-26, 2009.
-
Machado, Éric Bastos Costa ; de Melo Bezerra, Juliana ; Hirata, Celso Massaki . Designing a Stablecoin Service Tailored for Cross-Chain Transactions. Lecture Notes in Business Information Processing. 1ed.: Springer Nature Switzerland, 2026, v. , p. 154-177.
-
HASUDA, D. G. ; BEZERRA, J. M. . Investigating Differential Privacy Outcomes. Lecture Notes in Business Information Processing. 1ed.: , 2022, v. 455, p. 388-400.
-
CARNIEL, A. ; BEZERRA, J. M. ; HIRATA, C. M. . A Blockchain-Based Approach for COVID-19 Vaccine Lifecycle. Lecture Notes in Business Information Processing. 1ed.: , 2022, v. 455, p. 71-85.
-
Timbó, Samuel ; de Melo Bezerra, Juliana ; Hirata, Celso Massaki . Supporting Gamified Experiences for Informal Collaborative Groups. Lecture Notes in Business Information Processing. 1ed.: Springer International Publishing, 2019, v. 363, p. 42-57.
-
OLIVEIRA, N. M. F. ; RIZOL, P. M. S. R. ; FERREIRA, A. A. ; OLIVEIRA, E. J. A. ; BARBOSA, I. M. B. R. ; RODRIGUES, S. S. F. B. ; CARVALHO, V. S. ; SANTOS, A. G. ; BERTON, L. ; SANTOS, A. C. ; VIANA, D. M. ; SOUZA, J. S. A. ; BRASIL, K. C. T. R. ; MATOS, L. M. S. ; SACCHELLI, C. M. ; KELLER, S. C. ; GARCIA, T. R. ; MOTTA, V. S. ; LIMA, L. S. ; BEZERRA, J. M. ; et.al . Mulheres em STEM nas escolas de Engenharia. In: Adriana Maria Tonini; Tânia Regina Dias Silva Pereira. (Org.). Desafios da Educação em Engenharia: Empreendedorismo, Industria 4.0, Formação do Engenheiro, Mulheres em STEM. 1ed.Brasília: ABENGE, 2019, v. 1, p. 82-102.
-
Ferreira, Luma ; Bezerra, Juliana ; Hirata, Celso . Towards a Framework for Aiding the Collaborative Management of Informal Projects. Lecture Notes in Business Information Processing. 1ed.: Springer International Publishing, 2018, v. 321, p. 3-20.
-
de Melo Bezerra, Juliana ; Marques, Gabriel Chagas ; Hirata, Celso Massaki . Measuring Friendship Strength in Online Social Networks. Lecture Notes in Business Information Processing. 1ed.: Springer International Publishing, 2016, v. 246, p. 109-122.
-
de Melo Bezerra, Juliana ; Santos Diniz, Lara ; da Silva Montalvão, Victor ; Hirata, Celso Massaki . Motivating Online Teams: An Investigation on Task Significance, Coordination and Incentive Mechanisms. Lecture Notes in Business Information Processing. 1ed.: Springer International Publishing, 2016, v. 246, p. 93-108.
-
Villela, Carolina D. ; Sano, Humberto H. ; Bezerra, Juliana M. . Modeling Guidelines and Usage Analysis Towards Applying HiP-HOPS Method to Airborne Electrical Systems. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2015, v. 9337, p. 19-28.
-
de Melo Bezerra, Juliana ; Hirata, Celso Massaki . Applying Conflict Management Process to Wiki Communities. Lecture Notes in Business Information Processing. 1ed.: Springer Berlin Heidelberg, 2012, v. 102, p. 333-348.
-
de Melo Bezerra, Juliana ; Hirata, Celso Massaki . Motivation and Its Mechanisms in Virtual Communities. Lecture Notes in Computer Science. 1ed.: Springer Berlin Heidelberg, 2011, v. , p. 57-72.
-
CAMPBELL, FREDERICK DEL GAUDIO ; SILVA, ULISSES LOPES ; DIAS, HELOISA HELENA ROSSATO ; VELOSO, MARCOS VINICIUS PEREIRA ; COSTA, EMILY HENRIQUES QUADROS VIANA ; BEZERRA, JULIANA DE MELO ; HENRIQUES, IZABELA BATISTA ; LEITE, SARAH NEGREIROS DE CARVALHO ; SILVA, MARIA MARGARETH ; MARTINS, CRISTIANE APARECIDA ; FOOK, KARLA DONATO . CO-AUTHORED PROJECTS IN EDUCATION: A CASE STUDY OF A MOBILE LAB WORKSHOP. In: 17th International Conference on Education and New Learning Technologies, 2025, Palma, 2025. p. 1033.
-
BEZERRA, JULIANA DE MELO . STRUCTURING FLIPPED LEARNING: A CASE STUDY IN ENGINEERING EDUCATION. In: 17th International Conference on Education and New Learning Technologies, 2025, Palma, 2025. p. 515.
-
VELOSO, MARCOS VINÍCIUS PEREIRA ; DIAS, HELOISA HELENA ROSSATO ; COSTA, EMILY HENRIQUES QUADROS VIANA ; CAMPBELL, FREDERICK DEL GAUDIO ; SILVA, ULISSES LOPES ; BEZERRA, JULIANA DE MELO ; HENRIQUES, IZABELA BATISTA ; LEITE, SARAH NEGREIROS DE CARVALHO ; SILVA, MARIA MARGARETH ; MARTINS, CRISTIANE APARECIDA ; FOOK, KARLA DONATO . BRINGING EDUCATION ANYWHERE: A MOBILE LAB INITIATIVE. In: 17th International Conference on Education and New Learning Technologies, 2025, Palma, 2025. p. 1016.
-
BEZERRA, JULIANA DE MELO . FACILITATING STUDENT-DRIVEN PROBLEM SELECTION IN PBL FOR ENGINEERING EDUCATION. In: 17th International Conference on Education and New Learning Technologies, 2025, Palma, 2025. p. 510.
-
GANDOUR, GABRIEL ; Hirata, Celso ; Bezerra, Juliana . Go-Pregel: A User-Friendly Framework for Distributed Graph Processing. In: 21st International Conference on Web Information Systems and Technologies, 2025, Marbella. Proceedings of the 21st International Conference on Web Information Systems and Technologies, 2025. p. 149.
-
VASCONCELOS JÚNIOR, LUIZ ; BORCK, BRYAN ; Hirata, Celso ; Bezerra, Juliana . Toward Decentralized Digital Asset Management on the Blockchain. In: 21st International Conference on Web Information Systems and Technologies, 2025, Marbella. Proceedings of the 21st International Conference on Web Information Systems and Technologies, 2025. p. 189.
-
CARVALHO, MAURÍCIO ; Bezerra, Juliana ; FOOK, KARLA . Towards a Progressive Scalability for Modular Monolith Applications. In: 21st International Conference on Web Information Systems and Technologies, 2025, Marbella. Proceedings of the 21st International Conference on Web Information Systems and Technologies, 2025. p. 228.
-
CAVASSANI, DANIEL ARAUJO ; ALBARELLO, RAFAEL HICKMANN ; TEIXEIRA, FERNANDA MOREIRA SERRA ; MELO, ANDRE ELIAS ; Hirata, Celso Massaki ; de Melo Bezerra, Juliana . Enhancing Unmanned Airspace Management with Blockchain: A Resilient Discovery and Synchronization System. In: 2025 AIAA DATC/IEEE 44th Digital Avionics Systems Conference (DASC), 2025, Montreal. 2025 AIAA DATC/IEEE 44th Digital Avionics Systems Conference (DASC), 2025. p. 1.
-
SERRA TEIXEIRA, FERNANDA MOREIRA ; ALBARELLO, RAFAEL HICKMANN ; MELC, ANDRE ELIAS ; Hirata, Celso Massaki ; de Melo Bezerra, Juliana . Towards a Safe and Sustainable Qualification of UTM Service Providers: An Automated Testing Approach. In: 2025 AIAA DATC/IEEE 44th Digital Avionics Systems Conference (DASC), 2025, Montreal. 2025 AIAA DATC/IEEE 44th Digital Avionics Systems Conference (DASC), 2025. p. 1.
-
MELO, JOSÉ ; COSTA, INALDO ; Bezerra, Juliana ; Hirata, Celso . A Comprehensive Blockchain-Based Architecture for Healthcare Systems. In: 26th International Conference on Enterprise Information Systems, 2024, Angers. Proceedings of the 26th International Conference on Enterprise Information Systems, 2024. p. 250.
-
MACHADO, ÉRIC ; Bezerra, Juliana ; Hirata, Celso . Architecture for Stablecoins with Cross-Chain Interoperability. In: 26th International Conference on Enterprise Information Systems, 2024, Angers. Proceedings of the 26th International Conference on Enterprise Information Systems, 2024. p. 273.
-
Bezerra, Juliana . EMBARKING ON STRUCTURED PEER REVIEW WITH ENGINEERING STUDENTS. In: 16th International Conference on Education and New Learning Technologies, 2024, Palma, 2024. p. 8944.
-
Bezerra, Juliana . RETURN TO IN-PERSON CLASSES: INSIGHTS FROM ENGINEERING STUDENTS. In: 16th International Conference on Education and New Learning Technologies, 2024, Palma, 2024. p. 8949.
-
VEGINI LIOI, HENRIQUE ; CURTIS, VITOR ; de Melo Bezerra, Juliana . Analysis of the Collision Probability of Rotary Wing UAVs in Urban Airspace: A Simulation Approach for Urban Air Traffic Optimization. In: ANAIS DO SIMPóSIO BRASILEIRO DE PESQUISA OPERACIONAL, 2023, 2023.
-
Bezerra, Juliana . GOOD TEACHING IN REMOTE LEARNING. In: 16th International Technology, Education and Development Conference, 2022, Online Conference, 2022. p. 1605.
-
Bezerra, Juliana . DESIGNING AN ONLINE ENGINEERING COURSE BASED ON BLOOM?S TAXONOMY. In: 16th International Technology, Education and Development Conference, 2022, Online Conference. org.crossref.xschema._1.Title@60804490, 2022. p. 1610.
-
HASUDA, DAVI ; Bezerra, Juliana . Exploring Differential Privacy in Practice. In: 23rd International Conference on Enterprise Information Systems, 2021, Online Streaming. Proceedings of the 23rd International Conference on Enterprise Information Systems, 2021. p. 877.
-
CARNIEL, ANDREI ; LEME, GUSTAVO ; Bezerra, Juliana ; Hirata, Celso . A Blockchain Approach to Support Vaccination Process in a Country. In: 23rd International Conference on Enterprise Information Systems, 2021, Online Streaming. Proceedings of the 23rd International Conference on Enterprise Information Systems, 2021. p. 343.
-
Bezerra, Juliana . SENSE OF BELONGING IN ENGINEERING STUDENTS DURING COVID-19 PANDEMIC. In: 14th annual International Conference of Education, Research and Innovation, 2021, Online Conference, 2021. p. 749.
-
Bezerra, Juliana . FEEDBACK OF ENGINEERING STUDENTS ABOUT REMOTE CLASSES DURING COVID-19 PANDEMIC. In: 14th annual International Conference of Education, Research and Innovation, 2021, Online Conference, 2021. p. 754.
-
SANTOS, L.R. ; MARTINS, C.A. ; PIANI, R.C. ; SILVA, M.M. ; Bezerra, Juliana ; OLIVEIRA, NEUSA M.F. ; TELES, L.K. . EXPLORING STRATEGIES FOR SPREADING STEM HANDS-ON ACTIVITIES. In: 14th International Technology, Education and Development Conference, 2020, Valencia, 2020. p. 553.
-
OLIVEIRA, NEUSA M.F. ; CAVALCANTE, ANA LUIZA ; MOREIRA, M.G. ; SILVA, M.M. ; SANTOS, L.R. ; PIANI, R.C. ; MARTINS, C.A. ; TELES, L.K ; Bezerra, Juliana . THINKING CRITICALLY AND CREATIVELY ON STEM EDUCATION INITIATIVES. In: 14th International Technology, Education and Development Conference, 2020, Valencia, 2020. p. 559.
-
DE SOUZA, FELLIPE GUILHERME REY ; de Melo Bezerra, Juliana ; Hirata, Celso Massaki ; DE SAQUI-SANNES, PIERRE ; APVRILLE, LUDOVIC . Combining STPA with SysML Modeling. In: 2020 IEEE International Systems Conference (SysCon), 2020, Montreal. 2020 IEEE International Systems Conference (SysCon), 2020. p. 1.
-
SANTOS, L.R. ; SILVA, M.M. ; MARTINS, C.A. ; OLIVEIRA, N.M.F. ; PIANI, R.C. ; Bezerra, Juliana ; TELES, L.K. . LESSONS LEARNED ON CONDUCTING A STEM EDUCATION PROGRAM. In: 13th International Technology, Education and Development Conference, 2019, Valencia. org.crossref.xschema._1.Title@39b8a306, 2019. p. 9031.
-
BEZERRA, JULIANA DE MELO ; STIBE, AGNIS . ENHANCING IN CLASS LEARNING THROUGH A TWITTER-BASED MICROBLOGGING AND SOCIALLY INFLUENCING SYSTEM. In: 13th International Technology, Education and Development Conference, 2019, Valencia, 2019. p. 9018.
-
OLIVEIRA, N.M.F. ; SILVA, M.M. ; SANTOS, L.R. ; PIANI, R.C ; MARTINS, C.A. ; TELES, L.K. ; BEZERRA, JULIANA MELO . BENEFITS IN CONDUCTING A PUBLIC OUTREACH PROGRAM FOR SPARKING STEM INTEREST IN FEMALE STUDENTS. In: 11th International Conference on Education and New Learning Technologies, 2019, Palma. org.crossref.xschema._1.Title@10940288, 2019. p. 7968.
-
BEZERRA, JULIANA MELO . INVESTIGATING EFFECTIVENESS OF COLLABORATIVE LEARNING ACTIVITIES IN A COMPUTING COURSE. In: 11th International Conference on Education and New Learning Technologies, 2019, Palma, 2019. p. 8453.
-
Bezerra, Juliana ; SUGIMOTO, DYLAN ; CURTIS, VITOR ; MELO, GABRIEL ; COELHO, MATEUS . A MapReduce based Approach for Circle Detection. In: 14th International Conference on Software Technologies, 2019, Prague. Proceedings of the 14th International Conference on Software Technologies, 2019. p. 454.
-
OLIVEIRA, GUILHERME ; MEDEIROS, THIAGO ; BREDER, VICTOR ; Bezerra, Juliana ; CURTIS, VITOR ; PADALKO, IVAN ; NETO, LAURIVAL . A Blockchain Approach to Support Digital Contracts. In: 14th International Conference on Software Technologies, 2019, Prague. Proceedings of the 14th International Conference on Software Technologies, 2019. p. 446.
-
CURTIS, VITOR ; LEITE, FILIPE ; JORGE, LUCAS ; NEVES, BRUNO ; PAIVA, RAHYAN ; Bezerra, Juliana . Exploring DDoS Mechanisms. In: 14th International Conference on Software Technologies, 2019, Prague. Proceedings of the 14th International Conference on Software Technologies, 2019. p. 460.
-
DE SOUZA, NIVIO PAULA ; DE AZEVEDO CASTRO CESAR, CECILIA ; de Melo Bezerra, Juliana ; Hirata, Celso Massaki . STAMP-Based Approach to Analyze Safety, Security and Data Privacy. In: 2019 9th LatinAmerican Symposium on Dependable Computing (LADC), 2019, Natal. 2019 9th Latin-American Symposium on Dependable Computing (LADC), 2019. v. 1. p. 1-10.
-
KÜHL TELES, LARA ; MARGARETH DA SILVA, MARIA ; BEZERRA, JULIANA DE MELO ; APARECIDA MARTINS, CRISTIANE ; CARATTI PIANI, RAQUEL ; MARIA FRANCO OLIVEIRA, NEUSA . Supporting the Development of Complete Engineers. In: 10th International Conference on Computer Supported Education, 2018, Funchal. Proceedings of the 10th International Conference on Computer Supported Education, 2018. p. 214.
-
TIMBÓ, SAMUEL MOREIRA ; BEZERRA, JULIANA DE MELO ; Hirata, Celso Massaki . A Multipurpose System for Gamified Experiences. In: 20th International Conference on Enterprise Information Systems, 2018, Funchal. Proceedings of the 20th International Conference on Enterprise Information Systems, 2018. p. 536.
-
MONDADORI, JORGE AUGUSTO PESSATTO ; BEZERRA, JULIANA DE MELO . Fostering Collaboration on Decision Processes. In: 20th International Conference on Enterprise Information Systems, 2018, Funchal. Proceedings of the 20th International Conference on Enterprise Information Systems, 2018. p. 569.
-
BEZERRA, J. M. ; MARTINS, C. A. ; TELES, L. K. ; OLIVEIRA, N. M. F. ; SILVA, M. M. ; SANTOS, L. R. ; PIANI, R. C. . Developing Transversal Competences in Engineers. In: 15th International Conference on Cognition and Exploratory Learning in Digital Age (CELDA 2018), 2018, Budapeste, Hungria. Proceedings of the 15th International Conference on Cognition and Exploratory Learning in Digital Age (CELDA 2018), 2018.
-
BEZERRA, J. M. ; TELES, L. K. ; MARTINS, C. A. ; OLIVEIRA, N. M. F. ; SILVA, M. M. ; SANTOS, L. R. ; PIANI, R. C. . Fostering STEM Education considering Female Participation Gap. In: 15th International Conference on Cognition and Exploratory Learning in Digital Age (CELDA 2018), 2018, Budapeste, Hungria. Proceedings of the 15th International Conference on Cognition and Exploratory Learning in Digital Age (CELDA 2018), 2018.
-
BEZERRA, J. M. . Collaborative Testing Strategies in a Computing Course. In: 15th International Conference on Cognition and Exploratory Learning in Digital Age (CELDA 2018), 2018, Budapeste, Hungria. Proceedings of the 15th International Conference on Cognition and Exploratory Learning in Digital Age (CELDA 2018), 2018.
-
HORTA, BRAULIO MARQUES ; de Melo Bezerra, Juliana ; Hirata, Celso Massaki . A STAMP based Method to Synthesize Controller of Safety-Critical Systems. In: 2018 IEEE/AIAA 37th Digital Avionics Systems Conference (DASC), 2018, London. 2018 IEEE/AIAA 37th Digital Avionics Systems Conference (DASC), 2018. p. 1.
-
MARTINS, CRISTIANE APARECIDA ; TUAN, ANA FLÁVIA SILVA ; IBIAPINA, LARA CAMPOS ; BEZERRA, JULIANA MELO ; SILVA, MARIA MARGARETH ; SANTOS, LEILA RIBEIRO ; PIANI, RAQUEL CARATTI ; OLIVEIRA, NEUSA MARIA FRANCO ; TELES, LARA KUHL . A GROUP MENTORING PROGRAM TO SPARK STEM INTEREST ON YOUTH. In: 11th annual International Conference of Education, Research and Innovation, 2018, Seville, 2018. p. 7622.
-
OLIVEIRA, NEUSA MARIA FRANCO ; RESENDE, AMANDA TRÓPIA ; FERREIRA, GLÍCIA RODRIGUES ; MACHADO, ALICIA FORTES ; BEZERRA, JULIANA MELO ; SILVA, MARIA MARGARETH ; PIANI, RAQUEL CARATTI ; SANTOS, LEILA RIBEIRO ; MARTINS, CRISTIANE APARECIDA ; TELES, LARA KUHL . STRATEGIES FOR SCALING A STEM EDUCATION PROGRAM. In: 11th annual International Conference of Education, Research and Innovation, 2018, Seville, 2018. p. 7629.
-
de Melo Bezerra, Juliana ; Hirata, Celso Massaki ; Ferreira, Luma . An Approach to Collaborative Management of Informal Projects. In: 19th International Conference on Enterprise Information Systems, 2017, Porto. Proceedings of the 19th International Conference on Enterprise Information Systems, 2017. p. 33-42.
-
PIANI, RAQUEL CARATTI ; FRANCO OLIVEIRA, NEUSA MARIA ; Bezerra, Juliana M. ; TELES, LARA K. ; MARTINS, CRISTIANE A. ; SILVA, MARIA MARGARETH . INCENTIVE ACTIONS FOR GIRLS AGED 11 TO 17 AT STEM: A BRAZILIAN CASE. In: 10th annual International Conference of Education, Research and Innovation, 2017, Seville. org.crossref.xschema._1.Title@7761b177, 2017. p. 8423.
-
de Melo Bezerra, Juliana ; Santos Diniz, Lara ; da Silva Montalvão, Victor ; MASSAKI HIRATA, CELSO . Effects of Task Significance, Coordination and Incentive Mechanisms on Motivation of Online Teams. In: 11th International Conference on Web Information Systems and Technologies, 2015, Lisbon. Proceedings of the 11th International Conference on Web Information Systems and Technologies, 2015. p. 303.
-
de Melo Bezerra, Juliana ; MARQUES, GABRIEL ; MASSAKI HIRATA, CELSO . AHP-based Metric for Tie Strength of Online Friendships. In: 11th International Conference on Web Information Systems and Technologies, 2015, Lisbon. Proceedings of the 11th International Conference on Web Information Systems and Technologies, 2015. p. 311.
-
DE CASTRO, MARCELO MOREIRA HOLANDA ; BEZERRA, JULIANA DE MELO ; Hirata, Celso Massaki . A CNL for requirements as the basis to automate tasks of critical system development. In: 2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC), 2015, Prague. 2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC), 2015. p. 8C2-1.
-
GURGEL, DANILO LOPES ; Hirata, Celso Massaki ; BEZERRA, JULIANA DE M. . A rule-based approach for safety analysis using STAMP/STPA. In: 2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC), 2015, Prague. 2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC), 2015. p. 7B2-1.
-
DOMINGUES, RAFAEL PELEGRINI ; BEZERRA, JULIANA DE MELO ; Hirata, Celso Massaki . Design recommendations to mitigate memory and cache non-determinisms in multi-core based IMA platform of airborne systems. In: 2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC), 2015, Prague. 2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC), 2015. p. 7A1-1.
-
MASINI, HENRIQUE FORLANI ; FRANCA, RICARDO BEDIN ; Hirata, Celso Massaki ; de Melo Bezerra, Juliana . An approach to generate optimized cyclic scheduling from AADL specification. In: 2014 IEEE/AIAA 33rd Digital Avionics Systems Conference (DASC), 2014, Colorado Springs. 2014 IEEE/AIAA 33rd Digital Avionics Systems Conference (DASC), 2014. p. 8A2-1.
-
ALMEIDA, MATEUS ANDRADE ; de Melo Bezerra, Juliana ; Hirata, Celso Massaki . Automatic generation of test cases for critical systems based on MC/DC criteria. In: 2013 IEEE/AIAA 32nd Digital Avionics Systems Conference (DASC), 2013, East Syracuse. 2013 IEEE/AIAA 32nd Digital Avionics Systems Conference (DASC), 2013. p. 7C5-1.
-
HERNANDES, G. D. ; BEZERRA, J. M. ; Hirata, C.M. ; STARR, R. R. . Towards a Workflow to Support the Integration of Aircraft Systems' Models. In: Digital Avionics Systems Conference (DASC), 2013, Syracuse. Proceedings of the Digital Avionics Systems Conference (DASC), 2013.
-
BEZERRA, J. M. ; Hirata, C.M. ; BATTAGELLO, A. A. . Investigating Collaboration and Effectiveness of Virtual Teams with Distinct Organization Types. In: WWW/Internet, 2012, Madrid, Espanha. WWW/Internet, 2012.
-
BEZERRA, J. M. ; Hirata, C.M. . SELF-ORGANIZATION OF VIRTUAL COMMUNITIES - Need and Members? Participation. In: 7th International Conference on Web Information Systems and Technologies, 2011, Noordwijkerhout. Proceedings of the 7th International Conference on Web Information Systems and Technologies, 2011. p. 486-493.
-
BEZERRA, J. M. ; Hirata, C.M. . CONFLICT MANAGEMENT PROCESS FOR VIRTUAL COMMUNITIES. In: 13th International Conference on Enterprise Information Systems, 2011, Beijing. Proceedings of the 13th International Conference on Enterprise Information Systems, 2011. v. 4. p. 33-42.
-
BEZERRA, J. M. ; Hirata, C.M. ; Santos, E.M. . AN ACCESS CONTROL MODEL FOR MASSIVE COLLABORATIVE EDITION. In: 12th International Conference on Enterprise Information Systems, 2010, Funchal. Proceedings of the 12th International Conference on Enterprise Information Systems, 2010. p. 135.
-
BEZERRA, J. M. ; Hirata, C.M. . Enforcement of Norms in Self-Organizing Virtual Communities. In: IADIS International Conference WWW/INTERNET, 2010, Timisoara. Proceedings of the IADIS International Conference WWW/INTERNET, 2010. p. 127-134.
-
de Melo Bezerra, Juliana ; Hirata, Celso Massaki . A Semantics for UML-RT using n-calculus. In: 18th IEEE/IFIP International Workshop on Rapid System Prototyping, 2007, Porto alegre. 18th IEEE/IFIP International Workshop on Rapid System Prototyping (RSP '07), 2007. p. 75.
-
BEZERRA, J. M. ; HIRATA, C. M. . Construção de uma Aplicação de Banco de Dados Usando XML e ASP. In: VIII ENCITA, 2002. Proceedings of the VIII ENCITA, 2002.
-
Hirata, C.M. ; Anzaloni, A. ; Pontes, G.M. ; BEZERRA, J. M. . UCONTROL: A Bluetooth for controlling devices. In: 6th World Multiconference on Systemic, Informatics, and Cybernetics, 2002, Orlando. Proceedings of the 6th World Multiconference on Systemic, Informatics, and Cybernetics, 2002.
-
SOUZA, N. P. ; CESAR, C. A. C. ; BEZERRA, J. M. ; HIRATA, C. M. . Using STAMP for Analysis of Security and Data Privacy. In: 8th MIT STAMP/STPA Workshop, 2019. Proceedings of the 8th MIT STAMP/STPA Workshop, 2019.
-
MONDADORI, J. A. P. ; BEZERRA, J. M. ; BASOTTI, M. ; CORTELETTI, D. ; BELDERRAIN, M. C. N. . Criteria Identification for Evaluating Potential Improvements in Energy Efficiency. In: EURO, 2015, Glasgow, UK. Proceedings of the 27th European Conference on Operational Research (EURO), 2015.
-
BEZERRA, J. M. ; RIBEIRO, C. H. C. . A Case Study of an Innovative Experience in Engineering Education in Brazil. In: CDIO Conference: Engineering Leadership in Innovation and Design, 2013, Cambridge. Proceedings of the CDIO Conference, 2013.
-
BEZERRA, J. M. . Desenvolvimento de pesquisas em sistemas críticos aeronáuticos, sistemas colaborativos e educação. 2015. (Apresentação de Trabalho/Seminário).
-
BEZERRA, J. M. . Engenharia da Computação. 2011. (Apresentação de Trabalho/Conferência ou palestra).
-
BEZERRA, J. M. . Aconselhamento: relato de experiência. 2010. (Apresentação de Trabalho/Comunicação).
Outras produções
CARNIEL, A. ; HIRATA, C. M. ; BEZERRA, J. M. . AppSTPA. 2023.
BEZERRA, J. M. . Program Committee of 21st Workshop on Model Driven Engineering, Verification and Validation (MoDeVVa 2024). 2024.
BEZERRA, J. M. . Program Committee of 2nd Latin American STAMP Workshop. 2024.
BEZERRA, J. M. . Program Committee of 20th Workshop on Model Driven Engineering, Verification and Validation (MoDeVVa 2023). 2023.
BEZERRA, J. M. . Program Committee of 19th Workshop on Model Driven Engineering, Verification and Validation (MoDeVVa 2022). 2022.
LAHOZ, C. H. N. ; Hirata, C.M. ; MARTINS, L. E. G. ; VILLANI, E. ; AMBROSIO, A. M. ; CAMARGO JUNIOR, J. B. ; SILVA, N. P. ; BEZERRA, J. M. . Program Committee of STAMP Latin-American Workshop at Latin-American Symposium on Dependable Computing (LADC). 2021.
Projetos de pesquisa
-
2022 - Atual
Design de sistemas ciberfísicos críticos endereçando conjuntamente preocupações de safety, security e desempenho e utilizando STPA e SysML, Descrição: Sistemas ciberfísicos críticos atuais são caracterizados por automação, poder computacional, comunicação e integração estrutural e funcional crescentes. Esses sistemas envolvem unidades de processamento e armazenamento de informação, componentes mecânicos e elétricos, sensores, atuadores, e redes de comunicação. Nessa integração, o software é a parte dominante. Duas preocupações recorrentes no desenvolvimento de sistemas ciberfísicos são safety e security. Os sistemas que estamos construindo estão se tornando mais complexos devido aos aspectos não somente técnicos mas sociológicos, legais e políticos. O desenvolvimento requer a participação de muitos interessados, tais como provedores de processamento e armazenamento, provedores de rede, autoridades certificadoras, provedores de serviços, desenvolvedores de soluções, operadores e administradores. STAMP (System-Theoretic Accident Model and Processes) e STPA (Systems-Theoretic Process Analysis) podem ser utilizados para permitir a análise de safety e security na fase de conceito e gerar os requisitos funcionais e requisitos de safety e security. Existem abordagens para lidar com conflitos e reforços entre as restrições derivadas de requisitos de safety e security no estágio de conceito do sistema. Requisitos de desempenho usualmente são tratados na fase de design e são derivados de requisitos de sistemas, funcionais e de safety. Mecanismos para atender aos requisitos de safety, security e desempenho incluem uma diversidade de hardware, software, protocolos, procedimentos e qualquer item que de forma isolada ou combinada enderecem os requisitos. Na identificação dos mecanismos, temos de levar em conta que os novos mecanismos podem afetar a eficiência e eficácia dos mecanismos já identificados. Contudo existem poucos trabalhos sobre como integrar o STPA com as técnicas de design de forma sistemática para lidar com requisitos e mecanismos não apenas de safety e security mas também de desempenho. Conjecturamos que para a sistematização, alguma forma de especificação comum seja necessária. Dadas as características de sistemas ciberfísicos críticos, a linguagem SysML e a abordagem de desenvolvimento baseadas em modelos podem ser utilizadas. Systems Modeling Language (SysML) é uma linguagem de modelagem de propósito geral para aplicações de engenharia de sistemas que apoia a especificação, análise, design, verificação e validação de sistemas. O objetivo desta proposta de projeto é investigar e propor um método de design de sistemas ciberfísicos que utilizam resultados da análise STPA e suas extensões de security para gerar modelos de design SysML que considerem de forma conjunta os requisitos e os mecanismos de safety, security e desempenho Esta proposta também tem como objetivo propor técnicas de análise de requisitos e mecanismos que considere conflitos e reforços para atender aos requisitos de safety, security e desempenho.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Doutorado: (2) . , Integrantes: Juliana de Melo Bezerra - Integrante / Celso Massaki Hirata - Coordenador / Ana Maria Ambrósio - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
-
2019 - 2021
Análise de Dependabilidade, Security e Privacidade baseada em STAMP na Fase de Conceito de Desenvolvimento de Sistemas Embarcados, Descrição: Sistemas embarcados atuais são caracterizados por várias tendências tais como aumento do poder computacional, comunicação em rede cada vez maior e crescente integração estrutural e funcional, com sistemas mecânicos e elétricos, bem como sensores, atuadores e unidades de processamento de informação. Nessa integração, o software é a parte dominante desses sistemas. Atualmente, as duas preocupações mais recorrentes no desenvolvimento de sistemas embarcados são safety e security. Outra preocupação que tem sido recentemente considerada e vem ganhando importância é privacidade. Os sistemas que estamos construindo hoje estão se tornando mais complexos, não apenas por seus aspectos técnicos, mas também porque aspectos sociológicos, políticos e legais devem ser considerados. O desenvolvimento requer a participação de muitos interessados, tais como fabricantes de hardware, provedores de rede, fornecedor do sistema operacional, desenvolvedores de aplicação, operadores e administradores. Em geral, as técnicas de dependabilidade, security e privacidade são empregadas na fase de desenho (design) do desenvolvimento apenas e não na fase de conceito. O projeto é conduzido por times que trabalham e cuidam da preocupações de forma isolada. Isso resulta em sistemas que muitas vezes não atendem todos os interesses dos envolvidos. Consideramos que abordar dependabilidade, security e privacidade apenas na fase de projeto e não na fase de conceito torna o desenvolvimento mais demorado, caro e com maior chance de insucesso. Uma abordagem efetiva para endereçar essas preocupações requer o envolvimento de não só de desenvolvedores, fornecedores e provedores mas também de clientes, usuários, patrocinadores, órgãos reguladores e órgão de certificação, que são conjuntamente responsáveis em assegurá-las. Defendemos que as preocupações podem ser endereçadas de forma conjunta através de um modelo que seja comum para facilitar a integração das análises. STAMP é uma abordagem que tem sido utilizada para permitir a análise de safety na fase de conceito no desenvolvimento de sistemas. Mais recentemente, STAMP vem sendo utilizada também para análise de security, porem pouco resultado foi relatado até o momento. A ideia desta proposta de projeto é conceber diretrizes e técnicas utilizando STAMP para proceder a análise de preocupações de dependabilidade, security e privacidade de forma integrada no desenvolvimento de sistemas embarcados. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (2) . , Integrantes: Juliana de Melo Bezerra - Integrante / Celso Massaki Hirata - Coordenador / Rodrigo Pagliares - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
-
2017 - 2020
Abordagens para apoiar a Análise de Safety no Desenvolvimento de Sistemas Embarcados Aeronáuticos, Projeto certificado pelo(a) coordenador(a) Celso Massaki Hirata em 23/11/2017., Descrição: Sistemas embarcados aeronáuticos é uma classe de sistemas embarcados que têm requisitos de safety (usamos o termo em inglês - safety para diferenciar de security; os dois termos têm a mesma tradução: segurança) mais exigentes do que os sistemas embarcados de uso geral. Essa classe é conhecida como sistemas embarcados críticos de safety. O desenvolvimento desses sistemas requer abordagens específicas, tais como engenharia de sistemas baseada em modelo. STAMP é um modelo de causalidade com base na teoria de sistemas, e junto com o STPA que é uma técnica de análise de safety, vem sendo empregado para gerar restrições e requisitos de safety. A execução dos passos de STPA envolve um esforço considerável, pois as tarefas são manuais, demoradas e exigem verificações exaustivas e cuidadosas. A razão desse esforço é que o número de contextos é proporcional ao produto dos números de ações de controle, variáveis e estados. A análise tem de cobrir todos os contextos, considerando todas as ações de controle, variáveis e estados. Neste projeto, propomos uma abordagem baseada em regras para ajudar em todos os passos de STPA. Security está se tornando um tema cada vez mais importante na área de sistemas críticos de safety. A principal diferença entre safety e security reside na sua intenção. As medidas de safety em geral evitam perdas decorrentes de ações não intencionais por atores benevolentes, enquanto as medidas de security evitam perdas devido a ações intencionais por atores malevolentes. Security está preocupada com os riscos provenientes do ambiente que potencialmente causam impacto no sistema. Safety trata dos riscos decorrentes dos componentes do sistema que potencialmente impactam o meio. Apesar destas diferenças, safety e security também compartilham alguns traços comuns. Ambas são propriedades emergentes do sistema e têm prevenção de perdas, como o objetivo comum. Em uma análise de safety, condições de risco são identificadas através de ações de controle realizadas pelos controladores. Os perigos são identificados a partir de ações não intencionais. Em uma análise de security, as vulnerabilidades são identificadas por meio de ameaça de eventos e uso indevido realizado por atacantes. Afirmamos que safety e security devem ser abordadas de forma integrada. Nesta proposta de projeto, propomos uma técnica de análise integrada usando STPA e NIST SP 800-30 para analisar conjuntamente as restrições de safety e security. A abordagem também fornecerá meios para resolver conflitos que podem surgir na satisfação de restrições de safety e security. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Doutorado: (2) . , Integrantes: Juliana de Melo Bezerra - Integrante / Celso Massaki Hirata - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
Prêmios
2025
Prêmio Weis de Excelência Docente 2025 (referente ao primeiro semestre de 2025 - Turma T28.3), Departamento Acadêmico - CASD - ITA.
2024
Prêmio Weis de Excelência Docente 2024 (referente ao primeiro semestre de 2024 - Turma T27.3), Departamento Acadêmico - CASD - ITA.
2022
Prêmio Weis de Excelência Docente 2022 (referente ao primeiro semestre de 2022), Departamento Acadêmico - CASD - ITA.
2021
Prêmio Weis de Excelência Docente 2021 (referente ao segundo semestre de 2020), Departamento Acadêmico - CASD - ITA.
2021
Professora homenageada - Turma 2021, Curso de Engenharia de Computação,, Instituto Tecnológico de Aeronáutica (ITA).
2019
Prêmio Weis de Excelência Docente 2019 (referente ao primeiro semestre de 2019), Departamento Acadêmico - CASD - ITA.
2018
Prêmio Weis de Excelência Docente 2018 (referente ao primeiro semestre de 2018), Departamento Acadêmico - CASD - ITA.
2017
Professora homenageada - Turma 2017, Curso Fundamental de Engenharia, Instituto Tecnológico de Aeronáutica (ITA).
2016
II Prêmio Weis de Excelência Docente (referente ao segundo semestre de 2015), Departamento Acadêmico - CASD - ITA.
2016
Professora homenageada - Turma 2016, Curso de Engenharia de Computação, Instituto Tecnológico de Aeronáutica (ITA).
2015
Best paper of the Critical System Thinking Session in the Systems Engineering Track of the 34º DASC (Digital Avionics Systems Conference), AIAA Digital Avionics Technical Committee e IEEE Aerospace Electronics Systems Society.
2015
I Prêmio Weis de Excelência Docente (referente ao primeiro semestre de 2015), Departamento Acadêmico - CASD - ITA.
2013
Menção Honrosa de Ensino, Departamento Acadêmico - CASD - ITA.
2011
IBM PhD Fellowship, IBM.
2003
Prêmio CREA-SP de Formação Profissional, CREA-SP.
2003
Menção Honrosa no Departamento de Computação Cientifica, ITA.
2003
Menção Honrosa no Departamento de Matemática, ITA.
2003
Menção Honrosa no Departamento de Eletrônica Aplicada, ITA.
2003
Menção Honrosa no Departamento de Humanidades, ITA.
2003
Menção Honrosa no Departamento de Engenharia de Software, ITA.
2003
Prêmio Professor Celso Renna, ITA e T-Systems.
2003
Melhor Trabalho de Graduação em Engenharia de Computação do ITA (realizado em conjunto com Daniela Cristina Carta), ITA.
Histórico profissional
Endereço profissional
-
Instituto Tecnológico de Aeronáutica. , Praça Marechal Eduardo Gomes, 50, Vila das Acácias, 12228900 - São José dos Campos, SP - Brasil, Telefone: (12) 39475980, URL da Homepage:
Experiência profissional
2024 - Atual
Instituto Tecnológico de AeronáuticaVínculo: Servidor público, Enquadramento Funcional: Professor Associado III, Regime: Dedicação exclusiva.
2022 - 2024
Instituto Tecnológico de AeronáuticaVínculo: Servidor público, Enquadramento Funcional: Professor Associado II, Regime: Dedicação exclusiva.
2020 - 2022
Instituto Tecnológico de AeronáuticaVínculo: Servidor público, Enquadramento Funcional: Professor Associado I, Regime: Dedicação exclusiva.
2018 - 2020
Instituto Tecnológico de AeronáuticaVínculo: Servidor público, Enquadramento Funcional: Professor Adjunto IV, Regime: Dedicação exclusiva.
2016 - 2018
Instituto Tecnológico de AeronáuticaVínculo: Servidor público, Enquadramento Funcional: Professor Adjunto III, Regime: Dedicação exclusiva.
2014 - 2016
Instituto Tecnológico de AeronáuticaVínculo: Servidor público, Enquadramento Funcional: Professor Adjunto II, Regime: Dedicação exclusiva.
2012 - 2014
Instituto Tecnológico de AeronáuticaVínculo: Servidor público, Enquadramento Funcional: Professor Adjunto I, Regime: Dedicação exclusiva.
2009 - 2012
Instituto Tecnológico de AeronáuticaVínculo: Servidor público, Enquadramento Funcional: Professora Assistente, Carga horária: 40, Regime: Dedicação exclusiva.
Atividades
-
06/2025
Direção e administração, ITA.Cargo ou função, Chefe do Departamento de Sistemas de Computação (IEC-SC).
-
06/2025
Conselhos, Comissões e Consultoria, ITA.Cargo ou função, Membro do Núcleo Docente Estruturante (NDE) do Curso de Engenharia de Computação.
-
12/2024
Ensino, Engenharia Eletrônica e Computação, Nível: Pós-GraduaçãoDisciplinas ministradas, CE-288 - Programação Distribuída
-
11/2024
Ensino, Mestrado Profissional em Computação de Missão Crítica (MPCOMP), Nível: Pós-GraduaçãoDisciplinas ministradas, Orientação na área de Safety e Sistemas Distribuídos
-
08/2018
Ensino, Engenharia da Computação, Nível: GraduaçãoDisciplinas ministradas, CSC-27 - Processamento Distribuído
-
01/2013
Ensino, Engenharia da Computação, Nível: GraduaçãoDisciplinas ministradas, CCI-22 - Matemática Computacional
-
01/2010
Ensino, Engenharia da Computação, Nível: GraduaçãoDisciplinas ministradas, CES-10 - Introdução à Computação
-
08/2009
Ensino, Engenharia da Computação, Nível: GraduaçãoDisciplinas ministradas, CES-11 - Algoritmos e Estruturas de Dados
-
04/2021 - 05/2025
Conselhos, Comissões e Consultoria, ITA.Cargo ou função, Membro do Conselho do Curso de Engenharia de Computação.
-
06/2022 - 07/2023
Direção e administração, ITA.Cargo ou função, Vice-Chefe da Divisão de Ciência da Computação (IEC).
-
11/2020 - 04/2021
Conselhos, Comissões e Consultoria, ITA.Cargo ou função, Presidente da Comissão para analisar a aplicação das Diretrizes Curriculares Nacionais (DCNs) no curso de Engenharia de Computação do ITA. Essa comissão contou também com o Prof. Johnny Marques e o Prof. Lourenço Junior..
-
06/2018 - 07/2019
Conselhos, Comissões e Consultoria, ITA.Cargo ou função, Membro do Conselho do Curso de Engenharia de Computação.
-
10/2017 - 03/2018
Conselhos, Comissões e Consultoria, ITA.Cargo ou função, Membro da Comissão de criação do Programa de Formação Complementar em Inovação.
-
10/2015 - 03/2018
Direção e administração, ITA.Cargo ou função, Chefe do Departamento de Software e Sistemas de Informação IEC-I.
-
06/2017 - 08/2017
Conselhos, Comissões e Consultoria, ITA.Cargo ou função, Membro de Comissão para apurar ato de indisciplina de alunos de Graduação (Portaria ITA No. 222/IG-AES).
-
08/2015 - 07/2016
Direção e administração, ITA.Cargo ou função, Coordenadora do Curso de Engenharia de Computação.
-
07/2012 - 12/2013
Conselhos, Comissões e Consultoria, ITA.Cargo ou função, Membro do Grupo de Trabalho de Ensino de Engenharia (GTEE).
-
01/2012 - 12/2013
Conselhos, Comissões e Consultoria, ITA.Cargo ou função, Membro do Conselho do Curso de Engenharia de Computação.
2004 - 2009
EMBRAERVínculo: Celetista formal, Enquadramento Funcional: Engenheira de Desenvolvimento de Produto, Carga horária: 44, Regime: Dedicação exclusiva.
Outras informações:
Trabalhou com modelagem e simulação no Projeto Avião Virtual na área de Desenvolvimento Tecnológico.
Trabalhou com integração de sistemas no Projeto Aerochain. Atividades: definição de processos de operação, especificação técnica, desenvolvimento e testes da camada de integração.
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Juliana de Melo Bezerra e sempre que o nome aparecer em publicações dos Diários Oficiais, avisaremos por e-mail e pelo painel do usuário
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todas as movimentações desse processo e sempre que o processo aparecer em publicações dos Diários Oficiais e nos Tribunais, avisaremos por e-mail e pelo painel do usuário
Confirma a exclusão?