Imran Riaz Hasrat

According to our database, Imran Riaz Hasrat authored at least 4 papers between 2022 and 2024.

Collaborative distances:

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

2024

Modeling and Analysis of Cooperative Packet Recovery Protocol.

Muhammad Naeem, Muhammad Atif, Arshad Ali, Maryam Gulzar, Imran Riaz Hasrat

IEEE Access, 2024

2023

A toolchain for domestic heat-pump control using Uppaal Stratego.

Imran Riaz Hasrat, Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba

Sci. Comput. Program., August, 2023

Modelling of Hot Water Buffer Tank and Mixing Loop for an Intelligent Heat Pump Control.

Imran Riaz Hasrat, Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba

Proceedings of the Formal Methods for Industrial Critical Systems, 2023

2022

End-to-End Heat-Pump Control Using Continuous Time Stochastic Modelling and Uppaal Stratego.

Imran Riaz Hasrat, Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba

Proceedings of the Theoretical Aspects of Software Engineering, 2022