Hamid Bagheri

Orcid: 0000-0001-6686-466X

According to our database1, Hamid Bagheri authored at least 72 papers between 2003 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
How Do Developers Use Type Inference: An Exploratory Study in Kotlin.
CoRR, 2024

An Empirical Evaluation of Pre-trained Large Language Models for Repairing Declarative Formal Specifications.
CoRR, 2024

Scalable Relational Analysis via Relational Bound Propagation.
Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

Neuro-Symbolic Approach to Certified Scientific Software Synthesis.
Proceedings of the 1st ACM International Conference on AI-Powered Software, 2024

Leveraging Machine Learning for Optimal Object-Relational Database Mapping in Software Systems.
Proceedings of the 1st ACM International Conference on AI-Powered Software, 2024

2023
IoTCom: Dissecting Interaction Threats in IoT Systems.
IEEE Trans. Software Eng., April, 2023

Automated Repair of Declarative Software Specifications in the Era of Large Language Models.
CoRR, 2023

Characterizing Bugs in Python and R Data Analytics Programs.
CoRR, 2023

µAkka: Mutation Testing for Actor Concurrency in Akka using Real-World Bugs.
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

An Empirical Study Assessing Software Modeling in Alloy.
Proceedings of the 11th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2023

2022
Parasol: efficient parallel synthesis of large model spaces.
Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications.
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

ATR: template-based repair for Alloy specifications.
Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

Combining solution reuse and bound tightening for efficient analysis of evolving systems.
Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

SAINTDroid: Scalable, Automated Incompatibility Detection for Android.
Proceedings of the 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2022

2021
Flair: efficient analysis of Android inter-component vulnerabilities in response to incremental changes.
Empir. Softw. Eng., 2021

SEMEO: A Semantic Equivalence Analysis Framework for Obfuscated Android Applications.
Proceedings of the Mobile and Ubiquitous Systems: Computing, Networking and Services, 2021

FLACK: Localizing Faults in Alloy Models.
Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

BeAFix: An Automated Repair Tool for Faulty Alloy Models.
Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Artifact of 'FLACK: Counterexample-Guided Fault Localization for Alloy Models'.
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

FLACK: Counterexample-Guided Fault Localization for Alloy Models.
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

Artifact of Bounded Exhaustive Search of Alloy Specification Repairs.
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

Bounded Exhaustive Search of Alloy Specification Repairs.
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

2020
DINA: Detecting Hidden Android Inter-App Communication in Dynamic Loaded Code.
IEEE Trans. Inf. Forensics Secur., 2020

Detecting and correcting misclassified sequences in the large-scale public databases.
Bioinform., 2020

Scalable analysis of interaction threats in IoT systems.
Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

Debugging Declarative Models in Alloy.
Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2020

Reducing run-time adaptation space via analysis of possible utility bounds.
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

Synthesis of assurance cases for software certification.
Proceedings of the ICSE-NIER 2020: 42nd International Conference on Software Engineering, New Ideas and Emerging Results, Seoul, South Korea, 27 June, 2020

Investigating Controller Evolution and Divergence through Mining and Mutation<sup>*</sup>.
Proceedings of the 11th ACM/IEEE International Conference on Cyber-Physical Systems, 2020

Platinum: Reusing Constraint Solutions in Bounded Analysis of Relational Logic.
Proceedings of the Fundamental Approaches to Software Engineering, 2020

2019
DelDroid: An automated approach for determination and enforcement of least-privilege architecture in android.
J. Syst. Softw., 2019

Shared data science infrastructure for genomics data.
BMC Bioinform., 2019

Detecting Vulnerable Android Inter-App Communication in Dynamically Loaded Code.
Proceedings of the 2019 IEEE Conference on Computer Communications, 2019

Security and Software Engineering.
Proceedings of the Handbook of Software Engineering., 2019

2018
A formal approach for detection of security flaws in the android permission system.
Formal Aspects Comput., 2018

Modeling and testing a family of surgical robots: an experience report.
Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

An evolutionary approach for analyzing Alloy specifications.
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

