???global.info.a_carregar???
Concluiu o(a) Doutoramento em Doutoramento em Engenharia Informática em 2024/03/04 pelo(a) Universidade de Coimbra Departamento de Engenharia Informática. Concluiu o Mestrado em Informática e Projeto de Software em 2012/12/21 pela Universidade de Coimbra, Departamento de Engenharia Informática, Faculdade de Ciências e Tecnologia em conjunto com a Carnegie Mellon University (EUA). É bacharel em Ciência da Computação em 2011/01/28 pela Universidade Estadual de Campinas, Instituto de Computação. É Investigador no(a) Universidade de Coimbra Departamento de Engenharia Informática e Professor Auxiliar Convidado no(a) Universidade de Coimbra Departamento de Engenharia Informática. Publicou 2 artigos em revistas especializadas. Organizou 2 evento(s). Orientou 1 dissertação(ões) de mestrado e coorientou 2. Recebeu 3 prémio(s) e/ou homenagens. Participou como Bolseiro de Doutoramento em 2 projeto(s) e Investigador em 4 projeto(s). Atua na(s) área(s) de Ciências Exatas com ênfase em Ciências da Computação e da Informação com ênfase em Ciências da Computação. Nas suas atividades profissionais interagiu com 36 colaborador(es) em coautorias de trabalhos científicos. No seu currículo Ciência Vitae os termos mais frequentes na contextualização da produção científica, tecnológica e artístico-cultural são: Security; Vulnerability Detection; Static Code Analysis; Machine Learning; Cloud Applications; Quality Model; Trustworthiness; Cloud Computing; Self-Adaptive Systems.
Identificação

Identificação pessoal

Nome completo
José Alexandre DAbruzzo Pereira

Nomes de citação

  • Pereira, José
  • D'Abruzzo Pereira, José

Identificadores de autor

Ciência ID
A713-6DA0-5C16
ORCID iD
0000-0003-0717-3396
Google Scholar ID
ZPKlxFQAAAAJ

Endereços de correio eletrónico

  • joseadp@gmail.com (Pessoal)

Telefones

Telemóvel
  • 924389761 (Pessoal)

Moradas

  • Universidade de Coimbra, Pólo II - Departamento Engenharia Informática - Pinhal de Marrocos, , 3030-290 , Coimbra, Coimbra, Portugal (Profissional)

Websites

Domínios de atuação

  • Ciências Exatas - Ciências da Computação e da Informação - Ciências da Computação

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Português (Idioma materno)
Inglês Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador independente (B2)
Italiano Utilizador elementar (A1) Utilizador independente (B1) Utilizador elementar (A1) Utilizador independente (B1) Utilizador elementar (A1)
Espanhol; Castelhano Utilizador elementar (A2) Utilizador elementar (A2) Utilizador elementar (A2) Utilizador independente (B1) Utilizador elementar (A1)
Francês Utilizador elementar (A1) Utilizador elementar (A1) Utilizador elementar (A1) Utilizador elementar (A1) Utilizador elementar (A1)
Formação
Grau Classificação
2018/09/01 - 2024/03/04
Concluído
Doutoramento em Engenharia Informática (Doutoramento)
Especialização em Arquiteturas, Redes e Cibersegurança
Universidade de Coimbra Departamento de Engenharia Informática, Portugal
"Software Security Characterization through Static Data Analysis" (TESE/DISSERTAÇÃO)
2011/08/29 - 2012/12/21
Concluído
Mestrado em Informática e Projeto de Software (Mestrado)
Universidade de Coimbra, Portugal

Universidade de Coimbra Departamento de Engenharia Informática, Portugal

Universidade de Coimbra Faculdade de Ciencias e Tecnologia, Portugal
18
2007/01 - 2011/01/28
Concluído
Ciência da Computação (Bachelor)
Universidade Estadual de Campinas, Brasil

Universidade Estadual de Campinas Instituto de Computação, Brasil
16
Percurso profissional

Ciência

