Hamid Bagheri

Registered user since Wed 29 Nov 2017

Name:Hamid Bagheri
Affiliation:University of Nebraska-Lincoln

Contributions

SERP4IoT 2022 Keynote Speaker of Analyzing IoT Systems Formally and Efficiently within the SERP4IoT 2022-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
MOBILESoft 2022 Committee Member in Program Committee within the Technical Papers-track
SEAMS 2022 Committee Member in Program Committee within the SEAMS 2022-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
MOBILESoft 2021 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 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
MSR 2021 Committee Member in Program Committee within the Technical Papers-track
ESEC/FSE 2022 Author of Parasol: Efficient Parallel Synthesis of Large Model Spaces within the Research 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)
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
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
MOBILESoft 2020 Committee Member in Program Committee within the Technical Papers-track
A-Mobile 2019 Committee Member in Program Committee within the A-Mobile 2019-track
SEAD 2019 Keynote Speaker of Keynote Talk: Automating Pragmatic Software Dependability within the SEAD 2019-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
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
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
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