Hamid Bagheri -

Registered user since Wed 29 Nov 2017

Name:Hamid Bagheri

Country:United States

Affiliation:University of Nebraska-Lincoln

Personal website:http://cse.unl.edu/~hbagheri/

Contributions

ICSE 2024	Committee Member in New Ideas and Emerging Results within the New Ideas and Emerging Results-track
FormaliSE 2023	Author of An Empirical Study Assessing Software Modeling in Alloy within the FormaliSE 2023-track
ASE 2023	Committee Member in Program Committee within the Research Papers-track
ICSE 2023	Committee Member in Workshops within the Workshops-track Committee Member in New Ideas and Emerging Results within the NIER - New Ideas and Emerging Results-track
MOBILESoft 2023	Committee Member in Program Committee within the Research Track-track
SEAMS 2023	Committee Member in Program Committee within the Research Track-track
ESEC/FSE 2022	Author of Parasol: Efficient Parallel Synthesis of Large Model Spaces within the Research Papers-track
ASE 2022	Author of Artifact of ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications within the Artifact Evaluation-track Author of ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications within the Research Papers-track
ISSTA 2022	Author of ATR: Template-based Repair for Alloy Specifications within the Technical Papers-track Author of Combining Solution Reuse and Bound Tightening for Efficient Analysis of Evolving Systems within the Technical Papers-track
ICSE 2022	Session Chair of Software Security 4 (part of Technical Track) Committee Member in Program Committee within the NIER - New Ideas and Emerging Results-track Web Co-Chair in Organizing Committee Session Chair of Program Repair 2 (part of Technical Track)
SEAMS 2022	Committee Member in Program Committee within the SEAMS 2022-track
SERP4IoT 2022	Keynote Speaker of Analyzing IoT Systems Formally and Efficiently within the SERP4IoT 2022-track
MOBILESoft 2022	Committee Member in Program Committee within the Technical Papers-track
ASE 2021	Author of BeAFix: An Automated Repair Tool for Faulty Alloy Models within the Tool Demonstrations-track Author of FLACK: Localizing Faults in Alloy Models within the Tool Demonstrations-track
ICSE 2021	Author of Artifact of "FLACK: Counterexample-Guided Fault Localization for Alloy Models" within the AE - Artifact Evaluation-track Author of Artifact of ICSE 2021 Technical Track Submission #653: Bounded Exhaustive Search of Alloy Specification Repairs within the AE - Artifact Evaluation-track Author of Bounded Exhaustive Search of Alloy Specification Repairs within the Technical Track-track Author of FLACK: Counterexample-Guided Fault Localization for Alloy Models within the Technical Track-track
MOBILESoft 2021	Committee Member in Program Committee within the Technical Papers-track
MSR 2021	Committee Member in Program Committee within the Technical Papers-track
ESEC/FSE 2020	Moderator of Conversations on ML Testing 1 within the Research Papers-track Committee Member in Program Committee within the Research Papers-track
ISSTA 2020	Committee Member in Program Committee within the Tool Demonstration-track Author of Scalable Analysis of Interaction Threats in IoT Systems within the Technical Papers-track
ICSE 2020	Student Volunteer Co-Chair in Organizing Committee Committee Member in Program Committees within the Artifact Evaluation-track Student Volunteer Co-Chair in Student Volunteer Chairs within the Student Volunteers-track Author of Reducing Run-Time Adaptation Space via Analysis of Possible Utility Bounds within the Technical Papers-track Author of Synthesis of Assurance Cases for Software Certification within the New Ideas and Emerging Results-track
MOBILESoft 2020	Committee Member in Program Committee within the Technical Papers-track
ASE 2019	Committee Member in Program Committee within the Doctoral Symposium-track Committee Member in Program Committee within the Late Breaking Results-track Committee Member in Program Committee within the Journal First Presentations-track
SEAD 2019	Keynote Speaker of Keynote Talk: Automating Pragmatic Software Dependability within the SEAD 2019-track
A-Mobile 2019	Committee Member in Program Committee within the A-Mobile 2019-track
ICSE 2019	Session Chair of Automated Repair 2 (part of Papers) PC Member in Program Committee within the New Ideas and Emerging Results-track Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
ESEC/FSE 2018	Author of Modeling and Testing a Family of Surgical Robots: An Experience Report within the Industry-track Session Chair of Models (part of Demonstrations) Committee Member in Program Committee within the Demonstrations-track
ISSTA 2018	Tool Demos Co-Chair in Program Committee within the ISSTA Tool Demonstrations-track Tool Demos Co-Chair in Organizing Committee Author of Best Tool Demonstration Award within the ISSTA Keynotes-track
* ICSE 2018 *	Author of A Temporal Permission Analysis and Enforcement Framework for Android within the Technical Papers -track