Categoria Profissional
Instituição de acolhimento
Empregador
2018/02/23 - Atual Investigador (Investigação) Universidade de Coimbra Departamento de Engenharia Informática, Portugal

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento
Empregador
2023/09/01 - Atual Professor Auxiliar Convidado (Docente Universitário) Universidade de Coimbra Departamento de Engenharia Informática, Portugal
Universidade de Coimbra Departamento de Engenharia Informática, Portugal
2020/09 - 2023/08/31 Assistente Convidado (Docente Universitário) Universidade de Coimbra Departamento de Engenharia Informática, Portugal
Universidade de Coimbra Departamento de Engenharia Informática, Portugal

Outros

Categoria Profissional
Instituição de acolhimento
Empregador
2016/06/06 - 2018/04/30 Gestor de Projetos FFW BRASIL WEB DESIGN LTDA, Brasil
2014/03 - 2016/06 Software Engineering Sofist - Intelligent Software Testing, Brasil
2007/05 - 2014/03 Software Engineering Sedna Software, Brasil
2005/09 - 2007/04 Programador ISI Engenharia, Brasil
2005/01 - 2005/09 Estagiário Tele Design, Brasil
Projetos

Projeto

Designação Financiadores
2022/11 - Atual NEXUS Innovation Pact - Digital and Green Transition for Transports, Logistics and Mobility
Investigador
European Commission
2020/05/01 - Atual AIDA: Adaptive, Intelligent and Distributed Assurance Platform
Investigador
Universidade de Coimbra Centro de Informatica e Sistemas, Portugal
Agência Nacional de Inovação SA
Concluído
2019/12 - Atual ADVANCE: Addressing Verification and Validation Challenges in Future Cyber-Physical Systems
Investigador
European Commission
Em curso
2019/01/15 - Atual METRICS - Monitoring and Measuring the Trustworthiness of Critical Cloud Systems
Bolseiro de Doutoramento
Universidade de Coimbra Centro de Informatica e Sistemas, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2019/07 - 2022/06 TalkConnect - Voice Architecture over Distributed Network
Investigador
Agência Nacional de Inovação SA
Concluído
2018/04/16 - 2019/01/14 ATMOSPHERE: Adaptive, Trustworthy, Manageable, Orchestrated, Secure, Privacy-assuring, Hybrid Ecosystem for REsilient Cloud Computing
Bolseiro de Doutoramento
Universidade de Coimbra Centro de Informatica e Sistemas, Portugal
European Commission
Concluído
Produções

Publicações

