Hamid Bagheri

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 57

Top Topics

Android Application

Security Vulnerabilities

Dynamic Analysis

Top Venues

Publications

Sasan Azizian, Elham Rastegari, Hamid Bagheri
Leveraging Machine Learning for Optimal Object-Relational Database Mapping in Software Systems. AIware (2024)
Clay Stevens, Hamid Bagheri
Scalable Relational Analysis via Relational Bound Propagation. ICSE (2024)
Mohannad Alhanahnah, Md Rashedul Hasan, Hamid Bagheri
An Empirical Evaluation of Pre-trained Large Language Models for Repairing Declarative Formal Specifications. CoRR (2024)
Hamid Bagheri, Mehdi Mirakhorli, Mohamad Fazelnia, Ibrahim Mujhid, Md Rashedul Hasan
Neuro-Symbolic Approach to Certified Scientific Software Synthesis. AIware (2024)
Mohannad Alhanahnah, Clay Stevens, Bocheng Chen, Qiben Yan, Hamid Bagheri
IoTCom: Dissecting Interaction Threats in IoT Systems. IEEE Trans. Software Eng. 49 (4) (2023)
Shibbir Ahmed, Mohammad Wardat, Hamid Bagheri, Breno Dantas Cruz, Hridesh Rajan
Characterizing Bugs in Python and R Data Analytics Programs. CoRR (2023)
Mohsen Moradi-Moghadam, Mehdi Bagherzadeh, Raffi Khatchadourian, Hamid Bagheri
µAkka: Mutation Testing for Actor Concurrency in Akka using Real-World Bugs. ESEC/SIGSOFT FSE (2023)
Md Rashedul Hasan, Jiawei Li, Iftekhar Ahmed, Hamid Bagheri
Automated Repair of Declarative Software Specifications in the Era of Large Language Models. CoRR (2023)
Niloofar Mansoor, Hamid Bagheri, Eunsuk Kang, Bonita Sharif
An Empirical Study Assessing Software Modeling in Alloy. FormaliSE (2023)
Clay Stevens, Hamid Bagheri
Combining solution reuse and bound tightening for efficient analysis of evolving systems. ISSTA (2022)
Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Nazareno Aguirre, Marcelo F. Frias, Hamid Bagheri
ATR: template-based repair for Alloy specifications. ISSTA (2022)
Bruno Vieira Resende e Silva, Clay Stevens, Niloofar Mansoor, Witawas Srisa-an, Tingting Yu, Hamid Bagheri
SAINTDroid: Scalable, Automated Incompatibility Detection for Android. DSN (2022)
Clay Stevens, Hamid Bagheri
Parasol: efficient parallel synthesis of large model spaces. ESEC/SIGSOFT FSE (2022)
Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias
ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications. ASE (2022)
Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias
Bounded Exhaustive Search of Alloy Specification Repairs. ICSE (2021)
Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias
BeAFix: An Automated Repair Tool for Faulty Alloy Models. ASE (2021)
Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias, Nazareno Aguirre, Hamid Bagheri
Artifact of 'FLACK: Counterexample-Guided Fault Localization for Alloy Models'. ICSE (Companion Volume) (2021)
Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias, Nazareno Aguirre, Hamid Bagheri
FLACK: Counterexample-Guided Fault Localization for Alloy Models. CoRR (2021)
Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias, Nazareno Aguirre, Hamid Bagheri
FLACK: Localizing Faults in Alloy Models. ASE (2021)
Zhen Hu, Bruno Vieira Resende e Silva, Hamid Bagheri, Witawas Srisa-an, Gregg Rothermel, Jackson Dinh
SEMEO: A Semantic Equivalence Analysis Framework for Obfuscated Android Applications. MobiQuitous (2021)
Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias
Bounded Exhaustive Search of Alloy Specification Repairs. CoRR (2021)
Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias, Nazareno Aguirre, Hamid Bagheri
FLACK: Counterexample-Guided Fault Localization for Alloy Models. ICSE (2021)
Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias
Artifact of Bounded Exhaustive Search of Alloy Specification Repairs. ICSE (Companion Volume) (2021)
Hamid Bagheri, Jianghao Wang, Jarod Aerts, Negar Ghorbani, Sam Malek
Flair: efficient analysis of Android inter-component vulnerabilities in response to incremental changes. Empir. Softw. Eng. 26 (3) (2021)
Mohannad Alhanahnah, Clay Stevens, Hamid Bagheri
Scalable analysis of interaction threats in IoT systems. ISSTA (2020)
Mohannad Alhanahnah, Qiben Yan, Hamid Bagheri, Hao Zhou, Yutaka Tsutano, Witawas Srisa-an, Xiapu Luo
DINA: Detecting Hidden Android Inter-App Communication in Dynamic Loaded Code. IEEE Trans. Inf. Forensics Secur. 15 (2020)
Clay Stevens, Hamid Bagheri
Reducing run-time adaptation space via analysis of possible utility bounds. ICSE (2020)
Hamid Bagheri, Eunsuk Kang, Niloofar Mansoor
Synthesis of assurance cases for software certification. ICSE (NIER) (2020)
Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen
Debugging Declarative Models in Alloy. ICSME (2020)
Hamid Bagheri, Andrew J. Severin, Hridesh Rajan
Detecting and correcting misclassified sequences in the large-scale public databases. Bioinform. 36 (18) (2020)
Balaji Balasubramaniam, Hamid Bagheri, Sebastian G. Elbaum, Justin Bradley
. ICCPS (2020)
Guolong Zheng, Hamid Bagheri, Gregg Rothermel, Jianghao Wang
Platinum: Reusing Constraint Solutions in Bounded Analysis of Relational Logic. FASE (2020)
Hamid Bagheri, Usha Muppirala, Rick E. Masonbrink, Andrew J. Severin, Hridesh Rajan
Shared data science infrastructure for genomics data. BMC Bioinform. 20 (1) (2019)
Mohannad Alhanahnah, Qiben Yan, Hamid Bagheri, Hao Zhou, Yutaka Tsutano, Witawas Srisa-an, Xiapu Luo
Detecting Vulnerable Android Inter-App Communication in Dynamically Loaded Code. INFOCOM (2019)
Mahmoud Hammad, Hamid Bagheri, Sam Malek
DelDroid: An automated approach for determination and enforcement of least-privilege architecture in android. J. Syst. Softw. 149 (2019)
Jianghao Wang, Hamid Bagheri, Myra B. Cohen
An evolutionary approach for analyzing Alloy specifications. ASE (2018)
Hamid Bagheri, Eunsuk Kang, Sam Malek, Daniel Jackson
A formal approach for detection of security flaws in the android permission system. Formal Aspects Comput. 30 (5) (2018)
Alireza Sadeghi, Reyhaneh Jabbarvand, Negar Ghorbani, Hamid Bagheri, Sam Malek
A temporal permission analysis and enforcement framework for Android. ICSE (2018)
Hamid Bagheri, Jianghao Wang, Jarod Aerts, Sam Malek
Efficient, Evolutionary Security Analysis of Interacting Android Apps. ICSME (2018)
Niloofar Mansoor, Jonathan A. Saddler, Bruno Vieira Resende e Silva, Hamid Bagheri, Myra B. Cohen, Shane Farritor
Modeling and testing a family of surgical robots: an experience report. ESEC/SIGSOFT FSE (2018)
Chong Tang, Hamid Bagheri, Sarun Paisarnsrisomsuk, Kevin J. Sullivan
Towards designing effective data persistence through tradeoff space analysis. ICSE (Companion Volume) (2017)
Hamid Bagheri, Chong Tang, Kevin J. Sullivan
Automated Synthesis and Dynamic Analysis of Tradeoff Spaces for Object-Relational Mapping. IEEE Trans. Software Eng. 43 (2) (2017)
Alireza Sadeghi, Hamid Bagheri, Joshua Garcia, Sam Malek
A Taxonomy and Qualitative Comparison of Program Analysis Techniques for Security Assessment of Android Software. IEEE Trans. Software Eng. 43 (6) (2017)
Hamid Bagheri, Md Johirul Islam
Sentiment analysis of twitter data. CoRR (2017)
Mahmoud Hammad, Hamid Bagheri, Sam Malek
Determination and Enforcement of Least-Privilege Architecture in Android. ICSA (2017)
Reyhaneh Jabbarvand Behrouz, Alireza Sadeghi, Hamid Bagheri, Sam Malek
Energy-aware test-suite minimization for Android apps. ISSTA (2016)
Hamid Bagheri, Joshua Garcia, Alireza Sadeghi, Sam Malek, Nenad Medvidovic
Software architectural principles in contemporary mobile software: from conception to practice. J. Syst. Softw. 119 (2016)
Hamid Bagheri, Sam Malek
Titanium: efficient analysis of evolving alloy specifications. SIGSOFT FSE (2016)
Hamid Bagheri, Kevin J. Sullivan
Model-driven synthesis of formally precise, stylized software architectures. Formal Aspects Comput. 28 (3) (2016)
Nariman Mirzaei, Joshua Garcia, Hamid Bagheri, Alireza Sadeghi, Sam Malek
Reducing combinatorics in GUI testing of android applications. ICSE (2016)
Bradley R. Schmerl, Jeff Gennari, Alireza Sadeghi, Hamid Bagheri, Sam Malek, Javier Cámara, David Garlan
Architecture Modeling and Analysis of Security in Android Systems. ECSA (2016)
Hamid Bagheri, Alireza Sadeghi, Reyhaneh Jabbarvand Behrouz, Sam Malek
Practical, Formal Synthesis and Automatic Enforcement of Security Policies for Android. DSN (2016)
Hamid Bagheri, Eunsuk Kang, Sam Malek, Daniel Jackson
Detection of Design Flaws in the Android Permission Protocol Through Bounded Verification. FM (2015)
Hamid Bagheri, Alireza Sadeghi, Joshua Garcia, Sam Malek
COVERT: Compositional Analysis of Android Inter-App Permission Leakage. IEEE Trans. Software Eng. 41 (9) (2015)
Ehsan Kouroshfar, Mehdi Mirakhorli, Hamid Bagheri, Lu Xiao, Sam Malek, Yuanfang Cai
A Study on the Role of Software Architecture in the Evolution and Quality of Software. MSR (2015)
Nariman Mirzaei, Hamid Bagheri, Riyadh Mahmood, Sam Malek
SIG-Droid: Automated system input generation for Android applications. ISSRE (2015)
Alireza Sadeghi, Hamid Bagheri, Sam Malek
Analysis of Android Inter-App Security Vulnerabilities Using COVERT. ICSE (2) (2015)
Sam Malek, Hamid Bagheri, Alireza Sadeghi
Automated detection and mitigation of inter-application security vulnerabilities in Android (invited talk). DeMobile@SIGSOFT FSE (2014)
Hamid Bagheri
Synthesis from Formal Partial Abstractions. CoRR (2014)
Hamid Bagheri, Chong Tang, Kevin J. Sullivan
TradeMaker: automated dynamic analysis of synthesized tradespaces. ICSE (2014)
Hamid Bagheri, Kevin J. Sullivan
Bottom-up model-driven development. ICSE (2013)
Hamid Bagheri, Kevin J. Sullivan, Sang H. Son
Spacemaker: Practical Formal Synthesis of Tradeoff Spaces for Object-Relational Mapping. SEKE (2012)
Hamid Bagheri, Kevin J. Sullivan
Pol: specification-driven synthesis of architectural code frameworks for platform-based applications. GPCE (2012)
Hamid Bagheri, Kevin J. Sullivan
A Formal Approach for Incorporating Architectural Tactics into the Software Architecture. SEKE (2011)
Hamid Bagheri
A formal approach to software synthesis for architectural platforms. ICSE (2011)
Hamid Bagheri, Kevin J. Sullivan
Monarch: Model-Based Development of Software Architectures. MoDELS (2) (2010)
Hamid Bagheri, Yuanyuan Song, Kevin J. Sullivan
Architectural style as an independent variable. ASE (2010)
Hamid Bagheri, Kevin J. Sullivan
Architecture as an Independent Variable for Aspect-Oriented Application Descriptions. ASM (2010)
Hamid Bagheri, Vajih Montaghami, Gholamreza Safi, Seyed-Hassan Mirian-Hosseinabadi
An evaluation method for aspectual modeling of distributed software architectures. AICCSA (2008)
Hamid Bagheri
Injecting security as aspectable NFR into Software Architecture. APSEC (2007)
Hamid Bagheri, Seyed-Hassan Mirian-Hosseinabadi, Hesam Chiniforooshan Esfahani
An Aspect Enhanced Method of NFR Modeling in Software Architecture. ICIT (2007)
John Trezza, Harald Hamster, Joseph Iamartino, Hamid Bagheri, Casimer DeCusatis
Parallel optical interconnects for enterprise class server clusters: needs and technology solutions. IEEE Commun. Mag. 41 (2) (2003)