Enforcing Timeliness and Safety in Mission-Critical Systems. - António Casimiro; Inês Pinto Gouveia; José Rufino (Ada-Europe, 2017)

Behind the last line of defense: Surviving SoC faults and intrusions. - Inês Pinto Gouveia; Marcus Völp; Paulo Esteves Veríssimo (Comput. Secur., 2022)

Envisioning a Safety Island to Enable HPC Devices in Safety-Critical Domains. - Jaume Abella 001; Francisco J. Cazorla; Sergi Alcaide; Michael Paulitsch; Yang Peng; Inês Pinto Gouveia (CoRR, 2023)

Resilient and Secure Programmable System-on-Chip Accelerator Offload. - Inês Pinto Gouveia; Ahmad T. Sheikh; Ali Shoker; Suhaib A. Fahmy; Paulo Esteves Veríssimo (SRDS, 2024)

Efficient On-Chip Replication. - Inês Pinto Gouveia; Rafal Graczyk; Marcus Völp; Paulo Esteves Veríssimo (IEEE Access, 2024)