???global.info.a_carregar???
Frederico Cerveira is currently an Invited Assistant Professor (Professor Auxiliar Convidado) at the Department of Informatics Engineering of the University of Coimbra. In the past he has worked at University of Coimbra as an Invited Assistant (Assistente Convidado) for 7 semesters and he has taught part of the course of Distributed Systems as an invited lecturer at ISCTEM (Instituto Superior de Ciências e Tecnologia de Moçambique). Frederico is the holder of a PhD in Information Science and Technology, obtained at the Faculty of Sciences and Technology (FCTUC) of the University of Coimbra (UC) on 29 September 2021. He has obtained his MsC and BSc degrees also at University of Coimbra. Frederico conducts research on the scientific field of Informatics Engineering, with a particular focus on the dependability evaluation and improvement of cloud computing and virtualized systems through experimental approaches. He is a member of the Centre for Informatics and Systems of the University of Coimbra (CISUC) research centre, where he is part of the Software and Systems Engineering (SSE) research group.
Ler resumo completo ↓
Identificação

Identificação pessoal

Nome completo
Frederico Manuel Duarte Cerveira

Nomes de citação

  • Cerveira, Frederico

Identificadores de autor

Ciência ID
DE1F-C72A-35AD
ORCID iD
0000-0002-0180-4815
Google Scholar ID
fC61do0AAAAJ

Domínios de atuação

  • Ciências da Engenharia e Tecnologias - Engenharia Eletrotécnica, Eletrónica e Informática

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Alemão Utilizador elementar (A1) Utilizador elementar (A1) Utilizador elementar (A1) Utilizador elementar (A1)
Inglês Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1)
Português Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1)
Italiano Utilizador independente (B2) Utilizador independente (B2) Utilizador independente (B2) Utilizador independente (B2)
Formação
Grau Classificação
2021/09/29
Concluído
 Ciências e Tecnologias da Informação (Doutoramento)
Universidade de Coimbra Faculdade de Ciencias e Tecnologia, Portugal
"Evaluating and improving cloud computing dependability" (TESE/DISSERTAÇÃO)
2015
Concluído
 Mestrado em Engenharia Informática (Mestrado)
Universidade de Coimbra Faculdade de Ciencias e Tecnologia, Portugal
"Benchmarking de Infraestruturas de Virtualização para a Cloud" (TESE/DISSERTAÇÃO)
 16.6
2013
Concluído
 Licenciatura em Engenharia Informática (Licenciatura)
Universidade de Coimbra Faculdade de Ciencias e Tecnologia, Portugal
"n/a" (TESE/DISSERTAÇÃO)
 14.7
Percurso profissional

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
2022/02/01 - Atual Professor Auxiliar Convidado (Docente Universitário) Universidade de Coimbra Faculdade de Ciencias e Tecnologia, Portugal
2016 - 2021 Assistente Convidado (Docente Universitário) Universidade de Coimbra Faculdade de Ciencias e Tecnologia, Portugal
Projetos

Projeto

Designação Financiadores
2020/05/01 - 2023/04/30 Verification and Validation of Automated Systems' Safety and Security
876852
10.3030/876852
Investigador
European Commission
Concluído
2016/08/01 - 2017/07/31 EUBra-BIGSEA
Horizon 2020 (Ref: 690116)
Bolseiro de Mestrado
Universidade de Coimbra Centro de Informatica e Sistemas, Portugal
Concluído
2014/12/01 - 2015/03/01 DECAF - Estudo Exploratório de Falhas em Aplicações Distribuídas na Cloud
EXPL/EEI-ESS/2542/2013
Bolseiro de Mestrado
Universidade de Coimbra Centro de Informatica e Sistemas, Portugal
Concluído
Produções

Publicações

