×
作者ID: 契克马沙“Chechik,Marsha”最近发表的zbMATH文章
发布日期: 玛莎·契契克;M.契契克。
外部链接: MGP公司
已编制索引的文档: 34出版物自2001年起
7作为编辑的贡献
合著者: 40位合著者具有41联合出版物
1004名合作作者

按年份列出的出版物

zbMATH Open中包含的引文

31出版物有被引用180中的次116文件 引用人 年份
符号多值模型检查的数据结构。 兹比尔1109.68063
玛莎·契契克;阿里·古芬克尔;贝内特·德弗鲁;赖,阿尔伯特;史蒂夫·伊斯特布鲁克
22
2006
使用SPIN对具有细粒度抽象的无限状态空间系统进行建模检查。 兹伯利0985.68031
玛莎·契契克;贝内特·德弗鲁;阿里·古芬克尔
17
2001
SMT求解器的符号优化。 Zbl 1284.68410号
李毅;阿尔巴古提·奥斯;扎卡里·金凯德;阿里·古芬克尔;玛莎·契契克
16
2014
通过经典模型检查进行多值模型检查。 Zbl 1274.68189号
阿里·古芬克尔;玛莎·契契克
14
2003
为什么要浪费一个完美的抽象? 兹比尔1180.68174
阿里·古芬克尔;玛莎·契契克
10
2006
空虚是多么空虚? Zbl 1126.68479号
阿里·古芬克尔;玛莎·契契克
10
2004
从欠近似到过近似再到反近似。 Zbl 1352.68140号
阿尔巴古提·奥斯;阿里·古芬克尔;玛莎·契契克
10
2012
延长真空度。 Zbl 1117.68430号
阿里·古芬克尔;玛莎·契契克
9
2004
鲸鱼:一种基于插值的过程间验证算法。 Zbl 1325.68137号
阿尔巴古提·奥斯;阿里·古芬克尔;玛莎·契契克
7
2012
多值逻辑的模型检查。 Zbl 0977.68704号
玛莎·契契克;史蒂夫·伊斯特布鲁克;维克托·彼得罗维奇
7
2001
CVC-Lite中部分函数的实用方法。 Zbl 1272.03136号
谢尔盖·贝雷津;克拉克·巴雷特;伊戈尔·什卡尼安;玛莎·契契克;阿里·古芬克尔;大卫·L·迪尔。
6
2005
系统构建模型检查的抽象。 Zbl 1176.68121号
阿里·古芬克尔;魏、欧;玛莎·契契克
5
2006
使用格表示的高效多值模型选择。 Zbl 1006.68085号
玛莎·契契克;贝内特·德弗鲁;史蒂夫·伊斯特布鲁克;Albert Y.C.赖。;维克托·彼得罗维赫
5
2001
证明类反例。 Zbl 1031.68079号
阿里·古芬克尔;玛莎·契契克
5
2003
实现多值符号模型检查器。 Zbl 0978.68542号
玛莎·契契克;贝内特·德弗鲁;史蒂夫·伊斯特布鲁克
4
2001
反例生成和探索的框架。 Zbl 1119.68368号
玛莎·契契克;阿里·古芬克尔
4
2005
支持验证驱动的组件增量分布式设计。 Zbl 1425.68261号
克劳迪奥·蒙吉;斯波莱蒂尼,波拉;玛莎·契契克;卡洛·盖齐
4
2018
寻找时态逻辑查询的状态解决方案。 Zbl 1213.68377号
米哈埃拉·乔尔吉;阿里·古芬克尔;玛莎·契契克
2007
使用精确的谓词抽象对递归程序进行模型检查。 Zbl 1183.68373号
阿里·古芬克尔;魏、欧;玛莎·契契克
2008
重新审视混合过渡系统。 兹比尔1206.68194
魏、欧;阿里·古芬克尔;玛莎·契契克
2009
\({\mathcal X}\)Chek:多值模型检查器。 Zbl 1010.68809号
玛莎·契契克;阿里·古芬克尔;贝内特·德弗鲁
2
2002
控制器迭代设计的验证驱动框架。 Zbl 1425.68262号
克劳迪奥·蒙吉;斯波莱蒂尼,波拉;玛莎·契契克;卡洛·盖齐
2
2019
用于构建和分析系统的工具和算法。2016年4月2日至8日在荷兰埃因霍温举行的第22届国际会议TACAS 2016,是欧洲软件理论与实践联合会议ETAPS 2016的一部分。诉讼程序。 Zbl 1360.68008号
2
2016
规则合并器:基于可变性的模型转换规则的自动构建。 Zbl 1378.68024号
丹尼尔·斯特吕贝尔;朱莉娅·鲁宾;托尔斯滕·阿伦特;玛莎·契契克;加布里埃尔·坦泽尔;詹妮弗·普洛格
2
2016
合并具有不同词汇表的部分行为模型。 Zbl 1390.68458号
肖姆·本·达维德;玛莎·契契克;塞巴斯蒂安·乌奇特尔
2
2013
多彻底就够了? Zbl 1159.68323号
阿里·古芬克尔;玛莎·契契克
1
2005
完全虚拟对称的识别和反抽象。 Zbl 1159.68345号
魏、欧;阿里·古芬克尔;玛莎·契契克
1
2005
结结巴巴地合上。 Zbl 1069.68564号
佩恩,迪米特里·O。;玛莎·契契克
1
2002
CONCUR 2008–并发理论。第19届国际会议,CONCUR 2008,加拿大多伦多,2008年8月19-22日。诉讼程序。 Zbl 1149.68018号
1
2008
软件工程的基本方法。2009年3月22日至29日,作为欧洲软件理论与实践联合会议的一部分,在英国约克举行了第12届国际会议,FASE 2009。诉讼程序。 Zbl 1157.68300号
1
2009
web服务应用程序的监视和恢复。 Zbl 1314.68037号
乔斯琳·西蒙兹;肖姆·本·达维德;玛莎·契契克
1
2013
控制器迭代设计的验证驱动框架。 Zbl 1425.68262号
克劳迪奥·蒙吉;斯波莱蒂尼,波拉;玛莎·契契克;卡洛·盖齐
2
2019
支持验证驱动的组件增量分布式设计。 Zbl 1425.68261号
克劳迪奥·蒙吉;斯波莱蒂尼,波拉;玛莎·契契克;卡洛·盖齐
4
2018
用于构建和分析系统的工具和算法。2016年4月2日至8日在荷兰埃因霍温举行的第22届国际会议TACAS 2016,是欧洲软件理论与实践联合会议ETAPS 2016的一部分。诉讼程序。 Zbl 1360.68008号
2
2016
规则合并器:基于变量的模型转换规则的自动构建。 Zbl 1378.68024号
丹尼尔·斯特吕贝尔;朱莉娅·鲁宾;托尔斯滕·阿伦特;玛莎·契契克;加布里埃尔·坦泽尔;詹妮弗·普洛格
2
2016
SMT求解器的符号优化。 Zbl 1284.68410号
李毅;阿尔巴古提·奥斯;扎卡里·金凯德;阿里·古芬克尔;玛莎·契契克
16
2014
合并具有不同词汇表的部分行为模型。 Zbl 1390.68458号
肖姆·本·达维德;玛莎·契契克;塞巴斯蒂安·乌奇特尔
2
2013
web服务应用程序的监视和恢复。 Zbl 1314.68037号
乔斯琳·西蒙兹;肖姆·本·达维德;玛莎·契契克
1
2013
从欠近似到过近似再到反近似。 Zbl 1352.68140号
阿尔巴古提·奥斯;阿里·古芬克尔;玛莎·契契克
10
2012
鲸鱼:一种基于插值的过程间验证算法。 Zbl 1325.68137号
阿尔巴古提·奥斯;阿里·古芬克尔;玛莎·契契克
7
2012
重新审视混合过渡系统。 兹比尔1206.68194
魏、欧;阿里·古芬克尔;玛莎·契契克
2009
软件工程的基本方法。2009年3月22日至29日,作为欧洲软件理论与实践联合会议的一部分,在英国约克举行了第12届国际会议,FASE 2009。诉讼程序。 Zbl 1157.68300号
1
2009
使用精确的谓词抽象对递归程序进行模型检查。 兹比尔1183.68373
阿里·古芬克尔;魏、欧;玛莎·契契克
2008
CONCUR 2008–并发理论。第19届国际会议,CONCUR 2008,加拿大多伦多,2008年8月19-22日。诉讼程序。 Zbl 1149.68018号
1
2008
寻找时态逻辑查询的状态解决方案。 Zbl 1213.68377号
米哈埃拉·乔尔吉;阿里·古芬克尔;玛莎·契契克
2007
符号多值模型检查的数据结构。 兹比尔1109.68063
玛莎·契契克;阿里·古芬克尔;贝内特·德弗鲁;赖,阿尔伯特;史蒂夫·伊斯特布鲁克
22
2006
为什么要浪费一个完美的抽象? Zbl 1180.68174号
阿里·古芬克尔;玛莎·契契克
10
2006
系统构建模型检查的抽象。 Zbl 1176.68121号
阿里·古芬克尔;魏、欧;玛莎·契契克
5
2006
CVC-Lite中部分函数的实用方法。 Zbl 1272.03136号
谢尔盖·贝雷津;克拉克·巴雷特;伊戈尔·什卡尼安;玛莎·契契克;阿里·古芬克尔;大卫·L·迪尔。
6
2005
反例生成和探索的框架。 Zbl 1119.68368号
玛莎·契契克;阿里·古芬克尔
4
2005
多彻底就够了? Zbl 1159.68323号
阿里·古芬克尔;玛莎·契契克
1
2005
完全虚拟对称的识别和反抽象。 Zbl 1159.68345号
魏、欧;阿里·古芬克尔;玛莎·契契克
1
2005
空虚是多么空虚? Zbl 1126.68479号
阿里·古芬克尔;玛莎·契契克
10
2004
延长真空度。 Zbl 1117.68430号
阿里·古芬克尔;玛莎·契契克
9
2004
通过经典模型检查进行多值模型检查。 Zbl 1274.68189号
阿里·古芬克尔;玛莎·契契克
14
2003
证明类反例。 Zbl 1031.68079号
阿里·古芬克尔;玛莎·契契克
5
2003
\({\mathcal X}\)Chek:多值模型检查器。 Zbl 1010.68809号
玛莎·契契克;阿里·古芬克尔;贝内特·德弗鲁
2
2002
结结巴巴的时候。 Zbl 1069.68564号
Păun,迪米特里·O。;玛莎·契契克
1
2002
使用SPIN对具有细粒度抽象的无限状态空间系统进行建模检查。 Zbl 0985.68031号
玛莎·契契克;贝内特·德弗鲁;阿里·古芬克尔
17
2001
多值逻辑的模型检查。 Zbl 0977.68704号
玛莎·契契克;史蒂夫·伊斯特布鲁克;维克托·彼得罗维奇
7
2001
使用格表示的高效多值模型选择。 Zbl 1006.68085号
玛莎·契契克;贝内特·德弗鲁;史蒂夫·伊斯特布鲁克;Albert Y.C.赖。;维克托·彼得罗维赫
5
2001
实现多值符号模型检查器。 Zbl 0978.68542号
玛莎·契契克;贝内特·德弗鲁;史蒂夫·伊斯特布鲁克
4
2001
全部的 前5名

