×

找到39个文档（结果1-39）

最新的 引文 关联
阿卜杜勒巴吉·艾丁；Lucas Bang先生；特夫菲克·布尔坦

字符串约束的基于自动的模型计数。 （英语） Zbl 1496.68254号

Kroening，Daniel（编辑）等人，《计算机辅助验证》。2015年7月18日至24日，第27届国际会议，CAV 2015，美国加利福尼亚州旧金山。诉讼程序。第一部分查姆：施普林格。莱克特。票据计算。科学。9206, 255-272 (2015).
MSC公司：68兰特 68号30 65年第68季度 60年第68季度 68瓦32
PDF格式BibTeX公司 XML格式引用
\textit{A.Aydin}等人，Lect。票据计算。科学。9206255-272（2015；Zbl 1496.68254）
全文： 内政部
萨米克·巴苏；特夫菲克·布尔坦；梅里姆·乌代尔尼

决定编舞的可实现性。 （英语） Zbl 1321.68183号

2012年1月22日至28日，美国宾夕法尼亚州费城，POPL'12，第39届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1083-3）。191-202 (2012).
MSC公司：68号30 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{S.Basu}等人，in：第39届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL’12，美国宾夕法尼亚州费城，2012年1月22日至28日。纽约州纽约市：计算机协会（ACM）。191--202（2012；Zbl 1321.68183）
全文： 内政部
萨米克·巴苏；特夫菲克·布尔坦；梅里姆·乌代尔尼

用于验证异步通信系统的同步性。 （英语） 兹比尔1325.68139

Kuncak，Viktor（编辑）等人，《验证、模型检查和抽象解释》。2012年1月22日至24日，第13届国际会议，VMCAI 2012，美国宾夕法尼亚州费城。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-27939-3/pbk）。计算机科学课堂讲稿714856-71（2012）。
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{S.Basu}等人，Lect。票据计算。科学。7148，56-71（2012年；兹bl 1325.68139）
全文： 内政部
特夫菲克·布尔坦（编辑）；熊宝安（编辑）

用于验证和分析的自动化技术。2011年10月11日至14日，第九届国际研讨会，ATVA 2011，台湾台北。诉讼程序。 （英语） Zbl 1223.68004号

计算机科学课堂讲稿6996.柏林：施普林格出版社（ISBN 978-3-642-24371-4/pbk）。xiv，532页。(2011).
MSC公司：68-06 60年第68季度 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{T.Bultan}（编辑）和\textit{P.-A.Hsiung}（主编），验证和分析自动化技术。2011年10月11-14日，第九届国际研讨会，ATVA 2011，台湾台北。诉讼程序。柏林：施普林格出版社（2011；Zbl 1223.68004）
全文： 内政部
马里奥·布拉维蒂（编辑）；特夫菲克·布尔坦（编辑）

Web服务和形式化方法。2010年9月16日至17日，美国新泽西州霍博肯WS-FM 2010第七届国际研讨会。修订了选定的论文。 （英语） Zbl 1334.68012号

计算机科学课堂讲稿6551.柏林：施普林格出版社（ISBN 978-3-642-19588-4/pbk）。viii，191页。(2011).
MSC公司：68-06 68米11 00B25型
PDF格式BibTeX公司 XML格式引用
\textit｛M.Bravetti｝（编辑）和\textit｛T.Bultan｝（编辑），Web服务和形式化方法。2010年9月16日至17日，美国新泽西州霍博肯WS-FM 2010第七届国际研讨会。修订了选定的论文。柏林：施普林格出版社（2011；Zbl 1334.68012）
全文： 内政部
于、方；特夫菲克·布尔坦；奥斯卡·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）
全文： 内政部
于、方；特夫菲克·布尔坦；奥斯卡·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 1081.68640号

Etessami，Kousha（编辑）等人，《计算机辅助验证》。2005年7月6日至10日在英国苏格兰爱丁堡举行的第17届CAV国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-27231-3/pbk）。计算机科学课堂讲稿3576413-417（2005）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Yavuz-Kahveci}等人，Lect。票据计算。科学。3576、413--417（2005年；Zbl 1081.68640）
全文： 内政部
特夫菲克·布尔坦；傅、香；苏建文

用于自动验证web服务的工具。 （英语） Zbl 1108.68492号

Wang，Farn（编辑），验证和分析自动化技术。2004年10月31日至11月3日，第二届国际会议，ATVA 2004，中华民国台湾台北。诉讼程序。柏林：施普林格出版社（ISBN 3-540-23610-4/pbk）。计算机科学课堂讲稿3299，8-10（2004）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Bultan}等人，Lect。票据计算。科学。3299，8--10（2004；Zbl 1108.68492）
全文： 内政部
傅、香；特夫菲克·布尔坦；苏建文

WSAT：一种用于对web服务进行形式化分析的工具。 （英语） Zbl 1103.68613号

Alur，Rajeev（编辑）等人，《计算机辅助验证》。2004年7月13日至17日在美国马萨诸塞州波士顿举行的2004年CAV第16届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22342-8/pbk）。计算机科学讲义3114，510-514（2004）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{X.Fu}等人，Lect。票据计算。科学。3114510--514（2004；Zbl 1103.68613）
全文： 内政部
君士坦丁·巴齐斯；特夫菲克·布尔坦

