于、方;穆阿特·阿尔卡拉夫;特夫菲克·布尔坦;奥斯卡·H·伊巴拉。 基于自动符号字符串分析的漏洞检测。 (英语) Zbl 1291.68272号 形式方法系统。设计。 44,第1期,44-70(2014).MSC公司:60年第68季度 65年第68季度 68英里11 PDF格式BibTeX公司 XML格式引用 \textit{F.Yu}等人,Form.Methods Syst。设计。44,第1号,44--70(2014;Zbl 1291.68272) 全文: 内政部
于、方;特夫菲克·布尔坦;奥斯卡·H·伊巴拉。 使用多轨迹自动机进行关系字符串验证。 (英语) Zbl 1297.68280号 Domaratzki,Michael(编辑)等人,《自动机的实现和应用》。2010年8月12日至15日,加拿大温尼伯CIAA 2010第15届国际会议。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-18097-2/pbk)。计算机科学课堂讲稿6482290-299(2011)。MSC公司:68瓦32 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Yu}等人,Lect。票据计算。科学。6482290-299(2011年;Zbl 1297.68280) 全文: 内政部
图巴·雅武兹·卡维奇;特夫菲克·布尔坦 动作语言验证器:反应式软件规范的无限状态模型检查器。 (英语) 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) 全文: 内政部
艾苏贝汀坎;特夫菲克·布尔坦 使用验证设计的高可靠性并发编程。 (英语) Zbl 1121.68027号 正式Asp。计算。 19,第2期,243-268(2007).MSC公司:68号30 68甲19 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Betin-Can}和\textit{T.Bultan},正式Asp。计算。19,第2号,243--268(2007;Zbl 1121.68027) 全文: 内政部