Artigo em conferência
  1. Jomar Domingos; Frederico Cerveira; Raul Barbosa; Henrique Madeira. "Predicting Cloud Applications Failures from Infrastructure Level Data". 2023.
    10.1109/dsn-w58399.2023.00023
  2. Hassan Khan; Frederico Cerveira; Tiago Cruz; Henrique Madeira. "Network Failures in Cloud Management Platforms: A Study on OpenStack". 2023.
    10.5220/0011851400003488
  3. António Morais; Raul Barbosa; Nuno Lourenço; Frederico Cerveira; Michele Lombardi; Henrique Madeira. "Strategies for Improving the Error Robustness of Convolutional Neural Networks". 2022.
    10.1109/qrs57517.2022.00092
  4. Pedro David Almeida; Frederico Cerveira; Raul Barbosa; Henrique Madeira. "ucXception: A Framework for Evaluating Dependability of Software Systems". 2022.
    10.1109/qrs57517.2022.00063
  5. Joao Becho; Frederico Cerveira; Joao Leitao; Rui Andre Oliveira. "TESRAC: A Framework for Test Suite Reduction Assessment at Scale". 2022.
    10.1109/icst53961.2022.00028
  6. Cerveira, F.; Domingos, J.; Barbosa, R.; Madeira, H.. "Measuring lead times for failure prediction". 2021.
    10.1109/PRDC53464.2021.00020
  7. Cerveira, F.; Oliveira, R.A.; Barbosa, R.; Madeira, H.. "Evaluation of restful frameworks under soft errors". 2020.
    10.1109/ISSRE5003.2020.00042
  8. Cerveira, Frederico; Barbosa, Raul; Madeira, Henrique. "Fast Local VM Migration Against Hypervisor Corruption". Trabalho apresentado em 2019 15th European Dependable Computing Conference (EDCC), Napoles, Italia, 2019.
    Publicado • 10.1109/edcc.2019.00028
  9. Rodrigues, B.; Cerveira, F.; Barbosa, R.; Bernardino, J.. "Virtualization: Past and present challenges". 2019.
    10.5220/0006910707550761
  10. Cerveira, Frederico. "Evaluating the Inherent Sensitivity of Programming Languages to Soft Errors". 2018.
    10.1109/EDCC.2018.00021
  11. Cerveira, F.; Kocsis, I.; Barbosa, R.; Madeira, H.; Pataricza, A.. "Exploratory data analysis of fault injection campaigns". 2018.
    10.1109/QRS.2018.00033
  12. Cerveira, Frederico. "Virtualization: Past and Present Challenges". 2018.
    10.5220/0006910707890795
  13. Cerveira, F.; Barbosa, R.; Madeira, H.; Frederico Cerveira; Raul Barbosa; Henrique Madeira. "Experience Report: On the Impact of Software Faults in the Privileged Virtual Machine". 2017.
    10.1109/ISSRE.2017.39
  14. Cerveira, F.; Barbosa, R.; Madeira, H.; Frederico Cerveira; Raul Barbosa; Henrique Madeira. "Soft errors susceptibility of virtualization servers". 2017.
    10.1109/PRDC.2017.26
  15. Cerveira, F.; Barbosa, R.; Mercier, M.; Madeira, H.; Frederico Cerveira; Raul Barbosa; Marta Mercier; Henrique Madeira. "On the Emulation of Vulnerabilities through Software Fault Injection". 2017.
    10.1109/EDCC.2017.28
  16. Cerveira, F.; Barbosa, R.; Madeira, H.; Araujo, F.. "Recovery for Virtualized Environments". 2016.
    10.1109/EDCC.2015.26
  17. Franco, J.M.; Cerveira, F.; Barbosa, R.; Zenha-Rela, M.; Joao M. Franco; Frederico Cerveira; Raul Barbosa; Mario Zenha-Rela. "Modeling the failure pathology of software components". 2016.
    10.1109/QoSA.2016.15
Artigo em revista
  1. Frederico Cerveira; António Howcroft Ferreira; Raul Barbosa. "Resilient Virtualization". Computer (2024): http://dx.doi.org/10.1109/mc.2023.3306617.
    10.1109/mc.2023.3306617
  2. Cerveira, F.; Barbosa, R.; Madeira, H.. "Mitigating Virtualization Failures through Migration to a Co-Located Hypervisor". IEEE Access 9 (2021): 105255-105269. http://www.scopus.com/inward/record.url?eid=2-s2.0-85111045820&partnerID=MN8TOARS.
    10.1109/ACCESS.2021.3098644
  3. Cerveira, Frederico; Barbosa, Raul; Madeira, Henrique; Araujo, Filipe. "The Effects of Soft Errors and Mitigation Strategies for Virtualization Servers". IEEE Transactions on Cloud Computing (2020): 1-1. http://dx.doi.org/10.1109/tcc.2020.2973146.
    10.1109/tcc.2020.2973146
  4. Cerveira, F.; Fonseca, A.; Barbosa, R.; Madeira, H.S.. "Soft error sensitivity and vulnerability of languages and their implementations". International Journal of Critical Computer-Based Systems 9 4 (2019): 318-347. http://www.scopus.com/inward/record.url?eid=2-s2.0-85084348777&partnerID=MN8TOARS.
    10.1504/IJCCBS.2019.106823
  5. Barbosa, R.; Cerveira, F.; Gonçalo, L.; Madeira, H.. "Emulating representative software vulnerabilities using field data". Computing (2018): http://www.scopus.com/inward/record.url?eid=2-s2.0-85052944304&partnerID=MN8TOARS.
    10.1007/s00607-018-0657-y
  6. Alcides Fonseca; Frederico Cerveira; Bruno Cabral; Raul Barbosa. "Language-based expression of reliability and parallelism for low-power computing". IEEE Transactions on Sustainable Computing (2017): 1-1. https://doi.org/10.1109%2Ftsusc.2017.2771376.
    10.1109/tsusc.2017.2771376

Outros

Outra produção
  1. The most frequent programming mistakes that cause software vulnerabilities. 2019. Barbosa, R.; Cerveira, F.; Gonçalo, L.; Madeira, H.. http://www.scopus.com/inward/record.url?eid=2-s2.0-85094401179&partnerID=MN8TOARS.
Atividades

Orientação

Título / Tema
Papel desempenhado 		Curso (Tipo)
Instituição / Organização
2023 - 2024 Testing automotive hypervisors
Orientador
2022 - 2023 Accelerating fault injection campaigns using failure models
Orientador
2021 - 2022 Improving Usability and Functionality in a Fault Injection Framework
Orientador
Distinções

Outra distinção

2015 Distinguished Paper Award