conf.researchr.org / 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
2025
2024
ASE
AIware
EASE
ICSE
2023
FormaliSE
ICSE
International Conference on Software Engineering for Adaptive and Self-Managing Systems
2022
ASE
ISSTA
ICSE
International Conference on Software Engineering for Adaptive and Self-Managing Systems
SERP4IoT
2021
ASE
ICSE
- 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
Mining Software Repositories
2020
ESEC/FSE
ISSTA
ICSE
- 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