Discover the academic papers, case studies, and technical reports that showcase our expertise and thought leadership.
Safety-Centric Architecture for AI-Enabled Autonomous Driving Systems
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)
Secure, Power Efficient, and Cost Effective NoC IP for Resource and Power Constrained Multi Processor Systems on Chip
Published at The 32nd International Conference on Real-Time Networks and Systems (RTNS'24)
ROBUST: 221 bugs in the Robot Operating System
Published at Empir Software Eng 29, 57 (2024). https://doi.org/10.1007/s10664-024-10440-0
