Esmaeil Zadeh Soudjani，萨代格;亚历山德罗·阿巴特 随机混合系统验证的高阶近似。 （英语） Zbl 1374.68280号 Chakraborty，Supratik（编辑）等人，《验证和分析自动化技术》。2012年10月3日至6日，印度第十届国际研讨会，2012年ATVA，Thiruvananthapuram。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-3385-9/pbk）。计算机科学课堂讲稿7561，416-434（2012）。MSC公司：第68季度第60季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛S.Esmaeil Zadeh Soudjani｝和\textit｛A.Abate｝，Lect。票据计算。科学。7566116-434（2012年；兹比尔1374.68280） 全文： 内政部
贝内迪克特·博利格;保罗·加斯丁;本杰明·蒙梅格;马克·泽顿 概率Kleene定理。 （英语） Zbl 1374.68253号 Chakraborty，Supratik（编辑）等人，《验证和分析自动化技术》。2012年10月3日至6日，印度第十届国际研讨会，2012年ATVA，Thiruvananthapuram。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-3385-9/pbk）。计算机科学课堂讲稿7561，400-415（2012）。MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}等人，Lect。注释计算。科学。7561400-415（2012年；Zbl 1374.68253） 全文： 内政部 哈尔
克里希南德·查特吉;马丁·奇梅利克;鲁帕克·马朱姆达尔 概率不确定性博弈和部分观测博弈的等价性。 （英语） Zbl 1376.91028号 Chakraborty，Supratik（编辑）等人，《验证和分析自动化技术》。2012年10月3日至6日，印度第十届国际研讨会，2012年ATVA，Thiruvananthapuram。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-3385-9/pbk）。计算机科学课堂讲稿7561385-399（2012）。MSC公司：91A15型 65年第68季度 91A80型 93亿B50 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人，Lect。注释计算。科学。7561、385--399（2012年；Zbl 1376.91028） 全文： 内政部 arXiv公司
贝恩德·贝克尔;吕迪格·埃勒斯;马修·刘易斯;马林，保罗 通过计算学习求解ALLQBF。 （英语） Zbl 1374.68487号 Chakraborty，Supratik（编辑）等人，《验证和分析自动化技术》。2012年10月3日至6日，印度第十届国际研讨会，2012年ATVA，Thiruvananthapuram。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-3385-9/pbk）。《计算机科学讲义》7563170-384（2012）。MSC公司：68吨15 第68季度第60季度 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{B.Becker}等人，Lect。注释计算。科学。7561370-384（2012年；Zbl 1374.68487） 全文： 内政部
丹尼尔·奈德 使用SAT和SMT求解器计算最小分离DFA和正则不变量。 （英语） Zbl 1374.68264号 Chakraborty，Supratik（编辑）等人，《验证和分析自动化技术》。2012年10月3日至6日，印度第十届国际研讨会，2012年ATVA，Thiruvananthapuram。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-3385-9/pbk）。计算机科学课堂讲稿7561354-369（2012）。MSC公司：65年第68季度 第68季度第60季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{D.Neider}，莱克特。注释计算。科学。7561、354--369（2012年；Zbl 1374.68264） 全文： 内政部
塞尔吉奥·吉罗;马库斯·拉贝。 使用反例引导改进验证部分信息概率系统。 （英语） Zbl 1374.68287号 Chakraborty，Supratik（编辑）等人，《验证和分析自动化技术》。2012年10月3日至6日，印度第十届国际研讨会，2012年ATVA，Thiruvananthapuram。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-3385-9/pbk）。计算机科学课堂讲稿7561，333-348（2012）。MSC公司：第68季度第60季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Giro}和\textit{M.N.Rabe}，莱克特。注释计算。科学。7561、333--348（2012年；Zbl 1374.68287） 全文： 内政部
Forejt，Vojtěch公司;玛尔塔·奎亚特科夫斯卡;大卫·帕克 概率模型检查的Pareto曲线。 （英语） Zbl 1374.68285号 Chakraborty，Supratik（编辑）等人，《验证和分析自动化技术》。2012年10月3日至6日，印度第十届国际研讨会，2012年ATVA，Thiruvananthapuram。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-3385-9/pbk）。《计算机科学讲义》7563117-332（2012）。MSC公司：第68季度第60季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Forejt}等人，Lect。注释计算。科学。7561317--332（2012年；Zbl 1374.68285） 全文： 内政部 arXiv公司
费雷尔·菲奥里蒂，路易斯·玛丽亚;恩斯特·莫里茨·哈恩;霍尔格·赫尔曼斯;比约恩Wachter 变量概率抽象细化。 （英语） Zbl 1374.68347号 Chakraborty，Supratik（编辑）等人，《验证和分析自动化技术》。2012年10月3日至6日，印度第十届国际研讨会，2012年ATVA，Thiruvananthapuram。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-3385-9/pbk）。计算机科学课堂讲稿7561，300-316（2012）。MSC公司：87年第68季度 68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.M.Ferrer Fioriti}等人，Lect。注释计算。科学。7561，300-316（2012；Zbl 1374.68347） 全文： 内政部
罗德里戈·T·萨阿德。;达尔·齐利奥，西尔瓦诺;伯纳德·伯托米厄 CTL片段的并行模型检查实验。 （英语） Zbl 1374.68299号 Chakraborty，Supratik（编辑）等人，《验证和分析自动化技术》。2012年10月3日至6日，印度第十届国际研讨会，2012年ATVA，Thiruvananthapuram。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-3385-9/pbk）。计算机科学课堂讲稿7561284-299（2012）。MSC公司：第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{R.T.Saad}等人，Lect。注释计算。科学。7561284--299（2012年；Zbl 1374.68299） 全文： 内政部 arXiv公司
萨米·伊万格利斯塔;阿尔芬斯·拉阿尔曼;劳雷·佩特鲁奇;范德波尔（Jaco van de Pol） 改进了多核嵌套深度优先搜索。 （英语） 兹比尔1374.68281 Chakraborty，Supratik（编辑）等人，用于验证和分析的自动化技术。2012年10月3日至6日，印度第十届国际研讨会，2012年ATVA，Thiruvananthapuram。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-3385-9/pbk）。计算机科学课堂讲稿7561269-283（2012）。MSC公司：第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Evangelista}等人，莱克特。注释计算。科学。7561、269--283（2012年；Zbl 1374.68281） 全文： 内政部 链接
丹尼尔·施瓦茨·纳博恩;乔治·威森巴赫;沙拉德·马利克 具有弱内存模型的体系结构的并行断言。 （英语） Zbl 1374.68106号 Chakraborty，Supratik（编辑）等人，《验证和分析自动化技术》。2012年10月3日至6日，印度第十届国际研讨会，2012年ATVA，Thiruvananthapuram。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-3385-9/pbk）。计算机科学课堂讲稿7561254-268（2012）。MSC公司：第68页第19页 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{D.Schwartz-Narbonne}等人，Lect。注释计算。科学。7561254--268（2012年；Zbl 1374.68106） 全文： 内政部
马蒂亚斯·古德曼;格温·萨拉恩;梅里姆·乌代尔尼 反例指导下的可实现性实施监控器综合。 （英语） Zbl 1374.68289号 Chakraborty，Supratik（编辑）等人，《验证和分析自动化技术》。2012年10月3日至6日，印度第十届国际研讨会，2012年ATVA，Thiruvananthapuram。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-3385-9/pbk）。计算机科学课堂讲稿7561，238-253（2012）。MSC公司：第68季度第60季度 68问题85 PDF格式BibTeX公司 XML格式引用 \文本{M.Güdemann}等人，Lect。票据计算。科学。7562138-253（2012年；兹bl 1374.68289） 全文： 内政部 哈尔
彼得·布利切夫;弗兰克·卡塞兹;亚历山大·戴维;拉森，金·古尔德斯特朗;Jean-François拉斯金;皮埃尔·阿莱·雷尼尔 具有最小观测能力的控制器（应用于定时系统）。 （英语） Zbl 1374.68255号 Chakraborty，Supratik（编辑）等人，《验证和分析自动化技术》。2012年10月3日至6日，印度第十届国际研讨会，2012年ATVA，Thiruvananthapuram。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-3385-9/pbk）。计算机科学课堂讲稿7561223-237（2012）。MSC公司：65年第68季度 第68季度第60季度 68问题85 93亿B50 PDF格式BibTeX公司 XML格式引用 \textit{P.Bulychev}等人，Lect。注释计算。科学。7561、223--237（2012年；Zbl 1374.68255） 全文： 内政部 arXiv公司
约翰·费恩利;多龙·贝利德;斯文·舍韦 简洁系统的合成。 （英语） Zbl 1374.68282号 Chakraborty，Supratik（编辑）等人，《验证和分析自动化技术》。2012年10月3日至6日，印度第十届国际研讨会，2012年ATVA，Thiruvananthapuram。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-3385-9/pbk）。计算机科学课堂讲稿7561208-222（2012）。MSC公司：第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Fearnley}等人，Lect。注释计算。科学。7561208-222（2012年；Zbl 1374.68282） 全文： 内政部 arXiv公司
侯赛因·霍贾特;拉杜·奥西夫;菲利普·科内钦;维克多·昆卡;菲利普·吕默 加速插值。 （英语） 兹比尔1374.68291 Chakraborty，Supratik（编辑）等人，《验证和分析自动化技术》。2012年10月3日至6日，印度第十届国际研讨会，2012年ATVA，Thiruvananthapuram。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-3385-9/pbk）。《计算机科学讲义》7561187-202（2012）。MSC公司：第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Hojjat}等人，Lect。注释计算。科学。7561187--202（2012年；Zbl 1374.68291） 全文： 内政部 哈尔
艾哈迈德·博阿贾尼;塞扎拉·奥盖医生;康斯坦丁埃纳;米哈埃拉·西希雷亚努 程序操作具有无限数据的列表和数组时的精确不变量检查。 （英语） Zbl 1374.68112号 Chakraborty，Supratik（编辑）等人，《验证和分析自动化技术》。2012年10月3日至6日，印度第十届国际研讨会，2012年ATVA，Thiruvananthapuram。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-3385-9/pbk）。计算机科学课堂讲稿7561167-182（2012）。MSC公司：68号30 03B70号 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{A.Bouajjani}等人，Lect。注释计算。科学。7561、167--182（2012年；Zbl 1374.68112） 全文： 内政部
穆罕默德·法乌齐（Mohamed Faouzi Atig）;艾哈迈德·博阿贾尼;Narayan Kumar，K。;普拉卡什·塞瓦桑 作用域边界下多线程程序的线性时间模型检查。 （英语） Zbl 1375.68076号 Chakraborty，Supratik（编辑）等人，《验证和分析自动化技术》。2012年10月3日至6日，印度第十届国际研讨会，2012年ATVA，Thiruvananthapuram。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-3385-9/pbk）。计算机科学课堂讲稿7561152-166（2012）。MSC公司：第68季度第60季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.F.Atig}等人，Lect。注释计算。科学。7561、152--166（2012；Zbl 1375.68076） 全文： 内政部
本·萨西，穆罕默德·阿明;罗曼·泰斯特利耶;Thao Dang先生;安托万·吉拉德 利用线性规划松弛对多项式系统进行可达性分析。 （英语） Zbl 1375.68077号 Chakraborty，Supratik（编辑）等人，用于验证和分析的自动化技术。2012年10月3日至6日，印度Thiruvananthapuram，2012年亚洲电视协会第十届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-3385-9/pbk）。计算机科学课堂讲稿7561137-151（2012）。MSC公司：第68季度第60季度 90C05（二氧化碳） 90C26型 93C55美元 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Ben Sassi}等人，Lect。注释计算。科学。7561、137--151（2012年；Zbl 1375.68077） 全文： 内政部
奥尔纳·格伦伯格;奥尔纳库普弗曼;莎莱·申瓦尔德 使用参数化原子命题的模型检查系统和规范。 （英语） Zbl 1374.68288号 Chakraborty，Supratik（编辑）等人，《验证和分析自动化技术》。2012年10月3日至6日，印度第十届国际研讨会，2012年ATVA，Thiruvananthapuram。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-3385-9/pbk）。计算机科学课堂讲稿7561122-136（2012）。MSC公司：第68季度第60季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{O.Grumberg}等人，Lect。注释计算。科学。7561、122--136（2012年；Zbl 1374.68288） 全文： 内政部
阿什图什·古普塔 改进的单程算法可降低分辨率。 （英语） Zbl 1374.68489号 Chakraborty，Supratik（编辑）等人，《验证和分析自动化技术》。2012年10月3日至6日，印度第十届国际研讨会，2012年ATVA，Thiruvananthapuram。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-3385-9/pbk）。计算机科学课堂讲稿7561107-121（2012）。MSC公司：68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Gupta}，莱克特。票据计算。科学。7560107-121（2012年；兹bl 1374.68489） 全文： 内政部
亚历山大·唐泽;奥德·马勒;埃齐奥·巴托西;德扬·尼科维奇;拉杜·格罗苏;斯科特·斯莫尔卡 关于时序逻辑和信号处理。 （英语） Zbl 1374.68278号 Chakraborty，Supratik（编辑）等人，《验证和分析自动化技术》。2012年10月3日至6日，印度第十届国际研讨会，2012年ATVA，Thiruvananthapuram。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-3385-9/pbk）。计算机科学课堂讲稿7561，92-106（2012）。MSC公司：第68季度第60季度 03B44号 94甲12 PDF格式BibTeX公司 XML格式引用 \textit{A.Donzé}等人，Lect。注释计算。科学。7561，92-106（2012；Zbl 1374.68278） 全文： 内政部
帕里托什·K·潘迪亚。;西莫尼·沙阿。 度量区间时序逻辑的一元片段：有界与下限约束。 （英语） Zbl 1374.03009号 Chakraborty，Supratik（编辑）等人，《验证和分析自动化技术》。2012年10月3日至6日，印度第十届国际研讨会，2012年ATVA，Thiruvananthapuram。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-3385-9/pbk）。计算机科学课堂讲稿7561，77-91（2012）。MSC公司：03B44号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit｛P.K.Pandya｝和\textit｛S.S.Shah｝，Lect。注释计算。科学。7561，77-91（2012年；兹bl 1374.03009） 全文： 内政部
安德烈亚斯·盖泽;简·Křetínsk;哈维尔·埃斯帕尔扎 Rabinizer：用于\（{\mathrm{LTL}（\mathrm{F}，\mathrm2{G}）}\）的小型确定性自动机。 （英语） Zbl 1374.68259号 Chakraborty，Supratik（编辑）等人，《验证和分析自动化技术》。2012年10月3日至6日，印度第十届国际研讨会，2012年ATVA，Thiruvananthapuram。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-3385-9/pbk）。计算机科学课堂讲稿7561，72-76（2012）。MSC公司：65年第68季度 03B44号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Gaiser}等人，Lect。注释计算。科学。7561、72-76（2012年；Zbl 1374.68259） 全文： 内政部
索菲亚·卡塞尔;本特·琼森;福尔克·豪尔;伯恩哈德·斯特芬 具有二元关系的数据域的简洁规范寄存器自动机模型。 （英语） Zbl 1374.68256号 Chakraborty，Supratik（编辑）等人，《验证和分析自动化技术》。2012年10月3日至6日，印度Thiruvananthapuram，2012年亚洲电视协会第十届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-33385-9/pbk）。《计算机科学讲义》7561，57-71（2012）。MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Cassel}等人，Lect。注释计算。科学。7561，57-71（2012；Zbl 1374.68256） 全文： 内政部
斯文·舍韦;托马斯·瓦尔盖塞 广义Büchi自动机的确定和互补的紧界。 （英语） Zbl 1374.68265号 Chakraborty，Supratik（编辑）等人，《验证和分析自动化技术》。2012年10月3日至6日，印度第十届国际研讨会，2012年ATVA，Thiruvananthapuram。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-3385-9/pbk）。计算机科学课堂讲稿7561，42-56（2012）。MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Schewe}和\textit{T.Varghese}，莱克特。注释计算。科学。7561，42-56（2012；Zbl 1374.68265） 全文： 内政部
舒拉米特·哈拉米什;奥尔纳库普弗曼 近似确定性格自动机。 （英语） Zbl 1375.68073号 Chakraborty，Supratik（编辑）等人，《验证和分析自动化技术》。2012年10月3日至6日，印度第十届国际研讨会，2012年ATVA，Thiruvananthapuram。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-3385-9/pbk）。计算机科学课堂讲稿7561，27-41（2012）。MSC公司：65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Halamish}和\textit{O.Kupferman}，莱克特。注释计算。科学。7561，27-41（2012；Zbl 1375.68073） 全文： 内政部
Palaniappan，Sucheendra K。;蒂亚加拉扬，P.S。 动态贝叶斯网络：概率动力学的因子模型。 （英语） 兹比尔1375.68087 Chakraborty，Supratik（编辑）等人，用于验证和分析的自动化技术。2012年10月3日至6日，印度第十届国际研讨会，2012年ATVA，Thiruvananthapuram。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-3385-9/pbk）。计算机科学课堂讲稿7561，17-25（2012）。MSC公司：87年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{S.K.Palaniappan}和\textit{P.S.Thiagarajan}，莱克特。注释计算。科学。7561，17-25（2012；Zbl 1375.68087） 全文： 内政部