233位作者引用

9 奥尔纳·库普弗曼
8 玛莎·契契克
7 阿里·古芬克尔
6 哈娜·乔克勒
5 李永明
4 奥尔纳·格伦伯格
4 Legay、Axel
4 克劳迪奥·蒙吉
4 罗伯托·塞巴斯蒂安
4 娜塔莎·莎莉吉娜
4 斯特里赫曼(Ofer Strichman)
肖姆·本·达维德
曹永志
曼弗雷德·德罗斯特
马苏德·易卜拉希米
格里戈里·费迪尤科维奇
安蒂·E·J·海瓦·里宁。
简·Křetínsk
潘海宇
维克多·舒潘
沙龙·肖姆
阿迪蒂亚·塔库尔。
帕特里克·特伦丁
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 王永吉
2 海克,韦尔海姆
2 魏、欧
2 张,畅游
1 艾丽卡·阿尔布拉汉姆
1 穆拉德·阿洪多夫
1 贾马尔·阿希亚菲
1 沙乌尔·阿尔马戈
1 Alt,Leonardo S。
1 杰斐逊·O·安德拉德。
1 托尔斯滕·阿伦特
1 塞皮德·阿萨迪
1 阿夫尼,盖伊
1 迈克尔·巴克斯
1 亨利·E·巴尔。
1 克拉克·W·巴雷特。
1 杰拉德·巴斯勒
1 啤酒,伊兰
1 弗朗西斯科·贝拉迪内利
1 尼古拉·贝内什
1 德克·拜尔
1 尼古拉·S·比约纳。
1 马丁·布利查
1 拉斯蒂斯拉夫·博迪克
1 乌迪·博克
1 克里斯托弗出生
1 朱利安·布鲁内尔
1 费伦茨·巴伊托
1 西蒙·巴斯德
1 阿拉里科坎佩特利
1 卢卡·卡德利
1 纳撒尼尔·查尔顿
1 克里希南德·查特吉
1 戴维·谢穆伊尔
1 陈丽倩
1 陈一香
1 文森佐·西安西亚
1 克拉克(Edmund Melson jun Clarke)。
1 威廉·康雷迪
1 科普特语,法迪语
1 阿尔西诺·库尼亚
1 达姆,丹尼斯·雷内
1 马蒂亚斯·丹格尔
1 丹尼尔·雅库布
1 阿尔达姆·达瓦斯
1 黛拉·莫妮卡,达里奥
1 贝内特·德弗鲁
1 费尔南多·路易斯·多蒂
1 史蒂夫·伊斯特布鲁克
1 梅德利纳·埃拉什库
1 马可·费拉
1 乌里法伦伯格
1 费内科斯(Georgios E.Fainekos)。
…还有133位作者

按年份列出的引文