Verifying Liveness and Real-Time of OS-Based Embedded Software. - Leandro Batista Ribeiro; Drona Nagarajan; Vignesh Manjunath; Muhammad Tanveer Ali Ahmad; Marcel Baunach (DSD, 2022)

Avoiding Empty Instances and Offset Drifts of Basic Sequencer Tasks in Automotive Operating System. - Muhammad Tanveer Ali Ahmad; Michael Krisper; Leandro Batista Ribeiro; Marcel Baunach (SAC, 2024)

A Scalable Approach for Memory Optimization in AUTOSAR Schedule Tables. - Muhammad Tanveer Ali Ahmad; Jesús Pestana; Michael Krisper; Marcel Baunach (SAC, 2025)