Imran Riaz Hasrat

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

Collaborative distances:

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

2025

Safety Verification and Optimization in Industrial Drive Systems.

Imran Riaz Hasrat, Eun-Young Kang, Christian Uldal Graulund

CoRR, March, 2025

Quantitative Assessment of Energy Efficiency, Comfort, and Safety in an Intelligent Heating System Under False Data Injection Attacks.

Imran Riaz Hasrat, Sani M. Abdullahi, Eun-Young Kang

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2025 Workshops, 2025

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