Hamid Bagheri

Registered user since Wed 29 Nov 2017

Name:Hamid Bagheri
Affiliation:University of Nebraska-Lincoln

Contributions

MOBILESoft 2022 Committee Member in Program Committee within the Technical Papers-track
SEAMS 2022 Committee Member in Program Committee within the SEAMS 2022-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
MSR 2021 Committee Member in Program Committee within the Technical Papers-track
ICSE 2022 Committee Member in Program Committee within the NIER - New Ideas and Emerging Results-track
Web Co-Chair in Organizing Committee
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