Parallel optical interconnects for enterprise class server clusters: needs and technology solutions. - John Trezza; Harald Hamster; Joseph Iamartino; Hamid Bagheri; Casimer M. DeCusatis (IEEE Commun. Mag., 2003)

Injecting security as aspectable NFR into Software Architecture. - Hamid Bagheri (APSEC, 2007)

An Aspect Enhanced Method of NFR Modeling in Software Architecture. - Hamid Bagheri; Seyed-Hassan Mirian-Hosseinabadi; Hesam Chiniforooshan Esfahani (ICIT, 2007)

An evaluation method for aspectual modeling of distributed software architectures. - Hamid Bagheri; Vajih Montaghami; Gholamreza Safi; Seyed-Hassan Mirian-Hosseinabadi (AICCSA, 2008)

Architecture as an Independent Variable for Aspect-Oriented Application Descriptions. - Hamid Bagheri; Kevin J. Sullivan (ASM, 2010)

Architectural style as an independent variable. - Hamid Bagheri; Yuanyuan Song; Kevin J. Sullivan (ASE, 2010)

Monarch: Model-Based Development of Software Architectures. - Hamid Bagheri; Kevin J. Sullivan (MoDELS (2), 2010)

A formal approach to software synthesis for architectural platforms. - Hamid Bagheri (ICSE, 2011)

A Formal Approach for Incorporating Architectural Tactics into the Software Architecture. - Hamid Bagheri; Kevin J. Sullivan (SEKE, 2011)

Pol: specification-driven synthesis of architectural code frameworks for platform-based applications. - Hamid Bagheri; Kevin J. Sullivan (GPCE, 2012)

Spacemaker: Practical Formal Synthesis of Tradeoff Spaces for Object-Relational Mapping. - Hamid Bagheri; Kevin J. Sullivan; Sang H. Son 001 (SEKE, 2012)

Bottom-up model-driven development. - Hamid Bagheri; Kevin J. Sullivan (ICSE, 2013)

TradeMaker: automated dynamic analysis of synthesized tradespaces. - Hamid Bagheri; Chong Tang 001; Kevin J. Sullivan (ICSE, 2014)

Automated detection and mitigation of inter-application security vulnerabilities in Android (invited talk). - Sam Malek; Hamid Bagheri; Alireza Sadeghi (DeMobile@SIGSOFT FSE, 2014)

Synthesis from Formal Partial Abstractions. - Hamid Bagheri (CoRR, 2014)

Detection of Design Flaws in the Android Permission Protocol Through Bounded Verification. - Hamid Bagheri; Eunsuk Kang; Sam Malek; Daniel Jackson 001 (FM, 2015)

Analysis of Android Inter-App Security Vulnerabilities Using COVERT. - Alireza Sadeghi; Hamid Bagheri; Sam Malek (ICSE (2), 2015)

SIG-Droid: Automated system input generation for Android applications. - Nariman Mirzaei; Hamid Bagheri; Riyadh Mahmood; Sam Malek (ISSRE, 2015)

A Study on the Role of Software Architecture in the Evolution and Quality of Software. - Ehsan Kouroshfar; Mehdi Mirakhorli; Hamid Bagheri; Lu Xiao 001; Sam Malek; Yuanfang Cai (MSR, 2015)

COVERT: Compositional Analysis of Android Inter-App Permission Leakage. - Hamid Bagheri; Alireza Sadeghi; Joshua Garcia; Sam Malek (IEEE Trans. Software Eng., 2015)

Practical, Formal Synthesis and Automatic Enforcement of Security Policies for Android. - Hamid Bagheri; Alireza Sadeghi; Reyhaneh Jabbarvand Behrouz; Sam Malek (DSN, 2016)

Architecture Modeling and Analysis of Security in Android Systems. - Bradley R. Schmerl; Jeff Gennari; Alireza Sadeghi; Hamid Bagheri; Sam Malek; Javier Cámara 001; David Garlan (ECSA, 2016)

