胡萨姆·阿巴斯；理查德·佩弗莱 时序逻辑的多分辨率分析。 （英语） Zbl 07807725号 第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第17号论文，第10页（2022年）。MSC公司：65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{H.Abbas}和\textit{R.Pelphrey}，in：第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周的一部分，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第17号文件，第10页（2022；Zbl 07807725） 全文： DOI程序
科林·谢·布莱迈尔；胡萨姆·阿巴斯 自治系统安全性的道义逻辑分析。 （英语） Zbl 07300867号 第23届ACM混合系统国际会议论文集：计算与控制，HSCC 2020，澳大利亚悉尼，虚拟，2020年4月21日至24日。纽约州纽约市：计算机协会（ACM）。第26条，第11页（2020年）。MSC公司：65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{C.Shea-Blymyer}和\textit{H.Abbas}，in：第23届ACM混合系统国际会议论文集：计算与控制，HSCC 2020，澳大利亚悉尼与虚拟，2020年4月21日至24日。纽约州纽约市：计算机协会（ACM）。第26条，第11页（2020；Zbl 07300867） 全文： DOI程序 arXiv公司
胡萨姆·阿巴斯；亚什·瓦尔丹长裤；拉胡尔·曼哈拉姆 一般信号类的时序逻辑鲁棒性。 （英语） Zbl 07120140号 2019年4月16日至18日，加拿大魁北克蒙特利尔，HSCC 2019，第22届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）。45-56 (2019).MSC公司：65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{H.Abbas}等人，in：第22届ACM混合系统国际会议论文集：计算与控制，HSCC 2019，加拿大魁北克省蒙特利尔，2019年4月16-18日。纽约州纽约市：计算机协会（ACM）。45-56（2019年；兹bl 07120140） 全文： DOI程序 链接
胡萨姆·阿巴斯；乔治·费内科斯 通过局部搜索实现线性混合系统伪造。 （英语） Zbl 1348.68087号 Bultan，Tevfik（编辑）等人，《验证和分析自动化技术》。2011年10月11日至14日，第九届国际研讨会，ATVA 2011，台湾台北。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24371-4/pbk）。计算机科学课堂讲稿6996，503-510（2011）。MSC公司：65年第68季度 68T20型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{H.Abbas}和\textit{G.Fainekos}，莱克特。注释计算。科学。6996、503--510（2011；Zbl 1348.68087） 全文： DOI程序 arXiv公司