???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.
Read full resume ↓
Identification

Personal identification

Full name
José Alexandre DAbruzzo Pereira

Citation names

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

Author identifiers

Ciência ID
A713-6DA0-5C16
ORCID iD
0000-0003-0717-3396
Google Scholar ID
ZPKlxFQAAAAJ
Researcher Id
AEK-3141-2022
Scopus Author Id
57215674631

Email addresses

  • joseadp@gmail.com (Personal)

Telephones

Mobile phone
  • 924389761 (Personal)

Addresses

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

Websites

Knowledge fields

  • Exact Sciences - Computer and Information Sciences - Computer Sciences

Languages

Language Speaking Reading Writing Listening Peer-review
Portuguese (Mother tongue)
English Advanced (C1) Advanced (C1) Advanced (C1) Advanced (C1) Upper intermediate (B2)
Italian Beginner (A1) Intermediate (B1) Beginner (A1) Intermediate (B1) Beginner (A1)
Spanish; Castilian Elementary (A2) Elementary (A2) Elementary (A2) Intermediate (B1) Beginner (A1)
French Beginner (A1) Beginner (A1) Beginner (A1) Beginner (A1) Beginner (A1)
Education
Degree Classification
2018/09/01 - 2024/03/04
Concluded
 Doutoramento em Engenharia Informática (Doutoramento)
Major in Arquiteturas, Redes e Cibersegurança
Universidade de Coimbra Departamento de Engenharia Informática, Portugal
"Software Security Characterization through Static Data Analysis" (THESIS/DISSERTATION)
2011/08/29 - 2012/12/21
Concluded
 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
Concluded
 Ciência da Computação (Bachelor)
Universidade Estadual de Campinas, Brazil

Universidade Estadual de Campinas Instituto de Computação, Brazil
16
Affiliation

Science

Category
Host institution 		Employer
2018/02/23 - Current Researcher (Research) Universidade de Coimbra Departamento de Engenharia Informática, Portugal

Teaching in Higher Education

Category
Host institution 		Employer
2023/09/01 - Current Invited Assistant Professor (University Teacher) Universidade de Coimbra Departamento de Engenharia Informática, Portugal
Universidade de Coimbra Departamento de Engenharia Informática, Portugal
2020/09 - 2023/08/31 Invited Assistant (University Teacher) Universidade de Coimbra Departamento de Engenharia Informática, Portugal
Universidade de Coimbra Departamento de Engenharia Informática, Portugal

Others

Category
Host institution 		Employer
2016/06/06 - 2018/04/30 Gestor de Projetos FFW BRASIL WEB DESIGN LTDA, Brazil
2014/03 - 2016/06 Software Engineering Sofist - Intelligent Software Testing, Brazil
2007/05 - 2014/03 Software Engineering Sedna Software, Brazil
2005/09 - 2007/04 Programador ISI Engenharia, Brazil
2005/01 - 2005/09 Estagiário Tele Design, Brazil
Projects

Contract

Designation Funders
2022/11 - Current NEXUS Innovation Pact - Digital and Green Transition for Transports, Logistics and Mobility
7113
Researcher
European Commission
2019/12 - Current ADVANCE: Addressing Verification and Validation Challenges in Future Cyber-Physical Systems
823788
Researcher
European Commission
Ongoing
2020/05/01 - 2022/10/11 AIDA: Adaptive, Intelligent and Distributed Assurance Platform
POCI-01-0247-FEDER-045907
Researcher
Universidade de Coimbra Centro de Informatica e Sistemas, Portugal
 Agência Nacional de Inovação SA
Concluded
2019/01/15 - 2022/07 METRICS - Monitoring and Measuring the Trustworthiness of Critical Cloud Systems
POCI-01-0145-FEDER-032504
PhD Student Fellow
Universidade de Coimbra Centro de Informatica e Sistemas, Portugal
 Fundação para a Ciência e a Tecnologia
