Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Hamid Bagheri
@article{DBLP:journals/tse/AlhanahnahSCYB23,
author = {Mohannad Alhanahnah and
Clay Stevens and
Bocheng Chen and
Qiben Yan and
Hamid Bagheri},
title = {IoTCom: Dissecting Interaction Threats in IoT Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {49},
number = {4},
pages = {1523--1539},
year = {2023},
url = {https://doi.org/10.1109/TSE.2022.3179294},
doi = {10.1109/TSE.2022.3179294},
timestamp = {Sat, 29 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/AlhanahnahSCYB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse-formalise/MansoorBKS23,
author = {Niloofar Mansoor and
Hamid Bagheri and
Eunsuk Kang and
Bonita Sharif},
title = {An Empirical Study Assessing Software Modeling in Alloy},
booktitle = {11th {IEEE/ACM} International Conference on Formal Methods in Software
Engineering, FormaliSE 2023, Melbourne, Australia, May 14-15, 2023},
pages = {44--54},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/FormaliSE58978.2023.00013},
doi = {10.1109/FORMALISE58978.2023.00013},
timestamp = {Mon, 10 Jul 2023 15:19:34 +0200},
biburl = {https://dblp.org/rec/conf/icse-formalise/MansoorBKS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Moradi-Moghadam23,
author = {Mohsen Moradi{-}Moghadam and
Mehdi Bagherzadeh and
Raffi Khatchadourian and
Hamid Bagheri},
editor = {Satish Chandra and
Kelly Blincoe and
Paolo Tonella},
title = {{\(\mathrm{\mu}\)}Akka: Mutation Testing for Actor Concurrency in
Akka using Real-World Bugs},
booktitle = {Proceedings of the 31st {ACM} Joint European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/FSE} 2023, San Francisco, CA, USA, December 3-9, 2023},
pages = {262--274},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3611643.3616362},
doi = {10.1145/3611643.3616362},
timestamp = {Mon, 04 Dec 2023 11:02:39 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/Moradi-Moghadam23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-08632,
author = {Shibbir Ahmed and
Mohammad Wardat and
Hamid Bagheri and
Breno Dantas Cruz and
Hridesh Rajan},
title = {Characterizing Bugs in Python and {R} Data Analytics Programs},
journal = {CoRR},
volume = {abs/2306.08632},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.08632},
doi = {10.48550/ARXIV.2306.08632},
eprinttype = {arXiv},
eprint = {2306.08632},
timestamp = {Sun, 18 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-08632.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-12425,
author = {Md Rashedul Hasan and
Jiawei Li and
Iftekhar Ahmed and
Hamid Bagheri},
title = {Automated Repair of Declarative Software Specifications in the Era
of Large Language Models},
journal = {CoRR},
volume = {abs/2310.12425},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.12425},
doi = {10.48550/ARXIV.2310.12425},
eprinttype = {arXiv},
eprint = {2310.12425},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-12425.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/SilvaSMSYB22,
author = {Bruno Vieira Resende e Silva and
Clay Stevens and
Niloofar Mansoor and
Witawas Srisa{-}an and
Tingting Yu and
Hamid Bagheri},
title = {SAINTDroid: Scalable, Automated Incompatibility Detection for Android},
booktitle = {52nd Annual {IEEE/IFIP} International Conference on Dependable Systems
and Networks, {DSN} 2022, Baltimore, MD, USA, June 27-30, 2022},
pages = {567--579},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/DSN53405.2022.00062},
doi = {10.1109/DSN53405.2022.00062},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsn/SilvaSMSYB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/StevensB22,
author = {Clay Stevens and
Hamid Bagheri},
editor = {Sukyoung Ryu and
Yannis Smaragdakis},
title = {Combining solution reuse and bound tightening for efficient analysis
of evolving systems},
booktitle = {{ISSTA} '22: 31st {ACM} {SIGSOFT} International Symposium on Software
Testing and Analysis, Virtual Event, South Korea, July 18 - 22, 2022},
pages = {89--100},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3533767.3534399},
doi = {10.1145/3533767.3534399},
timestamp = {Tue, 26 Jul 2022 16:24:43 +0200},
biburl = {https://dblp.org/rec/conf/issta/StevensB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/ZhengNBRAFB22,
author = {Guolong Zheng and
ThanhVu Nguyen and
Sim{\'{o}}n Guti{\'{e}}rrez Brida and
Germ{\'{a}}n Regis and
Nazareno Aguirre and
Marcelo F. Frias and
Hamid Bagheri},
editor = {Sukyoung Ryu and
Yannis Smaragdakis},
title = {{ATR:} template-based repair for Alloy specifications},
booktitle = {{ISSTA} '22: 31st {ACM} {SIGSOFT} International Symposium on Software
Testing and Analysis, Virtual Event, South Korea, July 18 - 22, 2022},
pages = {666--677},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3533767.3534369},
doi = {10.1145/3533767.3534369},
timestamp = {Tue, 26 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/ZhengNBRAFB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/BridaRZBNAF22,
author = {Sim{\'{o}}n Guti{\'{e}}rrez Brida and
Germ{\'{a}}n Regis and
Guolong Zheng and
Hamid Bagheri and
ThanhVu Nguyen and
Nazareno Aguirre and
Marcelo F. Frias},
title = {{ICEBAR:} Feedback-Driven Iterative Repair of Alloy Specifications},
booktitle = {37th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2022, Rochester, MI, USA, October 10-14, 2022},
pages = {55:1--55:13},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3551349.3556944},
doi = {10.1145/3551349.3556944},
timestamp = {Sun, 15 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/BridaRZBNAF22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/StevensB22,
author = {Clay Stevens and
Hamid Bagheri},
editor = {Abhik Roychoudhury and
Cristian Cadar and
Miryung Kim},
title = {Parasol: efficient parallel synthesis of large model spaces},
booktitle = {Proceedings of the 30th {ACM} Joint European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/FSE} 2022, Singapore, Singapore, November 14-18, 2022},
pages = {620--632},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3540250.3549157},
doi = {10.1145/3540250.3549157},
timestamp = {Thu, 10 Nov 2022 11:14:54 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/StevensB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ese/BagheriWAGM21,
author = {Hamid Bagheri and
Jianghao Wang and
Jarod Aerts and
Negar Ghorbani and
Sam Malek},
title = {Flair: efficient analysis of Android inter-component vulnerabilities
in response to incremental changes},
journal = {Empir. Softw. Eng.},
volume = {26},
number = {3},
pages = {54},
year = {2021},
url = {https://doi.org/10.1007/s10664-020-09932-6},
doi = {10.1007/S10664-020-09932-6},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ese/BagheriWAGM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ZhengNBRFAB21a,
author = {Guolong Zheng and
ThanhVu Nguyen and
Sim{\'{o}}n Guti{\'{e}}rrez Brida and
Germ{\'{a}}n Regis and
Marcelo F. Frias and
Nazareno Aguirre and
Hamid Bagheri},
title = {Artifact of 'FLACK: Counterexample-Guided Fault Localization for Alloy
Models'},
booktitle = {43rd {IEEE/ACM} International Conference on Software Engineering:
Companion Proceedings, {ICSE} Companion 2021, Madrid, Spain, May 25-28,
2021},
pages = {179--180},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICSE-Companion52605.2021.00077},
doi = {10.1109/ICSE-COMPANION52605.2021.00077},
timestamp = {Mon, 28 Jun 2021 13:24:52 +0200},
biburl = {https://dblp.org/rec/conf/icse/ZhengNBRFAB21a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BridaRZBNAF21a,
author = {Sim{\'{o}}n Guti{\'{e}}rrez Brida and
Germ{\'{a}}n Regis and
Guolong Zheng and
Hamid Bagheri and
ThanhVu Nguyen and
Nazareno Aguirre and
Marcelo F. Frias},
title = {Artifact of Bounded Exhaustive Search of Alloy Specification Repairs},
booktitle = {43rd {IEEE/ACM} International Conference on Software Engineering:
Companion Proceedings, {ICSE} Companion 2021, Madrid, Spain, May 25-28,
2021},
pages = {209--210},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICSE-Companion52605.2021.00093},
doi = {10.1109/ICSE-COMPANION52605.2021.00093},
timestamp = {Mon, 28 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/BridaRZBNAF21a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ZhengNBRFAB21,
author = {Guolong Zheng and
ThanhVu Nguyen and
Sim{\'{o}}n Guti{\'{e}}rrez Brida and
Germ{\'{a}}n Regis and
Marcelo F. Frias and
Nazareno Aguirre and
Hamid Bagheri},
title = {{FLACK:} Counterexample-Guided Fault Localization for Alloy Models},
booktitle = {43rd {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2021, Madrid, Spain, 22-30 May 2021},
pages = {637--648},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICSE43902.2021.00065},
doi = {10.1109/ICSE43902.2021.00065},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/ZhengNBRFAB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BridaRZBNAF21,
author = {Sim{\'{o}}n Guti{\'{e}}rrez Brida and
Germ{\'{a}}n Regis and
Guolong Zheng and
Hamid Bagheri and
ThanhVu Nguyen and
Nazareno Aguirre and
Marcelo F. Frias},
title = {Bounded Exhaustive Search of Alloy Specification Repairs},
booktitle = {43rd {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2021, Madrid, Spain, 22-30 May 2021},
pages = {1135--1147},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICSE43902.2021.00105},
doi = {10.1109/ICSE43902.2021.00105},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/BridaRZBNAF21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/BridaRZBNAF21,
author = {Sim{\'{o}}n Guti{\'{e}}rrez Brida and
Germ{\'{a}}n Regis and
Guolong Zheng and
Hamid Bagheri and
ThanhVu Nguyen and
Nazareno Aguirre and
Marcelo F. Frias},
title = {BeAFix: An Automated Repair Tool for Faulty Alloy Models},
booktitle = {36th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2021, Melbourne, Australia, November 15-19, 2021},
pages = {1213--1217},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ASE51524.2021.9678524},
doi = {10.1109/ASE51524.2021.9678524},
timestamp = {Mon, 24 Jan 2022 16:18:34 +0100},
biburl = {https://dblp.org/rec/conf/kbse/BridaRZBNAF21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ZhengNBRFAB21,
author = {Guolong Zheng and
ThanhVu Nguyen and
Sim{\'{o}}n Guti{\'{e}}rrez Brida and
Germ{\'{a}}n Regis and
Marcelo F. Frias and
Nazareno Aguirre and
Hamid Bagheri},
title = {{FLACK:} Localizing Faults in Alloy Models},
booktitle = {36th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2021, Melbourne, Australia, November 15-19, 2021},
pages = {1218--1222},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ASE51524.2021.9678740},
doi = {10.1109/ASE51524.2021.9678740},
timestamp = {Mon, 24 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/ZhengNBRFAB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobiquitous/HuSBSRD21,
author = {Zhen Hu and
Bruno Vieira Resende e Silva and
Hamid Bagheri and
Witawas Srisa{-}an and
Gregg Rothermel and
Jackson Dinh},
editor = {Takahiro Hara and
Hirozumi Yamaguchi},
title = {{SEMEO:} {A} Semantic Equivalence Analysis Framework for Obfuscated
Android Applications},
booktitle = {Mobile and Ubiquitous Systems: Computing, Networking and Services
- 18th {EAI} International Conference, MobiQuitous 2021, Virtual Event,
November 8-11, 2021, Proceedings},
series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
and Telecommunications Engineering},
volume = {419},
pages = {322--346},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-94822-1\_18},
doi = {10.1007/978-3-030-94822-1\_18},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mobiquitous/HuSBSRD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-10152,
author = {Guolong Zheng and
ThanhVu Nguyen and
Sim{\'{o}}n Guti{\'{e}}rrez Brida and
Germ{\'{a}}n Regis and
Marcelo F. Frias and
Nazareno Aguirre and
Hamid Bagheri},
title = {{FLACK:} Counterexample-Guided Fault Localization for Alloy Models},
journal = {CoRR},
volume = {abs/2102.10152},
year = {2021},
url = {https://arxiv.org/abs/2102.10152},
eprinttype = {arXiv},
eprint = {2102.10152},
timestamp = {Wed, 24 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-10152.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-00327,
author = {Sim{\'{o}}n Guti{\'{e}}rrez Brida and
Germ{\'{a}}n Regis and
Guolong Zheng and
Hamid Bagheri and
ThanhVu Nguyen and
Nazareno Aguirre and
Marcelo F. Frias},
title = {Bounded Exhaustive Search of Alloy Specification Repairs},
journal = {CoRR},
volume = {abs/2103.00327},
year = {2021},
url = {https://arxiv.org/abs/2103.00327},
eprinttype = {arXiv},
eprint = {2103.00327},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-00327.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/BagheriSR20,
author = {Hamid Bagheri and
Andrew J. Severin and
Hridesh Rajan},
title = {Detecting and correcting misclassified sequences in the large-scale
public databases},
journal = {Bioinform.},
volume = {36},
number = {18},
pages = {4699--4705},
year = {2020},
url = {https://doi.org/10.1093/bioinformatics/btaa586},
doi = {10.1093/BIOINFORMATICS/BTAA586},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bioinformatics/BagheriSR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tifs/AlhanahnahYBZTS20,
author = {Mohannad Alhanahnah and
Qiben Yan and
Hamid Bagheri and
Hao Zhou and
Yutaka Tsutano and
Witawas Srisa{-}an and
Xiapu Luo},
title = {{DINA:} Detecting Hidden Android Inter-App Communication in Dynamic
Loaded Code},
journal = {{IEEE} Trans. Inf. Forensics Secur.},
volume = {15},
pages = {2782--2797},
year = {2020},
url = {https://doi.org/10.1109/TIFS.2020.2976556},
doi = {10.1109/TIFS.2020.2976556},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tifs/AlhanahnahYBZTS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/ZhengBRW20,
author = {Guolong Zheng and
Hamid Bagheri and
Gregg Rothermel and
Jianghao Wang},
editor = {Heike Wehrheim and
Jordi Cabot},
title = {Platinum: Reusing Constraint Solutions in Bounded Analysis of Relational
Logic},
booktitle = {Fundamental Approaches to Software Engineering - 23rd International
Conference, {FASE} 2020, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2020, Dublin, Ireland,
April 25-30, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12076},
pages = {29--52},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-45234-6\_2},
doi = {10.1007/978-3-030-45234-6\_2},
timestamp = {Fri, 14 May 2021 08:34:14 +0200},
biburl = {https://dblp.org/rec/conf/fase/ZhengBRW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/Balasubramaniam20,
author = {Balaji Balasubramaniam and
Hamid Bagheri and
Sebastian G. Elbaum and
Justin M. Bradley},
title = {Investigating Controller Evolution and Divergence through Mining and
Mutation\({}^{\mbox{*}}\)},
booktitle = {11th {ACM/IEEE} International Conference on Cyber-Physical Systems,
{ICCPS} 2020, Sydney, Australia, April 21-25, 2020},
pages = {151--161},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICCPS48487.2020.00022},
doi = {10.1109/ICCPS48487.2020.00022},
timestamp = {Tue, 26 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccps/Balasubramaniam20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BagheriKM20,
author = {Hamid Bagheri and
Eunsuk Kang and
Niloofar Mansoor},
editor = {Gregg Rothermel and
Doo{-}Hwan Bae},
title = {Synthesis of assurance cases for software certification},
booktitle = {{ICSE-NIER} 2020: 42nd International Conference on Software Engineering,
New Ideas and Emerging Results, Seoul, South Korea, 27 June - 19 July,
2020},
pages = {61--64},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3377816.3381728},
doi = {10.1145/3377816.3381728},
timestamp = {Mon, 03 May 2021 16:42:27 +0200},
biburl = {https://dblp.org/rec/conf/icse/BagheriKM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/StevensB20,
author = {Clay Stevens and
Hamid Bagheri},
editor = {Gregg Rothermel and
Doo{-}Hwan Bae},
title = {Reducing run-time adaptation space via analysis of possible utility
bounds},
booktitle = {{ICSE} '20: 42nd International Conference on Software Engineering,
Seoul, South Korea, 27 June - 19 July, 2020},
pages = {1522--1534},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3377811.3380365},
doi = {10.1145/3377811.3380365},
timestamp = {Fri, 08 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/StevensB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/ZhengBN20,
author = {Guolong Zheng and
Hamid Bagheri and
ThanhVu Nguyen},
title = {Debugging Declarative Models in Alloy},
booktitle = {{IEEE} International Conference on Software Maintenance and Evolution,
{ICSME} 2020, Adelaide, Australia, September 28 - October 2, 2020},
pages = {844--848},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSME46990.2020.00107},
doi = {10.1109/ICSME46990.2020.00107},
timestamp = {Tue, 10 Nov 2020 08:52:39 +0100},
biburl = {https://dblp.org/rec/conf/icsm/ZhengBN20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/AlhanahnahSB20,
author = {Mohannad Alhanahnah and
Clay Stevens and
Hamid Bagheri},
editor = {Sarfraz Khurshid and
Corina S. Pasareanu},
title = {Scalable analysis of interaction threats in IoT systems},
booktitle = {{ISSTA} '20: 29th {ACM} {SIGSOFT} International Symposium on Software
Testing and Analysis, Virtual Event, USA, July 18-22, 2020},
pages = {272--285},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3395363.3397347},
doi = {10.1145/3395363.3397347},
timestamp = {Wed, 15 Jul 2020 15:59:31 +0200},
biburl = {https://dblp.org/rec/conf/issta/AlhanahnahSB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/BagheriMMSR19,
author = {Hamid Bagheri and
Usha Muppirala and
Rick E. Masonbrink and
Andrew J. Severin and
Hridesh Rajan},
title = {Shared data science infrastructure for genomics data},
journal = {{BMC} Bioinform.},
volume = {20},
number = {1},
pages = {436:1--436:13},
year = {2019},
url = {https://doi.org/10.1186/s12859-019-2967-2},
doi = {10.1186/S12859-019-2967-2},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bmcbi/BagheriMMSR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/HammadBM19,
author = {Mahmoud Hammad and
Hamid Bagheri and
Sam Malek},
title = {DelDroid: An automated approach for determination and enforcement
of least-privilege architecture in android},
journal = {J. Syst. Softw.},
volume = {149},
pages = {83--100},
year = {2019},
url = {https://doi.org/10.1016/j.jss.2018.11.049},
doi = {10.1016/J.JSS.2018.11.049},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jss/HammadBM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/infocom/AlhanahnahYBZTS19,
author = {Mohannad Alhanahnah and
Qiben Yan and
Hamid Bagheri and
Hao Zhou and
Yutaka Tsutano and
Witawas Srisa{-}an and
Xiapu Luo},
title = {Detecting Vulnerable Android Inter-App Communication in Dynamically
Loaded Code},
booktitle = {2019 {IEEE} Conference on Computer Communications, {INFOCOM} 2019,
Paris, France, April 29 - May 2, 2019},
pages = {550--558},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/INFOCOM.2019.8737637},
doi = {10.1109/INFOCOM.2019.8737637},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/infocom/AlhanahnahYBZTS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/19/MalekBGS19,
author = {Sam Malek and
Hamid Bagheri and
Joshua Garcia and
Alireza Sadeghi},
editor = {Sungdeok Cha and
Richard N. Taylor and
Kyo Chul Kang},
title = {Security and Software Engineering},
booktitle = {Handbook of Software Engineering},
pages = {445--489},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-00262-6\_12},
doi = {10.1007/978-3-030-00262-6\_12},
timestamp = {Tue, 19 Feb 2019 19:18:54 +0100},
biburl = {https://dblp.org/rec/books/sp/19/MalekBGS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BagheriKMJ18,
author = {Hamid Bagheri and
Eunsuk Kang and
Sam Malek and
Daniel Jackson},
title = {A formal approach for detection of security flaws in the android permission
system},
journal = {Formal Aspects Comput.},
volume = {30},
number = {5},
pages = {525--544},
year = {2018},
url = {https://doi.org/10.1007/s00165-017-0445-z},
doi = {10.1007/S00165-017-0445-Z},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BagheriKMJ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/SadeghiJGBM18,
author = {Alireza Sadeghi and
Reyhaneh Jabbarvand and
Negar Ghorbani and
Hamid Bagheri and
Sam Malek},
editor = {Michel Chaudron and
Ivica Crnkovic and
Marsha Chechik and
Mark Harman},
title = {A temporal permission analysis and enforcement framework for Android},
booktitle = {Proceedings of the 40th International Conference on Software Engineering,
{ICSE} 2018, Gothenburg, Sweden, May 27 - June 03, 2018},
pages = {846--857},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3180155.3180172},
doi = {10.1145/3180155.3180172},
timestamp = {Tue, 10 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/SadeghiJGBM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/BagheriWAM18,
author = {Hamid Bagheri and
Jianghao Wang and
Jarod Aerts and
Sam Malek},
title = {Efficient, Evolutionary Security Analysis of Interacting Android Apps},
booktitle = {2018 {IEEE} International Conference on Software Maintenance and Evolution,
{ICSME} 2018, Madrid, Spain, September 23-29, 2018},
pages = {357--368},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/ICSME.2018.00044},
doi = {10.1109/ICSME.2018.00044},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsm/BagheriWAM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/WangBC18,
author = {Jianghao Wang and
Hamid Bagheri and
Myra B. Cohen},
editor = {Marianne Huchard and
Christian K{\"{a}}stner and
Gordon Fraser},
title = {An evolutionary approach for analyzing Alloy specifications},
booktitle = {Proceedings of the 33rd {ACM/IEEE} International Conference on Automated
Software Engineering, {ASE} 2018, Montpellier, France, September 3-7,
2018},
pages = {820--825},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3238147.3240468},
doi = {10.1145/3238147.3240468},
timestamp = {Thu, 23 Jun 2022 19:54:17 +0200},
biburl = {https://dblp.org/rec/conf/kbse/WangBC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/MansoorSSBCF18,
author = {Niloofar Mansoor and
Jonathan A. Saddler and
Bruno Vieira Resende e Silva and
Hamid Bagheri and
Myra B. Cohen and
Shane Farritor},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Modeling and testing a family of surgical robots: an experience report},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {785--790},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3275534},
doi = {10.1145/3236024.3275534},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/MansoorSSBCF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Bagheri0S17,
author = {Hamid Bagheri and
Chong Tang and
Kevin J. Sullivan},
title = {Automated Synthesis and Dynamic Analysis of Tradeoff Spaces for Object-Relational
Mapping},
journal = {{IEEE} Trans. Software Eng.},
volume = {43},
number = {2},
pages = {145--163},
year = {2017},
url = {https://doi.org/10.1109/TSE.2016.2587646},
doi = {10.1109/TSE.2016.2587646},
timestamp = {Wed, 26 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Bagheri0S17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/SadeghiBGM17,
author = {Alireza Sadeghi and
Hamid Bagheri and
Joshua Garcia and
Sam Malek},
title = {A Taxonomy and Qualitative Comparison of Program Analysis Techniques
for Security Assessment of Android Software},
journal = {{IEEE} Trans. Software Eng.},
volume = {43},
number = {6},
pages = {492--530},
year = {2017},
url = {https://doi.org/10.1109/TSE.2016.2615307},
doi = {10.1109/TSE.2016.2615307},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/SadeghiBGM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsa/HammadBM17,
author = {Mahmoud Hammad and
Hamid Bagheri and
Sam Malek},
title = {Determination and Enforcement of Least-Privilege Architecture in Android},
booktitle = {2017 {IEEE} International Conference on Software Architecture, {ICSA}
2017, Gothenburg, Sweden, April 3-7, 2017},
pages = {59--68},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICSA.2017.18},
doi = {10.1109/ICSA.2017.18},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsa/HammadBM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/0001BPS17,
author = {Chong Tang and
Hamid Bagheri and
Sarun Paisarnsrisomsuk and
Kevin J. Sullivan},
editor = {Sebasti{\'{a}}n Uchitel and
Alessandro Orso and
Martin P. Robillard},
title = {Towards designing effective data persistence through tradeoff space
analysis},
booktitle = {Proceedings of the 39th International Conference on Software Engineering,
{ICSE} 2017, Buenos Aires, Argentina, May 20-28, 2017 - Companion
Volume},
pages = {353--355},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICSE-C.2017.106},
doi = {10.1109/ICSE-C.2017.106},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/0001BPS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-10377,
author = {Hamid Bagheri and
Md Johirul Islam},
title = {Sentiment analysis of twitter data},
journal = {CoRR},
volume = {abs/1711.10377},
year = {2017},
url = {http://arxiv.org/abs/1711.10377},
eprinttype = {arXiv},
eprint = {1711.10377},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-10377.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BagheriS16,
author = {Hamid Bagheri and
Kevin J. Sullivan},
title = {Model-driven synthesis of formally precise, stylized software architectures},
journal = {Formal Aspects Comput.},
volume = {28},
number = {3},
pages = {441--467},
year = {2016},
url = {https://doi.org/10.1007/s00165-016-0360-8},
doi = {10.1007/S00165-016-0360-8},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BagheriS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/BagheriGSMM16,
author = {Hamid Bagheri and
Joshua Garcia and
Alireza Sadeghi and
Sam Malek and
Nenad Medvidovic},
title = {Software architectural principles in contemporary mobile software:
from conception to practice},
journal = {J. Syst. Softw.},
volume = {119},
pages = {31--44},
year = {2016},
url = {https://doi.org/10.1016/j.jss.2016.05.039},
doi = {10.1016/J.JSS.2016.05.039},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jss/BagheriGSMM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/BagheriSBM16,
author = {Hamid Bagheri and
Alireza Sadeghi and
Reyhaneh Jabbarvand Behrouz and
Sam Malek},
title = {Practical, Formal Synthesis and Automatic Enforcement of Security
Policies for Android},
booktitle = {46th Annual {IEEE/IFIP} International Conference on Dependable Systems
and Networks, {DSN} 2016, Toulouse, France, June 28 - July 1, 2016},
pages = {514--525},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/DSN.2016.53},
doi = {10.1109/DSN.2016.53},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/BagheriSBM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsa/SchmerlGSBMCG16,
author = {Bradley R. Schmerl and
Jeff Gennari and
Alireza Sadeghi and
Hamid Bagheri and
Sam Malek and
Javier C{\'{a}}mara and
David Garlan},
editor = {Bedir Tekinerdogan and
Uwe Zdun and
Muhammad Ali Babar},
title = {Architecture Modeling and Analysis of Security in Android Systems},
booktitle = {Software Architecture - 10th European Conference, {ECSA} 2016, Copenhagen,
Denmark, November 28 - December 2, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9839},
pages = {274--290},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-48992-6\_21},
doi = {10.1007/978-3-319-48992-6\_21},
timestamp = {Fri, 14 Apr 2023 23:05:45 +0200},
biburl = {https://dblp.org/rec/conf/ecsa/SchmerlGSBMCG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MirzaeiGBSM16,
author = {Nariman Mirzaei and
Joshua Garcia and
Hamid Bagheri and
Alireza Sadeghi and
Sam Malek},
editor = {Laura K. Dillon and
Willem Visser and
Laurie A. Williams},
title = {Reducing combinatorics in {GUI} testing of android applications},
booktitle = {Proceedings of the 38th International Conference on Software Engineering,
{ICSE} 2016, Austin, TX, USA, May 14-22, 2016},
pages = {559--570},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2884781.2884853},
doi = {10.1145/2884781.2884853},
timestamp = {Tue, 10 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/MirzaeiGBSM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/BehrouzSBM16,
author = {Reyhaneh Jabbarvand Behrouz and
Alireza Sadeghi and
Hamid Bagheri and
Sam Malek},
editor = {Andreas Zeller and
Abhik Roychoudhury},
title = {Energy-aware test-suite minimization for Android apps},
booktitle = {Proceedings of the 25th International Symposium on Software Testing
and Analysis, {ISSTA} 2016, Saarbr{\"{u}}cken, Germany, July
18-20, 2016},
pages = {425--436},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2931037.2931067},
doi = {10.1145/2931037.2931067},
timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
biburl = {https://dblp.org/rec/conf/issta/BehrouzSBM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/BagheriM16,
author = {Hamid Bagheri and
Sam Malek},
editor = {Thomas Zimmermann and
Jane Cleland{-}Huang and
Zhendong Su},
title = {Titanium: efficient analysis of evolving alloy specifications},
booktitle = {Proceedings of the 24th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, {FSE} 2016, Seattle, WA, USA,
November 13-18, 2016},
pages = {27--38},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2950290.2950337},
doi = {10.1145/2950290.2950337},
timestamp = {Thu, 02 Dec 2021 11:46:17 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/BagheriM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BagheriSGM15,
author = {Hamid Bagheri and
Alireza Sadeghi and
Joshua Garcia and
Sam Malek},
title = {{COVERT:} Compositional Analysis of Android Inter-App Permission Leakage},
journal = {{IEEE} Trans. Software Eng.},
volume = {41},
number = {9},
pages = {866--886},
year = {2015},
url = {https://doi.org/10.1109/TSE.2015.2419611},
doi = {10.1109/TSE.2015.2419611},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BagheriSGM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BagheriKMJ15,
author = {Hamid Bagheri and
Eunsuk Kang and
Sam Malek and
Daniel Jackson},
editor = {Nikolaj S. Bj{\o}rner and
Frank S. de Boer},
title = {Detection of Design Flaws in the Android Permission Protocol Through
Bounded Verification},
booktitle = {{FM} 2015: Formal Methods - 20th International Symposium, Oslo, Norway,
June 24-26, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9109},
pages = {73--89},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19249-9\_6},
doi = {10.1007/978-3-319-19249-9\_6},
timestamp = {Thu, 14 Apr 2022 20:26:16 +0200},
biburl = {https://dblp.org/rec/conf/fm/BagheriKMJ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/SadeghiBM15,
author = {Alireza Sadeghi and
Hamid Bagheri and
Sam Malek},
editor = {Antonia Bertolino and
Gerardo Canfora and
Sebastian G. Elbaum},
title = {Analysis of Android Inter-App Security Vulnerabilities Using {COVERT}},
booktitle = {37th {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 2},
pages = {725--728},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICSE.2015.233},
doi = {10.1109/ICSE.2015.233},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/SadeghiBM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/MirzaeiBMM15,
author = {Nariman Mirzaei and
Hamid Bagheri and
Riyadh Mahmood and
Sam Malek},
title = {SIG-Droid: Automated system input generation for Android applications},
booktitle = {26th {IEEE} International Symposium on Software Reliability Engineering,
{ISSRE} 2015, Gaithersbury, MD, USA, November 2-5, 2015},
pages = {461--471},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ISSRE.2015.7381839},
doi = {10.1109/ISSRE.2015.7381839},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/MirzaeiBMM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msr/KouroshfarMBXMC15,
author = {Ehsan Kouroshfar and
Mehdi Mirakhorli and
Hamid Bagheri and
Lu Xiao and
Sam Malek and
Yuanfang Cai},
editor = {Massimiliano Di Penta and
Martin Pinzger and
Romain Robbes},
title = {A Study on the Role of Software Architecture in the Evolution and
Quality of Software},
booktitle = {12th {IEEE/ACM} Working Conference on Mining Software Repositories,
{MSR} 2015, Florence, Italy, May 16-17, 2015},
pages = {246--257},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/MSR.2015.30},
doi = {10.1109/MSR.2015.30},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/msr/KouroshfarMBXMC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BagheriTS14,
author = {Hamid Bagheri and
Chong Tang and
Kevin J. Sullivan},
editor = {Pankaj Jalote and
Lionel C. Briand and
Andr{\'{e}} van der Hoek},
title = {TradeMaker: automated dynamic analysis of synthesized tradespaces},
booktitle = {36th International Conference on Software Engineering, {ICSE} '14,
Hyderabad, India - May 31 - June 07, 2014},
pages = {106--116},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2568225.2568291},
doi = {10.1145/2568225.2568291},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/BagheriTS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/MalekBS14,
author = {Sam Malek and
Hamid Bagheri and
Alireza Sadeghi},
editor = {Aharon Abadi and
Rafael Prikladnicki and
Yael Dubinsky},
title = {Automated detection and mitigation of inter-application security vulnerabilities
in Android (invited talk)},
booktitle = {Proceedings of the 2nd International Workshop on Software Development
Lifecycle for Mobile, DeMobile 2014, Hong Kong, China, November 17,
2014},
pages = {17--18},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2661694.2661699},
doi = {10.1145/2661694.2661699},
timestamp = {Tue, 06 Nov 2018 16:59:23 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/MalekBS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Bagheri14,
author = {Hamid Bagheri},
title = {Synthesis from Formal Partial Abstractions},
journal = {CoRR},
volume = {abs/1411.0481},
year = {2014},
url = {http://arxiv.org/abs/1411.0481},
eprinttype = {arXiv},
eprint = {1411.0481},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Bagheri14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BagheriS04,
author = {Hamid Bagheri and
Kevin J. Sullivan},
editor = {David Notkin and
Betty H. C. Cheng and
Klaus Pohl},
title = {Bottom-up model-driven development},
booktitle = {35th International Conference on Software Engineering, {ICSE} '13,
San Francisco, CA, USA, May 18-26, 2013},
pages = {1221--1224},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICSE.2013.6606683},
doi = {10.1109/ICSE.2013.6606683},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/BagheriS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/BagheriS12,
author = {Hamid Bagheri and
Kevin J. Sullivan},
editor = {Klaus Ostermann and
Walter Binder},
title = {Pol: specification-driven synthesis of architectural code frameworks
for platform-based applications},
booktitle = {Generative Programming and Component Engineering, GPCE'12, Dresden,
Germany, September 26-28, 2012},
pages = {93--102},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2371401.2371416},
doi = {10.1145/2371401.2371416},
timestamp = {Tue, 21 Mar 2023 21:01:36 +0100},
biburl = {https://dblp.org/rec/conf/gpce/BagheriS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/BagheriSS12,
author = {Hamid Bagheri and
Kevin J. Sullivan and
Sang H. Son},
title = {Spacemaker: Practical Formal Synthesis of Tradeoff Spaces for Object-Relational
Mapping},
booktitle = {Proceedings of the 24th International Conference on Software Engineering
{\&} Knowledge Engineering (SEKE'2012), Hotel Sofitel, Redwood
City, San Francisco Bay, {USA} July 1-3, 2012},
pages = {688--693},
publisher = {Knowledge Systems Institute Graduate School},
year = {2012},
timestamp = {Mon, 02 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/seke/BagheriSS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Bagheri11,
author = {Hamid Bagheri},
editor = {Richard N. Taylor and
Harald C. Gall and
Nenad Medvidovic},
title = {A formal approach to software synthesis for architectural platforms},
booktitle = {Proceedings of the 33rd International Conference on Software Engineering,
{ICSE} 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011},
pages = {1143--1145},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1985793.1986023},
doi = {10.1145/1985793.1986023},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/Bagheri11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/BagheriS11,
author = {Hamid Bagheri and
Kevin J. Sullivan},
title = {A Formal Approach for Incorporating Architectural Tactics into the
Software Architecture},
booktitle = {Proceedings of the 23rd International Conference on Software Engineering
{\&} Knowledge Engineering (SEKE'2011), Eden Roc Renaissance,
Miami Beach, USA, July 7-9, 2011},
pages = {770--775},
publisher = {Knowledge Systems Institute Graduate School},
year = {2011},
timestamp = {Thu, 12 Mar 2020 11:30:49 +0100},
biburl = {https://dblp.org/rec/conf/seke/BagheriS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/BagheriS10,
author = {Hamid Bagheri and
Kevin J. Sullivan},
editor = {Marc Frappier and
Uwe Gl{\"{a}}sser and
Sarfraz Khurshid and
R{\'{e}}gine Laleau and
Steve Reeves},
title = {Architecture as an Independent Variable for Aspect-Oriented Application
Descriptions},
booktitle = {Abstract State Machines, Alloy, {B} and Z, Second International Conference,
{ABZ} 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5977},
pages = {395},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11811-1\_32},
doi = {10.1007/978-3-642-11811-1\_32},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/asm/BagheriS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/BagheriSS10,
author = {Hamid Bagheri and
Yuanyuan Song and
Kevin J. Sullivan},
editor = {Charles Pecheur and
Jamie Andrews and
Elisabetta Di Nitto},
title = {Architectural style as an independent variable},
booktitle = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
Software Engineering, Antwerp, Belgium, September 20-24, 2010},
pages = {159--162},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1858996.1859026},
doi = {10.1145/1858996.1859026},
timestamp = {Tue, 06 Nov 2018 16:58:23 +0100},
biburl = {https://dblp.org/rec/conf/kbse/BagheriSS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BagheriS10,
author = {Hamid Bagheri and
Kevin J. Sullivan},
editor = {Dorina C. Petriu and
Nicolas Rouquette and
{\O}ystein Haugen},
title = {Monarch: Model-Based Development of Software Architectures},
booktitle = {Model Driven Engineering Languages and Systems - 13th International
Conference, {MODELS} 2010, Oslo, Norway, October 3-8, 2010, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {6395},
pages = {376--390},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16129-2\_27},
doi = {10.1007/978-3-642-16129-2\_27},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/models/BagheriS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiccsa/BagheriMSM08,
author = {Hamid Bagheri and
Vajih Montaghami and
Gholamreza Safi and
Seyed{-}Hassan Mirian{-}Hosseinabadi},
title = {An evaluation method for aspectual modeling of distributed software
architectures},
booktitle = {The 6th {ACS/IEEE} International Conference on Computer Systems and
Applications, {AICCSA} 2008, Doha, Qatar, March 31 - April 4, 2008},
pages = {903--908},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/AICCSA.2008.4493639},
doi = {10.1109/AICCSA.2008.4493639},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiccsa/BagheriMSM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/Bagheri07,
author = {Hamid Bagheri},
title = {Injecting security as aspectable {NFR} into Software Architecture},
booktitle = {14th Asia-Pacific Software Engineering Conference {(APSEC} 2007),
5-7 December 2007, Nagoya, Japan},
pages = {310--317},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/APSEC.2007.65},
doi = {10.1109/APSEC.2007.65},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/apsec/Bagheri07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cit/BagheriME07,
author = {Hamid Bagheri and
Seyed{-}Hassan Mirian{-}Hosseinabadi and
Hesam Chiniforooshan Esfahani},
title = {An Aspect Enhanced Method of {NFR} Modeling in Software Architecture},
booktitle = {10th International Conference on Information Technology, {ICIT} 2007,
Roukela, India, 17-20 December 2007},
pages = {240--242},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICIT.2007.19},
doi = {10.1109/ICIT.2007.19},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cit/BagheriME07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cm/TrezzaHIBD03,
author = {John Trezza and
Harald Hamster and
Joseph Iamartino and
Hamid Bagheri and
Casimer M. DeCusatis},
title = {Parallel optical interconnects for enterprise class server clusters:
needs and technology solutions},
journal = {{IEEE} Commun. Mag.},
volume = {41},
number = {2},
year = {2003},
url = {https://doi.org/10.1109/MCOM.2003.1179496},
doi = {10.1109/MCOM.2003.1179496},
timestamp = {Fri, 21 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cm/TrezzaHIBD03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-12-28 00:52 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
