Hamid Bagheri - RankMe

86 papers A* 16A 12B 6C 5Misc 1Journal 26Unranked 18

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