( en | de | ru )

 

Disambiguation of "Bagheri, Hamid"

Author of the publication

copydeleteadd this publication to your clipboard
Bounded Exhaustive Search of Alloy Specification Repairs.

, , , , , , and . ICSE, page 1135-1147. IEEE, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Hamid Bagheri

Mojtaba Bagheri

Ariane Bagheri

Samae Bagheri

Hossein Bagheri

 

Other publications of authors with the same name

Automated Repair of Declarative Software Specifications in the Era of Large Language Models., , , and . CoRR, (2023)Bounded Exhaustive Search of Alloy Specification Repairs., , , , , , and . ICSE, page 1135-1147. IEEE, (2021)Monarch: Model-Based Development of Software Architectures., and . MoDELS (2), volume 6395 of Lecture Notes in Computer Science, page 376-390. Springer, (2010)Architecture as an Independent Variable for Aspect-Oriented Application Descriptions., and . ASM, volume 5977 of Lecture Notes in Computer Science, page 395. Springer, (2010)Determination and Enforcement of Least-Privilege Architecture in Android., , and . ICSA, page 59-68. IEEE Computer Society, (2017)A Study on the Role of Software Architecture in the Evolution and Quality of Software., , , , , and . MSR, page 246-257. IEEE Computer Society, (2015)SAINTDroid: Scalable, Automated Incompatibility Detection for Android., , , , , and . DSN, page 567-579. IEEE, (2022)Scalable Relational Analysis via Relational Bound Propagation., and . ICSE, page 177:1-177:12. ACM, (2024)Architectural style as an independent variable., , and . ASE, page 159-162. ACM, (2010)FLACK: Localizing Faults in Alloy Models., , , , , , and . ASE, page 1218-1222. IEEE, (2021)