Skip to content
GET IN TOUCH
Year
Research area
Topic
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

Read More
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)

Read More
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)

Read More
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)

Read More
Robustness-guided falsification of spatio-temporal properties
Tiago Sequeira, André Matos Pedro Published at Inforum 2024

Read More
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)

Read More
Secure Over the Air Updates in Automative Industry
Fernando Alves, João Salvado, Munkenyi Mukhandi

Read More
ROBUST: 221 bugs in the Robot Operating System
Cristopher S. Timperley, Gijs van der Hoorn, André Santos, Harshavardhan Deshpande, Andrzej Wąsowski Published at Empir Software Eng 29, 57 (2024). https://doi.org/10.1007/s10664-024-10440-0

Read More
Enhanced authentication and device integrity protection for GDOI using blockchain
Munkenyi Mukhandi, Eduardo Andrade, Jorge Granjal, João P. Vilela Published at Transactions on Emerging Telecommunications Technologies, 35(5). (2024). https://doi.org/10.1002/ett.4986

Read More
shape
Privacy Overview

This website uses cookies so that we can provide you with the best user experience possible. Cookie information is stored in your browser and performs functions such as recognising you when you return to our website and helping our team to understand which sections of the website you find most interesting and useful.