Frederico Manuel Duarte Cerveira
AuthID: R-00H-7RQ
1
TITLE: Resilient Virtualization
AUTHORS: Frederico Cerveira; António Howcroft Ferreira; Raul Barbosa;
PUBLISHED: 2024, SOURCE: Computer, VOLUME: 57, ISSUE: 2
AUTHORS: Frederico Cerveira; António Howcroft Ferreira; Raul Barbosa;
PUBLISHED: 2024, SOURCE: Computer, VOLUME: 57, ISSUE: 2
INDEXED IN: 
DBLP
DBLP2
TITLE: Resilient Virtualization
AUTHORS: Cerveira, Frederico; Ferreira, Antonio Howcroft; Barbosa, Raul;
PUBLISHED: 2024, SOURCE: COMPUTER, VOLUME: 57, ISSUE: 2
AUTHORS: Cerveira, Frederico; Ferreira, Antonio Howcroft; Barbosa, Raul;
PUBLISHED: 2024, SOURCE: COMPUTER, VOLUME: 57, ISSUE: 2
INDEXED IN: 
WOS
WOS3
TITLE: Predicting Cloud Applications Failures from Infrastructure Level Data
AUTHORS: Domingos, Jomar; Cerveira, Frederico; Barbosa, Raul; Madeira, Henrique;
PUBLISHED: 2023, SOURCE: 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) in 2023 53RD ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS WORKSHOPS, DSN-W
AUTHORS: Domingos, Jomar; Cerveira, Frederico; Barbosa, Raul; Madeira, Henrique;
PUBLISHED: 2023, SOURCE: 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) in 2023 53RD ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS WORKSHOPS, DSN-W
INDEXED IN: 
Scopus WOS
Scopus WOS4
TITLE: The Effects of Soft Errors and Mitigation Strategies for Virtualization Servers Full Text
AUTHORS: Cerveira, Frederico; Barbosa, Raul; Madeira, Henrique ; Araujo, Filipe;
PUBLISHED: 2022, SOURCE: IEEE TRANSACTIONS ON CLOUD COMPUTING, VOLUME: 10, ISSUE: 2
AUTHORS: Cerveira, Frederico; Barbosa, Raul; Madeira, Henrique ; Araujo, Filipe;
PUBLISHED: 2022, SOURCE: IEEE TRANSACTIONS ON CLOUD COMPUTING, VOLUME: 10, ISSUE: 2
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP5
TITLE: TESRAC: A Framework for Test Suite Reduction Assessment at Scale
AUTHORS: Becho, Joao; Cerveira, Frederico; Leitao, Joao; Oliveira, Rui Andre;
PUBLISHED: 2022, SOURCE: 15th IEEE International Conference on Software Testing, Verification and Validation (ICST) in 2022 IEEE 15TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST 2022)
AUTHORS: Becho, Joao; Cerveira, Frederico; Leitao, Joao; Oliveira, Rui Andre;
PUBLISHED: 2022, SOURCE: 15th IEEE International Conference on Software Testing, Verification and Validation (ICST) in 2022 IEEE 15TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST 2022)
INDEXED IN: Scopus WOS
Scopus WOS6
TITLE: Strategies for Improving the Error Robustness of Convolutional Neural Networks
AUTHORS: Morais, Antonio; Barbosa, Raul; Lourenco, Nuno; Cerveira, Frederico; Lombardi, Michele; Madeira, Henrique;
PUBLISHED: 2022, SOURCE: 22nd IEEE International Conference on Software Quality, Reliability and Security (QRS) in 2022 IEEE 22ND INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY, QRS, VOLUME: 2022-December
AUTHORS: Morais, Antonio; Barbosa, Raul; Lourenco, Nuno; Cerveira, Frederico; Lombardi, Michele; Madeira, Henrique;
PUBLISHED: 2022, SOURCE: 22nd IEEE International Conference on Software Quality, Reliability and Security (QRS) in 2022 IEEE 22ND INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY, QRS, VOLUME: 2022-December
INDEXED IN: Scopus WOS
Scopus WOS7
TITLE: ucXception: A Framework for Evaluating Dependability of Software Systems
AUTHORS: Almeida, Pedro David; Cerveira, Frederico; Barbosa, Raul; Madeira, Henrique;
PUBLISHED: 2022, SOURCE: 22nd IEEE International Conference on Software Quality, Reliability and Security (QRS) in 2022 IEEE 22ND INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY, QRS, VOLUME: 2022-December
AUTHORS: Almeida, Pedro David; Cerveira, Frederico; Barbosa, Raul; Madeira, Henrique;
PUBLISHED: 2022, SOURCE: 22nd IEEE International Conference on Software Quality, Reliability and Security (QRS) in 2022 IEEE 22ND INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY, QRS, VOLUME: 2022-December
INDEXED IN: Scopus WOS
Scopus WOS8
TITLE: Mitigating Virtualization Failures Through Migration to a Co-Located Hypervisor
AUTHORS: Cerveira, F; Barbosa, R; Madeira, H ;
PUBLISHED: 2021, SOURCE: IEEE ACCESS, VOLUME: 9
AUTHORS: Cerveira, F; Barbosa, R; Madeira, H ;
PUBLISHED: 2021, SOURCE: IEEE ACCESS, VOLUME: 9
INDEXED IN: WOS DBLP
WOS DBLP9
TITLE: Measuring lead times for failure prediction
AUTHORS: Frederico Cerveira; Jomar Domingos; Raul Barbosa; Henrique Madeira ;
PUBLISHED: 2021, SOURCE: 26th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2021, Perth, Australia, December 1-4, 2021
AUTHORS: Frederico Cerveira; Jomar Domingos; Raul Barbosa; Henrique Madeira ;
PUBLISHED: 2021, SOURCE: 26th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2021, Perth, Australia, December 1-4, 2021
INDEXED IN: DBLP
DBLP10
TITLE: Measuring lead times for failure prediction
AUTHORS: Cerveira, Frederico; Domingos, Jomar; Barbosa, Raul; Madeira, Henrique ;
PUBLISHED: 2021, SOURCE: 26th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC) in 2021 IEEE 26TH PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC 2021), VOLUME: 2021-December
AUTHORS: Cerveira, Frederico; Domingos, Jomar; Barbosa, Raul; Madeira, Henrique ;
PUBLISHED: 2021, SOURCE: 26th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC) in 2021 IEEE 26TH PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC 2021), VOLUME: 2021-December
INDEXED IN: Scopus WOS
Scopus WOS