帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐(Mohamed Faouzi Atig);Raj Aryan阿加瓦尔;阿德瓦伊·戈博莱;S.、Krishna 概率总店铺订单。 (英语) Zbl 1528.68074号 谢尔盖,伊利亚(编辑),《编程语言和系统》。2022年4月2日至7日,在德国慕尼黑举行的第31届欧洲编程研讨会ESOP 2022,作为欧洲软件理论与实践联合会议ETAPS 2022的一部分。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13240, 317-345 (2022).MSC公司:68号30 60J20型 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Lect。注释计算。科学。13240317--345(2022年;Zbl 1528.68074) 全文: 内政部 arXiv公司
帕罗什·阿齐兹·阿卜杜拉 定期模型检查:演变和观点。 (英语) Zbl 1522.68291号 Olderog、Ernst-Rüdiger(编辑)等人,《模型检查、综合和学习》。在本特·琼森60岁生日之际为他撰写的论文。查姆:施普林格。莱克特。注释计算。科学。13030, 78-96 (2022).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla},莱克特。注释计算。科学。13030,78--96(2022;Zbl 1522.68291) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐(Mohamed Faouzi Atig);陈玉芳;比菲省迪普;卢卡什·霍利克;胡登庚;蔡伟伦;吴志林;甄子丹 用平面抽象解决非子串约束。 (英语) 兹比尔1520.68068 哦,Hakjoo(编辑),编程语言和系统。第19届亚洲研讨会,APLAS 2021,芝加哥,伊利诺伊州,美国,2021年10月17日至18日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13008, 305-320 (2021).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Lect。注释计算。科学。13008305-320(2021;Zbl 1520.68068) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐(Mohamed Faouzi Atig);阿德瓦伊·戈博莱;克里希纳,S。;维克托·瓦菲亚迪斯 PS 2.0下验证的可判定性。 (英语) Zbl 1474.68187号 Yoshida,Nobuko(编辑),《编程语言和系统》。2021年3月27日至4月1日,作为欧洲软件理论与实践联合会议(ETAPS 2021)的一部分,在卢森堡卢森堡市举行了第30届欧洲编程研讨会(ESOP 2021)。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12648, 1-29 (2021).MSC公司:第68季度第60季度 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Lect。注释计算。科学。12648,1--29(2021;Zbl 1474.68187) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐(Mohamed Faouzi Atig);比菲省迪普;卢卡什·霍利克;彼得·扬克 无链字符串约束。 (英语) Zbl 1437.68131号 Chen,Yu Fang(编辑)等人,用于验证和分析的自动化技术。2019年10月28日至31日,第17届国际研讨会,ATVA 2019,台湾台北。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。11781, 277-293 (2019).MSC公司:68兰特 68号30 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Lect。注释计算。科学。11781、277--293(2019年;Zbl 1437.68131) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐(Mohamed Faouzi Atig);桑卡拉·纳拉亚南·克里希纳;Shaan Vaidya 验证定时异步程序。 (英语) Zbl 1528.68075号 Ganguly,Sumit(编辑)等人,第38届IARCS软件技术和理论计算机科学基础年会,2018年12月11-13日,印度艾哈迈达巴德,FSTTCS 2018。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。122,第8条,第16页(2018年)。MSC公司:68号30 2017年第68季度 第68季度第45季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,LIPIcs——莱布尼茨国际程序。通知。122,第8条,第16页(2018;Zbl 1528.68075) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;本特·琼森;聪奎·特里恩 用于并行形状分析的片段抽象。 (英语) Zbl 1418.68124号 阿马尔·艾哈迈德(编辑),《编程语言和系统》。2018年4月14日至20日在希腊塞萨洛尼基举行的第27届欧洲编程研讨会(ESOP 2018),作为欧洲软件理论与实践联合会议的一部分。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。10801, 442-471 (2018).MSC公司:第68季度第60季度 第68页第19页 68第05页 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Lect。注释计算。科学。10801、442--471(2018;Zbl 1418.68124) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;普拉萨德·西斯特拉;穆拉利达尔·塔卢普尔 模型检查参数化系统。 (英语) 兹比尔1392.68223 Clarke,Edmund M.(编辑)等人,《模型检查手册》。查姆:施普林格(ISBN 978-3-319-10574-1/hbk;978-3-3169-10575-8/电子书)。685-725 (2018).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,in:模型检查手册。查姆:施普林格。685--725(2018;Zbl 1392.68223) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐(Mohamed Faouzi Atig);艾哈迈德·博阿贾尼;Ngo、Tuan Phong 用于总存储顺序的加载缓冲语义。 (英语) Zbl 1459.68038号 日志。计算方法。科学。 14,第1号,第9号论文,46页(2018年).MSC公司:68号30 第68页第19页 68问题55 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,日志。计算方法。科学。14,第1号,第9号论文,46页(2018;Zbl 1459.68038) 全文: 内政部 arXiv公司
帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐(Mohamed Faouzi Atig);卡西拉斯、斯特凡诺斯;卡尔·莱昂纳多森;阿尔贝托·罗斯;朱云云 用自我失效和自我降级来修补篱笆。 (英语) Zbl 1459.68039号 日志。计算方法。科学。 14,第1号,第6号论文,33页(2018年).MSC公司:68号30 68个M12 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,日志。计算方法。科学。14,第1号,第6号论文,33页(2018;Zbl 1459.68039) 全文: 内政部 arXiv公司
帕罗什·阿齐兹·阿卜杜拉;艾斯瓦里亚,C。;穆罕默德·法乌齐(Mohamed Faouzi Atig) 数据多下推自动机。 (英语) Zbl 1442.68076号 Meyer,Roland(编辑)等人,第28届并发理论国际会议。2017年CONCUR,德国柏林,2017年9月5-8日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。85,第38条,第17页(2017)。MSC公司:第68季度第45季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,LIPIcs——莱布尼茨国际程序。通知。85,第38条,第17页(2017;Zbl 1442.68076) 全文: 内政部
帕罗什·阿卜杜拉;阿罗尼斯·斯塔夫罗斯;本特·琼森;康斯坦蒂诺斯·萨戈纳斯 比较源集合和持久集合以进行部分降阶。 (英语) Zbl 1431.68062号 Aceto,Luca(编辑)等人,《模型、算法、逻辑和工具》。纪念金·古德斯特兰·拉森60岁生日的文章。查姆:施普林格。莱克特。注释计算。科学。10460, 516-536 (2017).MSC公司:第68季度第60季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Abdulla}等人,Lect。注释计算。科学。10460516--536(2017;Zbl 1431.68062) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;阿罗尼斯·斯塔夫罗斯;本特·琼森;康斯坦蒂诺斯·萨戈纳斯 源集:最优动态部分降阶的基础。 (英语) Zbl 1426.68038号 美国临床医学杂志 64号第4条第25条第49页(2017年).MSC公司:68号30 第68季度第60季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,J.ACM 64,第4号,第25条,第49页(2017年;Zbl 1426.68038) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;阿罗尼斯·斯塔夫罗斯;穆罕默德·法乌齐(Mohamed Faouzi Atig);本特·琼森;卡尔·莱昂纳多森;康斯坦蒂诺斯·萨戈纳斯 TSO和PSO的无状态模型检查。 (英语) Zbl 1380.68265号 学报信息。 54,第8号,789-818(2017).MSC公司:第68季度第60季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Acta Inf.54,No.8,789--818(2017;Zbl 1380.68265) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐(Mohamed Faouzi Atig);比菲省迪普 反示例引导程序验证。 (英语) Zbl 1427.68157号 Fitzgerald,John(编辑)等,FM 2016:形式方法。第21届国际研讨会,2016年11月9日至11日,塞浦路斯利马索尔。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9995, 25-42 (2016).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Lect。注释计算。科学。9995,25-42(2016;Zbl 1427.68157) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;艾斯瓦里亚,C。;穆罕默德·法乌齐(Mohamed Faouzi Atig) 具有不可靠通道的数据通信过程。 (英语) Zbl 1401.68179号 2016年7月5日至8日,美国纽约州纽约市,2016年第31届ACM/IEEE计算机科学逻辑研讨会论文集,2016年LICS。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-4391-6)。166-175 (2016).MSC公司:第68季度第60季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,摘自:2016年第31届ACM/IEEE年度计算机科学逻辑研讨会论文集,2016年LICS,美国纽约市,2016年7月5-8日。纽约州纽约市:计算机协会(ACM)。166-175(2016;Zbl 1401.68179) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐(Mohamed Faouzi Atig);艾哈迈德·博阿贾尼;Ngo、Tuan Phong 在TSO下验证并发程序的对偶性的好处。 (英语) Zbl 1392.68142号 Desharnais,Josée(编辑)等人,第27届并发理论国际会议,CONCUR 2016,加拿大魁北克市,2016年8月23日至26日。诉讼程序。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-95977-017-0)。LIPIcs–Leibniz International Proceedings in Informatics莱布尼茨国际信息学论文集59,第5条,第15页(2016年)。MSC公司:68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,LIPIcs——莱布尼茨国际程序。通知。59,第5条,第15页(2016年;Zbl 1392.68142) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;卢卡什·霍利克;本特·琼森;Ondřej Lengál;聪奎·特里恩;汤姆·沃纳 通过扩展森林自动机验证具有有序数据的堆操作程序。 (英语) Zbl 1344.68136号 学报信息。 53,第4期,357-385(2016).MSC公司:第68季度第60季度 68第05页 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Acta Inf.53,No.4,357--385(2016;Zbl 1344.68136) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;拉杜·乔巴努;Richard迈尔;阿诺德·桑尼尔;杰里米·斯普洛斯顿 VASS诱导MDP的定性分析。 (英语) Zbl 1475.68199号 Jacobs,Bart(编辑)等人,《软件科学和计算结构基础》。2016年4月2日至8日在荷兰埃因霍温举行的第19届国际会议FOSSACS 2016,作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。9634, 319-334 (2016).MSC公司:68问题85 第68季度第60季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Lect。注释计算。科学。9634,319--334(2016;Zbl 1475.68199) 全文: 内政部 arXiv公司 链接
帕罗什·阿齐兹·阿卜杜拉;乔治·德尔扎诺;雷嗪、奥特曼;阿诺德·桑尼尔;里卡多·特拉维索 ad hoc网络协议的时间敏感模型的参数化验证。 (英语) Zbl 1332.68137号 西奥。计算。科学。 612, 1-22 (2016).MSC公司:第68季度第60季度 68个M12 第68季度第45季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Theor。计算。科学。612,1--22(2016;Zbl 1332.68137) 全文: 内政部
帕罗什·A·阿卜杜拉。;弗雷德里克·哈齐扎;卢卡·霍利克 视图抽象–教程(特邀论文)。 (英语) Zbl 1429.68137号 André,Etienne(编辑)等人,第二届复杂参数合成国际研讨会,SynCoP’15,2015年4月11日,英国伦敦。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik。OASIcs–OpenAccess服务器。通知。44, 1-15 (2015).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,OASIcs--OpenAccess Ser。通知。44、1-15(2015年;Zbl 1429.68137) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;阿罗尼斯·斯塔夫罗斯;穆罕默德·法乌齐(Mohamed Faouzi Atig);本特·琼森;卡尔·莱昂纳多森;康斯坦蒂诺斯·萨戈纳斯 TSO和PSO的无状态模型检查。 (英语) Zbl 1420.68115号 Baier,Christel(编辑)等人,《系统构建和分析的工具和算法》。第21届国际会议,TACAS 2015,作为欧洲软件理论与实践联合会议的一部分,ETAPS 2015,英国伦敦,2015年4月11日至18日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。9035, 353-367 (2015).MSC公司:第68季度第60季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Lect。注释计算。科学。9035,353--367(2015;Zbl 1420.68115) 全文: 内政部 arXiv公司
帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐(Mohamed Faouzi Atig);艾哈迈特·卡拉;奥思曼·雷津 动态寄存器自动机的验证。 (英语) Zbl 1360.68575号 Raman,Venkatesh(ed.)等人,第34届软件技术和理论计算机科学基础国际会议,FSTTCS 2014,印度新德里,2014年12月15日至17日。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-77-4)。LIPIcs–莱布尼茨国际信息学论文集29,653-665(2014)。MSC公司:第68季度第60季度 第68季度第45季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,LIPIcs——莱布尼茨国际程序。通知。29653--665(2014年;Zbl 1360.68575) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;洛伦佐·克莱门特;Richard迈尔;斯文·桑德伯格 有耗信道系统上的随机奇偶博弈。 (英语) 兹比尔1448.68282 日志。计算方法。科学。 10,第4号,第21号论文,21页(2014).MSC公司:第68季度第60季度 87年第68季度 91A15型 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,日志。计算方法。科学。10,第4号,第21号论文,21页(2014;Zbl 1448.68282) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐(Mohamed Faouzi Atig);奥思曼·雷津;贾里·斯坦曼 基于预算的模型检查下推系统。 (英语) Zbl 1317.68106号 形式方法系统。设计。 45,第2期,273-301(2014).MSC公司:第68季度第60季度 68问题85 第68季度25 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,《形式方法系统》。设计。45,第2号,273--301(2014;Zbl 1317.68106) 全文: 内政部
帕罗什·阿卜杜拉;阿罗尼斯·斯塔夫罗斯;本特·琼森;康斯坦蒂诺斯·萨戈纳斯 最优动态部分降阶。 (英语) Zbl 1284.68377号 2014年1月22日至24日,美国加利福尼亚州圣地亚哥,POPL’14,第41届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-2544-8)。373-384 (2014).MSC公司:第68季度第60季度 68周05 68号30 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Abdulla}等人,《第41届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集》,POPL’14,美国加利福尼亚州圣地亚哥,2014年1月22日至24日。纽约州纽约市:计算机协会(ACM)。373--384(2014年;Zbl 1284.68377) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;弗雷德里克·哈齐扎;卢卡什·霍利克 所有这些都是为了几个(通过视图抽象进行参数化验证)。 (英语) Zbl 1426.68160号 Giacobazzi,Roberto(编辑)等人,《验证、模型检查和抽象解释》。第14届国际会议,2013年VMCAI,意大利罗马,2013年1月20日至22日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。7737, 476-495 (2013).MSC公司:第68季度第60季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Lect。注释计算。科学。7737476--495(2013年;Zbl 1426.68160) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐(Mohamed Faouzi Atig);乔纳森·塞德伯格 使用SMT-solver分析消息传递程序。 (英语) Zbl 1410.68079号 Hung,Dang Van(编辑)等人,《用于验证和分析的自动化技术》。2013年10月15日至18日,第11届国际研讨会,2013年ATVA,越南河内。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8172, 272-286 (2013).MSC公司:68号30 03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Lect。注释计算。科学。8172272--286(2013;Zbl 1410.68079) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;卢卡什·霍利克;本特·琼森;Ondřej Lengál;聪奎·特里恩;汤姆·沃纳 通过扩展森林自动机验证具有有序数据的堆操作程序。 (英语) Zbl 1344.68135号 Hung,Dang Van(编辑)等人,《用于验证和分析的自动化技术》。2013年10月15日至18日,第11届国际研讨会,2013年ATVA,越南河内。诉讼程序。柏林:施普林格出版社(ISBN 978-3-319-02443-1/pbk)。计算机科学课堂讲稿8172224-239(2013)。MSC公司:第68季度第60季度 68第05页 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Lect。注释计算。科学。8172224--239(2013;Zbl 1344.68135) 全文: 内政部
理查德·梅尔(Richard M.Mayr)。;帕罗什·阿齐兹·阿卜杜拉 定价的定时Petri网。 (英语) Zbl 1314.68199号 日志。计算方法。科学。 9,第4号,第10号论文,51页(2013).MSC公司:68问题85 第68季度第45季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{R.M.Mayr}和\textit{P.A.Abdulla},Log。计算方法。科学。9,第4号,第10号论文,51页(2013;Zbl 1314.68199) 全文: 内政部 arXiv公司
帕罗什·阿齐兹·阿卜杜拉;Richard迈尔;阿诺德·桑尼尔;杰里米·斯普洛斯顿 求解整数向量上的奇偶博弈。 (英语) Zbl 1390.68452号 D'Argenio,Pedro R.(编辑)等,CONCUR 2013–并发理论。第24届国际会议,CONCUR 2013,阿根廷布宜诺斯艾利斯,2013年8月27日至30日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-40183-1/pbk)。计算机科学课堂讲稿8052106-120(2013)。MSC公司:68问题85 第68季度第60季度 91A43型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Lect。注释计算。科学。8052,106-120(2013;Zbl 1390.68452) 全文: 内政部 arXiv公司
帕罗什·阿齐兹·阿卜杜拉;弗雷德里克·哈齐扎;卢卡什·霍利克;本特·琼森;艾哈迈德·雷兹 一种用于高度并发数据结构的集成规范和验证技术。 (英语) Zbl 1381.68141号 Piterman,Nir(编辑)等人,《系统构建和分析的工具和算法》。2013年3月16日至24日,第19届国际会议(TACAS 2013)在意大利罗马举行,作为欧洲软件理论与实践联合会议(ETAPS 2013)的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-36741-0/pbk)。计算机科学课堂讲稿7795,324-338(2013)。MSC公司:第68季度第60季度 68第05页 第68季度第45季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Lect。注释计算。科学。7795,324--338(2013;Zbl 1381.68141) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;乔纳森·塞德伯格;汤姆·沃纳 具有多重链接结构的程序的单调抽象。 (英语) Zbl 1286.68304号 发现的国际期刊。计算。科学。 24,第2期,187-210(2013).MSC公司:第68季度第60季度 68号30 68兰特 03B70号 第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,国际期刊发现。计算。科学。24,第2号,187--210(2013;Zbl 1286.68304) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐(Mohamed Faouzi Atig);贾里·斯坦曼 密集时间下推自动机。 (英语) 兹比尔1360.68535 2012年6月25日至28日,克罗地亚杜布罗夫尼克,2012年第27届ACM/IEEE计算机科学逻辑研讨会论文集,LICS 2012。加利福尼亚州洛斯阿拉米托斯:IEEE计算机协会(ISBN 978-0-7695-4769-5)。35-44 (2012).MSC公司:第68季度第45季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,摘自:2012年第27届ACM/IEEE计算机科学逻辑研讨会论文集,2012年LICS,克罗地亚杜布罗夫尼克,2012年6月25日至28日。加利福尼亚州洛斯·阿拉米托斯:IEEE计算机协会。35-44(2012年;Zbl 1360.68535) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐(Mohamed Faouzi Atig);乔纳森·塞德伯格 定时有损信道系统。 (英语) Zbl 1354.68163号 D’Souza,Deepak(编辑)等人,IARCS软件技术和理论计算机科学基础年会(FSTTCS 2012)。根据2012年12月15日至17日在印度海得拉巴举行的第三十二届会议上的发言选出的论文。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-47-7)。LIPIcs–莱布尼茨国际信息学论文集18,374-386(2012)。MSC公司:第68季度第60季度 68个M12 第68季度第45季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,LIPIcs——莱布尼茨国际程序。通知。18、374--386(2012年;Zbl 1354.68163) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;乔纳森·塞德伯格;汤姆·沃纳 具有多重链接结构的程序的单调抽象。 (英语) Zbl 1348.68114号 Delzanno,Giorgio(编辑)等人,《可达性问题》。2011年9月28日至30日在意大利热那亚举行的RP 2011第五届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-24287-8/pbk)。计算机科学课堂讲稿6945125-138(2011)。MSC公司:第68季度第60季度 68号30 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Lect。注释计算。科学。6945、125--138(2011年;Zbl 1348.68114) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;乔治·德尔扎诺;奥思曼·雷津;阿诺德·桑尼尔;里卡多·特拉维索 关于定时自组网的验证。 (英语) Zbl 1348.68115号 Fahrenberg,Uli(编辑)等人,《时间系统的形式化建模和分析》。2011年9月21日至23日,第九届国际会议,FORMATS 2011,丹麦奥尔堡。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-24309-7/pbk)。计算机科学课堂讲稿6919,256-270(2011)。MSC公司:第68季度第60季度 68个M12 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Lect。注释计算。科学。6919、256-270(2011年;Zbl 1348.68115) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉 把概率带到无限世界。 (英语) Zbl 1343.68149号 Katoen,Joost-Pieter(编辑)等,CONCUR 2011–并发理论。2011年9月6日至9日,第22届国际会议,CONCUR 2011,德国亚琛。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-23216-9/pbk)。计算机科学课程讲稿6901,1-16(2011)。MSC公司:第68季度第60季度 60J20型 68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla},莱克特。注释计算。科学。6901,1-16(2011年;兹bl 1343.68149) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;乔治·德尔扎诺;艾哈迈德·雷兹 使用图形约束自动验证基于目录的一致性协议。 (英语) Zbl 1216.68048号 发现的国际期刊。计算。科学。 22,第4期,761-782(2011).MSC公司:68个M12 68兰特 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,国际期刊发现。计算。科学。22,第4号,761--782(2011;Zbl 1216.68048) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉(编辑);Leino,K.Rustan M。(编辑) 用于构建和分析系统的工具和算法。2011年3月26日至4月3日在德国萨尔布吕肯举行的第17届国际会议(TACAS 2011),是欧洲软件理论与实践联合会议(ETAPS 2011)的一部分。诉讼程序。 (英语) Zbl 1213.68016号 计算机科学课堂讲稿6605.柏林:施普林格出版社(ISBN 978-3-642-19834-2/pbk)。十六、394页。(2011年)。MSC公司:68-06 第68季度第60季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}(编辑)和textit{K.R.M.Leino}(主编),系统构建和分析的工具和算法。2011年3月26日至4月3日,在德国萨尔布吕肯举行的第17届国际会议,即2011年TACAS,是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:施普林格出版社(2011;Zbl 1213.68016) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉 好的(更好的)准序跃迁系统。 (英语) Zbl 1207.68219号 牛市。符号。日志。 16,第4期,457-515(2010).MSC公司:68问题85 2012年第68季度 第68季度第45季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla},公牛。符号。日志。16,第4号,457--515(2010;Zbl 1207.68219) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;陈玉芳;乔治·德尔扎诺;弗雷德里克·哈齐扎;Chih-Duo洪;艾哈迈德·雷兹 约束单调抽象:用于参数化验证的CEGAR。 (英语) Zbl 1287.68117号 Gastin,Paul(编辑)等人,CONCUR 2010–并发理论。第21届国际会议,CONCUR 2010,法国巴黎,2010年8月31日至9月3日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-15374-7/pbk)。计算机科学课堂讲稿6269,86-101(2010)。MSC公司:68问题85 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Lect。注释计算。科学。6269,86-101(2010;Zbl 1287.68117) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉 参数化验证中的强制单调性:从多集到单词。 (英语) Zbl 1274.68171号 van Leeuwen,Jan(编辑)等人,SOFSEM 2010:计算机科学的理论与实践。2010年1月23日至29日,第36届计算机科学理论与实践当前趋势会议,Špindlerův Ml \367]n,捷克共和国。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-11265-2/pbk)。计算机科学课堂讲稿5901,1-15(2010)。MSC公司:第68季度第60季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla},莱克特。注释计算。科学。5901、1--15(2010年;Zbl 1274.68171) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;帕维尔·科卡尔;Yi,王 具有值复制的R自动机的普遍性。 (英语) Zbl 1347.68203号 Habermehl,P.(ed.)等人,第八、第九和第十届无限状态系统验证国际研讨会会议记录(INFINITY 2006、2007、2008),德国波恩,2006年8月26日,葡萄牙里斯本,2007年9月8日,加拿大多伦多,2008年8月23日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记239131-141(2009)。MSC公司:第68季度第45季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,电子。理论注释。计算。科学。239131--141(2009年;Zbl 1347.68203) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;乔治·德尔扎诺;艾哈迈德·雷兹 具有全局条件的无限状态过程的近似参数化验证。 (英语) Zbl 1176.68110号 形式方法系统。设计。 34,第2期,126-156(2009).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,《形式方法系统》。设计。34,第2号,126--156(2009;Zbl 1176.68110) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;乔治·德尔扎诺;艾哈迈德·雷兹 基于目录的一致性协议的自动验证。 (英语) Zbl 1260.68224号 Bournez,Olivier(编辑)等人,《可达性问题》。第三次国际研讨会,RP 2009,2009年9月23日至25日,法国Palaiseau。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-04419-9/pbk)。计算机科学讲义5797,36-50(2009)。MSC公司:第68季度第60季度 68个M12 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Lect。注释计算。科学。5797、36-50(2009年;Zbl 1260.68224) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;乔治·德尔扎诺;努梅内·本·亨达;艾哈迈德·雷兹 单调抽象:关于参数化系统的有效验证。 (英语) Zbl 1186.68272号 发现的国际期刊。计算。科学。 20,第5号,779-801(2009).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,国际期刊发现。计算。科学。20,第5号,779--801(2009;Zbl 1186.68272) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉 参数化验证中的单调抽象。 (英语) Zbl 1337.68164号 Halava,Vesa(编辑)等人,计算模型可达性问题第二次研讨会论文集(RP 2008),英国利物浦,2008年9月15日至17日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记223,3-14(2008)。MSC公司:第68季度第60季度 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla},电子。理论注释。计算。科学。223,3-4(2008;Zbl 1337.68164) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;乔治·德尔扎诺;艾哈迈德·雷兹 作用中的单调抽象。(分布式互斥算法的自动验证)。 (英语) Zbl 1161.68612号 Fitzgerald,John S.(编辑)等人,《计算的理论方面——ICTAC 2008》。第五届国际学术讨论会,土耳其伊斯坦布尔,2008年9月1日至3日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-85761-7/pbk)。《计算机科学讲义》5160,50-65(2008)。MSC公司:68问题85 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Lect。注释计算。科学。5160、50-65(2008年;Zbl 1161.68612) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;艾哈迈德·博阿贾尼;乔纳森·塞德伯格;弗雷德里克·哈齐扎;艾哈迈德·雷兹 具有动态内存堆的程序的单调抽象。 (英语) Zbl 1155.68423号 Gupta,Aarti(编辑)等人,《计算机辅助验证》。2008年7月7日至14日在美国新泽西州普林斯顿举行的第20届国际会议,CAV 2008。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-70543-7/pbk)。计算机科学课堂讲稿5123,341-354(2008)。MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Lect。注释计算。科学。5123、341--354(2008年;Zbl 1155.68423) 全文: 内政部
帕罗什·A·阿卜杜拉。;艾哈迈德·博阿贾尼;卢卡什·霍利克;丽莎·卡蒂;汤姆·沃纳 在树自动机上计算模拟。减少树自动机的有效技术。 (英语) Zbl 1134.68391号 Ramakrishnan,C.R.(编辑)等人,《系统构建和分析的工具和算法》。2008年3月29日至4月6日在匈牙利布达佩斯举行的第14届国际会议TACAS 2008,是欧洲软件理论与实践联合会议ETAPS 2008的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-78799-0/pbk)。计算机科学课堂讲稿4963,93-108(2008)。MSC公司:第68季度第60季度 第68季度第45季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Lect。注释计算。科学。4963、93--108(2008年;Zbl 1134.68391) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;努梅内·本·亨达;乔治·德尔扎诺;艾哈迈德·雷兹 处理具有非原子全局条件的参数化系统。 (英语) Zbl 1138.68436号 Logozzo,Francesco(编辑)等人,《验证、模型检查和抽象解释》。2008年1月7日至9日,第九届国际会议,VMCAI 2008,美国旧金山。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-78162-2/pbk)。计算机科学课堂讲稿490522-36(2008)。MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Lect。注释计算。科学。4905,22-36(2008年;兹bl 1138.68436) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;艾哈迈德·博阿贾尼;朱利安·多尔索 单调和向下的封闭游戏。 (英语) Zbl 1133.68042号 J.日志。计算。 18,第1期,153-169(2008).MSC公司:第68季度第60季度 68问题85 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,J.Log。计算。18,第1号,153--169(2008;Zbl 1133.68042) 全文: 内政部 链接
帕罗什·阿齐兹·阿卜杜拉;约翰·德奈克斯;普里塔·马哈塔;阿莱塔·奈伦 使用前向可达性分析验证定时Petri网。 (英语) Zbl 1168.68434号 Nord.J.计算机。 14,编号1-2,1-42(2007).MSC公司:68问题85 第68季度第45季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Nord.J.Compute。14,编号1--2,1--42(2007;Zbl 1168.68434)
帕罗什·A·阿卜杜拉。;努梅内·亨达。;理查德·梅尔(Richard M.Mayr)。 决定性马尔可夫链。 (英语) Zbl 1131.68060号 日志。计算方法。科学。 3,第4期,论文7,32页(2007年).MSC公司:第68季度第60季度 2005年第68季度 60J10型 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,日志。计算方法。科学。3,第4号,论文7,32页(2007;Zbl 1131.68060) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;乔治·德尔扎诺;艾哈迈德·雷兹 具有全局条件的无限状态过程的参数化验证。 (英语) Zbl 1135.68461号 Damm,Werner(编辑)等人,《计算机辅助验证》。2007年7月3日至7日在德国柏林举行的2007年CAV第19届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-73367-6/pbk)。计算机科学课堂讲稿4590145-157(2007)。MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Lect。注释计算。科学。4590、145--157(2007年;Zbl 1135.68461) 全文: 内政部
帕罗什·A·阿卜杜拉。;普里塔·马哈塔;理查德·梅尔(Richard M.Mayr)。 密集时间Petri网:检查Zenoness、标记活性和有界性。 (英语) Zbl 1128.68057号 日志。计算方法。科学。 3,第1号,论文1,61页(2007年).MSC公司:68问题85 第68季度第60季度 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,日志。计算方法。科学。3,第1号,论文1,61页(2007年;Zbl 1128.68057) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;乔治·德尔扎诺;努梅内·本·亨达;艾哈迈德·雷兹 无传感器的定期模型检查(参数化系统的有效验证)。 (英语) Zbl 1186.68312号 Grumberg,Orna(编辑)等人,《系统构建和分析的工具和算法》。2007年3月24日至4月1日在葡萄牙布拉加举行的第13届国际会议TACAS 2007,是欧洲软件理论与实践联合会议ETAPS 2007的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-71208-4/pbk)。计算机科学课堂讲稿4424721-736(2007)。MSC公司:68问题85 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Lect。注释计算。科学。4424721--736(2007年;Zbl 1186.68312) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;本特·琼森;艾哈迈德·雷兹;马扬克省萨克塞纳 通过向后可达性证明活跃性。 (英语) Zbl 1151.68498号 Baier,Christel(编辑)等人,CONCUR 2006–并发理论。第17届国际会议,CONCUR 2006,德国波恩,2006年8月27日至30日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-37376-6/pbk)。计算机科学讲义4137,95-109(2006)。MSC公司:68问题85 68号30 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Lect。注释计算。科学。4137、95-109(2006年;Zbl 1151.68498) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;Legay、Axel;德奥索,朱利安;艾哈迈德·雷兹 树规则模型检查:一种基于仿真的方法。 (英语) Zbl 1101.68055号 J.日志。阿尔盖布。程序。 69,编号1-2,93-121(2006).MSC公司:第68季度第60季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,J.Log。阿尔盖布。程序。69,编号1--2,93-121(2006;Zbl 1101.68055) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;约翰·德奈克斯;普里塔·马哈塔 封闭、开放和强健的定时网络。 (英语) Zbl 1272.68216号 Bradfield,Julian(编辑)等人,第六届无限状态系统验证国际研讨会论文集(INFINITY 2004),英国伦敦,2004年9月4日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》138,第3期,117-151(2005)。MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,电子。理论注释。计算。科学。138,第3号,117--151(2005;Zbl 1272.68216) 全文: 链接
帕罗什·阿齐兹·阿卜杜拉 参数化定时系统的验证。 (英语) Zbl 1175.68254号 Pettersson,Paul(编辑)等人,定时系统的形式化建模和分析。第三届国际会议,FORMATS 2005,乌普萨拉,瑞典,2005年9月26-28日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-30946-2/pbk)。计算机科学课堂讲稿382995-97(2005)。MSC公司:第68季度第60季度 68个M12 第68季度第45季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla},莱克特。注释计算。科学。3829,95-97(2005;Zbl 1175.68254) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;约翰·德奈克斯;约尔·瓦克宁;詹姆斯·沃雷尔 时间自动机通过通道机器的可决定性和复杂性结果。 (英语) Zbl 1085.68078号 Caires,Luís(编辑)等人,《自动化,语言和编程》。2005年7月11日至15日,葡萄牙里斯本,第32届国际学术讨论会,ICALP 2005。诉讼程序。柏林:施普林格出版社(ISBN 3-540-27580-0/pbk)。计算机科学课堂讲稿35801089-1101(2005)。MSC公司:第68季度第45季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Lect。注释计算。科学。35801089--1101(2005;Zbl 1085.68078) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;Legay、Axel;德奥索,朱利安;艾哈迈德·雷兹 树型传感器的基于仿真的迭代。 (英语) Zbl 1087.68052号 Halbwachs,Nicolas(编辑)等人,《系统构建和分析的工具和算法》。2005年4月4日至8日在英国爱丁堡举行的第11届国际会议,TACAS 2005,是欧洲软件理论与实践联合会议(ETAPS 2005)的一部分。诉讼程序。柏林:施普林格出版社(ISBN 3-540-25333-5/pbk)。计算机科学课堂讲稿3440,30-44(2005)。MSC公司:第68季度第60季度 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Lect。注释计算。科学。3440,30--44(2005;Zbl 1087.68052) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;本特·琼森;马库斯·尼尔森;德奥索,朱利安;马扬克省萨克塞纳 定期检查LTL(MSO)模型。 (英语) Zbl 1103.68070号 Alur,Rajeev(编辑)等人,《计算机辅助验证》。2004年7月13日至17日在美国马萨诸塞州波士顿举行的2004年CAV第16届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-22342-8/pbk)。计算机科学课堂讲稿3114348-360(2004)。MSC公司:第68季度第60季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Lect。注释计算。科学。3114348--360(2004;Zbl 1103.68070) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;本特·琼森;马库斯·尼尔森;马扬克省萨克塞纳 定期模型检查的调查。 (英语) Zbl 1099.68055号 Gardner,Philippa(编辑)等人,CONCUR 2004–并发理论。第15届国际会议,2004年8月31日至9月3日,英国伦敦。诉讼程序。柏林:施普林格出版社(ISBN 3-540-22940-X/pbk)。计算机科学讲义317035-48(2004)。MSC公司:第68季度第60季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Lect。注释计算。科学。3170、35-48(2004年;Zbl 1099.68055) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;约翰·德奈克斯;普里塔·马哈塔;阿莱塔·奈伦 时间Petri网的前向可达性分析。 (英语) Zbl 1109.68509号 Lakhnech,Yassine(编辑)等人,《定时和容错系统的形式化技术、建模和分析》。2004年9月22日至24日在法国格勒诺布尔举行的关于时间系统的正式建模和分析、FORMATS 2004以及实时和容错系统中的正式技术的联合国际会议,FTRTFT 2004。诉讼程序。柏林:施普林格出版社(ISBN 3-540-23167-6/pbk)。计算机科学课堂讲稿3253343-362(2004)。MSC公司:第68季度第60季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Lect。注释计算。科学。3253、343--362(2004年;Zbl 1109.68509) 全文: 内政部
帕罗什·阿卜杜拉;普里塔·马哈塔;Richard迈尔 稠密时间Petri网的Zenoness判定性、句法有界性和标记生存性。 (英语) Zbl 1117.68445号 Lodaya,Kamal(编辑)等人,FSTTCS 2004:软件技术和理论计算机科学基础。第24届国际会议,印度钦奈,2004年12月16-18日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-24058-6/pbk)。计算机科学课堂讲稿3328,58-70(2004)。MSC公司:68问题85 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Abdulla}等人,Lect。注释计算。科学。3328、58-70(2004年;Zbl 1117.68445) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;奥罗雷·科伦·安尼奇尼;艾哈迈德·博阿贾尼;本特·琼森 使用前向可达性分析来验证有损信道系统。 (英语) Zbl 1073.68675号 形式方法系统。设计。 25,第1号,39-65(2004).MSC公司:第68季度第60季度 第68季度第45季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,《形式方法系统》。设计。25,第1号,39--65(2004;Zbl 1073.68675) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;S.Purushothaman,Iyer;阿莱塔·奈伦 SAT解决Petri网的可覆盖性问题。 (英语) Zbl 1073.68057号 形式方法系统。设计。 24,第1期,25-43(2004).MSC公司:68问题85 第68季度25 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,《形式方法系统》。设计。24,第1号,第25-43条(2004;Zbl 1073.68057) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;本特·琼森;马库斯·尼尔森;德奥索,朱利安 常规模型检查的算法改进。 (英语) Zbl 1278.68150号 Hunt,Warren A.jun.(编辑)等人,《计算机辅助验证》。第15届国际会议,2003年CAV,美国科罗拉多州博尔德,2003年7月8-12日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40524-0/pbk)。莱克特。注释计算。科学。2725, 236-248 (2003).MSC公司:第68季度第60季度 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Lect。注释计算。科学。27252236-248(2003年;兹bl 1278.68150) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;艾哈迈德·博阿贾尼;德奥索,朱利安 决定单调游戏。 (英语) Zbl 1116.68491号 Baaz,Matthias(编辑)等人,《计算机科学逻辑》。2003年8月25日至30日,第17届CSL国际研讨会,第12届EACSL年会,KGC 2003年第8届库尔特·哥德尔学术讨论会,奥地利维也纳。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40801-0/pbk)。莱克特。注释计算。科学。2803, 1-14 (2003).MSC公司:第68季度第60季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Lect。注释计算。科学。2803,1-14(2003;Zbl 1116.68491) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;亚历山大·拉比诺维奇 验证通信故障的概率系统。 (英语) Zbl 1029.68094号 Andrew D.Gordon(编辑),《软件科学和计算结构基础》。2003年4月7日至11日,第六届国际会议,FOSSACS 2003,作为欧洲软件理论和实践联合会议的一部分,ETAPS 2003,波兰华沙。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2620, 39-53 (2003).MSC公司:第68季度第60季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}和\textit{A.Rabinovich},莱克特。注释计算。科学。2620、39-53(2003年;Zbl 1029.68094) 全文: 链接
帕罗什·阿齐兹·阿卜杜拉;本特·琼森 具有许多相同定时进程的系统的模型检查。 (英语) Zbl 1018.68046号 西奥。计算。科学。 290,第1241-264号(2003年).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}和\textit{B.Jonsson},Theor。计算。科学。290,第1号,241--264(2003;Zbl 1018.68046) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;本特·琼森;马库斯·尼尔森;德奥索,朱利安 定期模型检查简单高效。 (英语) Zbl 1012.68134号 Brim,Luboš(编辑)等人,CONCUR 2002-并发理论。第十三届国际会议,2002年8月20日至23日,捷克共和国布尔诺。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2421, 116-130 (2002).MSC公司:68问题85 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Lect。注释计算。科学。2421116--130(2002年;Zbl 1012.68134) 全文: 链接
帕罗什阿齐兹·阿卜杜拉;本特·琼森;普里塔·马哈塔;德奥索,朱利安 定期树模型检查。 (英语) Zbl 1010.68087号 Brinksma,Ed(编辑)等人,《计算机辅助验证》。2002年7月27日至31日,丹麦哥本哈根,第14届国际会议,CAV 2002。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2404, 555-568 (2002).MSC公司:第68季度第60季度 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Aziz Abdulla}等人,Lect。注释计算。科学。2404、555--568(2002年;Zbl 1010.68087) 全文: 链接
阿卜杜拉,P.A。;B.琼森。 确保无限状态系统符号验证方法的完整性。 (英语) Zbl 0973.68146号 西奥。计算。科学。 256,编号1-2,145-167(2001).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}和\textit{B.Jonsson},Theor。计算。科学。256,编号1--2,145-167(2001;Zbl 0973.68146) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;采拉人、库尔利斯人;本特·琼森;蔡义权 具有良好拟序域的程序的算法分析。 (英语) Zbl 1046.68567号 Inf.计算。 160,编号1-2,109-127(2000).MSC公司:第68季度第45季度 第68季度第60季度 03B25号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,《信息计算》。160,编号1-2109-127(2000年;兹bl 1046.68567) 全文: 内政部
帕罗什·阿卜杜拉;克里斯特尔·拜尔;伊耶,普鲁索塔曼;本特·琼森 概率有损信道系统的推理。 (英语) Zbl 0999.68145号 Palamidessi,Catuscia(编辑),CONCUR 2000-并发理论。2000年8月22日至25日,第11届国际会议,美国宾夕法尼亚州大学公园。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1877, 320-333 (2000).MSC公司:68问题85 第68季度第60季度 第68季度第45季度 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{P.Abdulla}等人,Lect。注释计算。科学。1877320--333(2000年;Zbl 0999.68145)
帕罗什·阿齐兹·阿卜杜拉;S.Purushothaman,Iyer;阿莱塔·奈伦 无界Petri网的展开。 (英语) Zbl 0974.68528号 Emerson,E.Allen(编辑)等人,《计算机辅助验证》。第十二届国际会议,CAV 2000。2000年7月15日至19日,美国伊利诺伊州芝加哥。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1855, 495-507 (2000).MSC公司:68问题85 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Lect。注释计算。科学。1855495-507(2000年;Zbl 0974.68528)
帕罗什·阿齐兹·阿卜杜拉;比杰西,佩尔;尼古拉斯·埃恩 基于SAT求解器的符号可达性分析。 (英语) Zbl 0971.68633号 Graf,Susanne(编辑)等人,《系统构建和分析的工具和算法》。第六届国际会议,TACAS 2000。作为2000年3月25日至4月2日在德国柏林举行的欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1785, 411-425 (2000).MSC公司:68单位99 第68季度第60季度 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Lect。注释计算。科学。1785,411--425(2000;Zbl 0971.68633)
帕罗什·阿齐兹·阿卜杜拉;奥罗尔·安尼奇尼;萨德克·本萨勒姆;艾哈迈德·博阿贾尼;彼得·哈贝梅尔;亚辛·拉赫内克 通过结合抽象和可达性分析对无限状态系统进行验证。 (英语) Zbl 1046.68572号 Halbwachs,Nicolas(编辑)等人,《计算机辅助验证》。第11届国际会议,CAV’99。意大利特伦托,1999年7月6日至10日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-66202-2)。莱克特。注释计算。科学。1633, 146-159 (1999).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Lect。注释计算。科学。1633、146--159(1999年;Zbl 1046.68572)
帕罗什·阿齐兹·阿卜杜拉;艾哈迈德·博阿贾尼;本特·琼森;马库斯·尼尔森 在参数化系统验证中处理全局条件。 (英语) Zbl 1046.68573号 Halbwachs,Nicolas(编辑)等人,《计算机辅助验证》。第11届国际会议,CAV’99。意大利特伦托,1999年7月6日至10日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-66202-2)。莱克特。注释计算。科学。1633, 134-145 (1999).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Lect。注释计算。科学。1633、134--145(1999年;Zbl 1046.68573)
帕罗什·阿齐兹·阿卜杜拉;本特·琼森 通道不可靠的程序存在无法确定的验证问题。 (英语) Zbl 0872.68112号 Inf.计算。 130,第1号,71-90(1996).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}和\textit{B.Jonsson},Inf.Comput。130,第1号,71--90(1996;Zbl 0872.68112) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;本特·琼森 正在验证具有不可靠通道的程序。 (英语) Zbl 0856.68096号 Inf.计算。 127,第2期,91-101(1996).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}和\textit{B.Jonsson},Inf.Comput。127,第2号,91--101(1996;Zbl 0856.68096) 全文: 内政部 链接
帕罗什·阿齐兹·阿卜杜拉;本特·琼森 通道不可靠的程序存在无法确定的验证问题。 (英语) 兹比尔1418.68123 Abiteboul,Serge(编辑)等人,《自动化,语言和编程》。1994年7月11日至14日,以色列耶路撒冷,第21届国际学术讨论会,ICALP’94。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。820, 316-327 (1994).MSC公司:第68季度第60季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}和\textit{B.Jonsson},莱克特。注释计算。科学。820316-327(1994年;Zbl 1418.68123) 全文: 内政部
帕罗什·阿卜杜拉 一类收缩回路的自动验证。 (英语) Zbl 0764.68093号 正式Asp。计算。 第4期,第2期,第149-194页(1992年).MSC公司:第68季度第60季度 68米15 94C99号 PDF格式BibTeX公司 XML格式引用 \textit{P.Abdulla},正式Asp。计算。4,第2号,149--194(1992;Zbl 0764.68093) 全文: 内政部