于、方;穆阿特·阿尔卡拉夫;特维克布尔坦;奥斯卡·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) 全文: 内政部
于、方;特维克布尔坦;奥斯卡·H·伊巴拉。 使用多轨迹自动机进行关系字符串验证。 (英语) 兹比尔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) 全文: 内政部
于、方;特维克布尔坦;奥斯卡·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) 全文: 内政部