An Agent-Based Environment for Simulation Model Composition. - Farshad Moradi; Rassul Ayani; Imran Mahmood (PADS, 2008)

Statemachine Matching in BOM Based Model Composition. - Imran Mahmood; Rassul Ayani; Vladimir Vlassov; Farshad Moradi (DS-RT, 2009)

Fairness Verification of BOM-Based Composed Models Using Petri Nets. - Imran Mahmood; Rassul Ayani; Vladimir Vlassov; Farshad Moradi (PADS, 2011)

Verifying Dynamic Semantic Composability of BOM-Based Composed Models Using Colored Petri Nets. - Imran Mahmood; Rassul Ayani; Vladimir Vlassov; Farshad Moradi (PADS, 2012)

Composability Verification of Real Time System Models Using Colored Petri Nets. - Imran Mahmood; Rassul Ayani; Vladimir Vlassov; Farshad Moradi (UKSim, 2013)

A Verification Framework for Component Based Modeling and Simulation : "Putting the pieces together". - Imran Mahmood (2013)

Smart Solutions for Smart Cities: Using Wireless Sensor Network for Smart Dumpster Management. - Sahar Idwan; Junaid Ahmed Zubairi; Imran Mahmood (CTS, 2016)

Energy consumption of traditional simulation protocol over SmartPhones: an empirical study (WIP). - Asad W. Malik; Imran Mahmood; Aakash Parkash (SummerSim, 2016)

Prediction of gait events in walking activities with a Bayesian perception system. - Uriel Martinez-Hernandez; Mohammed I. Awad; Imran Mahmood; Abbas A. Dehghani-Sanij (ICORR, 2017)

Analyzing Emergency Evacuation Strategies for Mass Gatherings using Crowd Simulation And Analysis framework: Hajj Scenario. - Imran Mahmood; Muhammad Haris 001; Hessam S. Sarjoughian (SIGSIM-PADS, 2017)

Crash me inside the cloud: a fault resilient framework for parallel and discrete event simulation. - Asad W. Malik; Imran Mahmood (SummerSim, 2017)

SEECSSim - A Parallel and Distributed Simulation Framework for Mobile Devices. - Fahad Maqbool; Asad Waqar Malik; Imran Mahmood; Gabriele D'Angelo (DS-RT, 2018)

Experiments in Routing Vehicles for Municipal Services. - Imran Mahmood; Junaid Ahmed Zubairi; Sahar Idwan; Izzeddin Matar (HPCS, 2018)

Dynamic Behavioural Modeling, simulation and Analysis of Household water Consumption in an Urban Area: a Hybrid Approach. - Muhammad Saad Qaisar Alvi; Imran Mahmood; Fahad Javed; Asad Waqar Malik; Hessam S. Sarjoughian (WSC, 2018)

Modeling Safest and Optimal Emergency Evacuation Plan for Large-Scale Pedestrians Environments. - Muhammad Haris 001; Imran Mahmood; Maryam Badar; Muhammad Saad Qaisar Alvi (WSC, 2018)

An Integrated Modeling, Simulation and Analysis Framework for Engineering Complex Systems. - Imran Mahmood; Tameen Kausar; Hessam S. Sarjoughian; Asad Waqar Malik; Muhammad Naveed Riaz (IEEE Access, 2019)

Big Data in Motion: A Vehicle-Assisted Urban Computing Framework for Smart Cities. - Murk; Asad Waqar Malik; Imran Mahmood; Nadeem Ahmed; Zahid Anwar (IEEE Access, 2019)

A graphical method for ranking Atanassov's intuitionistic fuzzy values using the uncertainty index and entropy. - Muhammad Irfan Ali; Feng Feng 003; Tahir Mahmood 002; Imran Mahmood; Haider Faizan (Int. J. Intell. Syst., 2019)

Towards Accurate Simulation of Global Challenges on Data Centers Infrastructures via Coupling of Models and Data Sources. - Sergiy Gogolenko; Derek Groen; Diana Suleimenova; Imran Mahmood; Marcin Lawenda; Francisco Javier Nieto de Santos; John Hanley; Milana Vuckovic; Mark Kröll; Bernhard C. Geiger; Robert Elsässer; Dennis Hoppe (ICCS (6), 2020)

An Agent-Based Simulation of the Spread of Dengue Fever. - Imran Mahmood; Mishal Jahan; Derek Groen; Aneela Javed; Faisal Shafait (ICCS (3), 2020)

Modeling the Water-Energy Nexus for the Phoenix Active Management Area. - Mostafa D. Fard; Hessam S. Sarjoughian; Imran Mahmood; Adil Mounir; Xin Guan; Giuseppe Mascaro (WSC, 2020)

