关注
Imran Riaz Hasrat
Imran Riaz Hasrat
PhD Student, Aalborg University, Denmark
在 cs.aau.dk 的电子邮件经过验证
标题
引用次数
引用次数
年份
Optimization of power-to-heat flexibility for residential buildings in response to day-ahead electricity price
H Golmohamadi, KG Larsen, PG Jensen, IR Hasrat
Energy and Buildings 232, 110665, 2021
472021
Integration of flexibility potentials of district heating systems into electricity markets: A review
H Golmohamadi, KG Larsen, PG Jensen, IR Hasrat
Renewable and Sustainable Energy Reviews 159, 112200, 2022
402022
Hierarchical flexibility potentials of residential buildings with responsive heat pumps: A case study of Denmark
H Golmohamadi, KG Larsen, PG Jensen, IR Hasrat
Journal of Building Engineering 41, 102425, 2021
172021
End-to-End Heat-Pump Control Using Continuous Time Stochastic Modelling and Uppaal Stratego
IR Hasrat, PG Jensen, KG Larsen, J Srba
International Symposium on Theoretical Aspects of Software Engineering, 363-380, 2022
42022
Formal analysis and verification of agent-oriented supply-chain management
MZ Shoukat, M Atif, IR Hasrat, N Mushtaq, A Ijaz
International Journal of Advanced Computer Science and Applications 9 (6), 2018
22018
A toolchain for domestic heat-pump control using Uppaal Stratego
IR Hasrat, PG Jensen, KG Larsen, J Srba
Science of Computer Programming 230, 102987, 2023
12023
Modeling and Analysis of Cooperative Packet Recovery Protocol
M Naeem, M Atif, A Ali, M Gulzar, IR Hasrat
IEEE Access, 2024
2024
Modelling of Hot Water Buffer Tank and Mixing Loop for an Intelligent Heat Pump Control
IR Hasrat, PG Jensen, KG Larsen, J Srba
International Conference on Formal Methods for Industrial Critical Systems …, 2023
2023
Formal Specification and Analysis of Termination Detection by Weight-throwing Protocol
IR Hasrat, M Atif, M Naeem
International Journal of Advanced Computer Science and Applications 9 (4), 2018
2018
系统目前无法执行此操作,请稍后再试。
文章 1–9