编辑配置文件（在新选项卡中打开） Taysir Touili 合著者距离 作者ID： 图利·塔西尔 发布日期： Taysir Touili;T·图利。 已编制索引的文档： 42出版物自2000年起 2作为编辑的贡献 合著者： 39位合著者具有41联合出版物 989合著作者 全部的 前5名合著者 三 单作者的 13 艾哈迈德·博阿贾尼 7 宋，傅 4 穆罕默德·法乌齐（Mohamed Faouzi Atig） 三 克拉克（Edmund Melson jun Clarke）。 三 哈维尔·埃斯帕尔扎 三 尼古拉斯·基德 三 Adrien Pommellet，阿德里安 三 代表Thomas W。 2 萨加·查基 2 马西奥·迪亚兹 2 阿卡什·拉尔 2 阮、胡武 2 赫尔穆特·维思 2 叶欣 1 尤金·亚萨林 1 纳杰斯·本·拉杰布 1 蒂埃里·卡查特 1 拜伦·库克 1 奥尔纳·格伦伯格 1 阿尔蒂·古普塔 1 彼得·哈贝梅尔 1 卢卡什·霍利克 1 胡武阮 1 本特·琼森 1 维尼特·卡隆 1 瓦西里·阿列克桑德罗维奇·吕贝茨基 1 马库斯·穆勒·奥尔姆 1 安卡·穆斯科尔 1 布拉希姆·纳斯劳伊 1 马库斯·尼尔森 1 乔尔·欧·瓦克宁。 1 沙兹·卡迪尔 1 Riadh罗巴纳 1 亚历山大·弗拉迪斯拉沃维奇·塞利弗斯托夫 1 娜塔莎·莎莉吉娜 1 米哈埃拉·西希雷亚努 1 斯特雷切克，Jan 1 穆拉利达尔·塔卢普尔 1 汤姆·沃纳 全部的 前5名系列 2 理论计算机科学 2 国际计算机科学基础杂志 2 系统设计中的形式化方法 1 信息与计算 1 计算的形式方面 1 计算机科学讲义 领域 44 计算机科学（68至XX） 5 数学逻辑和基础（03-XX） 2 总体主题；集合（00-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 33出版物有被引用275中的次166文件 引用人▼ 年份▼ 定期模型检查。 Zbl 0974.68118号 艾哈迈德·博阿贾尼;本特·琼森;马库斯·尼尔森;Taysir Touili 36 2000 使用递归调用验证并发消息传递C程序。 Zbl 1180.68109号 查基，S。;E.克拉克。;北卡罗来纳州基德。;代表，T。;T·图利。 20 2006 下推系统动态网络的常规符号分析。 Zbl 1134.68427号 艾哈迈德·博阿贾尼;马库斯·穆勒·奥尔姆;Taysir Touili 19 2005 使用过程对并发程序进行静态分析的通用方法。 Zbl 1321.68185号 艾哈迈德·博阿贾尼;哈维尔·埃斯帕尔扎;Taysir Touili 18 2003 上下文约束下并发程序的跨过程分析。 Zbl 1134.68349号 阿卡什·拉尔;Taysir Touili;尼古拉斯·基德;代表，托马斯 17 2008 置换重写和算法验证。 Zbl 1107.68052号 艾哈迈德·博阿贾尼;安卡·穆斯科尔;Taysir Touili 17 2007 通过网络分解进行验证。 Zbl 1099.68653号 埃德蒙·克拉克;穆拉利达尔·塔卢普尔;Taysir Touili;赫尔穆特·维思 16 2004 过程重写系统的可达性分析。 Zbl 1205.68183号 艾哈迈德·博阿贾尼;Taysir Touili 13 2003 使用加宽技术进行定期模型检查。 兹比尔1262.68130 Taysir Touili 13 2001 关于计算过程重写系统的可达集。 兹比尔1078.68652 艾哈迈德·博阿贾尼;Taysir Touili 12 2005 下推系统非循环网络的可达性分析。 Zbl 1160.68451号 穆罕默德·法乌齐（Mohamed Faouzi Atig）;艾哈迈德·博阿贾尼;Taysir Touili 12 2008 外推树变换。 Zbl 1010.68085号 艾哈迈德·博阿贾尼;Taysir Touili 10 2002 非确定性有限树自动机上基于反链的通用性和包含性测试。 Zbl 1172.68493号 艾哈迈德·博阿贾尼;彼得·哈贝梅尔;卢卡什·霍利克;Taysir Touili;汤姆·沃纳 9 2008 使用过程对并发程序进行静态分析的通用方法。 兹比尔1101.68457 艾哈迈德·博阿贾尼;哈维尔·埃斯帕尔扎;Taysir Touili 8 2003 用于下推系统的高效CTL模型检查。 Zbl 1343.68156号 宋，傅;Taysir Touili 6 2011 使用模型检查高效检测恶意软件。 Zbl 1372.68177号 宋，傅;Taysir Touili 5 2012 恶意软件检测的LTL模型检查。 Zbl 1381.68182号 宋，傅;Taysir Touili 5 2013 使用动态通信结构验证并行程序。 Zbl 1209.68114号 Taysir Touili;穆罕默德·法乌齐（Mohamed Faouzi Atig） 4 2010 用于恶意软件检测的下推模型检查。 Zbl 1352.68163号 宋，傅;Taysir Touili 4 2012 分析具有抢占功能的异步程序。 Zbl 1248.68348号 穆罕默德·法乌齐（Mohamed Faouzi Atig）;艾哈迈德·博阿贾尼;Taysir Touili 4 2008 分支时间规范的状态/事件软件验证。 Zbl 1137.68432号 萨加·查基;埃德蒙·克拉克;奥尔纳·格伦伯格;约尔·瓦克宁;娜塔莎·莎莉吉娜;Taysir Touili;赫尔穆特·维思 4 2005 同步PA系统的可达性分析。 Zbl 1272.68290号 艾哈迈德·博阿贾尼;哈维尔·埃斯帕尔扎;Taysir Touili 4 2005 用于下推系统的高效CTL模型检查。 Zbl 1360.68599号 宋，傅;Taysir Touili 三 2014 抽象错误投影。 Zbl 1211.68091号 阿卡什·拉尔;尼古拉斯·基德;代表，托马斯;Taysir Touili 2 2007 使用动态通信结构验证并行程序。 Zbl 1248.68138号 穆罕默德·法乌齐（Mohamed Faouzi Atig）;Taysir Touili 2 2009 计算机辅助验证。2010年7月15日至19日，第22届国际会议，CAV 2010，英国爱丁堡。诉讼程序。 Zbl 1193.68016号 2 2010 模型检查并发程序。 Zbl 1392.68251号 阿尔蒂·古普塔;卡隆，葡萄园;沙兹·卡迪尔;Taysir Touili 2 2018 用于下推系统的模型检查HyperLTL。 Zbl 1508.68224号 阿德里安·蓬梅莱;Taysir Touili 2 2018 模型检查动态下推网络。 Zbl 1426.68176号 宋，傅;Taysir Touili 2 2013 自修改代码的LTL模型检查。 Zbl 07683087号 Taysir Touili;叶欣 1 2022 用于恶意软件检测的BCARET模型检查。 Zbl 07142681号 阮、胡武;Taysir Touili 1 2019 多线程程序的CARET分析。 Zbl 1508.68073号 阮、胡武;Taysir Touili 1 2018 模型检查动态下推网络。 Zbl 1332.68142号 宋，傅;Taysir Touili 1 2015 自修改代码的LTL模型检查。 兹伯利07683087 Taysir Touili;叶欣 1 2022 BCARET模型检查恶意软件检测。 Zbl 07142681号 阮、胡武;Taysir Touili 1 2019 模型检查并发程序。 Zbl 1392.68251号 阿尔蒂·古普塔;维尼特·卡隆;沙兹·卡迪尔;Taysir Touili 2 2018 用于下推系统的模型检查HyperLTL。 Zbl 1508.68224号 阿德里安·蓬梅莱;Taysir Touili 2 2018 多线程程序的CARET分析。 Zbl 1508.68073号 阮、胡武;Taysir Touili 1 2018 模型检查动态下推网络。 Zbl 1332.68142号 宋，傅;Taysir Touili 1 2015 用于下推系统的高效CTL模型检查。 Zbl 1360.68599号 宋，傅;Taysir Touili 三 2014 恶意软件检测的LTL模型检查。 Zbl 1381.68182号 宋，傅;Taysir Touili 5 2013 模型检查动态下推网络。 Zbl 1426.68176号 宋，傅;Taysir Touili 2 2013 使用模型检查高效检测恶意软件。 Zbl 1372.68177号 宋，傅;Taysir Touili 5 2012 按下模型检查恶意软件检测。 Zbl 1352.68163号 宋，傅;Taysir Touili 4 2012 用于下推系统的高效CTL模型检查。 Zbl 1343.68156号 宋，傅;Taysir Touili 6 2011 使用动态通信结构验证并行程序。 兹伯利1209.68114 Taysir Touili;穆罕默德·法乌齐（Mohamed Faouzi Atig） 4 2010 计算机辅助验证。2010年7月15日至19日，第22届国际会议，CAV 2010，英国爱丁堡。诉讼程序。 Zbl 1193.68016号 2 2010 使用动态通信结构验证并行程序。 Zbl 1248.68138号 穆罕默德·法乌齐（Mohamed Faouzi Atig）;Taysir Touili 2 2009 上下文约束下并发程序的跨过程分析。 Zbl 1134.68349号 阿卡什·拉尔;Taysir Touili;尼古拉斯·基德;代表，托马斯 17 2008 下推系统非循环网络的可达性分析。 兹比尔1160.68451 穆罕默德·法乌齐（Mohamed Faouzi Atig）;艾哈迈德·博阿贾尼;Taysir Touili 12 2008 非确定性有限树自动机上基于反链的通用性和包含性测试。 Zbl 1172.68493号 艾哈迈德·博阿贾尼;彼得·哈贝梅尔;卢卡什·霍利克;Taysir Touili;汤姆·沃纳 9 2008 分析具有抢占功能的异步程序。 Zbl 1248.68348号 穆罕默德·法乌齐（Mohamed Faouzi Atig）;艾哈迈德·博阿贾尼;Taysir Touili 4 2008 置换重写和算法验证。 Zbl 1107.68052号 艾哈迈德·博阿贾尼;安卡·穆斯科尔;Taysir Touili 17 2007 抽象错误投影。 Zbl 1211.68091号 阿卡什·拉尔;尼古拉斯·基德;代表，托马斯;Taysir Touili 2 2007 使用递归调用验证并发消息传递C程序。 Zbl 1180.68109号 查基，S。;E.克拉克。;北卡罗来纳州基德。;代表，T。;T·图利。 20 2006 下推系统动态网络的常规符号分析。 Zbl 1134.68427号 艾哈迈德·博阿贾尼;马库斯·穆勒·奥尔姆;Taysir Touili 19 2005 关于计算过程重写系统的可达集。 Zbl 1078.68652号 艾哈迈德·博阿贾尼;Taysir Touili 12 2005 分支时间规范的状态/事件软件验证。 Zbl 1137.68432号 萨加·查基;埃德蒙·克拉克;奥尔纳·格伦伯格;欧卡宁，乔伊;娜塔莎·莎莉吉娜;Taysir Touili;赫尔穆特·维思 4 2005 同步PA系统的可达性分析。 Zbl 1272.68290号 艾哈迈德·博阿贾尼;哈维尔·埃斯帕尔扎;Taysir Touili 4 2005 通过网络分解进行验证。 Zbl 1099.68653号 埃德蒙·克拉克;穆拉利达尔·塔卢普尔;Taysir Touili;赫尔穆特·维思 16 2004 使用过程对并发程序进行静态分析的通用方法。 Zbl 1321.68185号 艾哈迈德·博阿贾尼;哈维尔·埃斯帕尔扎;Taysir Touili 18 2003 过程重写系统的可达性分析。 兹比尔1205.68183 艾哈迈德·博阿贾尼;Taysir Touili 13 2003 使用过程对并发程序进行静态分析的通用方法。 Zbl 1101.68457号 艾哈迈德·博阿贾尼;哈维尔·埃斯帕尔扎;Taysir Touili 8 2003 外推树变换。 Zbl 1010.68085号 艾哈迈德·博阿贾尼;Taysir Touili 10 2002 使用加宽技术定期进行模型检查。 Zbl 1262.68130号 Taysir Touili 13 2001 定期模型检查。 Zbl 0974.68118号 艾哈迈德·博阿贾尼;本特·琼森;马库斯·尼尔森;Taysir Touili 36 2000 所有引用出版物 前5名被引用出版物 全部的 前5名275位作者引用 16 Taysir Touili 11 帕罗什·阿齐兹·阿卜杜拉 10 穆罕默德·法乌齐（Mohamed Faouzi Atig） 8 艾哈迈德·博阿贾尼 7 代表Thomas W。 6 卢卡什·霍利克 6 阿卡什·拉尔 6 汤姆·沃纳 4 皮埃尔·甘蒂 4 海姆，皮尔雷·科里尔 4 伊戈尔·康诺夫（Igor V.Konnov）。 4 丹尼尔·科宁 4 Anthony Widjaja林 4 迈克尔·卢滕伯格 4 Jean-François拉斯金 4 普拉卡什·塞瓦桑 三 贝内迪克特·博利格 三 克里希南德·查特吉 三 拜伦·库克 三 乔治·德尔扎诺 三 哈维尔·埃斯帕尔扎 三 迭戈·菲格拉 三 彼得·哈贝梅尔 三 斯特凡·霍夫曼 三 奥斯卡·H·伊巴拉。 三 佛罗伦萨·杰克马尔 三 尼古拉斯·基德 三 桑卡拉·纳拉亚南·克里希纳 三 萨尔瓦多拉托雷 三 Ondřej Lengál 三 罗兰·梅耶 三 艾哈迈德·雷兹 三 马克西米利安·施伦德 三 菲利普·施诺贝伦 三 赫尔穆特·塞德尔 三 宋，傅 三 赫尔穆特·维思 三 约瑟夫·威德 2 本杰明·阿米诺夫 2 劳拉·博泽利 2 特夫菲克·布尔坦 2 彼得·奇尼 2 段振华 2 托马斯·马丁·高利察 2 斯特凡·格勒 2 曼纽拉·利迪亚·格林德 2 乔瓦娜·瓜亚纳 2 沃伊特·哈夫勒纳 2 托马斯·亨辛格（Thomas A.Henzinger）。 2 丽莎·卡蒂 2 维尼特·卡隆 2 亚历山大·凯泽。 2 斯特凡·基弗 2 弗朗西斯·克莱 2 马库斯·科洛奇 2 Legay、Axel 2 丹尼斯·卢吉兹 2 鲁帕克·马朱姆达尔 2 尼古拉斯·梅奎特 2 汤马斯·马斯托普斯 2 何塞·梅塞盖尔·瓜伊塔 2 马库斯·穆勒·奥尔姆 2 安卡·穆斯科尔 2 塞巴斯蒂安·穆斯卡拉 2 那不勒斯，玛格丽塔 2 Gennaro帕拉托 2 阿德里亚诺·佩隆 2 销，Jean-Eric 2 阿德里安·蓬梅莱 2 沙兹·卡迪尔 2 奥思曼·雷津 2 Riadh罗巴纳 2 萨沙·鲁宾 2 安德烈·里巴尔琴科 2 阿诺德·桑尼尔 2 娜塔莎·莎莉吉娜 2 弗朗西斯科·斯佩尼 2 斯特雷切克，简 2 田聪 2 卡米尔·瓦彻 2 莫西·亚亚科夫·瓦尔迪 2 托马斯·瓦尔 2 叶欣 2 于、方 2 乔治·泽采 1 阿克沙伊，S。 1 阿尔哈拉夫，穆阿 1 拉杰夫·阿鲁尔 1 约书亚·阿玛维 1 伊戈尔·谢尔盖维奇（Igor’Sergeevich Anureev） 1 乔治·巴赫迈耶 1 Bae，Kyungmin先生 1 塞巴斯蒂安·巴丁 1 凯特琳娜·巴罗内·阿德斯 1 纳杰斯·本·拉杰布 1 迪特马尔·伯旺格 1 乌鸦·贝特纳 1 Tewodros A.Beyene。 1 阿明·比尔 1 罗德里克·布洛姆 …还有175位作者 全部的 前5名23篇连载文章中引用 18 信息与计算 16 理论计算机科学 12 系统设计中的形式化方法 5 国际计算机科学基础杂志 三 自动推理杂志 三 计算机科学中的逻辑方法 2 信息学报 2 人工智能 2 计算机与系统科学杂志 2 符号计算杂志 2 计算的形式方面 2 计算系统理论 2 逻辑与代数程序设计杂志 1 国际通用系统杂志 1 信息处理信件 1 Automatica公司 1 编程和计算机软件 1 计算机科学与技术杂志 1 分布式计算 1 RAIRO公司。理论信息学及其应用 1 ACM计算逻辑事务 1 程序设计中的逻辑和代数方法杂志 1 Modelirovanie i Analiz信息系统 全部的 前5名在7个字段中引用 163 计算机科学（68至XX） 18 数学逻辑和基础（03-XX） 三 系统论；控制（93至XX） 2 结合环与代数（16-XX） 2 群论与推广（20-XX） 1 组合数学（05-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的引文