加宽算术自动机。 （英语） Zbl 1103.68606号

Alur，Rajeev（编辑）等人，《计算机辅助验证》。2004年7月13日至17日在美国马萨诸塞州波士顿举行的2004年CAV第16届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22342-8/pbk）。计算机科学讲义3114，321-333（2004）。
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Bartzis}和\textit{T.Bultan}，莱克特。票据计算。科学。3114、321--333（2004；Zbl 1103.68606）
全文： 内政部
艾苏贝汀坎；特夫菲克·布尔坦

基于接口的并发控制器规范和验证。 （英语） Zbl 1271.68132号

Dawar，Anuj（编辑），SoftMC 2003。2003年6月26日至27日，加拿大渥太华，软件模型检查研讨会（2003年CAV卫星研讨会）。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》89，第3期，464-479（2003）。
MSC公司：60年第68季度 68号30 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Betin-Can}和\textit{T.Bultan}，电子。注释Theor。计算。科学。89，第3464--479号（2003年；兹bl 1271.68132）
全文： 链接
傅、香；特夫菲克·布尔坦；苏建文

对话协议：反应式电子服务规范和验证的形式主义。 （英语） 兹比尔1279.68210

Ibarra，Oscar H.（编辑）等人，《自动机的实现和应用》。2003年7月16日至18日，美国加利福尼亚州圣巴巴拉市，CIAA 2003，第八届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40561-5/pbk）。莱克特。票据计算。科学。2759, 188-200 (2003).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{X.Fu}等人，Lect。票据计算。科学。2759188-200（2003年；Zbl 1279.68210）
全文： 内政部 链接
君士坦丁·巴齐斯；特夫菲克·布尔坦

无限状态模型检查中的高效图像计算。 （英语） Zbl 1278.68154号

Hunt，Warren A.jun.（编辑）等人，《计算机辅助验证》。第15届国际会议，2003年CAV，美国科罗拉多州博尔德，2003年7月8-12日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40524-0/pbk）。莱克特。票据计算。科学。2725, 249-261 (2003).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Bartzis}和\textit{T.Bultan}，莱克特。票据计算。科学。2725、249--261（2003年；Zbl 1278.68154）
全文： 内政部
君士坦丁·巴齐斯；特夫菲克·布尔坦

自动验证中算术约束的基于自动的表示。 （英语） 兹比尔1033.68583

Champarnaud，Jean-Marc（编辑）等人，《自动机的实现和应用》。2002年7月3日至5日在法国图尔斯举行的CIAA 2002第七届国际会议。修订论文。柏林：施普林格出版社（ISBN 3-540-40391-4/pbk）。莱克特。票据计算。科学。2608, 282-288 (2003).
MSC公司：60年第68季度 65年第68季度 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{C.Bartzis}和\textit{T.Bultan}，莱克特。票据计算。科学。2608282-288（2003年；Zbl 1033.68583）
全文： 链接
君士坦丁·巴齐斯；特夫菲克·布尔坦

有界算术约束的有效BDD的构造。 （英语） Zbl 1031.68542号

Garavel，Hubert（编辑）等人，《系统构建和分析的工具和算法》。2003年4月7日至11日在波兰华沙举行的2003年第9届TACAS国际会议，是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。2619, 394-408 (2003).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Bartzis}和\textit{T.Bultan}，莱克特。票据计算。科学。261394--408（2003年；Zbl 1031.68542）
全文： 链接
图巴·雅武兹·卡维奇；特夫菲克·布尔坦

有效操纵复合约束的启发式方法。 （英语） Zbl 1057.68638号

亚历山德罗·阿曼多（编辑），《组合系统的前沿》。2002年4月8日至10日，意大利圣玛格丽塔利古雷，FroCos 2002，第四届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43381-3）。莱克特。票据计算。科学。2309, 57-71 (2002).
MSC公司：60年第68季度 68吨15 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{T.Yavuz-Kahveci}和\textit{T.Bultan}，Lect。票据计算。科学。2309，57--71（2002；Zbl 1057.68638）
全文： 链接
傅、香；特夫菲克·布尔坦；苏建文

电子服务和工作流的正式验证。 （英语） Zbl 1022.68656号

Bussler，Christoph（ed.）等人，《Web服务、电子商务和语义Web》。CAiSE 2002国际研讨会，WES 2002，加拿大多伦多，2002年5月27日至28日。修订论文。柏林：斯普林格。莱克特。票据计算。科学。2512, 188-202 (2002).
MSC公司：68单位99 68单位35
PDF格式BibTeX公司 XML格式引用
\textit{X.Fu}等人，Lect。票据计算。科学。2512188-202（2002年；兹比尔1022.68656）
全文： 链接
当、哲；特夫菲克·布尔坦；奥斯卡·H·伊巴拉。；理查德·凯默勒（Richard A.Kemmer）。

过去的下推定时自动机。 （英语） Zbl 1015.68526号