Dynamic Modeling and Heat Flow Study of a Thermal Power Plant Using OpenModelica. - Hafeez Anjum; Azhar Ul-Haq; Imran Mahmood (IEEE Access, 2020)

Sustainable Vehicle-Assisted Edge Computing for Big Data Migration in Smart Cities. - Maria Kanwal; Asad Waqar Malik; Anis Ur Rahman 001; Imran Mahmood; Muhammad Shahzad 002 (IEEE Internet Things J., 2020)

A hierarchical multi-resolution agent-based modeling and simulation framework for household electricity demand profile. - Imran Mahmood; Quair-tul-ain; Hasan Arshad Nasir; Fahad Javed; José A. Aguado (Simul., 2020)

Optimal Management of Solid Waste in Smart Cities using Internet of Things. - Sahar Idwan; Imran Mahmood; Junaid Ahmed Zubairi; Izzeddin Matar (Wirel. Pers. Commun., 2020)

Towards a Coupled Migration and Weather Simulation: South Sudan Conflict. - Alireza Jahani; Hamid Arabnejad; Diana Suleimenova; Milana Vuckovic; Imran Mahmood; Derek Groen (ICCS (5), 2021)

P-Flee: An Efficient Parallel Algorithm for Simulating Human Migration. - Petros Anastasiadis; Sergiy Gogolenko; Nikela Papadopoulou; Marcin Lawenda; Hamid Arabnejad; Alireza Jahani; Imran Mahmood; Derek Groen (IPDPS Workshops, 2021)

Composability Verification of Complex Systems Using Colored Petri Nets. - Imran Mahmood; Syed Hassan Askari; Hessam S. Sarjoughian (WSC, 2021)

SEECSSim: A toolkit for parallel and distributed simulations for mobile devices. - Fahad Maqbool; Asad Waqar Malik; Syed Meesam Raza Naqvi; Nadeem Ahmed; Gabriele D'Angelo; Imran Mahmood (J. Simulation, 2021)

The impact of uncertainty on predictions of the CovidSim epidemiological code. - Wouter Edeling; Hamid Arabnejad; Robert Sinclair; Diana Suleimenova; Krishnakumar Gopalakrishnan; Bartosz Bosak; Derek Groen; Imran Mahmood; Daan Crommelin; Peter V. Coveney (Nat. Comput. Sci., 2021)

A Water Evaluation and Planning-based framework for the long-term prediction of urban water demand and supply. - Arfa Saleem; Imran Mahmood; Hessam S. Sarjoughian; Hasan Arshad Nasir; Asad Waqar Malik (Simul., 2021)

A Demand Response-Based Solution to Overloading in Underdeveloped Distribution Networks. - Muhammad Jibran; Hasan Arshad Nasir; Faran A. Qureshi; Usman Ali 002; Colin N. Jones; Imran Mahmood (IEEE Trans. Smart Grid, 2021)

Detection and Grading of Hypertensive Retinopathy Using Vessels Tortuosity and Arteriovenous Ratio. - Sufian AlBadawi; Muhammad Moazam Fraz; Muhammad Shehzad; Imran Mahmood; Sajid Javed; Emad Mosalam; Ajay Kamath Nileshwar (J. Digit. Imaging, 2022)

FACS: A geospatial agent-based simulator for analysing COVID-19 spread and public health measures on local regions. - Imran Mahmood; Hamid Arabnejad; Diana Suleimenova; Isabel Sassoon; Alaa Marshan; Alan Edwin Serrano-Rico; Panos Louvieris; Anastasia Anagnostou; Simon J. E. Taylor; David Bell; Derek Groen (J. Simulation, 2022)

Evaluation of an ankle-foot orthosis effect on gait transitional stability during ramp ascent/descent. - Imran Mahmood; Anam Raza; Hafiz Farhan Maqbool; Abbas A. Dehghani-Sanij (Medical Biol. Eng. Comput., 2022)

Modelling and analysis of orthoses generated whole-body vertical vibrations impact on limb stability and compliant dynamics in a ramp gait. - Imran Mahmood; Muhammad Zia Ur Rahman 002; Abbas A. Dehghani-Sanij (Biomed. Signal Process. Control., 2023)

A Verification Framework for Component-Based Modeling and Simulation Putting the pieces together. - Imran Mahmood (CoRR, 2023)

Exploring The Dynamics of Gene Drive Mosquitoes Within Wild Populations Using an Agent-Based Simulation. - Sureni Wickramasooriya; Imran Mahmood; Anisoara Calinescu; Michael J. Wooldridge; Gregory Lanzaro (ANNSIM, 2024)

A multi-objective combinatorial optimisation framework for large scale hierarchical population synthesis. - Imran Mahmood; Nicholas Bishop; Anisoara Calinescu; Michael J. Wooldridge; Ioannis Zachos (CoRR, 2024)