Muhammad Tanveer Ali Ahmad

According to our database, Muhammad Tanveer Ali Ahmad authored at least 2 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

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

Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, 2024

2022

Verifying Liveness and Real-Time of OS-Based Embedded Software.

Leandro Batista Ribeiro, Drona Nagarajan, Vignesh Manjunath, Muhammad Tanveer Ali Ahmad, Marcel Baunach

Proceedings of the 25th Euromicro Conference on Digital System Design, 2022