Reducing combinatorics in GUI testing of android applications. - Nariman Mirzaei; Joshua Garcia; Hamid Bagheri; Alireza Sadeghi; Sam Malek (ICSE, 2016)

Energy-aware test-suite minimization for Android apps. - Reyhaneh Jabbarvand Behrouz; Alireza Sadeghi; Hamid Bagheri; Sam Malek (ISSTA, 2016)

Titanium: efficient analysis of evolving alloy specifications. - Hamid Bagheri; Sam Malek (SIGSOFT FSE, 2016)

Model-driven synthesis of formally precise, stylized software architectures. - Hamid Bagheri; Kevin J. Sullivan (Formal Aspects Comput., 2016)

Software architectural principles in contemporary mobile software: from conception to practice. - Hamid Bagheri; Joshua Garcia; Alireza Sadeghi; Sam Malek; Nenad Medvidovic (J. Syst. Softw., 2016)

Determination and Enforcement of Least-Privilege Architecture in Android. - Mahmoud Hammad; Hamid Bagheri; Sam Malek (ICSA, 2017)

Towards designing effective data persistence through tradeoff space analysis. - Chong Tang 001; Hamid Bagheri; Sarun Paisarnsrisomsuk; Kevin J. Sullivan (ICSE (Companion Volume), 2017)

Sentiment analysis of twitter data. - Hamid Bagheri; Md Johirul Islam (CoRR, 2017)

Automated Synthesis and Dynamic Analysis of Tradeoff Spaces for Object-Relational Mapping. - Hamid Bagheri; Chong Tang 001; Kevin J. Sullivan (IEEE Trans. Software Eng., 2017)

A Taxonomy and Qualitative Comparison of Program Analysis Techniques for Security Assessment of Android Software. - Alireza Sadeghi; Hamid Bagheri; Joshua Garcia; Sam Malek (IEEE Trans. Software Eng., 2017)

A temporal permission analysis and enforcement framework for Android. - Alireza Sadeghi; Reyhaneh Jabbarvand; Negar Ghorbani; Hamid Bagheri; Sam Malek (ICSE, 2018)

Efficient, Evolutionary Security Analysis of Interacting Android Apps. - Hamid Bagheri; Jianghao Wang; Jarod Aerts; Sam Malek (ICSME, 2018)

An evolutionary approach for analyzing Alloy specifications. - Jianghao Wang; Hamid Bagheri; Myra B. Cohen (ASE, 2018)

Modeling and testing a family of surgical robots: an experience report. - Niloofar Mansoor; Jonathan A. Saddler; Bruno Vieira Resende e Silva; Hamid Bagheri; Myra B. Cohen; Shane Farritor (ESEC/SIGSOFT FSE, 2018)

A formal approach for detection of security flaws in the android permission system. - Hamid Bagheri; Eunsuk Kang; Sam Malek; Daniel Jackson 001 (Formal Aspects Comput., 2018)

Security and Software Engineering. - Sam Malek; Hamid Bagheri; Joshua Garcia; Alireza Sadeghi (Handbook of Software Engineering, 2019)

Detecting Vulnerable Android Inter-App Communication in Dynamically Loaded Code. - Mohannad Alhanahnah; Qiben Yan; Hamid Bagheri; Hao Zhou 009; Yutaka Tsutano; Witawas Srisa-an; Xiapu Luo (INFOCOM, 2019)

Shared data science infrastructure for genomics data. - Hamid Bagheri; Usha Muppirala; Rick E. Masonbrink; Andrew J. Severin; Hridesh Rajan (BMC Bioinform., 2019)

DelDroid: An automated approach for determination and enforcement of least-privilege architecture in android. - Mahmoud Hammad; Hamid Bagheri; Sam Malek (J. Syst. Softw., 2019)

