2025

• How do developers use type inference: an exploratory study in Kotlin 

  Empirical Software Engineering 30, 55 (2025) (Springer EMSE), 2025.

• Accuracy Evaluation of TCP FlightSize Estimation: Analytical and Experimental Study  

  2025 International Conference on Computing, Networking and Communications (ICNC), 2025

• Toward Non-Expert Customized Congestion Control  

  2025 IEEE International Conference on Communications (ICC), 2025

2024

• Carving out Control Code: Automated Identification of Control Software in Autopilot Systems 

  ACM Transactions on Cyber-Physical Systems (ACM TCPS), 2024.

• Scalable Relational Analysis via Relational Bound Propagation  

  46th International Conference on Software Engineering (ICSE), 2024
  Acceptance Rate: 15%

• Neuro-Symbolic Approach to Certified Scientific Software Synthesis  

  ACM International Conference on AI-powered Software (AIware), 2024

• Scalable Verification of Multi-ACK Properties in Loss-Based Congestion Control Implementations  

  32nd IEEE International Conference on Network Protocols (ICNP), 2024
  Acceptance Rate: 24%

• Translation Titans, Reasoning Challenges: Satisfiability-Aided Language Models for Detecting Conflicting Requirements  

  39th IEEE/ACM International Conference on Automated Software Engineering (ASE 2024) – New Ideas and Emerging Results, 2024

• Leveraging Machine Learning for Optimal Object-Relational Database Mapping in Software Systems  

  ACM International Conference on AI-powered Software (AIware), 2024

• Evolutionary Analysis of Alloy Specifications with an Adaptive Fitness Function  

  16th International Symposium on Search-Based Software Engineering (SSBSE), 2024

2023

• IoTCOM: Dissecting Interaction Threats in IoT Systems 

  IEEE Transactions on Software Engineering (IEEE TSE), 2023.

• 𝜇Akka: Mutation Testing for Actor Concurrency in Akka Using Real-World Bugs  

  ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), 2023

• An Empirical Study Assessing Software Modeling in Alloy  
  Best Paper Award

  International Conference on Formal Methods in Software Engineering (FormaliSE), 2023

2022

• Parasol: Efficient Parallel Synthesis of Large Model Spaces  

  ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), 2022
  Acceptance Rate: 22%

• Combining Solution Reuse and Bound Tightening for Efficient Analysis of Evolving Systems  
  ACM SIGSOFT Distinguished Paper Award

  ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), 2022
  Acceptance Rate: 24%

• ATR: Template-based Repair for Alloy Specifications  

  ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), 2022
  Acceptance Rate: 24%

• ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications  

  37th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2022
  Acceptance Rate: 22%

• SAINTDroid: Scalable, Automated Incompatibility Detection for Android  

  52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2022
  Acceptance Rate: 18%

2021

• FLACK: Counterexample-Guided Fault Localization for Alloy Models  

  43rd International Conference on Software Engineering (ICSE), May 2021
  Acceptance Rate: 22%

• Bounded Exhaustive Search of Alloy Specification Repairs  

  43rd International Conference on Software Engineering (ICSE), May 2021
  Acceptance Rate: 22%

• Flair: Efficient Analysis of Android Inter-Component Vulnerabilities in Response to Incremental Changes 

  Empirical Software Engineering, Vol. 26, No. 54, 2021

• SEMEO: A semantic equivalence analysis framework for obfuscated android applications  

  Mobile and Ubiquitous Systems: Computing, Networking and Services. MobiQuitous 2021. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Vol. 419, Springer

• FLACK: Localizing Faults in Alloy Models  

  36th IEEE/ACM International Conference on Automated Software Engineering (ASE), Tool Demonstrations, 2021

• BeAFix: An Automated Repair Tool for Faulty Alloy Models  

  36th IEEE/ACM International Conference on Automated Software Engineering (ASE), Tool Demonstrations, 2021

2020

• Reducing Run-Time Adaptation Space via Analysis of Possible Utility Bounds  

  Clay Stevens and Hamid Bagheri
  42nd International Conference on Software Engineering (ICSE), May 2020
  Acceptance Rate: 20%

• Scalable Analysis of Interaction Threats in IoT Systems  
  ACM SIGSOFT Distinguished Paper Award

  Mohannad Alhanahnah, Clay Stevens and Hamid Bagheri
  The ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), July 2020
  Acceptance Rate: 25%

• DINA: Detecting Hidden Android Inter-App Communication in Dynamic Loaded Code 

  Mohannad Alhanahnah, Qiben Yan, Hamid Bagheri, Hao Zhou, Yutaka Tsutano, Witawas Srisa-an
  IEEE Transactions on Information Forensics & Security, 2020.

