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)

A framework for static analysis and verification of low-level RTOS code. - Vignesh Manjunath; Marcel Baunach (J. Syst. Archit., 2024)

Formal Modeling and Verification of Low-Level AUTOSAR OS Specifications: Towards Portability and Correctness. - Vignesh Manjunath; Tobias Scheipel; Marcel Baunach (SAC, 2025)