Platinum: Reusing Constraint Solutions in Bounded Analysis of Relational Logic. - Guolong Zheng; Hamid Bagheri; Gregg Rothermel; Jianghao Wang (FASE, 2020)

Investigating Controller Evolution and Divergence through Mining and Mutation*. - Balaji Balasubramaniam; Hamid Bagheri; Sebastian G. Elbaum; Justin M. Bradley (ICCPS, 2020)

Synthesis of assurance cases for software certification. - Hamid Bagheri; Eunsuk Kang; Niloofar Mansoor (ICSE (NIER), 2020)

Reducing run-time adaptation space via analysis of possible utility bounds. - Clay Stevens; Hamid Bagheri (ICSE, 2020)

Debugging Declarative Models in Alloy. - Guolong Zheng; Hamid Bagheri; ThanhVu Nguyen (ICSME, 2020)

Scalable analysis of interaction threats in IoT systems. - Mohannad Alhanahnah; Clay Stevens; Hamid Bagheri (ISSTA, 2020)

Detecting and correcting misclassified sequences in the large-scale public databases. - Hamid Bagheri; Andrew J. Severin; Hridesh Rajan (Bioinform., 2020)

DINA: Detecting Hidden Android Inter-App Communication in Dynamic Loaded Code. - Mohannad Alhanahnah; Qiben Yan; Hamid Bagheri; Hao Zhou 009; Yutaka Tsutano; Witawas Srisa-an; Xiapu Luo (IEEE Trans. Inf. Forensics Secur., 2020)

Bounded Exhaustive Search of Alloy Specification Repairs. - Simón Gutiérrez Brida; Germán Regis; Guolong Zheng; Hamid Bagheri; ThanhVu Nguyen; Nazareno Aguirre; Marcelo F. Frias (ICSE, 2021)

Artifact of Bounded Exhaustive Search of Alloy Specification Repairs. - Simón Gutiérrez Brida; Germán Regis; Guolong Zheng; Hamid Bagheri; ThanhVu Nguyen; Nazareno Aguirre; Marcelo F. Frias (ICSE (Companion Volume), 2021)

FLACK: Counterexample-Guided Fault Localization for Alloy Models. - Guolong Zheng; ThanhVu Nguyen; Simón Gutiérrez Brida; Germán Regis; Marcelo F. Frias; Nazareno Aguirre; Hamid Bagheri (ICSE, 2021)

Artifact of 'FLACK: Counterexample-Guided Fault Localization for Alloy Models'. - Guolong Zheng; ThanhVu Nguyen; Simón Gutiérrez Brida; Germán Regis; Marcelo F. Frias; Nazareno Aguirre; Hamid Bagheri (ICSE (Companion Volume), 2021)

BeAFix: An Automated Repair Tool for Faulty Alloy Models. - Simón Gutiérrez Brida; Germán Regis; Guolong Zheng; Hamid Bagheri; ThanhVu Nguyen; Nazareno Aguirre; Marcelo F. Frias (ASE, 2021)

FLACK: Localizing Faults in Alloy Models. - Guolong Zheng; ThanhVu Nguyen; Simón Gutiérrez Brida; Germán Regis; Marcelo F. Frias; Nazareno Aguirre; Hamid Bagheri (ASE, 2021)

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 (MobiQuitous, 2021)

Flair: efficient analysis of Android inter-component vulnerabilities in response to incremental changes. - Hamid Bagheri; Jianghao Wang; Jarod Aerts; Negar Ghorbani; Sam Malek (Empir. Softw. Eng., 2021)

SAINTDroid: Scalable, Automated Incompatibility Detection for Android. - Bruno Vieira Resende e Silva; Clay Stevens; Niloofar Mansoor; Witawas Srisa-an; Tingting Yu 001; Hamid Bagheri (DSN, 2022)

Combining solution reuse and bound tightening for efficient analysis of evolving systems. - Clay Stevens; Hamid Bagheri (ISSTA, 2022)