• Investigating Controller Evolution and Divergence through Mining and Mutation  
  Featured in “ICCPS Best Papers”

  Balaji Balasubramanian, Hamid Bagheri, Sebastian Elbaum, Justin Bradley
  11th IEEE/ACM Conference on Cyber-Physical Systems (ICCPS), April 2020
  Acceptance Rate: 23%

• Synthesis of Assurance Cases for Software Certification  

  Hamid Bagheri, Eunsuk Kang, Niloofar Mansoor
  42nd International Conference on Software Engineering (ICSE), New Ideas and Emerging Results, May 2020

• Platinum: Reusing Constraint Solutions in Bounded Analysis of Relational Logic  

  Guolong Zheng, Hamid Bagheri, Gregg Rothermel, Jianghao Wang
  23rd International Conference on Fundamental Approaches to Software Engineering (FASE), April 2020
  Acceptance Rate: 28%

2019

• Detecting Vulnerable Android Inter-App Communication in Dynamically Loaded Code 

  Mohannad Alhanahnah, Qiben Yan, Hamid Bagheri, Hao Zhou, Yutaka Tsutano, Witawas Srisa-an
  IEEE International Conference on Computer Communications (INFOCOM), Paris, France, April-May 2019
  Acceptance Rate: 19.7%

• DELDroid: An Automated Approach for Determination and Enforcement of Least-Privilege Architecture in Android 

  Mahmoud Hammad, Hamid Bagheri, Sam Malek
  Journal of Systems and Software (Elsevier JSS), Vol. 149, pp. 83–100, 2019
  

• Security and Software Engineering 

  Sam Malek, Hamid Bagheri, Joshua Garcia, Alireza Sadeghi
  In Hand-book of Software Engineering (Springer International), pp. 445-489, 2019
  

2018

• A Temporal Permission Analysis and Enforcement Framework for Android 

  Alireza Sadeghi, Reyhaneh Jabbarvand, Negar Ghorbani, Hamid Bagheri, Sam Malek
  40th International Conference on Software Engineering (ICSE), Gothenburg, Sweden, May 2018
  Acceptance Rate: 21%

• Efficient, Evolutionary Security Analysis of Interacting Android Apps 
  Nominated for IEEE TCSE Distinguished Paper Award

  Hamid Bagheri, Jianghao Wang, Jarod Arets, Sam Malek
  34th IEEE International Conference on Software Maintenance and Evolution (ICSME), Madrid, Spain, September 2018
  Acceptance Rate: 25%

• An Evolutionary Approach for Analyzing Alloy Specifications 

  Jianghao Wang, Hamid Bagheri, Myra B. Cohen
  33rd IEEE/ACM International Conference on Automated Software Engineering (ASE), New Ideas and Emerging Results, Montpellier, France, September 2018
  Acceptance Rate: 20%

• Modeling and Testing a Family of Surgical Robots: An Experience Report 

  Niloofar Mansoor, Jonathan A. Saddler, Bruno da Silva, Hamid Bagheri, Myra B. Cohen, Shane Farritor
  26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2018), Industrial track, Lake Buena Vista, Florida, November 2018
  

• A Formal Approach for Detection of Security Flaws in the Android Permission System 

  Hamid Bagheri, Eunsuk Kang, Sam Malek, Daniel Jackson
  Springer Journal on Formal Aspects of Computing (FAoC), Vol. 30, No. 5, pp. 525–544, September 2018
  

2017

• Automated Synthesis and Dynamic Analysis of Tradeoff Spaces for Object-Relational Mapping 

  Hamid Bagheri, Chong Tang, Kevin Sullivan
  IEEE Transactions on Software Engineering (IEEE TSE), Vol. 43, No. 2, pp. 145–163, 2017

• A Taxonomy and Qualitative Comparison of Program Analysis Techniques for Security Assessment of Android Software 
  Journal First Paper presented at ICSE

  Alireza Sadeghi, Hamid Bagheri, Joshua Garcia, Sam Malek
  IEEE Transactions on Software Engineering (IEEE TSE), Vol. 43, No. 6, pp. 492–530, 2017

• Towards designing effective data persistence through tradeoff space analysis 

  Chong Tang, Hamid Bagheri, Sarun Paisarnsrisomsuk, Kevin Sullivan
  39th International Conference on Software Engineering (ICSE), Buenos Aires, Argentina, May 2017
  

• Determination and Enforcement of Least-Privilege Architecture in Android 
  Nominated for the Best Paper Award

  Mahmoud Hammad, Hamid Bagheri, Sam Malek
  IEEE International Conference on Software Architecture (ICSA), Gothenburg, Sweden, April 2017
  Acceptance Rate: 22%

2016

