| 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 | 46 | 2021 |
| 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 | 37 | 2022 |
| 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 | 15 | 2021 |
| 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 | 4 | 2022 |
| 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 | 2 | 2018 |
| 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 | 1 | 2023 |
| 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 |