Watson，Bruce W.（编辑）等人，《自动机的实现和应用》。2001年7月23日至25日在南非比勒陀利亚举行的CIAA 2001第六届国际会议。修订论文。柏林：斯普林格。莱克特。票据计算。科学。2494, 74-86 (2002).
MSC公司：65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Z.Dang}等人，Lect。票据计算。科学。2494,74--86（2002年；Zbl 1015.68526）
全文： 链接
图巴·雅武兹·卡维奇；特夫菲克·布尔坦

使用计数器自动验证并发链接列表。 （英语） Zbl 1015.68510号

Hermenegildo，Manuel V.（编辑）等，《静态分析》。2002年9月17日至20日在西班牙马德里举行的2002年SAS第九届国际研讨会。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。2477, 69-84 (2002).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{T.Yavuz-Kahveci}和\textit{T.Bultan}，Lect。票据计算。科学。2477,69--84（2002年；Zbl 1015.68510）
全文： 链接
乔治·德尔赞诺；特夫菲克·布尔坦

基于约束的客户端-服务器协议验证。 （英语） Zbl 1067.68624号

Walsh，Toby（编辑），约束编程的原理和实践-CP 2001。第七届国际会议，2001年11月26日至12月1日，塞浦路斯帕福斯。诉讼程序。柏林：施普林格出版社（ISBN 3-540-42863-1）。莱克特。票据计算。科学。2239, 286-301 (2001).
MSC公司：68T20型 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.Delzanno}和\textit{T.Bultan}，莱克特。票据计算。科学。2239286--301（2001年；Zbl 1067.68624）
全文： 链接
傅、香；特夫菲克·布尔坦；理查德·赫尔；苏建文

验证Vortex工作流。 （英语） Zbl 0978.68716号

Margaria，Tiziana（编辑）等，系统构建和分析的工具和算法。2001年4月2日至6日在意大利热那瓦举行的第七届国际会议TACAS 2001，是欧洲软件理论与实践联合会议ETAPS 2001的一部分。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。2031, 143-157 (2001).
MSC公司：68单位99 60年第68季度 68甲15
PDF格式BibTeX公司 XML格式引用
\textit{X.Fu}等人，Lect。票据计算。科学。2031，143--157（2001；Zbl 0978.68716）
全文： 链接
图巴·雅武兹·卡维奇；Murat调谐器；特夫菲克·布尔坦

用于复合符号表示的库。 （英语） Zbl 0978.68536号

Margaria，Tiziana（编辑）等，系统构建和分析的工具和算法。2001年4月2日至6日在意大利热那瓦举行的第七届国际会议TACAS 2001，是欧洲软件理论与实践联合会议ETAPS 2001的一部分。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。2031, 52-66 (2001).
MSC公司：60年第68季度 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit｛T.Yavuz Kahveci｝等人，Lect。票据计算。科学。2031，52-66（2001；Zbl 0978.68536）
全文： 链接
奥斯卡·H·伊巴拉。；特维克布尔坦；苏建文

一些无限状态转移系统模型的可达性分析。 （英语） Zbl 0999.68139号

Palamidessi，Catuscia（编辑），CONCUR 2000——并发理论。2000年8月22日至25日，第11届国际会议，美国宾夕法尼亚州大学公园。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。1877, 183-198 (2000).
MSC公司：68问题85 60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{O.H.Ibarra}等人，Lect。票据计算。科学。1877、183--198（2000年；Zbl 0999.68139）
奥斯卡·H·伊巴拉。；苏建文；当、哲；特夫菲克·布尔坦；理查德·凯默勒

计数器：可决定的属性和验证问题的应用。 （英语） Zbl 0996.68091号

尼尔森、莫根斯（编辑）等人，《2000年计算机科学的数学基础》。2000年8月28日至9月1日在斯洛伐克布拉迪斯拉发举行的2000年MFCS第25届国际研讨会。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。1893, 426-435 (2000).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{O.H.Ibarra}等人，Lect。票据计算。科学。1893426-435（2000年；Zbl 0996.68091）
当、哲；奥斯卡·H·伊巴拉。；特夫菲克·布尔坦；理查德·凯默勒（Richard A.Kemmer）。；苏建文

离散下推时间自动机的二进制可达性分析。 （英语） Zbl 0974.68085号

Emerson，E.Allen（编辑）等人，《计算机辅助验证》。第十二届国际会议，CAV 2000。2000年7月15日至19日，美国伊利诺伊州芝加哥。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。1855, 69-84 (2000).
MSC公司：65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Z.Dang}等人，Lect。票据计算。科学。1855，69-84（2000；Zbl 0974.68085）
特夫菲克·布尔坦

BDD与基于约束的模型检查：异步并发系统的实验评估。 （英语） 兹伯利0971.68656

Graf，Susanne（编辑）等人，《系统构建和分析的工具和算法》。第六届国际会议，TACAS 2000。作为2000年3月25日至4月2日在德国柏林举行的欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。1785, 441-455 (2000).
MSC公司：68单位99 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.布尔坦}，莱克特。票据计算。科学。1785、441--455（2000年；Zbl 0971.68656）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

主字段

全部的 前3名

软件