Artigo em conferência
  1. Pereira, José D’Abruzzo; Vieira, Marco. "An Approach to Characterize the Security of Open-Source Functions using LSP". Trabalho apresentado em IEEE 34th International Symposium on Software Reliability Engineering (ISSRE 2023), Florence, 2023.
    Publicado • 10.1109/issre59848.2023.00073
  2. José D'Abruzzo Pereira; Nuno Lourenço; Marco Vieira. "On the Use of Deep Graph CNN to Detect Vulnerable C Functions". Trabalho apresentado em 11th Latin-American Symposium on Dependable Computing (LADC 2022), Fortaleza, 2022.
    Publicado • 10.1145/3569902.3569913
  3. José D'Abruzzo Pereira; João David Ribeiro; João Pires; Pedro Moita; Nuno Laranjeiro; Marco Vieira. "On the use of the TMA Framework to promote self-adaptation capabilities in TalkConnect". Trabalho apresentado em 11th Latin-American Symposium on Dependable Computing (LADC 2022), Fortaleza, 2022.
    Publicado • 10.1145/3569902.3569953
  4. José Alexandre D'Abruzzo Pereira; João Henggeler Antunes; Marco Vieira. "A Software Vulnerability Dataset of Large Open Source C/C++ Projects". 2022.
    10.1109/PRDC55274.2022.00029
  5. João David Ribeiro; D'Abruzzo Pereira, José; Antunes, Nuno. "An Experimental Study of Elasticity in Kubernetes HPA for Microservice Applications". Trabalho apresentado em Inforum - Simpósio de Informática 2022, Guarda, 2022.
    Publicado
  6. D'Abruzzo Pereira, José; João Henggeler Antunes; Vieira, Marco. "On Building a Vulnerability Dataset with Static Information from the Source Code". Trabalho apresentado em SAFELIFE - Safety, Security, and Privacy in Complex Artificial Intelligence based Systems (SAFELIFE 2021), Florianópolis (virtual), 2021.
    Publicado • 10.1109/LADC53747.2021.9672589
  7. D'Abruzzo Pereira, José; Campos, Joao R.; Vieira, Marco. "Machine Learning to Combine Static Analysis Alerts with Software Metrics to Detect Security Vulnerabilities: An Empirical Study". Trabalho apresentado em European Dependable Computing Conference (EDCC), 2021.
    Publicado • 10.1109/EDCC53658.2021.00008
  8. Pereira, Jose D'Abruzzo. "Techniques and Tools for Advanced Software Vulnerability Detection". Coimbra, 2020.
    10.1109/issrew51248.2020.00049
  9. Pereira, José D'Abruzzo; Silva, Rui; Antunes, Nuno; Silva, Jorge L. M.; de França, Breno; Moraes, Regina; Vieira, Marco. "A platform to enable self-adaptive cloud applications using trustworthiness properties". Trabalho apresentado em IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Seoul, 2020.
    10.1145/3387939.3391608
  10. D'Abruzzo Pereira, Jose; Vieira, Marco. "On the Use of Open-Source C/C++ Static Analysis Tools in Large Projects". Trabalho apresentado em European Dependable Computing Conference (EDCC), 2020.
    10.1109/edcc51268.2020.00025
  11. D'Abruzzo Pereira, José; Campos, Joao R.; Vieira, Marco. "An Exploratory Study on Machine Learning to Combine Security Vulnerability Alerts from Static Analysis Tools". Trabalho apresentado em Latin-American Symposium on Dependable Computing, Natal-RN, 2019.
    Publicado • 10.1109/ladc48089.2019.8995685
  12. Pereira, José; Arruda, Rodrigo; Gomes, Adriano. "Lessons Learned during the Implementation of a Continuous Integration Software in MPS.BR level F environment". Trabalho apresentado em IX Workshop Anual do MPS, Campinas, 2013.
    Publicado
Artigo em revista
  1. Elder Rodrigues; José D’Abruzzo Pereira; Leonardo Montecchi. "A Model-Driven Approach for the Management and Enforcement of Coding Conventions". IEEE Access (2023): https://doi.org/10.1109/ACCESS.2023.3256886.
    10.1109/ACCESS.2023.3256886
  2. Jose D'Abruzzo Pereira; Naghmeh Ivaki; Marco Vieira. "Characterizing Buffer Overflow Vulnerabilities in Large C/C++ Projects". IEEE Access 9 (2021): 142879-142892. https://doi.org/10.1109/ACCESS.2021.3120349.
    10.1109/ACCESS.2021.3120349
Documento de trabalho
  1. Pereira, José; Rui Filipe Rama e Silva; Ivaki, Naghmeh; Nuno Manuel dos Santos Antunes; Breno de França. 2019. "[ATMOSPHERE] D3.5 - Monitoring Instruments and Platform Implementation".
  2. Pereira, José; Rui Filipe Rama e Silva; Nuno Manuel dos Santos Antunes; Breno de França. 2018. "[ATMOSPHERE] D3.2 – Monitoring Instruments and Platform Design".
Poster em conferência
  1. Sara Ferreira Dinis e Silva; D'Abruzzo Pereira, José. "A study on software engineering team dysfunctions: an experience report". Trabalho apresentado em Inforum - Simpósio de Informática 2021, 2021.
Resumo em conferência
  1. D'Abruzzo Pereira, José; João Rafael do Rosário Henriques. "On the Automation of Software Vulnerability Collection of a Database with Static Information". Trabalho apresentado em Inforum - Simpósio de Informática 2023, Porto, 2023.
    Publicado
Atividades

Apresentação oral de trabalho