Efficient, Evolutionary Security Analysis of Interacting Android Apps.
Proceedings of the 2018 IEEE International Conference on Software Maintenance and Evolution, 2018

A temporal permission analysis and enforcement framework for Android.
Proceedings of the 40th International Conference on Software Engineering, 2018

2017
A Taxonomy and Qualitative Comparison of Program Analysis Techniques for Security Assessment of Android Software.
IEEE Trans. Software Eng., 2017

Automated Synthesis and Dynamic Analysis of Tradeoff Spaces for Object-Relational Mapping.
IEEE Trans. Software Eng., 2017

Sentiment analysis of twitter data.
CoRR, 2017

Towards designing effective data persistence through tradeoff space analysis.
Proceedings of the 39th International Conference on Software Engineering, 2017

Determination and Enforcement of Least-Privilege Architecture in Android.
Proceedings of the 2017 IEEE International Conference on Software Architecture, 2017

2016
Software architectural principles in contemporary mobile software: from conception to practice.
J. Syst. Softw., 2016

Model-driven synthesis of formally precise, stylized software architectures.
Formal Aspects Comput., 2016

Titanium: efficient analysis of evolving alloy specifications.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Energy-aware test-suite minimization for Android apps.
Proceedings of the 25th International Symposium on Software Testing and Analysis, 2016

Reducing combinatorics in GUI testing of android applications.
Proceedings of the 38th International Conference on Software Engineering, 2016

Architecture Modeling and Analysis of Security in Android Systems.
Proceedings of the Software Architecture - 10th European Conference, 2016

Practical, Formal Synthesis and Automatic Enforcement of Security Policies for Android.
Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2016

2015
COVERT: Compositional Analysis of Android Inter-App Permission Leakage.
IEEE Trans. Software Eng., 2015

A Study on the Role of Software Architecture in the Evolution and Quality of Software.
Proceedings of the 12th IEEE/ACM Working Conference on Mining Software Repositories, 2015

SIG-Droid: Automated system input generation for Android applications.
Proceedings of the 26th IEEE International Symposium on Software Reliability Engineering, 2015

Analysis of Android Inter-App Security Vulnerabilities Using COVERT.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Detection of Design Flaws in the Android Permission Protocol Through Bounded Verification.
Proceedings of the FM 2015: Formal Methods, 2015

2014
Synthesis from Formal Partial Abstractions.
CoRR, 2014

Automated detection and mitigation of inter-application security vulnerabilities in Android (invited talk).
Proceedings of the 2nd International Workshop on Software Development Lifecycle for Mobile, 2014

TradeMaker: automated dynamic analysis of synthesized tradespaces.
Proceedings of the 36th International Conference on Software Engineering, 2014

2013
Bottom-up model-driven development.
Proceedings of the 35th International Conference on Software Engineering, 2013

2012
Spacemaker: Practical Formal Synthesis of Tradeoff Spaces for Object-Relational Mapping.
Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012

Pol: specification-driven synthesis of architectural code frameworks for platform-based applications.
Proceedings of the Generative Programming and Component Engineering, 2012

2011
A Formal Approach for Incorporating Architectural Tactics into the Software Architecture.
Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE'2011), 2011

A formal approach to software synthesis for architectural platforms.
Proceedings of the 33rd International Conference on Software Engineering, 2011

2010
Monarch: Model-Based Development of Software Architectures.
Proceedings of the Model Driven Engineering Languages and Systems, 2010

Architectural style as an independent variable.
Proceedings of the ASE 2010, 2010

Architecture as an Independent Variable for Aspect-Oriented Application Descriptions.
Proceedings of the Abstract State Machines, 2010

2008
An evaluation method for aspectual modeling of distributed software architectures.
Proceedings of the 6th ACS/IEEE International Conference on Computer Systems and Applications, 2008

2007
An Aspect Enhanced Method of NFR Modeling in Software Architecture.
Proceedings of the 10th International Conference on Information Technology, 2007

Injecting security as aspectable NFR into Software Architecture.
Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 2007

2003
Parallel optical interconnects for enterprise class server clusters: needs and technology solutions.
IEEE Commun. Mag., 2003


  Loading...