Muhammad Tanveer Ali Ahmad

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 2

Top Topics

Interprocess Communication

Embedded Software

Operating System

Top Venues

Publications

Muhammad Tanveer Ali Ahmad, Michael Krisper, Leandro Batista Ribeiro, Marcel Baunach
Avoiding Empty Instances and Offset Drifts of Basic Sequencer Tasks in Automotive Operating System. SAC (2024)
Leandro Batista Ribeiro, Drona Nagarajan, Vignesh Manjunath, Muhammad Tanveer Ali Ahmad, Marcel Baunach
Verifying Liveness and Real-Time of OS-Based Embedded Software. DSD (2022)