Título da apresentação Nome do evento
Anfitrião (Local do evento)
2023/10/09 A Model-Driven Approach for the Management and Enforcement of Coding Conventions WAFERS 2023 - Workshop on vAlidation and verification of FuturE cybeR-physical Systems
(Florence, Itália)

Orientação

Título / Tema
Papel desempenhado
Curso (Tipo)
Instituição / Organização
2023/09 - Atual Addressing Limitations of Static Analysis Tools (SATs) for Efficient Rapid Deployment Cycles: Practical Approaches and Mitigation Strategies
Orientador
Master in Informatics Security (Mestrado)
Universidade de Coimbra Departamento de Engenharia Informática, Portugal
2022 - Atual Expand a dataset of software vulnerabilities with static information
Orientador
Universidade de Coimbra Departamento de Engenharia Informática, Portugal
2022/09 - 2023/02 A Survey on Techniques to Improve Embedded Systems Observability under Smart-Fuzzing Attacks
Orientador
Master in Informatics Security (Outra)
Universidade de Coimbra Departamento de Engenharia Informática, Portugal
2021/09 - 2022/07 A Dashboard for Decision Support in Self-Adaptive Cloud Applications
Coorientador
Master in Informatics Engineering (Mestrado)
Universidade de Coimbra Departamento de Engenharia Informática, Portugal
2021/09 - 2022/01 Evaluation of monitoring tools to detect vulnerabilities in Lightweight Kubernetes Environments
Orientador
Master in Informatics Security (Outra)
Universidade de Coimbra Departamento de Engenharia Informática, Portugal
2020/09 - 2021/10 Building and Evaluating Software Vulnerability Datasets - Combining Static Analysis Alerts and Software Metrics to Automatically Detect Vulnerable C/C++ Functions
Coorientador
Master in Informatics Engineering (Mestrado)
Universidade de Coimbra Departamento de Engenharia Informática, Portugal
2020/09 - 2021/01 Static Analysis Tools in Open Source Projects (C/C++)
Orientador
Master in Informatics Security (Outra)
Universidade de Coimbra Departamento de Engenharia Informática, Portugal

Organização de evento

Nome do evento
Tipo de evento (Tipo de participação)
Instituição / Organização
2024/03/13 - 2024/10 Web Co-Chair of the 43rd International Symposium on Reliable Distributed Systems (SRDS 2024) (2024/09/30 - 2024/10/04)
Conferência (Membro da Comissão Organizadora)
2023/05 - 2023/10 Web Co-Chair of the 34th IEEE International Symposium on Software Reliability Engineering (ISSRE 2023) (2023/10/09 - 2023/10/12)
Conferência (Membro da Comissão Organizadora)
2022/10 - 2023/04 Web-Chair of the 14th ACM/SPEC International Conference on Performance Engineering (ICPE 2023) (2023/04/15 - 2023/04/19)
Conferência (Membro da Comissão Organizadora)

Júri de grau académico

Tema
Tipo de participação
Nome do candidato (Tipo de grau)
Instituição / Organização
2023/10 Restructuring and extending the CCSL static analysis tool for Java
Arguente
Endre Heien Mo (Mestrado)
Norges teknisk-naturvitenskapelige universitet Fakultet for informasjonsteknologi og elektroteknikk, Noruega

Arbitragem científica em conferência

