洛根·墨菲;托林·维格;阿莱西奥·迪·桑德罗;拉米·沙欣;玛莎·契契克 用精益验证安全论证。 （英语） Zbl 1522.68337号 Calinescu，Radu（编辑）等人，《软件工程和形式化方法》。第19届国际会议，SEFM 2021，虚拟活动，2021年12月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13085, 23-43 (2021).MSC公司：60年第68季度 68问题85 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{L.Murphy}等人，Lect。注释计算。科学。13085，23-43（2021；Zbl 1522.68337） 全文： 内政部
穆拉德·阿洪多夫;费德里科·莫拉;尼克·冯;文森特·惠;玛莎·契契克 通过在程序片上赌博进行验证。 （英语） Zbl 1497.68282号 Hou，Zhe（编辑）等，验证和分析自动化技术。第19届国际研讨会，2021年10月18日至22日，澳大利亚昆士兰州黄金海岸，ATVA 2021。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12971, 266-282 (2021).MSC公司：60年第68季度 68号30 65年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{M.Akhundov}等人，Lect。注释计算。科学。12971，266--282（2021；Zbl 1497.68282） 全文： 内政部
克劳迪奥·蒙希;鲍拉·斯波莱蒂尼;玛莎·契契克;卡洛·盖齐 控制器迭代设计的验证驱动框架。 （英语） Zbl 1425.68262号 正式Asp。计算。 31,5号，459-502（2019）.MSC公司：60年第68季度 03B44号 68N99型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Menghi}等人，正式Asp。计算。31，第5号，459--502（2019；Zbl 1425.68262） 全文： 内政部
克劳迪奥·蒙希;鲍拉·斯波莱蒂尼;玛莎·契契克;卡洛·盖齐 支持验证驱动的组件增量分布式设计。 （英语） Zbl 1425.68261号 Russo，Alessandra（编辑）等人，《软件工程的基本方法》，第21届国际会议，2018年FASE，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2018，希腊塞萨洛尼基，2018年4月14日至20日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10802, 169-188 (2018).MSC公司：60年第68季度 03B44号 68N99型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛C.Menghi｝等人，Lect。注释计算。科学。10802169-188（2018年；兹比尔1425.68261） 全文： 内政部
布兰奇，桑德琳（编辑）;玛莎·契契克（编辑） 2016年VSTTE精选扩展论文。 （英语） Zbl 1426.68006号 J.汽车。推理 60，第3号，255-256（2018）.MSC公司：68-06 68号30 60年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit｛S.Blazy｝（编辑）和\textit｛M.Chechik｝（编辑），J.Autom。推理60，No.3，255--256（2018；Zbl 1426.68006） 全文： 内政部
斯特吕贝尔，D。;J.鲁宾。;阿伦特，T。;M.契契克。;泰特泽，G。;Pöger，J。 基于变量的模型转换：形式基础和应用。 （英语） Zbl 1380.68133号 正式Asp。计算。 30，第1期，133-162（2018）.MSC公司：68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Strüber}等人，正式Asp。计算。30，第1号，133--162（2018；Zbl 1380.68133） 全文： 内政部
肖姆·本·达维德;玛莎·契契克;塞巴斯蒂安·乌奇特尔 分离MTS的观测精化和合并。 （英语） Zbl 1398.68332号 Artho，Cyrille（编辑）等人，《用于验证和分析的自动化技术》。2016年10月17日至20日，第14届国际研讨会，ATVA 2016，日本千叶。诉讼程序。查姆：施普林格（ISBN 978-3-319-46519-7/pbk；978-3-3169-46520-3/电子书）。计算机科学讲义9938，287-303（2016）。MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Ben-David}等人，Lect。注释计算。科学。9938，287--303（2016；Zbl 1398.68332） 全文： 内政部 链接
丹尼尔·斯特吕贝尔;朱莉娅·鲁宾;托尔斯滕·阿伦特;玛莎·契契克;加布里埃尔·坦泽尔;詹妮弗·普洛格 规则合并器：基于可变性的模型转换规则的自动构建。 （英语） 兹比尔1378.68024 Stevens，Perdita（ed.）等人，软件工程的基本方法。第19届国际会议，FASE 2016，作为欧洲软件理论和实践联席会议的一部分，ETAPS 2016，荷兰埃因霍温，2016年4月2日至8日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-49664-0/pbk；978-3-562-49665-7/电子书）。计算机科学讲座笔记9633122-140（2016）。MSC公司：68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Strüber}等人，Lect。注释计算。科学。9633、122——140（2016年；Zbl 1378.68024） 全文： 内政部
李毅;阿尔巴古提·奥斯;扎卡里·金凯德;阿里·古芬克尔;玛莎·契契克 SMT求解器的符号优化。 （英语） Zbl 1284.68410号 2014年1月22日至24日，美国加利福尼亚州圣地亚哥，POPL’14，第41届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2544-8）。607-618 (2014).MSC公司：60年第68季度 68号30 68T20型 68周05 90立方厘米99 PDF格式BibTeX公司 XML格式引用 \textit{Y.Li}等人，《第41届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集》，POPL’14，美国加利福尼亚州圣地亚哥，2014年1月22日至24日。纽约州纽约市：计算机协会（ACM）。607--618（2014年；Zbl 1284.68410） 全文： 内政部
肖姆·本·达维德;玛莎·契契克;塞巴斯蒂安·乌奇特尔 合并具有不同词汇表的部分行为模型。 （英语） Zbl 1390.68458号 D'Argenio，Pedro R.（编辑）等，CONCUR 2013–并发理论。第24届国际会议，CONCUR 2013，阿根廷布宜诺斯艾利斯，2013年8月27日至30日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-40183-1/pbk）。计算机科学课堂讲稿8052，91-105（2013）。MSC公司：68问题85 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Ben-David}等人，Lect。注释计算。科学。8052，91-105（2013；Zbl 1390.68458） 全文： 内政部
阿里·古芬克尔;玛莎·契契克 分支时序逻辑的健壮空虚性。 （英语） 兹比尔1351.68162 ACM事务处理。计算。日志。 13，第1号，第1条，第32页（2012年）.MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Gurfinkel}和\textit{M.Chechik}，ACM翻译。计算。日志。13，第1号，第1条，第32页（2012；Zbl 1351.68162） 全文： 内政部 arXiv公司
阿尔巴古提·奥斯;阿里·古芬克尔;玛莎·契契克 从欠近似到过近似再到反近似。 （英语） Zbl 1352.68140号 Flanagan，Cormac（编辑）等人，《系统构建和分析的工具和算法》。2012年3月24日至4月1日在爱沙尼亚塔林举行的第18届国际会议（TACAS 2012）是欧洲软件理论与实践联合会议（ETAPS 2012）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-28755-8/pbk）。计算机科学课堂讲稿7214，157-172（2012）。MSC公司：60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Albarghouthi}等人，Lect。注释计算。科学。7214，157--172（2012；Zbl 1352.68140） 全文： 内政部
阿尔巴古提·奥斯;阿里·古芬克尔;玛莎·契契克 鲸鱼：一种基于插值的过程间验证算法。 （英语） Zbl 1325.68137号 Kuncak，Viktor（编辑）等人，《验证、模型检查和抽象解释》。2012年1月22日至24日，第13届国际会议，VMCAI 2012，美国宾夕法尼亚州费城。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-27939-3/pbk）。计算机科学课堂讲稿7148，39-55（2012）。MSC公司：60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Albarghouthi}等人，Lect。注释计算。科学。7148，39-55（2012；Zbl 1325.68137） 全文： 内政部
魏、欧;阿里·古芬克尔;玛莎·契契克 关于部分建模形式的一致性、表达性和准确性。 （英语） Zbl 1214.68226号 Inf.计算。 209，第1期，20-47（2011）.MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛O.Wei｝等人，信息计算。209，编号1，20-47（2011年；兹bl 1214.68226） 全文： 内政部
魏、欧;阿里·古芬克尔;玛莎·契契克 重新审视混合过渡系统。 （英语） Zbl 1206.68194号 Jones，Neil D.（编辑）等人，《验证、模型检验和抽象解释》。2009年1月18日至20日，第十届国际会议，VMCAI 2009，美国佐治亚州萨凡纳。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-93899-6/pbk）。计算机科学课堂讲稿5403，349-365（2009）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Wei}等人，Lect。注释计算。科学。5403349-365（2009年；Zbl 1206.68194） 全文： 内政部
阿里·古芬克尔;魏、欧;玛莎·契契克 使用精确的谓词抽象对递归程序进行模型检查。 （英语） Zbl 1183.68373号 Cha，Sungdeok（Steve）（编辑）等人，《验证和分析自动化技术》。2008年10月20日至23日，第六届国际研讨会，亚洲电视协会，韩国首尔。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-88386-9/pbk）。计算机科学课堂讲稿5311，95-110（2008）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Gurfinkel}等人，Lect。注释计算。科学。5311、95-110（2008年；Zbl 1183.68373） 全文： 内政部
米哈埃拉·乔尔吉;阿里·古芬克尔;玛莎·契契克 寻找时态逻辑查询的状态解决方案。 （英语） Zbl 1213.68377号 Davies，Jim（编辑）等，《综合形式方法》。2007年7月2日至5日，第六届国际会议，IFM 2007，英国牛津。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73209-9/pbk）。计算机科学课堂讲稿4591273-292（2007）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛M.Gheorghiu｝等人，Lect。注释计算。科学。4591273-292（2007年；兹比尔1213.68377） 全文： 内政部
阿里·古芬克尔;玛莎·契契克 为什么要浪费一个完美的抽象？ （英语） Zbl 1180.68174号 Hermanns，Holger（编辑）等人，《系统构建和分析的工具和算法》。2006年3月25日至4月2日在奥地利维也纳举行的第12届国际会议TACAS 2006，是欧洲软件理论与实践联合会议ETAPS 2006的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-33056-9/pbk）。计算机科学课堂讲稿3920，212-226（2006）。MSC公司：60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Gurfinkel}和\textit{M.Chechik}，莱克特。注释计算。科学。3920、212--226（2006年；Zbl 1180.68174） 全文： 内政部
阿里·古芬克尔;魏、欧;玛莎·契契克 系统构建模型检查的抽象。 （英语） Zbl 1176.68121号 艾默生·E·艾伦（编辑）等人，《验证、模型检查和抽象解释》。第七届国际会议，VMCAI 2006，查尔斯顿，南卡罗来纳州，美国，2006年1月8日至10日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-31139-4/pbk）。计算机科学课堂讲稿3855，381-397（2006）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Gurfinkel}等人，Lect。注释计算。科学。3855、381--397（2006年；Zbl 1176.68121） 全文： 内政部
玛莎·契契克;阿里·古芬克尔;贝内特·德弗鲁;阿尔伯特·莱;史蒂夫·伊斯特布鲁克 符号多值模型检查的数据结构。 （英语） Zbl 1109.68063号 形式方法系统。设计。 29，第3期，295-344（2006）.MSC公司：60年第68季度 68第05页 68T27型 03B50号 PDF格式BibTeX公司 XML格式引用 \textit｛M.Chechik｝等人，《表格方法系统》。设计。29，第3号，295-344（2006年；Zbl 1109.68063） 全文： 内政部
魏、欧;阿里·古芬克尔;玛莎·契契克 完全虚拟对称的识别和反抽象。 （英语） Zbl 1159.68345号 Borrione，Dominique（编辑）等人，《正确的硬件设计和验证方法》。第13届IFIP WG 10.5高级研究工作会议，CHARME 2005，德国萨尔布吕肯，2005年10月3日至6日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-29105-9/pbk）。计算机科学课堂讲稿3725285-300（2005）。MSC公司：2007年7月68日 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Wei}等人，Lect。注释计算。科学。3725285--300（2005年；Zbl 1159.68345） 全文： 内政部
阿里·古芬克尔;玛莎·契契克 多彻底就够了？ （英语） Zbl 1159.68323号 Borrione，Dominique（编辑）等人，《正确的硬件设计和验证方法》。第13届IFIP WG 10.5高级研究工作会议，CHARME 2005，德国萨尔布吕肯，2005年10月3日至6日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-29105-9/pbk）。计算机科学讲义3725，65-80（2005）。MSC公司：2007年7月68日 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Gurfinkel}和\textit{M.Chechik}，莱克特。注释计算。科学。3725、65-80（2005年；Zbl 1159.68323） 全文： 内政部
玛莎·契契克;阿里·古芬克尔 反例生成和探索的框架。 （英语） Zbl 1119.68368号 Cerioli，Maura（编辑），《软件工程的基本方法》，第八届国际会议，FASE 2005，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2005，英国爱丁堡，2005年4月4日至8日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-25420-X/pbk）。计算机科学课堂讲稿3442220-236（2005）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Chechik}和\textit{A.Gurfinkel}，莱克特。注释计算。科学。3442，220--236（2005；Zbl 1119.68368） 全文： 内政部
阿里·古芬克尔;玛莎·契契克 空虚有多空虚？ （英语） 兹比尔1126.68479 Jensen，Kurt（编辑）等人，《系统构建和分析的工具和算法》。2004年3月29日至4月2日在西班牙巴塞罗那举行的第十届国际会议TACAS 2004，作为软件理论与实践联合会议ETAPS 2004的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-21299-X/pbk）。计算机科学课堂讲稿2988451-466（2004）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Gurfinkel}和\textit{M.Chechik}，莱克特。注释计算。科学。2988451--466（2004年；Zbl 1126.68479） 全文： 内政部
阿里·古芬克尔;玛莎·契契克 延长真空度。 （英语） Zbl 1117.68430号 Hu，Alan J.（编辑）等，《计算机辅助设计中的形式化方法》。2004年11月15日至17日，第五届国际会议，FMCAD 2004，美国德克萨斯州奥斯汀。诉讼程序。柏林：施普林格出版社（ISBN 3-540-23738-0/pbk）。计算机科学课堂讲稿3312，306-321（2004）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Gurfinkel}和\textit{M.Chechik}，莱克特。注释计算。科学。3312306-321（2004；Zbl 1117.68430） 全文： 内政部
阿里·古芬克尔;玛莎·契契克 通过经典模型检查进行多值模型检查。 （英语） Zbl 1274.68189号 Amadio，Roberto（编辑）等人，CONCUR 2003–并发理论。第14届国际会议，法国马赛，2003年9月3日至5日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40753-7/pbk）。莱克特。注释计算。科学。2761, 266-280 (2003).MSC公司：60年第68季度 03B50号 03G25号 06时30分 PDF格式BibTeX公司 XML格式引用 \textit{A.Gurfinkel}和\textit{M.Chechik}，莱克特。注释计算。科学。2761266--280（2003年；Zbl 1274.68189） 全文： 内政部
阿里·古芬克尔;玛莎·契契克 证明类反例。 （英语） Zbl 1031.68079号 Garavle，Hubert（编辑）等人，《系统构建和分析的工具和算法》。2003年4月7日至11日在波兰华沙举行的2003年第9届TACAS国际会议，是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2619, 160-175 (2003).MSC公司：60年第68季度 68吨15 03B70号 PDF格式BibTeX公司 XML格式引用 \textit｛A.Gurfinkel｝和\textit｛M.Chechik｝，Lect。注释计算。科学。2619、160--175（2003年；Zbl 1031.68079） 全文： 链接
佩恩，迪米特里·O。;玛莎·契契克 结结巴巴的时候。 （英语） Zbl 1069.68564号 正式Asp。计算。 14，第4期，342-368（2002）.MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{D.O.Pun}和\textit{M.Chechik}，正式Asp。计算。14，第4号，342--368（2002；Zbl 1069.68564） 全文： 内政部
玛莎·契契克;阿里·古芬克尔;贝内特·德弗鲁 \（{\mathcal X}\）Chek：多值模型检查器。 （英语） Zbl 1010.68809号 Brinksma，Ed（编辑）等人，《计算机辅助验证》。2002年7月27日至31日，丹麦哥本哈根，第14届国际会议，CAV 2002。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2404, 505-509 (2002).MSC公司：68单位99 60年第68季度 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{M.Chechik}等人，Lect。注释计算。科学。2404505--509（2002年；Zbl 1010.68809）
玛莎·契契克;贝内特·德弗鲁;阿里·古芬克尔 使用SPIN对具有细粒度抽象的无限状态空间系统进行建模检查。 （英语） Zbl 0985.68031号 马修·德怀尔（编辑），《模型检查软件》。第八届国际SPIN研讨会，加拿大多伦多，2001年5月19日至20日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2057, 16-36 (2001).MSC公司：60年第68季度 05年3月 03B50号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Chechik}等人，Lect。注释计算。科学。2057，16-36（2001；Zbl 0985.68031） 全文： 链接
玛莎·契契克;贝内特·德弗鲁;史蒂夫·伊斯特布鲁克 实现多值符号模型检查器。 （英语） 兹伯利0978.68542 Margaria，Tiziana（编辑）等，系统构建和分析的工具和算法。2001年4月2日至6日在意大利热那瓦举行的第七届国际会议TACAS 2001，是欧洲软件理论与实践联合会议ETAPS 2001的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。第2031404-419页（2001年）。MSC公司：60年第68季度 03B44号 03B50号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Chechik}等人，Lect。注释计算。科学。2031404--419（2001年；Zbl 0978.68542） 全文： 链接