Concluded
2019/07 - 2022/06 TalkConnect - Voice Architecture over Distributed Network
POCI-01-0247-FEDER-039676
Researcher
Agência Nacional de Inovação SA
Concluded
2018/04/16 - 2019/01/14 ATMOSPHERE: Adaptive, Trustworthy, Manageable, Orchestrated, Secure, Privacy-assuring, Hybrid Ecosystem for REsilient Cloud Computing
EUB-01-2017
777154
PhD Student Fellow
Universidade de Coimbra Centro de Informatica e Sistemas, Portugal
 European Commission
Concluded
Outputs

Publications

Conference abstract
  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". Paper presented in Inforum - Simpósio de Informática 2023, Porto, 2023.
    Published
Conference paper
  1. João Rafael Henriques; José D'Abruzzo Pereira; Marco Vieira. "Mining Vulnerability and Code Repositories to Study Software Security". 2024.
    10.1145/3697090.3697103
  2. Pereira, José D’Abruzzo; Vieira, Marco. "An Approach to Characterize the Security of Open-Source Functions using LSP". Paper presented in IEEE 34th International Symposium on Software Reliability Engineering (ISSRE 2023), Florence, 2023.
    Published • 10.1109/issre59848.2023.00073
  3. José D'Abruzzo Pereira; Nuno Lourenço; Marco Vieira. "On the Use of Deep Graph CNN to Detect Vulnerable C Functions". Paper presented in 11th Latin-American Symposium on Dependable Computing (LADC 2022), Fortaleza, 2022.
    Published • 10.1145/3569902.3569913
  4. 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". Paper presented in 11th Latin-American Symposium on Dependable Computing (LADC 2022), Fortaleza, 2022.
    Published • 10.1145/3569902.3569953
  5. 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
  6. Ribeiro, João David; D'Abruzzo Pereira, José; Antunes, Nuno. "An Experimental Study of Elasticity in Kubernetes HPA for Microservice Applications". Paper presented in Inforum - Simpósio de Informática 2022, Guarda, 2022.
    Published
  7. D'Abruzzo Pereira, José; João Henggeler Antunes; Vieira, Marco. "On Building a Vulnerability Dataset with Static Information from the Source Code". Paper presented in SAFELIFE - Safety, Security, and Privacy in Complex Artificial Intelligence based Systems (SAFELIFE 2021), Florianópolis (virtual), 2021.
    Published • 10.1109/LADC53747.2021.9672589
  8. 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". Paper presented in European Dependable Computing Conference (EDCC), 2021.
    Published • 10.1109/EDCC53658.2021.00008
  9. Pereira, Jose D'Abruzzo. "Techniques and Tools for Advanced Software Vulnerability Detection". Coimbra, 2020.
    10.1109/issrew51248.2020.00049
  10. 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". Paper presented in IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Seoul, 2020.
    10.1145/3387939.3391608
  11. D'Abruzzo Pereira, Jose; Vieira, Marco. "On the Use of Open-Source C/C++ Static Analysis Tools in Large Projects". Paper presented in European Dependable Computing Conference (EDCC), 2020.
    10.1109/edcc51268.2020.00025
  12. D'Abruzzo Pereira, José; Campos, Joao R.; Vieira, Marco. "An Exploratory Study on Machine Learning to Combine Security Vulnerability Alerts from Static Analysis Tools". Paper presented in Latin-American Symposium on Dependable Computing, Natal-RN, 2019.
    Published • 10.1109/ladc48089.2019.8995685
  13. Pereira, José; Arruda, Rodrigo; Gomes, Adriano. "Lessons Learned during the Implementation of a Continuous Integration Software in MPS.BR level F environment". Paper presented in IX Workshop Anual do MPS, Campinas, 2013.
    Published
