Skip to content

Imran Mahmood

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

12

Venues

3

Active years

2008–2025

Best venue rank

National

Where they publish

Papers

12 indexed papers, newest first.

YearVenueTitleAuthors
2025WSCHierarchical Population Synthesis Using a Neural-Differentiable Programming Approach.Imran Mahmood, Anisoara Calinescu, Michael J. Wooldridge
2021ICCSTowards a Coupled Migration and Weather Simulation: South Sudan Conflict.Alireza Jahani, Hamid Arabnejad, Diana Suleimenova, Milana Vuckovic, Imran Mahmood, Derek Groen
2021WSCComposability Verification of Complex Systems Using Colored Petri Nets.Imran Mahmood, Syed Hassan Askari, Hessam S. Sarjoughian
2020ICCSTowards 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 Krll, Bernhard C. Geiger, Robert Elssser, Dennis Hoppe
2020ICCSAn Agent-Based Simulation of the Spread of Dengue Fever.Imran Mahmood, Mishal Jahan, Derek Groen, Aneela Javed, Faisal Shafait
2020WSCModeling the Water-Energy Nexus for the Phoenix Active Management Area.Mostafa D. Fard, Hessam S. Sarjoughian, Imran Mahmood, Adil Mounir, Xin Guan, Giuseppe Mascaro
2018WSCDynamic 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
2018WSCModeling Safest and Optimal Emergency Evacuation Plan for Large-Scale Pedestrians Environments.Muhammad Haris, Imran Mahmood, Maryam Badar, Muhammad Saad Qaisar Alvi
2017PADSAnalyzing Emergency Evacuation Strategies for Mass Gatherings using Crowd Simulation And Analysis framework: Hajj Scenario.Imran Mahmood, Muhammad Haris, Hessam S. Sarjoughian
2012PADSVerifying Dynamic Semantic Composability of BOM-Based Composed Models Using Colored Petri Nets.Imran Mahmood, Rassul Ayani, Vladimir Vlassov, Farshad Moradi
2011PADSFairness Verification of BOM-Based Composed Models Using Petri Nets.Imran Mahmood, Rassul Ayani, Vladimir Vlassov, Farshad Moradi
2008PADSAn Agent-Based Environment for Simulation Model Composition.Farshad Moradi, Rassul Ayani, Imran Mahmood