Nome da conferência Local da conferência
2024/06 - 2024/06 ISD 2024 - International Conference on Information Systems Development Gdansk, Poland
2024/02 - 2024/02 USENIX ATC 2024 - USENIX Annual Technical Conference Santa Clara, California, USA
2023/09 - 2023/09 QRS 2023 - IEEE International Conference on Quality Software, Reliability, and Security Chiang Mai, Thailand
2023/08 - 2023/08 WAFERS 2023 - Workshop on vAlidation and verification of FuturE cybeR-physical Systems Florence, Italy
2023/07 - 2023/07 WASP 2023 - Workshop on Attacks and Software Protection The Hague, The Netherlands
2023/05 - 2023/05 SSDBM 2023 - Scientific and Statistical Database Management Conference Los Angeles, California, USA
2022/10 - 2022/10 QRS 2022 - IEEE International Conference on Software Security and Reliability Guangzhou, China
2021/10 - 2021/10 QRS 2021 - IEEE International Conference on Software Security and Reliability Hainan Island, China
2021/07 - 2021/07 MASCOTS 2021 - Symposium on Modelling, Analysis, and Simulation of Computer and Telecommunication Systems Virtual Conference
2021/06 - 2021/06 ISSRE 2021 - International Symposium on Software Reliability Engineering Wuhan, China
2021/06 - 2021/06 IDAACS 2021 - International Conference on Intelligent Data Acquisition and Advanced Computer Systems Cracow, Polônia
2021/02/15 - 2021/03/01 SEAMS 2021 - International Symposium on Software Engineering for Adaptive and Self-Managing Systems Madrid-Espanha (virtual)
2021/01/11 - 2021/01/19 DSN 2021 - IEEE/IFIP International Conference on Dependable Systems and Networks Taipei, Taiwan
2020/07 - 2020/07 MASCOTS 2020 - Symposium on Modelling, Analysis, and Simulation of Computer and Telecommunication Systems Nice, França
2020/07 - 2020/07 SCC 2020 - IEEE International Conference on Services Computing
2020/05 - 2020/06 QRS 2020 - IEEE International Conference on Software Quality, Reliability, and Security Macau, China
2020/05 - 2020/05 DEXA 2020 - International Conference on Database and Expert Systems Applications Bratislava, Eslováquia
2019/06/01 - 2019/06/30 ISSRE 2019 - International Symposium on Software Reliability Engineering Berlim, Alemanha
2019/01/29 - 2019/02/28 SEAMS 2019 - International Symposium on Software Engineering for Adaptive and Self-Managing Systems Montreal - Canadá

Arbitragem científica em revista

Nome da revista (ISSN) Editora
2024/03 - 2024/04 The Journal of systems and software (0164-1212) Elsevier Editorial
2023/04 - 2023/07 Information Security Journal: A Global Perspective
2023/03 - 2023/07 Information and Software Technology
2022/05 - 2022/12 Transactions on Emerging Telecommunications Technologies John Wiley & Sons Ltd.
2022/02 - 2022/08 Software Quality Journal Springer
2021/09 - 2021/10 IEEE Access IEEE

Comissão de avaliação

Descrição da atividade
Tipo de assessoria
Instituição / Organização Entidade financiadora
2024/03 - 2024/11 Member of the Technical Program Committee of the 13th Latin-American Symposium on Dependable and Secure Computing (LADC 2024)
Avaliador
2024/02 - 2024/04 Member of the External Review Committee (ERC) of the 2024 USENIX ATC Conference
Avaliador
2023/07 - 2023/10 Member of the Technical Program Committee of the 4th WAFERS 2023 - Workshop on vAlidation and verification of FuturE cybeR-physical Systems
Avaliador

Curso / Disciplina lecionado

Disciplina Curso (Tipo) Instituição / Organização
2022/11 - Atual Introdução ao DevOps Universidade Estadual de Campinas, Brasil
2013/05 - Atual Gerenciamento de Projetos de Software: Aspectos Econômicos e Planejamento Universidade Estadual de Campinas, Brasil

Tutoria

Tópico Nome do aluno
2018/09 - Atual Mentoring of the Studio Teams 3 studio teams along the years (Gorilas Mobile, SVF, MSE22, MSE23)
2022/09 - 2024/07 Pedro Pedrosa
2019/09 - 2021/07 A study on software engineering team dysfunctions Sara Ferreira Dinis e Silva
2020/02 - 2020/07 Integrating Usability and Software Engineering: A Reflection on a Project using Agile Diana Fonte
Distinções

Prémio

2021 Distinguished Papers - EDCC 2021

Outra distinção

2020 TDX Merit Awards (Finalista)
2011 Distinção em Bacharelado em Ciência da Computação
Universidade Estadual de Campinas, Brasil