ATR: template-based repair for Alloy specifications. - Guolong Zheng; ThanhVu Nguyen; Simón Gutiérrez Brida; Germán Regis; Nazareno Aguirre; Marcelo F. Frias; Hamid Bagheri (ISSTA, 2022)

ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications. - Simón Gutiérrez Brida; Germán Regis; Guolong Zheng; Hamid Bagheri; ThanhVu Nguyen; Nazareno Aguirre; Marcelo F. Frias (ASE, 2022)

Parasol: efficient parallel synthesis of large model spaces. - Clay Stevens; Hamid Bagheri (ESEC/SIGSOFT FSE, 2022)

An Empirical Study Assessing Software Modeling in Alloy. - Niloofar Mansoor; Hamid Bagheri; Eunsuk Kang; Bonita Sharif (FormaliSE, 2023)

µAkka: Mutation Testing for Actor Concurrency in Akka using Real-World Bugs. - Mohsen Moradi-Moghadam; Mehdi Bagherzadeh 001; Raffi Khatchadourian; Hamid Bagheri (ESEC/SIGSOFT FSE, 2023)

Characterizing Bugs in Python and R Data Analytics Programs. - Shibbir Ahmed; Mohammad Wardat; Hamid Bagheri; Breno Dantas Cruz; Hridesh Rajan (CoRR, 2023)

Automated Repair of Declarative Software Specifications in the Era of Large Language Models. - Md Rashedul Hasan; Jiawei Li; Iftekhar Ahmed 001; Hamid Bagheri (CoRR, 2023)

IoTCom: Dissecting Interaction Threats in IoT Systems. - Mohannad Alhanahnah; Clay Stevens; Bocheng Chen; Qiben Yan; Hamid Bagheri (IEEE Trans. Software Eng., 2023)

Leveraging Machine Learning for Optimal Object-Relational Database Mapping in Software Systems. - Sasan Azizian; Elham Rastegari; Hamid Bagheri (AIware, 2024)

Neuro-Symbolic Approach to Certified Scientific Software Synthesis. - Hamid Bagheri; Mehdi Mirakhorli; Mohamad Fazelnia; Ibrahim Mujhid; Md Rashedul Hasan (AIware, 2024)

Scalable Verification of Multi-ACK Properties in Loss-Based Congestion Control Implementations. - Minh Vu; Hamid Bagheri; Lisong Xu; Wei Sun 044; Mingrui Zhang (ICNP, 2024)

Scalable Relational Analysis via Relational Bound Propagation. - Clay Stevens; Hamid Bagheri (ICSE, 2024)

Translation Titans, Reasoning Challenges: Satisfiability-Aided Language Models for Detecting Conflicting Requirements. - Mohamad Fazelnia; Mehdi Mirakhorli; Hamid Bagheri (ASE, 2024)

An Empirical Evaluation of Pre-trained Large Language Models for Repairing Declarative Formal Specifications. - Mohannad Alhanahnah; Md Rashedul Hasan; Hamid Bagheri (CoRR, 2024)

Carving Out Control Code: Automated Identification of Control Software in Autopilot Systems. - Balaji Balasubramaniam; Iftekhar Ahmed 001; Hamid Bagheri; Justin M. Bradley (ACM Trans. Cyber Phys. Syst., 2024)

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 (DSN, 2025)

Accuracy Evaluation of TCP FlightSize Estimation: Analytical and Experimental Study. - Mingrui Zhang; Phuong Ha; Hamid Bagheri; Lisong Xu (ICNC, 2025)

Unlocking Optimal ORM Database Designs: Accelerated Tradeoff Analysis with Transformers. - Md Rashedul Hasan; Mohammad Rashedul Hasan; Hamid Bagheri (Proc. ACM Softw. Eng., 2025)

How do developers use type inference: an exploratory study in Kotlin. - Samuel W. Flint; Ali M. Keshk; Robert Dyer 001; Hamid Bagheri (Empir. Softw. Eng., 2025)