| 2025 | DSN | Towards More Dependable Specifications: An Empirical Study Exploring the Synergy of Traditional and LLM-Based Repair Approaches. | Md Rashedul Hasan, Mohannad Alhanahnah, Clay Stevens, Hamid Bagheri |
| 2024 | ICNP | Scalable Verification of Multi-ACK Properties in Loss-Based Congestion Control Implementations. | Minh Vu, Hamid Bagheri, Lisong Xu, Wei Sun, Mingrui Zhang |
| 2024 | ICSE | Scalable Relational Analysis via Relational Bound Propagation. | Clay Stevens, Hamid Bagheri |
| 2024 | SSBSE | Evolutionary Analysis of Alloy Specifications with an Adaptive Fitness Function. | Jianghao Wang, Clay Stevens, Brooke Kidmose, Myra B. Cohen, Hamid Bagheri |
| 2022 | DSN | SAINTDroid: Scalable, Automated Incompatibility Detection for Android. | Bruno Vieira Resende e Silva, Clay Stevens, Niloofar Mansoor, Witawas Srisa-an, Tingting Yu, Hamid Bagheri |
| 2022 | ISSTA | Combining solution reuse and bound tightening for efficient analysis of evolving systems. | Clay Stevens, Hamid Bagheri |
| 2022 | ISSTA | ATR: template-based repair for Alloy specifications. | Guolong Zheng, ThanhVu Nguyen, Simn Gutirrez Brida, Germn Regis, Nazareno Aguirre, Marcelo F. Frias, Hamid Bagheri |
| 2021 | ICSE | Bounded Exhaustive Search of Alloy Specification Repairs. | Simn Gutirrez Brida, Germn Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias |
| 2021 | ICSE | Artifact of Bounded Exhaustive Search of Alloy Specification Repairs. | Simn Gutirrez Brida, Germn Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias |
| 2021 | ICSE | FLACK: Counterexample-Guided Fault Localization for Alloy Models. | Guolong Zheng, ThanhVu Nguyen, Simn Gutirrez Brida, Germn Regis, Marcelo F. Frias, Nazareno Aguirre, Hamid Bagheri |
| 2021 | ICSE | Artifact of 'FLACK: Counterexample-Guided Fault Localization for Alloy Models'. | Guolong Zheng, ThanhVu Nguyen, Simn Gutirrez Brida, Germn Regis, Marcelo F. Frias, Nazareno Aguirre, Hamid Bagheri |
| 2021 | Mobiquitous | SEMEO: A Semantic Equivalence Analysis Framework for Obfuscated Android Applications. | Zhen Hu, Bruno Vieira Resende e Silva, Hamid Bagheri, Witawas Srisa-an, Gregg Rothermel, Jackson Dinh |
| 2020 | FASE | Platinum: Reusing Constraint Solutions in Bounded Analysis of Relational Logic. | Guolong Zheng, Hamid Bagheri, Gregg Rothermel, Jianghao Wang |
| 2020 | ICSE | Synthesis of assurance cases for software certification. | Hamid Bagheri, Eunsuk Kang, Niloofar Mansoor |
| 2020 | ICSE | Reducing run-time adaptation space via analysis of possible utility bounds. | Clay Stevens, Hamid Bagheri |
| 2020 | ISSTA | Scalable analysis of interaction threats in IoT systems. | Mohannad Alhanahnah, Clay Stevens, Hamid Bagheri |
| 2019 | INFOCOM | Detecting Vulnerable Android Inter-App Communication in Dynamically Loaded Code. | Mohannad Alhanahnah, Qiben Yan, Hamid Bagheri, Hao Zhou, Yutaka Tsutano, Witawas Srisa-an, Xiapu Luo |
| 2018 | ICSE | A temporal permission analysis and enforcement framework for Android. | Alireza Sadeghi, Reyhaneh Jabbarvand, Negar Ghorbani, Hamid Bagheri, Sam Malek |
| 2017 | ICSA | Determination and Enforcement of Least-Privilege Architecture in Android. | Mahmoud Hammad, Hamid Bagheri, Sam Malek |
| 2017 | ICSE | Towards designing effective data persistence through tradeoff space analysis. | Chong Tang, Hamid Bagheri, Sarun Paisarnsrisomsuk, Kevin J. Sullivan |
| 2016 | DSN | Practical, Formal Synthesis and Automatic Enforcement of Security Policies for Android. | Hamid Bagheri, Alireza Sadeghi, Reyhaneh Jabbarvand Behrouz, Sam Malek |
| 2016 | ECSA | Architecture Modeling and Analysis of Security in Android Systems. | Bradley R. Schmerl, Jeff Gennari, Alireza Sadeghi, Hamid Bagheri, Sam Malek, Javier Cmara, David Garlan |
| 2016 | ICSE | Reducing combinatorics in GUI testing of android applications. | Nariman Mirzaei, Joshua Garcia, Hamid Bagheri, Alireza Sadeghi, Sam Malek |
| 2016 | ISSTA | Energy-aware test-suite minimization for Android apps. | Reyhaneh Jabbarvand Behrouz, Alireza Sadeghi, Hamid Bagheri, Sam Malek |
| 2015 | FM | Detection of Design Flaws in the Android Permission Protocol Through Bounded Verification. | Hamid Bagheri, Eunsuk Kang, Sam Malek, Daniel Jackson |
| 2015 | ICSE | Analysis of Android Inter-App Security Vulnerabilities Using COVERT. | Alireza Sadeghi, Hamid Bagheri, Sam Malek |
| 2015 | ISSRE | SIG-Droid: Automated system input generation for Android applications. | Nariman Mirzaei, Hamid Bagheri, Riyadh Mahmood, Sam Malek |
| 2015 | MSR | A Study on the Role of Software Architecture in the Evolution and Quality of Software. | Ehsan Kouroshfar, Mehdi Mirakhorli, Hamid Bagheri, Lu Xiao, Sam Malek, Yuanfang Cai |
| 2014 | ICSE | TradeMaker: automated dynamic analysis of synthesized tradespaces. | Hamid Bagheri, Chong Tang, Kevin J. Sullivan |
| 2013 | ICSE | Bottom-up model-driven development. | Hamid Bagheri, Kevin J. Sullivan |
| 2012 | GPCE | Pol: specification-driven synthesis of architectural code frameworks for platform-based applications. | Hamid Bagheri, Kevin J. Sullivan |
| 2012 | SEKE | Spacemaker: Practical Formal Synthesis of Tradeoff Spaces for Object-Relational Mapping. | Hamid Bagheri, Kevin J. Sullivan, Sang H. Son |
| 2011 | ICSE | A formal approach to software synthesis for architectural platforms. | Hamid Bagheri |
| 2011 | SEKE | A Formal Approach for Incorporating Architectural Tactics into the Software Architecture. | Hamid Bagheri, Kevin J. Sullivan |
| 2010 | MODELS | Monarch: Model-Based Development of Software Architectures. | Hamid Bagheri, Kevin J. Sullivan |
| 2008 | AICCSA | An evaluation method for aspectual modeling of distributed software architectures. | Hamid Bagheri, Vajih Montaghami, Gholamreza Safi, Seyed-Hassan Mirian-Hosseinabadi |
| 2007 | APSEC | Injecting security as aspectable NFR into Software Architecture. | Hamid Bagheri |
| 2007 | CIT | An Aspect Enhanced Method of NFR Modeling in Software Architecture. | Hamid Bagheri, Seyed-Hassan Mirian-Hosseinabadi, Hesam Chiniforooshan Esfahani |