• Titanium: Efficient Analysis of Evolving Alloy Specifications 

  Hamid Bagheri, Sam Malek
  24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE), Seattle, WA, November 2016
  Acceptance Rate: 25%

• Reducing Combinatorics in GUI Testing of Android Apps 

  Nariman Mirzaei, Joshua Garcia, Hamid Bagheri, Alireza Sadeghi, Sam Malek
  38th International Conference on Software Engineering (ICSE), Austin, TX, May 2016
  Acceptance Rate: 19%

• Energy-Aware Test-Suite Minimization for Android Apps 

  Reyhaneh Jabbarvand, Alireza Sadeghi, Hamid Bagheri, Sam Malek
  International Symposium on Software Analysis and Testing (ISSTA), Saarbrucken, Germany, July 2016
  Acceptance Rate: 25%

• Practical, Formal Synthesis and Automatic Enforcement of Security Policies for Android 

  Hamid Bagheri, Alireza Sadeghi, Reyhaneh Jabbarvand, Sam Malek
  46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Toulouse, France, June 2016
  Acceptance Rate: 20%

• Architecture Modeling and Analysis of Security in Android Systems 
  Invited for Journal special issue

  Bradley R. Schmerl, Jeff Gennari, Alireza Sadeghi, Hamid Bagheri, Sam Malek, Javier Camara, David Garlan
  10th European Conference on Software Architecture (ECSA),, Copenhagen, Denmark, November - December 2016
  Acceptance Rate: 14%

• Software Architectural Principles in Contemporary Mobile Software: from Conception to Practice 
  Journal First Paper

  Hamid Bagheri, Joshua Garcia, Alireza Sadeghi, Sam Malek, Nenad Medvidovic
  Journal of Systems and Software (Elsevier JSS),, Vol. 119, pp. 31–44, 2016
  

• Model-Driven Synthesis of Formally Precise Stylized Software Architectures 

  Hamid Bagheri, Kevin Sullivan
  Springer Journal on Formal Aspects of Computing (FAoC), Vol. 28, No. 3, pp. 441–467, 2016
  

2015

• COVERT: Compositional Analysis of Android Inter-App Permission Leakage 

  Hamid Bagheri, Alireza Sadeghi, Joshua Garcia, Sam Malek
  IEEE Transactions on Software Engineering (IEEE TSE), Vol. 41, No. 9, pp. 866–886, 2015

• Detection of Design Flaws in the Android Permission Protocol through Bounded Verification 
  Invited for Journal special issue

  Hamid Bagheri, Eunsuk Kang, Sam Malek, Daniel Jackson
  20th International Symposium on Formal Methods (FM), Oslo, Norway, June 2015
  Acceptance Rate: 26%

• SIG-Droid: Automated System Input Generation for Android Applications 

  Nariman Mirzaei, Hamid Bagheri, Riyadh Mahmood, Sam Malek
  26th IEEE International Symposium on Software Reliability Engineering (ISSRE 2015), Gaithersburg, MD, November 2015
  Acceptance Rate: 19%

• 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
  12th Working Conference on Mining Software Repositories (MSR 2015), Florence, Italy, May 2015
  Acceptance Rate: 30%

2014&

before

• TradeMaker: Automated Dynamic Analysis of Synthesized Tradespaces 

  Hamid Bagheri, Chong Tang, Kevin Sullivan
  36th International Conference on Software Engineering (ICSE), Hyderabad, India, May 2014
  Acceptance Rate: 20%

• Bottom-up Model-driven Development 

  Hamid Bagheri, Kevin Sullivan
  35th International Conference on Software Engineering (ICSE 2013), New Ideas and Emerging Results, San Francisco, California, USA, May 2013
  Acceptance Rate: 22%

• Pol: Specification-Driven Synthesis of Architectural Code Frameworks for Platform-Based Applications  

  Hamid Bagheri, Kevin Sullivan
  11th ACM SIGPLAN International Conference on Generative Programming and Component Engineering (GPCE), Dresden, Germany 2012
  Acceptance Rate: 34%

• A Formal Approach to Software Synthesis for Architectural Platforms  

  Hamid Bagheri, Kevin Sullivan
  33rd International Conference on Software Engineering (ICSE), ACM Student Research Competition, Honolulu, HI, USA, May 2011
  Acceptance Rate: 34%

• Monarch: Model-based Development of Software Architectures  

  Hamid Bagheri, Kevin Sullivan
  13th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MoDELS), Oslo, Norway, October 2010
  Acceptance Rate: 20%

• Architectural style as an Independent Variable  

  Hamid Bagheri, Yuanyuan Song, Kevin Sullivan
  25th IEEE/ACM International Conference on Automated Software Engineering (ASE), Antwerp, Belgium, 2010