Muhammad Rizwan Ali

According to our database, Muhammad Rizwan Ali authored at least 5 papers between 2021 and 2023.

Collaborative distances:

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

2023

Cost analysis for a resource sensitive workflow modelling language.

Muhammad Rizwan Ali, Yngve Lamo, Violet Ka I Pun

Sci. Comput. Program., 2023

A Static Analyser for Resource Sensitive Workflow Models.

Muhammad Rizwan Ali, Violet Ka I Pun

Proceedings of the Theoretical Aspects of Software Engineering, 2023

2021

Petri Net based modeling and analysis for improved resource utilization in cloud computing.

Muhammad Rizwan Ali, Farooq Ahmad, Muhammad Hasanain Chaudary, Zuhaib Ashfaq Khan, Mohammed Alqahtani, Jehad Alqurni, Zahid Ullah, Wasim Ullah Khan

PeerJ Comput. Sci., 2021

Cost Analysis for an Actor-Based Workflow Modelling Language.

Muhammad Rizwan Ali, Violet Ka I Pun

Proceedings of the Formal Methods: Foundations and Applications - 24th Brazilian Symposium, 2021

Towards a Resource-Aware Formal Modelling Language for Workflow Planning.

Muhammad Rizwan Ali, Violet Ka I Pun

Proceedings of the Advances in Model and Data Engineering in the Digitalization Era, 2021