Browse VORTEX Research Publications

Towards a Secure Resource Sharing Architecture in Connected Vehicles

Fernando Alves, Munkenyi Mukhandi, Pedro Santos, Harrison Kuranathan, Saeid Sabamoniri Published at 2025 12th International Conference on Future Internet of Things and Cloud (FiCloud)

Robust Spatio-Temporal Logic Semantics for Autonomous Driving Systems Falsification

Tiago Sequeira, André Matos Pedro Published at Formal Methods for Industrial Critical Systems. FMICS 2025

Safety-Centric Architecture for AI-Enabled Autonomous Driving Systems

Jatin Arora, Alexandre Esper, Vasco Santos

Monitoring of Spatio-Temporal Properties with Nonlinear SAT Solvers

André de Matos Pedro, Tomás Silva, Tiago Sequeira, João Lourenço, João Costa Seco, Carla Ferreira Published at FMICS22 - Formal Methods for Industrial Critical Systems

Analyzing Fixed Task Priority Based Memory Centric Scheduler for the 3-Phase Task Model

Jatin Arora, Syed Aftab Rashid, Cláudio Maia, Eduardo Tovar Published at 2022 IEEE 28th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)

Improved Bus Contention Analysis for 3-Phase Tasks

Jatin Arora, Syed Aftab Rashid, Geoffrey Nelissen, Cláudio Maia, Eduardo Tovar* Published at 29th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA’23)

Variability Analysis for Robot Operating System Applications

André Santos, Alcino Cunha, Nuno Macedo, Sara Melo, Ricardo Pereira Published at 2022 IEEE International Conference on Robotic Computing (IRC 2022)

Robustness-guided falsification of spatio-temporal properties

Tiago Sequeira, André Matos Pedro Published at Inforum 2024

Secure, Power Efficient, and Cost Effective NoC IP for Resource and Power Constrained Multi Processor Systems on Chip

Yilian Ribot González Published at The 32nd International Conference on Real-Time Networks and Systems (RTNS'24)

Featured publications