于、方;穆阿特·阿尔卡拉夫;特夫菲克·布尔坦;奥斯卡·H·伊巴拉。 用于漏洞检测的基于自动机的符号字符串分析。 (英语) Zbl 1291.68272号 形式方法系统。设计。 44,第1期,44-70(2014).MSC公司:60年第68季度 65年第68季度 68米11 PDF格式BibTeX公司 XML格式引用 \textit{F.Yu}等人,《形式方法系统》。设计。44,第1号,44--70(2014;Zbl 1291.68272) 全文: 内政部
图巴·雅武兹·卡维奇;特夫菲克·布尔坦 动作语言验证器:反应式软件规范的无限状态模型检查器。 (英语) Zbl 1185.68427号 形式方法系统。设计。 35,第3期,325-367(2009).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Yavuz-Kahveci}和\textit{T.Bultan},形式方法系统。设计。35,第3号,325--367(2009;Zbl 1185.68427) 全文: 内政部
于、方;特夫菲克·布尔坦;奥斯卡·H·伊巴拉。 符号字符串验证:结合字符串分析和大小分析。 (英语) Zbl 1234.68269号 Kowalewski,Stefan(编辑)等人,《系统构建和分析的工具和算法》。2009年3月22日至29日在英国约克举行的第15届国际会议TACAS 2009,是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-00767-5/pbk)。计算机科学讲座笔记5505322-336(2009)。MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Yu}等人,Lect。票据计算。科学。5505322-336(2009年;Zbl 1234.68269) 全文: 内政部
杰罗姆·勒鲁 结构Presburger数字向量自动机。 (英语) Zbl 1155.68045号 西奥。计算。科学。 409,编号3,549-556(2008).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.勒鲁},Theor。计算。科学。409,第3号,549--556(2008;Zbl 1155.68045) 全文: 内政部 哈尔
斯特凡·德姆里 整数周期约束上的LTL。 (英语) Zbl 1097.68073号 西奥。计算。科学。 360,编号1-3,96-123(2006).MSC公司:60年第68季度 03B44号 05年3月 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{S.Demri},Theor。计算。科学。360,编号1--3,96-123(2006;Zbl 1097.68073) 全文: 内政部 哈尔
阿兰·芬克尔;杰罗姆·勒鲁 正则整数向量集的凸包是多面体的,并且可以有效地计算。 (英语) Zbl 1184.68634号 信息处理。莱特。 96,第1期,30-35(2005).MSC公司:68周25 PDF格式BibTeX公司 XML格式引用 \textit{A.Finkel}和\textit{J.Leroux},Inf.过程。莱特。96,第1号,30--35(2005;Zbl 1184.68634) 全文: 内政部 arXiv公司