×
计算距离:
作者ID: 布尔坦·特夫菲克“Bultan,Tevfik”最近发表的zbMATH文章
发布日期: 特夫菲克·布尔坦
外部链接: MGP公司
已编制索引的文档: 37出版物自1992年起
2作为编辑的贡献
合著者: 20位合著者具有38联合出版物
375位合作作者

按年份列出的出版物

zbMATH Open中包含的引文

31出版物有被引用162中的次111文件 引用人 年份
离散下推时间自动机的二进制可达性分析。 Zbl 0974.68085号
当、哲;奥斯卡·H·伊巴拉。;特夫菲克·布尔坦;理查德·凯默勒(Richard A.Kemmer)。;苏建文
21
2000
决定编舞的可实现性。 Zbl 1321.68183号
萨米克·巴苏;特夫菲克·布尔坦;梅里姆·乌代尔尼
14
2012
动作语言验证程序,扩展。 Zbl 1081.68640号
图巴·雅武兹·卡维奇;君士坦丁·巴齐斯;特夫菲克·布尔坦
12
2005
对话协议:反应式电子服务规范和验证的形式主义。 Zbl 1071.68002号
傅、香;特夫菲克·布尔坦;苏建文
11
2004
计数器和验证问题。 Zbl 1061.68095号
奥斯卡·H·伊巴拉。;苏建文;当、哲;特夫菲克·布尔坦;理查德·凯默勒(Richard A.Kemmer)。
9
2002
加宽算术自动机。 Zbl 1103.68606号
君士坦丁·巴齐斯;特夫菲克·布尔坦
8
2004
符号字符串验证:结合字符串分析和大小分析。 Zbl 1234.68269号
于、方;特夫菲克·布尔坦;奥斯卡·H·伊巴拉。
8
2009
一些无限状态转移系统模型的可达性分析。 Zbl 0999.68139号
奥斯卡·H·伊巴拉。;特夫菲克·布尔坦;苏建文
8
2000
验证中算术约束的有效符号表示。 Zbl 1101.68642号
君士坦丁·巴齐斯;特夫菲克·布尔坦
7
2003
基于自动符号字符串分析的漏洞检测。 Zbl 1291.68272号
于、方;穆阿特·阿尔卡拉夫;特夫菲克·布尔坦;奥斯卡·H·伊巴拉。
7
2014
计数器:可决定的属性和验证问题的应用。 Zbl 0996.68091号
奥斯卡·H·伊巴拉。;苏建文;当、哲;特夫菲克·布尔坦;理查德·凯默勒
7
2000
决定异步通信系统的同步性。 Zbl 1353.68195号
萨米克·巴苏;特夫菲克·布尔坦
5
2016
用于验证异步通信系统的同步性。 Zbl 1325.68139号
萨米克·巴苏;特夫菲克·布尔坦;梅里姆·乌代尔尼
5
2012
动作语言验证器:反应式软件规范的无限状态模型检查器。 Zbl 1185.68427号
图巴·雅武兹·卡维奇;特夫菲克·布尔坦
4
2009
使用多轨迹自动机进行关系字符串验证。 Zbl 1234.68270号
于、方;特夫菲克·布尔坦;奥斯卡·H·伊巴拉。
4
2011
使用计数器自动验证并发链接列表。 Zbl 1015.68510号
图巴·雅武兹·卡维奇;特夫菲克·布尔坦
4
2002
WSAT:一种用于对web服务进行形式化分析的工具。 Zbl 1103.68613号
傅、香;特夫菲克·布尔坦;苏建文
2004
对话协议:反应式电子服务规范和验证的形式主义。 Zbl 1279.68210号
傅、香;特夫菲克·布尔坦;苏建文
2003
无限状态系统中的可达性和安全性。 Zbl 1319.68084号
奥斯卡·H·伊巴拉。;特夫菲克·布尔坦;苏建文
2001
使用多轨迹自动机进行关系字符串验证。 Zbl 1297.68280号
于、方;特夫菲克·布尔坦;奥斯卡·H·伊巴拉。
2011
有效操纵复合约束的启发式方法。 Zbl 1057.68638号
图巴·雅武兹·卡维奇;特夫菲克·布尔坦
2
2002
有界算术约束的有效BDD的构造。 Zbl 1031.68542号
君士坦丁·巴齐斯;特夫菲克·布尔坦
2
2003
电子服务和工作流的正式验证。 Zbl 1022.68656号
傅、香;特夫菲克·布尔坦;苏建文
2
2002
过去的下推定时自动机和安全验证。 Zbl 1069.68065号
当、哲;特夫菲克·布尔坦;奥斯卡·H·伊巴拉。;理查德·凯默勒(Richard A.Kemmer)。
2
2004
基于约束的客户端-服务器协议验证。 Zbl 1067.68624号
乔治·德尔扎诺;特夫菲克·布尔坦
2
2001
字符串约束的基于自动的模型计数。 Zbl 1496.68254号
阿卜杜勒巴吉·艾丁;Lucas Bang先生;特夫菲克·布尔坦
1
2015
基于接口的并发控制器规范和验证。 Zbl 1271.68132号
艾苏贝汀坎;特夫菲克·布尔坦
1
2003
使用验证设计的高可靠性并发编程。 Zbl 1121.68027号
艾苏贝汀坎;特夫菲克·布尔坦
1
2007
BDD与基于约束的模型检查:异步并发系统的实验评估。 Zbl 0971.68656号
特夫菲克·布尔坦
1
2000
验证Vortex工作流。 Zbl 0978.68716号
傅、香;特夫菲克·布尔坦;理查德·赫尔;苏建文
1
2001
使用平均场退火的电路分区。 Zbl 0833.68085号
特夫菲克·布尔坦;塞夫德艾卡纳特
1
1995
决定异步通信系统的同步性。 Zbl 1353.68195号
萨米克·巴苏;特夫菲克·布尔坦
5
2016
字符串约束的基于自动的模型计数。 Zbl 1496.68254号
阿卜杜勒巴吉·艾丁;Lucas Bang先生;特夫菲克·布尔坦
1
2015
基于自动符号字符串分析的漏洞检测。 Zbl 1291.68272号
于、方;穆阿特·阿尔卡拉夫;特夫菲克·布尔坦;奥斯卡·H·伊巴拉。
7
2014
决定编舞的可实现性。 Zbl 1321.68183号
萨米克·巴苏;特夫菲克·布尔坦;梅里姆·乌代尔尼
14
2012
用于验证异步通信系统的同步性。 Zbl 1325.68139号
萨米克·巴苏;特夫菲克·布尔坦;梅里姆·乌代尔尼
5
2012
使用多轨迹自动机进行关系字符串验证。 Zbl 1234.68270号
于、方;特夫菲克·布尔坦;奥斯卡·H·伊巴拉。
4
2011
使用多轨迹自动机进行关系字符串验证。 Zbl 1297.68280号
于、方;特夫菲克·布尔坦;奥斯卡·H·伊巴拉。
2011
符号字符串验证:结合字符串分析和大小分析。 Zbl 1234.68269号
于、方;特夫菲克·布尔坦;奥斯卡·H·伊巴拉。
8
2009
动作语言验证器:反应式软件规范的无限状态模型检查器。 Zbl 1185.68427号
图巴·雅武兹·卡维奇;特夫菲克·布尔坦
4
2009
使用验证设计的高可靠性并发编程。 Zbl 1121.68027号
艾苏贝汀坎;特夫菲克·布尔坦
1
2007
动作语言验证程序,扩展。 Zbl 1081.68640号
图巴·雅武兹·卡维奇;君士坦丁·巴齐斯;特夫菲克·布尔坦
12
2005
对话协议:反应式电子服务规范和验证的形式主义。 Zbl 1071.68002号
傅、香;特夫菲克·布尔坦;苏建文
11
2004
加宽算术自动机。 Zbl 1103.68606号
君士坦丁·巴齐斯;特夫菲克·布尔坦
8
2004
WSAT:一种用于对web服务进行形式化分析的工具。 Zbl 1103.68613号
傅、香;特夫菲克·布尔坦;苏建文
2004
过去的下推定时自动机和安全验证。 Zbl 1069.68065号
当、哲;特夫菲克·布尔坦;奥斯卡·H·伊巴拉。;理查德·凯默勒(Richard A.Kemmer)。
2
2004
验证中算术约束的有效符号表示。 Zbl 1101.68642号
君士坦丁·巴齐斯;特夫菲克·布尔坦
7
2003
对话协议:反应式电子服务规范和验证的形式主义。 Zbl 1279.68210号
傅、香;特夫菲克·布尔坦;苏建文
2003
有界算术约束的有效BDD的构造。 Zbl 1031.68542号
君士坦丁·巴齐斯;特夫菲克·布尔坦
2
2003
基于接口的并发控制器规范和验证。 Zbl 1271.68132号
艾苏贝汀坎;特夫菲克·布尔坦
1
2003
计数器和验证问题。 Zbl 1061.68095号
奥斯卡·H·伊巴拉。;苏建文;当、哲;特夫菲克·布尔坦;理查德·凯默勒(Richard A.Kemmer)。
9
2002
使用计数器自动验证并发链接列表。 Zbl 1015.68510号
图巴·雅武兹·卡维奇;特夫菲克·布尔坦
4
2002
有效操纵复合约束的启发式方法。 Zbl 1057.68638号
图巴·雅武兹·卡维奇;特夫菲克·布尔坦
2
2002
电子服务和工作流的正式验证。 Zbl 1022.68656号
傅、香;特夫菲克·布尔坦;苏建文
2
2002
无限状态系统中的可达性和安全性。 Zbl 1319.68084号
奥斯卡·H·伊巴拉。;特夫菲克·布尔坦;苏建文
2001
基于约束的客户端-服务器协议验证。 Zbl 1067.68624号
乔治·德尔扎诺;特夫菲克·布尔坦
2
2001
验证Vortex工作流。 Zbl 0978.68716号
傅、香;特夫菲克·布尔坦;理查德·赫尔;苏建文
1
2001
离散下推时间自动机的二进制可达性分析。 Zbl 0974.68085号
当、哲;奥斯卡·H·伊巴拉。;特夫菲克·布尔坦;理查德·凯默勒(Richard A.Kemmer)。;苏建文
21
2000
一些无限状态转移系统模型的可达性分析。 Zbl 0999.68139号
奥斯卡·H·伊巴拉。;特夫菲克·布尔坦;苏建文
8
2000
计数器:可决定的属性和验证问题的应用。 Zbl 0996.68091号
奥斯卡·H·伊巴拉。;苏建文;当、哲;特夫菲克·布尔坦;理查德·凯默勒
7
2000
BDD与基于约束的模型检查:异步并发系统的实验评估。 Zbl 0971.68656号
特夫菲克·布尔坦
1
2000
使用平均场退火的电路分区。 Zbl 0833.68085号
特夫菲克·布尔坦;塞夫德艾卡纳特
1
1995
全部的 前5名

