Discover the academic papers, case studies, and technical reports that showcase our expertise and thought leadership.
FINGER – Privacy Monitoring Plugin for Google Chrome
Towards a Secure Resource Sharing Architecture in Connected Vehicles
Published at 2025 12th International Conference on Future Internet of Things and Cloud (FiCloud)
Robust Spatio-Temporal Logic Semantics for Autonomous Driving Systems Falsification
Published at Formal Methods for Industrial Critical Systems. FMICS 2025
A New Rules Balance Track for the Pokémon VGC AI Competition 2.0
Published at IEEE Conference on Games 2025
Monitoring of Spatio-Temporal Properties with Nonlinear SAT Solvers
Published at FMICS22 - Formal Methods for Industrial Critical Systems
Analyzing Fixed Task Priority Based Memory Centric Scheduler for the 3-Phase Task Model
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
Published at 29th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA’23)
Variability Analysis for Robot Operating System Applications
Published at 2022 IEEE International Conference on Robotic Computing (IRC 2022)
