Muhammad Naeem

Affiliations:

According to our database¹, Muhammad Naeem authored at least 3 papers between 2024 and 2026.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

Efficient Multi-level Mine Dewatering Using Uppaal Stratego.

[DOI]

Proceedings of the Formal Methods - 27th International Symposium, 2026

2025

Contract-Based Verification of Digital Twins.

[DOI]

Proceedings of the Engineering of Complex Computer Systems - 29th International Conference, 2025

2024

A Service-Oriented Digital Twin Framework for Dynamic and Robust Distributed Systems.

[DOI]

Proceedings of the IEEE International Conference on Software Services Engineering, 2024