208位作者引用

28 奥斯卡·H·伊巴拉。
15 当、哲
10 特夫菲克·布尔坦
6 伊恩·麦克奎伦
5 托马斯·罗伯特·菲舍尔
5 苏建文
4 崔策伟
4 Stéphane P.德姆里。
4 理查德·凯默勒(Richard A.Kemmer)。
文森佐·阿塞里
阿戈斯蒂诺·科尔特斯
Trán,Nicholas Q。
于、方
2 马西莫·巴托莱蒂
2 萨米克·巴苏
2 墨菲·贝尔齐什
2 艾哈迈德·博阿贾尼
2 佛罗伦萨雪佛龙
2 蒂齐亚娜·西莫利
2 邓婷
2 辛齐亚·迪·朱斯托
2 乔伊·埃雷蒙迪
2 皮埃特罗·费拉拉
2 阿兰·芬克尔
2 法比奥·菲奥拉万蒂
2 傅、香
2 维杰·加内什
2 彼得·哈贝梅尔
2 怀、金鹏
2 奥雷利·胡罗
2 莱蒂蒂亚·拉弗萨
2 杰罗姆·勒鲁
2 李,秦
2 艾蒂安·洛兹
2 法布里西奥·蒙泰西
2 马蒂娜·奥利亚罗
2 阿尔贝托·佩特罗西
2 Pierluigi San彼得罗
2 毛里齐奥·普罗埃蒂
2 菲利普·奎因内克
2 瓦莱里奥·塞尼
2 埃米利奥·托斯托
2 汤姆·沃纳
2 图巴·亚武兹
2 罗伯托·祖尼诺
1 帕罗什·阿齐兹·阿卜杜拉
1 伊格纳西·阿比奥
1 亚明·艾特阿默尔
1 拉赫达尔·阿克伦
1 穆阿特·阿尔卡拉夫
1 马可·奥蒂利
1 德米特里·阿夫久钦
1 迈克尔·班特吉
1 佛朗哥·巴巴内拉
1 巴勃罗·巴塞洛
1 大卫·巴兹勒
1 马西莫·贝内雷切蒂
1 莎拉·本雅古布
1 马尔塞洛·玛丽亚·贝尔萨尼
1 艾苏贝汀坎
1 劳拉·博奇
1 佛罗伦萨Bouchy
1 马吕斯·博兹加
1 马尔科·卡博尼
1 科什卡,米兰
1 蔡超
1 陈广科
1 陈、陶璐
1 陈振邦
1 洛伦佐·克莱门特
1 朱利奥·克莱姆普纳。
1 亚历克斯·科托
1 路易斯·克鲁兹·菲利佩
1 戴,费
1 米拉·达拉·普雷达
1 戴,乔尔·D·。
1 皮耶保罗·德加诺
1 乌戈·德利古罗
1 乔治·德尔扎诺
1 伊西尔·迪利格
1 丁左华
1 朱尔根·丁格尔
1 朱利安·杜比
1 迪帕克·D’Souza
1 杜宗霞
1 马修·德怀尔。
1 奥马尔·埃盖西奥格鲁
1 约琴·艾辛格
1 帕维尔·埃尔勒巴赫
1 范文飞
1 吉安·路易吉,法拉利
1 JoséLuiz Fiadeiro
1 毛里齐奥·加布里埃利
1 布雷迪·J·加文。
1 凯格达斯·埃夫伦(Cagdas Evren)
1 西尔维奥·吉拉尔迪
1 萨维里奥·贾勒伦佐
1 劳拉·佐丹奴
1 戈德列夫斯基,A.B。
1 斯蒂芬·戈顿
…还有108位作者

按年份列出的引文