José Alexandre DAbruzzo Pereira (A713-6DA0-5C16)

Curriculum Vitae

José Alexandre DAbruzzo Pereira

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.

Ler resumo completo ↓

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

https://eden.dei.uc.pt/~josep/ (Académico)

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 7113 Investigador	European Commission
2019/12 - Atual	ADVANCE: Addressing Verification and Validation Challenges in Future Cyber-Physical Systems 823788 Investigador	European Commission Em curso
2020/05/01 - 2022/10/11	AIDA: Adaptive, Intelligent and Distributed Assurance Platform POCI-01-0247-FEDER-045907 Investigador Universidade de Coimbra Centro de Informatica e Sistemas, Portugal	Agência Nacional de Inovação SA Concluído
2019/01/15 - 2022/07	METRICS - Monitoring and Measuring the Trustworthiness of Critical Cloud Systems POCI-01-0145-FEDER-032504 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 POCI-01-0247-FEDER-039676 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 EUB-01-2017 777154 Bolseiro de Doutoramento Universidade de Coimbra Centro de Informatica e Sistemas, Portugal	European Commission Concluído

Produções

Publicações

Artigo em conferência	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 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 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 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 Ribeiro, João David; 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 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 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 Pereira, Jose D'Abruzzo. "Techniques and Tools for Advanced Software Vulnerability Detection". Coimbra, 2020. 10.1109/issrew51248.2020.00049 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 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 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 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	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 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	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". 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	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	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 - 2024/07	Addressing Limitations of Static Analysis Tools for Efficient Rapid Deployment Cycles Orientador de Rui Filipe Tavares Mota	Mestrado em Segurança Informática (Mestrado) Universidade de Coimbra Departamento de Engenharia Informática, Portugal
2022 - 2024/07	Expand a dataset of software vulnerabilities with static information Orientador de João Rafael do Rosário Henriques	Licenciatura em Engenharia Informática (Iniciação científica) 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 de João David Marques Santos Ribeiro	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 de João Miguel Namorado Clímaco Henggeler Antunes	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
2024/09/09	Mesh Microservices on Kubernetes Clusters Arguente principal	Sofia Santos Neves (Mestrado) Universidade de Coimbra Faculdade de Ciencias e Tecnologia, Portugal Universidade de Coimbra Departamento de Engenharia Informática, Portugal
2024/07/16	Testes Funcionais em Sistemas Críticos Arguente principal	Eva Mariana Pires Teixeira (Mestrado) Universidade de Coimbra Departamento de Engenharia Informática, Portugal
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/09	LADC 2024 - Latin-American Symposium on Dependable and Secure Computing (LADC)	Recife/PE, Brazil
2024/06 - 2024/08	ReSAISE 2024 - IEEE International Workshop on Reliable and Secure AI for Software Engineering (ReSAISE)	Tsukuba, Japan
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
2013/05 - Atual	Gerenciamento de Projetos de Software: Aspectos Econômicos e Planejamento		Universidade Estadual de Campinas, Brasil
2022/11 - 2023/08	Introdução ao DevOps		Universidade Estadual de Campinas, Brasil

Tutoria

	Tópico	Nome do aluno
2018/09 - Atual	Mentoring of the Studio Teams	4 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