Conference poster
  1. Sara Ferreira Dinis e Silva; D'Abruzzo Pereira, José. "A study on software engineering team dysfunctions: an experience report". Paper presented in Inforum - Simpósio de Informática 2021, 2021.
Journal article
  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
Working paper
  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".
Activities

Oral presentation

Presentation title Event name
Host (Event location)
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, Italy)

Supervision

Thesis Title
Role 		Degree Subject (Type)
Institution / Organization
2023/09 - 2024/07 Addressing Limitations of Static Analysis Tools for Efficient Rapid Deployment Cycles
Supervisor of Rui Filipe Tavares Mota
 Mestrado em Segurança Informática (Master)
Universidade de Coimbra Departamento de Engenharia Informática, Portugal
2022 - 2024/07 Expand a dataset of software vulnerabilities with static information
Supervisor of João Rafael do Rosário Henriques
 Licenciatura em Engenharia Informática (Scientific initiation)
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
Supervisor
 Master in Informatics Security (Other)
Universidade de Coimbra Departamento de Engenharia Informática, Portugal
2021/09 - 2022/07 A Dashboard for Decision Support in Self-Adaptive Cloud Applications
Co-supervisor of João David Marques Santos Ribeiro
 Master in Informatics Engineering (Master)
Universidade de Coimbra Departamento de Engenharia Informática, Portugal
2021/09 - 2022/01 Evaluation of monitoring tools to detect vulnerabilities in Lightweight Kubernetes Environments
Supervisor
 Master in Informatics Security (Other)
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
Co-supervisor of João Miguel Namorado Clímaco Henggeler Antunes
 Master in Informatics Engineering (Master)
Universidade de Coimbra Departamento de Engenharia Informática, Portugal
2020/09 - 2021/01 Static Analysis Tools in Open Source Projects (C/C++)
Supervisor
 Master in Informatics Security (Other)
Universidade de Coimbra Departamento de Engenharia Informática, Portugal

Event organisation

Event name
Type of event (Role) 		Institution / Organization
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)
Conference (Member of the Organising Committee)
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)
Conference (Member of the Organising Committee)
2022/10 - 2023/04 Web-Chair of the 14th ACM/SPEC International Conference on Performance Engineering (ICPE 2023) (2023/04/15 - 2023/04/19)
Conference (Member of the Organising Committee)

Jury of academic degree

Topic
Role 		Candidate name (Type of degree)
Institution / Organization
2024/09/09 Mesh Microservices on Kubernetes Clusters
(Thesis) Main arguer
 Sofia Santos Neves (Master)
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
(Thesis) Main arguer
 Eva Mariana Pires Teixeira (Master)
Universidade de Coimbra Departamento de Engenharia Informática, Portugal
2023/10 Restructuring and extending the CCSL static analysis tool for Java
(Thesis) Arguer
 Endre Heien Mo (Master)
Norges teknisk-naturvitenskapelige universitet Fakultet for informasjonsteknologi og elektroteknikk, Norway

Conference scientific committee

Conference name Conference host
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á

Course / Discipline taught

Academic session Degree Subject (Type) Institution / Organization
2013/05 - Current Gerenciamento de Projetos de Software: Aspectos Econômicos e Planejamento Universidade Estadual de Campinas, Brazil
2022/11 - 2023/08 Introdução ao DevOps Universidade Estadual de Campinas, Brazil

Evaluation committee

Activity description
Role 		Institution / Organization Funding entity
2024/03 - 2024/11 Member of the Technical Program Committee of the 13th Latin-American Symposium on Dependable and Secure Computing (LADC 2024)
Evaluator
2024/02 - 2024/04 Member of the External Review Committee (ERC) of the 2024 USENIX ATC Conference
Evaluator
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
Evaluator

Journal scientific committee

Journal title (ISSN) Publisher
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

Mentoring / Tutoring

Topic Student name
2018/09 - Current 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
Distinctions

Award

2021 Distinguished Papers - EDCC 2021

Other distinction

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