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 (TASE, 2022)

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 (FMICS, 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., 2023)

Modeling and Analysis of Cooperative Packet Recovery Protocol. - Muhammad Naeem 011; Muhammad Atif; Arshad Ali 002; Maryam Gulzar; Imran Riaz Hasrat (IEEE Access, 2024)

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 001 (SAFECOMP (Workshops), 2025)

Safety Verification and Optimization in Industrial Drive Systems. - Imran Riaz Hasrat; Eun-Young Kang 001; Christian Uldal Graulund (CoRR, 2025)