José Martins

According to our database, José Martins authored at least 22 papers between 2018 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

System-Level Isolation for Mixed-Criticality RISC-V SoCs: A "World" Reality Check.

Luís Cunha, José Martins, Manuel Rodríguez, Tiago Gomes, Sandro Pinto, Uwe Moslehner, Kai Dieffenbach, Glenn Farrall, Kajetan Nurnberger, Thomas Roecker

CoRR, February, 2026

2025

Let's Get Physical: Rethinking the Static Partitioning Hypervisor Architecture for an MMU-Less Memory Model.

Afonso Santos, José Martins, João Sousa, Manuel Rodríguez, Sandro Pinto

IEEE Access, 2025

AnyTEE: An Open and Interoperable Software Defined TEE Framework.

David Cerdeira, José Martins, Nuno Santos, Sandro Pinto

IEEE Access, 2025

Beyond the Bermuda Triangle of Contention: IOMMU Interference in Mixed Criticality Systems.

Diogo Costa, José Martins, Sandro Pinto

Proceedings of the 31st IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2025

H-MBR: Hypervisor-Level Memory Bandwidth Reservation for Mixed Criticality Systems.

Afonso Oliveira, Diogo Costa, Gonçalo Moreira, José Martins, Sandro Pinto

Proceedings of the Sixth Workshop on Next Generation Real-Time Embedded Systems, 2025

SP-IMPact: A Framework for Static Partitioning Interference Mitigation and Performance Analysis.

Diogo Costa, Gonçalo Moreira, Afonso Oliveira, José Martins, Sandro Pinto

Proceedings of the Sixth Workshop on Next Generation Real-Time Embedded Systems, 2025

Towards a Formal Verification of the Bao Hypervisor.

Alberto Tacchella, Jurij Mihelic, David Cerdeira, José Martins, Sandro Pinto, Bruno Crispo, Marco Roveri

Proceedings of the Foundations and Practice of Security - 18th International Symposium, 2025

2024

RISC-V Needs Secure 'Wheels': the MCU Initiator-Side Perspective.

Sandro Pinto, José Martins, Manuel Rodríguez, Luís Cunha, Georg Schmalz, Uwe Moslehner, Kai Dieffenbach, Thomas Roecker

CoRR, 2024

HSP-V: Hypervisor-Less Static Partitioning for RISC-V COTS Platforms.

João Sousa, José Martins, Tiago Gomes, Sandro Pinto

IEEE Access, 2024

BiRtIO: VirtIO for Real-Time Network Interface Sharing on the Bao Hypervisor.

João Peixoto, José Martins, David Cerdeira, Sandro Pinto

IEEE Access, 2024

2023

CVA6 RISC-V Virtualization: Architecture, Microarchitecture, and Design Space Exploration.

Bruno Sá, Luca Valente, José Martins, Davide Rossi, Luca Benini, Sandro Pinto

IEEE Trans. Very Large Scale Integr. Syst., November, 2023

IRQ Coloring and the Subtle Art of Mitigating Interrupt-Generated Interference.

Diogo Costa, Luca Cuomo, Daniel Oliveira, Ida Maria Savino, Bruno Morelli, José Martins, Alessandro Biasci, Sandro Pinto

Proceedings of the 29th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2023

Shedding Light on Static Partitioning Hypervisors for Arm-based Mixed-Criticality Systems.

José Martins, Sandro Pinto

Proceedings of the 29th IEEE Real-Time and Embedded Technology and Applications Symposium, 2023

IRQ Coloring: Mitigating Interrupt-Generated Interference on ARM Multicore Platforms.

Diogo Costa, Luca Cuomo, Daniel Oliveira, Ida Maria Savino, Bruno Morelli, José Martins, Fabrizio Tronci, Alessandro Biasci, Sandro Pinto

Proceedings of the Fourth Workshop on Next Generation Real-Time Embedded Systems, 2023

Holistic RISC-V Virtualization: CVA6-based SoC.

Bruno Sá, Francisco Marques, Manuel Rodríguez, José Martins, Sandro Pinto

Proceedings of the 20th ACM International Conference on Computing Frontiers, 2023

2022

A First Look at RISC-V Virtualization From an Embedded Systems Perspective.

Bruno Sá, José Martins, Sandro Pinto

IEEE Trans. Computers, 2022

Bao-Enclave: Virtualization-based Enclaves for Arm.

Samuel Pereira, João Sousa, Sandro Pinto, José Martins, David Cerdeira

Proceedings of the 8th IEEE World Forum on Internet of Things, 2022

ReZone: Disarming TrustZone with TEE Privilege Reduction.

David Cerdeira, José Martins, Nuno Santos, Sandro Pinto

Proceedings of the 31st USENIX Security Symposium, 2022

2020

Bao: A Lightweight Static Partitioning Hypervisor for Modern Multi-Core Embedded Systems.

José Martins, Adriano Tavares, Marco Solieri, Marko Bertogna, Sandro Pinto

Proceedings of the Workshop on Next Generation Real-Time Embedded Systems, 2020

2019

Virtualization on TrustZone-Enabled Microcontrollers? Voilà!

Sandro Pinto, Hugo Araújo, Daniel Oliveira, José Martins, Adriano Tavares

Proceedings of the 25th IEEE Real-Time and Embedded Technology and Applications Symposium, 2019

2018

TZ- VirtIO: Enabling Standardized Inter-Partition Communication in a Trustzone-Assisted Hypervisor.

Ana Oliveira, José Martins, Jorge Cabral, Adriano Tavares, Sandro Pinto

Proceedings of the 27th IEEE International Symposium on Industrial Electronics, 2018

DIHyper: Providing Lifetime Hypervisor Data Integrity.

José Lopes, José Martins, Adriano Tavares, Sandro Pinto

Proceedings of the 27th IEEE International Symposium on Industrial Electronics, 2018