×

兹马思-数学第一资源

自动验证和分析技术。第十届国际研讨会,ATVA 2012,Thiruvananthapuram,印度,2012年10月3日至6日。诉讼程序。(英语) Zbl 1251.68006
计算机科学讲义7561柏林:斯普林格出版社(ISBN 978-3-642-33385-9/pbk)。十四,436页。(2012年)。

将索引文章显示为搜索结果。

本卷的文章将单独审查。上一次研讨会见[Zbl 1223.68004号].
索引文章:
帕拉尼亚潘,Sucheendra K。;Thiagarajan,P.S。《动态贝叶斯网络:概率动力学的因子模型》,17-25[Zbl 1375.68087]
哈拉米希,书拉米;奥娜库普费尔曼,近似确定性格子自动机,27-41[Zbl 1375.68073]
舍韦,斯文;瓦尔盖斯,托马斯,广义Büchi自动机确定与互补的紧界,42-56[Zbl 1374.68265]
卡塞尔,索非亚;强森,本特;霍瓦,福克;斯特芬,伯恩哈德,具有二元关系的数据域的简洁规范寄存器自动机模型,57-71[兹布1374.68256]
盖瑟,安德烈亚斯;Křetínský,一月;埃斯帕扎,哈维尔,Rabinizer:small deterministic automata for \({\mathrm{LTL}(\mathrm{F},\mathrm{G})}\),72-76[Zbl 1374.68259]
潘迪亚,帕里托什K。;沙阿,西蒙尼S。度量区间时态逻辑的一元片段:有界与下界约束,77-91[Zbl 1374.03009号]
东泽,亚历山德拉;马勒,奥德;巴托奇、埃齐奥;尼科维奇,德扬;格罗苏,拉杜;斯莫尔卡,斯科特,关于时序逻辑和信号处理,92-106[兹布1374.68278]
古普塔,阿什图什,用于分辨率证明缩减的改进单通算法,107-121[Zbl 1374.68489]
格鲁伯格,奥娜;库普费尔曼,奥尔纳;谢瓦尔德,萨拉,模型检查系统和参数化原子命题规范,122-136[兹布1374.68288]
本·萨西,穆罕默德·阿明;睾丸激素,罗曼;他当;吉拉德,安托万,使用线性规划松弛的多项式系统可达性分析,137-151[Zbl 1375.68077]
阿蒂格,Mohamed Faouzi;艾哈迈德·布瓦贾尼;纳拉扬·库马尔,K。;塞瓦桑,普拉卡什,作用域边界下多线程程序的线性时间模型检查,152-166[Zbl 1375.68076]
艾哈迈德·布瓦贾尼;戈伊博士,塞扎拉;埃尼亚,康斯坦丁;希吉雷努,米哈埃拉,使用无限数据操作列表和数组的程序的精确不变检查,167-182[兹布1374.68112]
霍杰特,侯赛因;Iosif,拉杜;科恩·金什(Konečný,菲利普);昆卡,维克托;吕默,菲利普,加速插入装置,187-202[Zbl 1374.68291号]
费恩利,约翰;佩利德,多伦;舍维,斯文,简洁系统的合成,208-222[兹布1374.68282]
布莱切夫,彼得;卡塞兹,弗朗克;大卫,亚历山大;拉森,金·古德斯兰德;拉斯金,让·弗朗索瓦;雷尼尔,皮埃尔·阿兰,具有最小观测功率的控制器(应用于定时系统),223-237[Zbl 1374.68255]
Güdemann,马提亚斯;萨拉因,格温;乌德尔尼,梅里姆,反例指导下的可实现性实施监控器合成,238-253[Zbl 1374.68289]
丹尼尔·施瓦茨·纳博内;魏森巴赫,乔治;马利克,沙拉德,针对具有弱内存模型的体系结构的并行断言,254-268[Zbl 1374.68106]
福音派,萨米人;拉尔曼,阿尔芬斯;佩特鲁奇,劳尔;范德波尔,雅科,改进的多核嵌套深度优先搜索,269-283[Zbl 1374.68281号]
萨阿德,罗德里戈T。;达尔齐里奥,西尔瓦诺;伯索米厄,伯纳德,CTL片段的并行模型检查实验,284-299[兹布1374.68299]
费雷尔·菲奥里蒂,路易斯·马里亚;哈恩,恩斯特莫里茨;赫尔曼,霍尔格;瓦赫特,比约恩,变量概率抽象精化,300-316[Zbl 1374.68347]
弗雷特,沃伊特ěch;奎亚特科夫斯卡,玛尔塔;帕克,大卫,概率模型检验的帕累托曲线,317-332[兹布1374.68285]
吉罗,塞尔吉奥;拉贝,马库斯N。,使用反例引导精炼验证部分信息概率系统,333-348[Zbl 1374.68287号]
尼尔,丹尼尔,使用SAT和SMT解算器计算最小分离DFA和正则不变量,354-369[Zbl 1374.68264]
贝克,伯纳德;埃勒斯,吕迪格;刘易斯,马修;保罗,马林,ALLQBF通过计算学习求解,370-384[Zbl 1374.68487]
查特吉,克莉什南杜;奇梅利克,马丁;马朱姆达尔,鲁帕克,概率不确定性对策与部分观测对策的等价性,385-399[Zbl 1376.91028号]
博利格,贝尼迪克;加斯汀,保罗;蒙梅格,本杰明;泽顿,马克,概率Kleene定理,400-415[Zbl 1374.68253]
埃斯梅尔·扎德·苏德贾尼,萨德格;阿伯特,亚历山德罗,随机混合系统验证的高阶近似,416-434[兹布1374.68280]

理学硕士:
68-06年 与计算机科学有关的会议记录、会议记录、收藏等
68Q60型 规范和验证(程序逻辑、模型检查等)
00B25号 特别关注的杂项会议记录
PDF格式 BibTeX公司 XML 引用
全文: 内政部