×

兹马思-数学第一资源

克拉克,埃德蒙·梅尔森俊。

计算距离:
作者ID: 克拉克,埃德蒙·梅尔森俊最近zbMATH文章由“克拉克,埃德蒙·梅尔森俊。”
发布为: 克拉克,埃德蒙M。;克拉克,埃德蒙;克拉克,E.M。;克拉克,E。;克拉克,埃德蒙·M·君。;克拉克,埃德蒙·梅尔森俊。;克拉克,E.M.jun。;克拉克,埃德蒙·梅尔森
主页: http://www.cs.cmu.edu/~ emc公司/
外部链接: MGP公司·维基数据·谷歌学者·dblp公司·接地·伊德里夫
奖品: 图灵奖(2007)
编制索引的文档: 132种出版物自1979年以来,包括第8册
传记参考: 1个出版物
全部的 前5名

合著者

9 单作者
14 格鲁伯格,奥娜
14 维思,赫尔穆特
11 查基,萨加尔
8 莎莉吉娜,娜塔莎
7 杰哈,萨默什
7 哇克宁,乔尔O。
7 西尼亚,尼桑
6 布朗,迈克尔C。
6 爱默生,欧内斯特·艾伦
6 高思春
6 科宁,丹尼尔
6 库山,罗伯特P。
6 普拉泽,安德烈
6 塔鲁普尔,穆拉利达尔
6 祖利亚尼,保罗
5 比尔,阿明
5 克罗,布鲁斯H。
5 王,董
4 亨辛格,托马斯A。
4 贾恩,希曼舒
4 再见,大卫·E。
4 米什拉,巴德
4 西斯特拉,阿拉文达·普拉萨德
4 斯特里奇曼,奥弗
4 约拉夫,凯伦
4 朱云山
拜尔,克里斯特尔
亚历山德罗·西马蒂
迪尔,大卫L。
芬克,安加
德国人,史蒂文M。
朱西格里亚,福斯托
哈珀,约瑟夫·耶胡达
克利伯,威廉
库库拉,詹姆斯H。
勒达,弗拉维奥
陆、元
米娜,马吕斯
罗维里,马可
图伊里,泰西尔
赵旭东
2 阿维加德,杰里米
2 波西,苏米特拉
2 乔恩,帕沃
2 潘喀吉州洲汉
2 陈玉芳
2 德拉吉塞斯库。
2 法赞,阿扎德
2 格罗斯,亚历克斯
2 古普塔,阿努巴夫
2 韩,志
2 瓦西里基哈托斯加姆豪森
2 亚诺塔,米科拉什
2 杰哈,苏米特·库马尔
2 安维什,科穆拉维利
2 孔顺浩
2 席尔瓦侯爵。
2 马里罗,威尔
2 麦克米兰,肯尼斯L。
2 米查洛夫,斯皮罗
2 佩利德,多伦A。
2 拉德哈基什纳,阿琼
2 雷米,理查德
2 莱兹克,莱昂妮德
2 普曼塔,鲁普夏
2 萨普拉,萨米尔
2 斯图斯伯格,奥拉夫
2 塔拉赫,托尔斯滕
2 西奥博尔德,迈克尔
2 蔡义权
2 沃龙科夫,安德烈
2 王,弓箭
1 塞尔吉奥谷Aguiar Campos
1 安南塔拉曼,T.S。
1 贝,京敏
1 康斯坦丁尼斯
1 鲍尔,安德烈
1 别丁,乔希
1 贝瑞津,谢尔盖
1 你好,罗德里克
1 布朗,I.A。
1 伯克,杰瑞R。
1 坎波斯公司。
1 坎波斯,塞尔吉奥
1 库克,拜伦
1 东泽,亚历山德拉
1 埃文斯,亚瑟军。
1 费德,詹姆斯R。
1 福斯特,M.J。
1 弗朗西兹,尼西姆
1 藤田正雄
1 朱西格里亚,恩里科
1 龚海俊
1 黄,L.J。
1 卡宾斯基,詹姆斯
1 基德,尼古拉斯
1 科赞,德克斯特C。
1 库尔曼,安德烈亚斯
1 Kwiatkowska,Marta Z。
1 勒盖,阿克塞尔
…和另外19位合著者

按年份列出的出版物

zbMATH公开赛中包含的引文

114出版物有1961年被引用时间1340份文件 引用人
用时序逻辑规范自动验证有限状态并发系统。 Zbl 0591.68027
克拉克,E.M。;艾默生,E.A。;西斯特拉,A.P。
248
1986
命题线性时态逻辑的复杂性。 Zbl 0632.68034
西斯特拉,A.P。;克拉克,E.M。
177
1985
符号模型检查:\(10^{20}\)状态及以上。 Zbl 0753.68066
伯奇,J.R。;克拉克,E.M。;麦克米兰,K.L。;迪尔,D.L。;黄,L.J。
148
1992
反例引导的抽象细化。 Zbl 0974.68517
克拉克,埃德蒙;格鲁伯格,奥娜;杰哈,萨默什;陆、元;维思,赫尔穆特
119
2000
nusmv2:一个用于符号模型检查的开源工具。 Zbl 1010.68766
亚历山德罗·西马蒂;克拉克,埃德蒙;朱西格里亚,恩里科;朱西格里亚,福斯托;皮斯托尔,马可;罗维里,马可;塞巴斯蒂安尼,罗伯托;塔切拉,阿曼多
82
2002
反例引导的符号模型检查的抽象精化。 Zbl 1325.68145
克拉克,埃德蒙;格鲁伯格,奥娜;杰哈,萨默什;陆、元;维思,赫尔穆特
74
2003
用分支时间时序逻辑设计和合成同步骨架。 Zbl 0546.68014
克拉克,埃德蒙M。;爱默生·E·艾伦
67
1982
利用分支时间时序逻辑合成同步骨架。 05ZB32.68014升
爱默生·E·艾伦;克拉克,埃德蒙M。
65
1982
命题时间逻辑中有限Kripke结构的刻画。 中银0677.03011
布朗,医学博士。;克拉克,E.M。;格伦伯格,O。
58
1988
检查ANSI-C程序的工具。 Zbl 1126.68470
克拉克,埃德蒙;科隆,丹尼尔;勒达,弗拉维奥
57
2004
利用可满足性求解进行有界模型检验。 Zbl 0985.68038
克拉克,埃德蒙;比尔,阿明;雷米,理查德;朱云山
47
2001
模型检查。 Zbl 0847.68063
克拉克,E。;格鲁贝格,O。;朗,D。
40
1996
NuSMV:一种新的符号模型验证器。 Zbl 1046.68587
西马蒂,A。;克拉克,E。;朱西格里亚,F。;罗维里,M。
34
1999
用不动点刻画并行程序的正确性。 Zbl 0456.68016
爱默生·E·艾伦;克拉克,埃德蒙M。
33
1980
NuSMV:一种新的符号模型检验器。 Zbl 1059.68582
亚历山德罗·西马蒂;克拉克,埃德蒙;朱西格里亚,福斯托;罗维里,马可
32
2000
程序设计语言的构造,对于这种结构,不可能获得好的霍尔公理系统。 Zbl 0388.68008
克拉克,埃德蒙·梅尔森俊。
28
1979
使用不带BDDs的符号模型检查验证PowerPC\(^{TM}\)微处理器的安全属性。 Zbl 1046.68578号
比尔,阿明;克拉克,埃德蒙;雷米,理查德;朱云山
23
1999
关于具有多个相同有限状态过程的网络的推理。 Zbl 0709.68610
布朗,医学博士。;克拉克,E.M。;格鲁贝格,O。
22
1989
SATABS:ANSI-C基于SAT的谓词抽象。 Zbl 1087.68586
克拉克,埃德蒙;科隆,丹尼尔;莎莉吉娜,娜塔莎;约拉夫,凯伦
21
2005
混合系统模型检验中的抽象和反例指导下的精化。 Zbl 1101.68678
克拉克,埃德蒙;芬克,安加;韩,志;克罗,布鲁斯;哇克宁,乔;斯图斯伯格,奥拉夫;西奥博尔德,迈克尔
20
2003
反例引导求精求解QBF。 Zbl 1273.68178
亚诺塔,米科拉什;克利伯,威廉;席尔瓦侯爵,乔奥;克拉克,埃德蒙
20
2012
组合模型检查。 Zbl 0716.68035
克拉克,E.M。;龙,东海岸。;麦克米兰,K.L。
19
1989
模型检查。第二次扩充和更新版。 Zbl 1423.68002号
克拉克,埃德蒙·M·君。;格鲁伯格,奥娜;科隆,丹尼尔;贝利,多伦;维思,赫尔穆特
18
2018
一种改进的不动点表达式求值算法。 Zbl 0901.68118号
布朗,A。;克拉克,E.M。;杰哈,S。;龙,东海岸。;马里罗,W。
17
1997
dReal:一个面向现实的非线性理论的SMT求解器。 Zbl 1381.68268号
高思春;孔顺浩;克拉克,埃德蒙M。
17
2013
概率过程的符号模型检验。 Zbl 1401.68180型
拜尔,克里斯特尔;克拉克,埃德蒙M。;瓦西里基哈托斯加姆豪森;奎亚特科夫斯卡,玛尔塔;瑞安,马克
17
1997
将自动组合验证扩展到欧米茄正则语言的完整类。 Zbl 1134.68406
法赞,阿扎德;陈玉芳;克拉克,埃德蒙M。;蔡义权;王,弓箭
15
2008
用SAT实现ANSI-C程序的谓词抽象。 Zbl 1090.68022
克拉克,埃德蒙;科隆,丹尼尔;莎莉吉娜,娜塔莎;约拉夫,凯伦
13
2004
学习最小分离DFA的组合验证。 Zbl 1234.68166
陈玉芳;法赞,阿扎德;克拉克,埃德蒙M。;蔡义权;王,弓箭
13
2009
基于状态/事件的软件模型检查。 兹布1196.68129
查基,萨加尔;克拉克,埃德蒙M。;哇克宁,乔;莎莉吉娜,娜塔莎;西尼亚,尼桑
13
2004
有界模型检验的完备性和复杂性。 Zbl 1202.68244
克拉克,埃德蒙;科隆,丹尼尔;哇克宁,乔;斯特里奇曼,奥弗
13
2004
基于反例引导抽象求精的混合系统验证。 Zbl 1031.68078
克拉克,埃德蒙;芬克,安加;韩,志;克罗,布鲁斯;斯图斯伯格,奥拉夫;西奥博尔德,迈克尔
12
2003
网络分解验证。 Zbl 1099.68653
克拉克,埃德蒙;穆拉杜尔;图伊里,泰西尔;维思,赫尔穆特
12
2004
时序电路的时序逻辑自动验证。 Zbl 0604.94011
布朗,迈克尔C。;克拉克,埃德蒙M。;迪尔,大卫L。;米什拉,巴德
12
1986
计算混合系统的微分不变量作为不动点。 Zbl 1155.68445
普拉泽,安德烈;克拉克,埃德蒙M。
12
2008
一个非prenex,非子句QBF解算器,具有游戏状态学习功能。 Zbl 1306.68161
克利伯,威廉;萨普拉,萨米尔;高思春;克拉克,埃德蒙
12
2010
用递归调用验证并发消息传递C程序。 Zbl 1180.68109
查基,S。;克拉克,E。;基德,N。;重复,T。;图伊力,T。
12
2006
模型检验的诞生。 Zbl 1142.68046
克拉克,埃德蒙M。
11
2008
利用偏序技术进行状态空间缩减。 Zbl 1065.68506
克拉克,E.M。;格鲁贝格,O。;米娜,M。;佩利德,D。
10
1999
混合系统模型检验中的图像计算问题。 Zbl 1221.93118号
普拉泽,安德烈;克拉克,埃德蒙M。
10
2007
霍尔逻辑的有效公理化。 Zbl 0627.68010
克拉克,埃德蒙·M·君。;德国人,史蒂文M。;哈珀,约瑟夫Y。
10
1983
自动假设保证了仿真一致性推理。 Zbl 1081.68612号
查基,萨加尔;克拉克,埃德蒙;西尼亚,尼桑;那我,普拉桑娜
10
2005
模型检查手册。 Zbl 1390.68001
克拉克,埃德蒙M。(编辑);亨辛格,托马斯A。(编辑);维思,赫尔穆特(编辑);你好,罗德里克(编辑)
10
2018
\(\delta\)-完成对现实可满足性的决策程序。 Zbl 1358.03028
高思春;阿维加德,杰里米;克拉克,埃德蒙M。
9
2012
参数化验证的环境抽象。 Zbl 1176.68117
克拉克,埃德蒙;塔鲁普尔,穆拉利达尔;维思,赫尔穆特
9
2006
使用ILP和机器学习技术的基于SAT的抽象求精。 Zbl 1010.68515
克拉克,埃德蒙;古普塔,阿努巴夫;库库拉,詹姆斯;斯特里奇曼,奥弗
8
2002
并行Ptolemy系统验证框架。 Zbl 1134.68403
克拉克,埃德蒙;塔鲁普尔,穆拉利;维思,赫尔穆特
8
2008
线性丢番图方程和线性模方程的有效Craig插值。 Zbl 1155.68439
贾恩,希曼舒;克拉克,埃德蒙;格鲁伯格,奥娜
8
2008
反例引导求精求解QBF。 Zbl 1351.68254
亚诺塔,米科拉什;克利伯,威廉;席尔瓦侯爵,乔奥;克拉克,埃德蒙
8
2016
状态、事件和死锁的并发软件验证。 Zbl 1103.68609
查基,萨加尔;克拉克,埃德蒙;哇克宁,乔;莎莉吉娜,娜塔莎;西尼亚,尼桑
7
2005
线性混合自动机迭代松弛抽象的可达性。 Zbl 1221.93115
杰哈,苏米特·K。;克罗,布鲁斯H。;韦默,詹姆斯E。;克拉克,埃德蒙M。
7
2007
时间逻辑中Kripke结构的特征。 Zbl 0626.03019
布朗,医学博士。;克拉克,E.M。;格伦伯格,O。
7
1987
用时序逻辑对异步电路进行分层验证。 Zbl 0584.94022
米什拉,B。;克拉克,E。
7
1985
使用基于SAT的冲突分析对大型状态空间进行模型检查的自动抽象细化。 Zbl 1019.68618
潘喀吉州洲汉;克拉克,埃德蒙;库库拉,詹姆斯;萨普拉,萨米尔;维思,赫尔穆特;王,董
7
2002
程序不变量作为固定点。 Zbl 0399.68022
克拉克,E.M。
6
1979
网络物理系统的统计模型检验。 Zbl 1348.68128号
克拉克,埃德蒙M。;祖利亚尼,保罗
6
2011
贝叶斯统计模型检验及其在Stateflow/Simulink验证中的应用。 Zbl 1291.68273
祖利亚尼,保罗;普拉泽,安德烈;克拉克,埃德蒙M。
6
2013
模型检查。 Zbl 1066.68075
克拉克,埃德蒙M。;施林洛夫,伯恩德·霍尔格
6
2001
分析-一个结合定理证明和符号计算的实验。 Zbl 0916.68143
鲍尔,安德烈;克拉克,埃德蒙;赵旭东
6
1998
用状态接近和合并验证监控软件。 Zbl 1143.68457
勒达,弗拉维奥;卡宾斯基,詹姆斯;克拉克,埃德蒙M。;克罗,布鲁斯H。
6
2008
基于SAT的硬件验证谓词抽象。 120ZB129
克拉克,埃德蒙;塔鲁普尔,穆拉利达尔;维思,赫尔穆特;王,董
6
2004
使用懒惰学习的基于SAT的合成验证。 Zbl 1135.68483
西尼亚,尼桑;克拉克,埃德蒙
6
2007
贝叶斯统计模型检验及其在Simulink/Stateflow验证中的应用。 Zbl 1361.68154
祖利亚尼,保罗;普拉泽,安德烈;克拉克,埃德蒙M。
6
2010
形状分析的算术强化。 Zbl 1211.68094
马吉尔,斯蒂芬;别丁,乔希;克拉克,埃德蒙;库克,拜伦
5
2007
结合决策图和SAT程序进行有效的符号模型检查。 Zbl 0974.68526
威廉姆斯,波尔F。;比尔,阿明;克拉克,埃德蒙M。;古普塔,阿努巴夫
5
2000
使用反例片段提炼混合系统的抽象。 Zbl 1078.93041
芬克,安加;克拉克,埃德蒙;杰哈,苏米特·库马尔;克罗,布鲁斯
5
2005
动态元件替代性分析。 Zbl 1120.68421
莎莉吉娜,娜塔莎;查基,萨加尔;克拉克,埃德蒙;西尼亚,尼桑
5
2005
用分支时间时序逻辑设计和合成同步骨架。 Zbl 1142.68431
克拉克,埃德蒙M。;爱默生·E·艾伦
5
2008
混合系统微分不变量的不动点计算。 Zbl 1180.93024号
普拉泽,安德烈;克拉克,埃德蒙M。
5
2009
从树样本学习概率系统。 Zbl 1362.68122号
安维什,科穆拉维利;Păsăreanu,科丽娜s。;克拉克,埃德蒙M。
5
2012
验证有限状态并发系统的两种方法的综合。 Zbl 0688.68019
克拉克,E.M。;格鲁贝格,O。;库尔山,R.P。
4
1989
在线性时序逻辑中,消息缓冲区可以公理化吗? Zbl 0591.68022
西斯特拉,A.P。;克拉克,E.M。;弗朗切斯,N。;梅尔,A.R。
4
1984
线性时间和分支时间逻辑的可表达性结果。(技术贡献)。 Zbl 0683.68030
克拉克,E.M。;加西斯库博士。
4
1989
通过组件可替代性分析验证软件的演化。 Zbl 1147.68047
查基,萨加尔;克拉克,埃德蒙;莎莉吉娜,娜塔莎;西尼亚,尼桑
4
2008
\(\delta\)—在现实中的可判定性。 Zbl 1364.03065号
思坤,高;阿维加德,杰里米;克拉克,埃德蒙M。
4
2012
显示不同类型\(\omega\)-自动机之间的语言包含和等价性的统一方法。 Zbl 0925.68274
克拉克,E.M。;德拉吉塞斯库。;库尔山,R.P。
1993
并发程序资源不变量的综合。 Zbl 0468.68024
克拉克,埃德蒙·梅尔森俊。
1980
L4语言中程序作为参数的推理。 Zbl 0692.68011
德国人,史蒂文M。;克拉克,埃德蒙M。;哈珀,约瑟夫Y。
1989
反例重温:原理,算法,应用。 兹布1274.68179
克拉克,埃德蒙;维思,赫尔穆特
2003
基于仿真的混合模拟电路概率模型检验。 兹布1207.68205
克拉克,埃德蒙;东泽,亚历山德拉;勒盖,阿克塞尔
2010
使用谓词抽象验证SpecC。 Zbl 1117.68046
克拉克,埃德蒙;贾恩,希曼舒;科隆,丹尼尔
2007
分支时间规范的状态/事件软件验证。 Zbl 1137.68432
查基,萨加尔;克拉克,埃德蒙;格鲁伯格,奥娜;哇克宁,乔;莎莉吉娜,娜塔莎;图伊里,泰西尔;维思,赫尔穆特
2005
验证有限状态并发系统的两种方法的综合。 Zbl 0782.68078
克拉克,E.M。;格鲁贝格,O。;库尔山,R.P。
2
1992
顺序和并发C程序的有效验证。 Zbl 1101.68677
查基,S。;克拉克,E。;格罗斯,A。;瓦克宁,J。;斯特里克曼,O。;约拉夫,K。
2
2004
用定量符号算法分析和验证实时系统。 Zbl 1065.68505
塞尔吉奥谷Aguiar Campos;克拉克,埃德蒙
2
1999
癌症信号通路的计算建模与验证。 Zbl 1349.92074
龚海俊;祖利亚尼,保罗;安维什,科穆拉维利;费德,詹姆斯R。;克拉克,埃德蒙M。
2
2012
霍尔逻辑的特征化问题。由P.Aczel,J.V.Tucker和J.C.Shepherdson讨论。 Zbl 0598.68035
克拉克,E.M.jun。
2
1984
异步电路的自动验证。 零担0541.94038
克拉克,E。;米什拉,B。
2
1984
并发C程序的自动组合抽象求精:一种两级方法。 Zbl 1271.68081
查基,萨加尔;哇克宁,乔;约拉夫,凯伦;克拉克,埃德蒙
2
2003
提高谓词抽象的效率:如何消除冗余谓词。 兹布1278.68163
克拉克,埃德蒙;格鲁伯格,奥娜;塔鲁普尔,穆拉利达尔;王,董
2
2003
利用同步合成从非抢占到抢占调度。 Zbl 1381.68040
乔恩,帕沃;克拉克,埃德蒙M。;亨辛格,托马斯A。;拉德哈基什纳,阿琼;莱兹克,莱昂妮德;普曼塔,鲁普夏;塔拉赫,托尔斯滕
2
2015
基于SMT的虚拟同步分布式混合系统分析。 Zbl 1364.68258号
贝,京敏;厄尔维茨基,彼得·克萨巴;孔顺浩;高思春;克拉克,埃德蒙M。
2
2016
随机混杂系统的稀有事件验证。 Zbl 1362.68192号
祖利亚尼,保罗;拜尔,克里斯特尔;克拉克,埃德蒙M。
2
2012
安全协议验证的偏序约简。 Zbl 0965.68053
克拉克,埃德蒙;杰哈,萨默什;马里罗,威尔
1
2000
Verus语言:用bdd高效地表示时间。 Zbl 0954.68098
坎波斯公司。;克拉克,E。
1
2001
多终端二元决策图和混合决策图。 Zbl 0855.94028
克拉克,埃德蒙M。;藤田正雄;赵旭东
1
1996
采用组合优化方法进行量化调度。 Zbl 1002.68512
州汉市。;克拉克,E。;杰哈,S。;库库拉,J。;维思,H。;王博士。
1
2001
基于BDDS的半连续时间模型检验。 Zbl 0920.68076
坎波斯,塞尔吉奥;特谢拉,马西奥;米娜,马吕斯;库尔曼,安德烈亚斯;克拉克,埃德蒙
1
1999
基于SAT的反例引导抽象细化。 Zbl 1077.68681
克拉克,埃德蒙M。
1
2002
无界直到概率性质的统计检验。 Zbl 1325.68158
尤恩斯,Håkan L.S。;克拉克,埃德蒙M。;祖利亚尼,保罗
1
2011
模型检查。第二次扩充和更新版。 Zbl 1423.68002号
克拉克,埃德蒙·M·君。;格鲁伯格,奥娜;科隆,丹尼尔;贝利,多伦;维思,赫尔穆特
18
2018
模型检查手册。 Zbl 1390.68001
克拉克,埃德蒙M。;亨辛格,托马斯A。;维思,赫尔穆特;你好,罗德里克
10
2018
利用同步合成从非抢占到抢占调度。 Zbl 1360.68346
乔恩,帕沃;克拉克,埃德蒙M。;亨辛格,托马斯A。;拉德哈基什纳,阿琼;莱兹克,莱昂妮德;普曼塔,鲁普夏;塔拉赫,托尔斯滕
1
2017
反例引导求精求解QBF。 Zbl 1351.68254
亚诺塔,米科拉什;克利伯,威廉;席尔瓦侯爵,乔奥;克拉克,埃德蒙
8
2016
基于SMT的虚拟同步分布式混合系统分析。 Zbl 1364.68258号
贝,京敏;厄尔维茨基,彼得·克萨巴;孔顺浩;高思春;克拉克,埃德蒙M。
2
2016
利用同步合成从非抢占到抢占调度。 Zbl 1381.68040
乔恩,帕沃;克拉克,埃德蒙M。;亨辛格,托马斯A。;拉德哈基什纳,阿琼;莱兹克,莱昂妮德;普曼塔,鲁普夏;塔拉赫,托尔斯滕
2
2015
\(2^{5}\)年的模型检查。 Zbl 1434.68296
克拉克,埃德蒙M。;王钦思
1
2015
dReal:一个面向现实的非线性理论的SMT求解器。 Zbl 1381.68268号
高思春;孔顺浩;克拉克,埃德蒙M。
17
2013
贝叶斯统计模型检验及其在Stateflow/Simulink验证中的应用。 Zbl 1291.68273
祖利亚尼,保罗;普拉泽,安德烈;克拉克,埃德蒙M。
6
2013
反例引导求精求解QBF。 Zbl 1273.68178
亚诺塔,米科拉什;克利伯,威廉;席尔瓦侯爵,乔奥;克拉克,埃德蒙
20
2012
\(\delta\)-完成对现实可满足性的决策程序。 Zbl 1358.03028
高思春;阿维加德,杰里米;克拉克,埃德蒙M。
9
2012
从树样本学习概率系统。 Zbl 1362.68122号
安维什,科穆拉维利;Păsăreanu,科丽娜s。;克拉克,埃德蒙M。
5
2012
\(\delta\)—在现实中的可判定性。 Zbl 1364.03065号
高思春;阿维加德,杰里米;克拉克,埃德蒙M。
4
2012
癌症信号通路的计算建模与验证。 13492074
龚海俊;祖利亚尼,保罗;安维什,科穆拉维利;费德,詹姆斯R。;克拉克,埃德蒙M。
2
2012
随机混杂系统的稀有事件验证。 Zbl 1362.68192号
祖利亚尼,保罗;拜尔,克里斯特尔;克拉克,埃德蒙M。
2
2012
网络物理系统的统计模型检验。 Zbl 1348.68128号
克拉克,埃德蒙M。;祖利亚尼,保罗
6
2011
无界直到概率性质的统计检验。 Zbl 1325.68158
尤恩斯,Håkan L.S。;克拉克,埃德蒙M。;祖利亚尼,保罗
1
2011
有限域上用Gröbner基消除量词。 Zbl 1339.68321
高思春;普拉泽,安德烈;克拉克,埃德蒙M。
1
2011
一个非prenex,非子句QBF解算器,具有游戏状态学习功能。 Zbl 1306.68161
克利伯,威廉;萨普拉,萨米尔;高思春;克拉克,埃德蒙
12
2010
贝叶斯统计模型检验及其在Simulink/Stateflow验证中的应用。 Zbl 1361.68154
祖利亚尼,保罗;普拉泽,安德烈;克拉克,埃德蒙M。
6
2010
基于仿真的混合模拟电路概率模型检验。 兹布1207.68205
克拉克,埃德蒙;东泽,亚历山德拉;勒盖,阿克塞尔
2010
用于编程、人工智能和推理的逻辑。第16届国际会议,LPAR-16,塞内加尔达喀尔,2010年4月25日至5月1日。修订精选论文。 Zbl 1203.68004号
克拉克,埃德蒙M。;沃龙科夫,安德烈
1
2010
学习最小分离DFA的组合验证。 Zbl 1234.68166
陈玉芳;法赞,阿扎德;克拉克,埃德蒙M。;蔡义权;王,弓箭
13
2009
混合系统微分不变量的不动点计算。 Zbl 1180.93024号
普拉泽,安德烈;克拉克,埃德蒙M。
5
2009
将自动组合验证扩展到欧米茄正则语言的完整类。 Zbl 1134.68406
法赞,阿扎德;陈玉芳;克拉克,埃德蒙M。;蔡义权;王,弓箭
15
2008
计算混合系统的微分不变量作为不动点。 Zbl 1155.68445
普拉泽,安德烈;克拉克,埃德蒙M。
12
2008
模型检验的诞生。 Zbl 1142.68046
克拉克,埃德蒙M。
11
2008
并行Ptolemy系统验证框架。 Zbl 1134.68403
克拉克,埃德蒙;塔鲁普尔,穆拉利;维思,赫尔穆特
8
2008
线性丢番图方程和线性模方程的有效Craig插值。 Zbl 1155.68439
贾恩,希曼舒;克拉克,埃德蒙;格鲁伯格,奥娜
8
2008
用状态接近和合并验证监控软件。 Zbl 1143.68457
勒达,弗拉维奥;卡宾斯基,詹姆斯;克拉克,埃德蒙M。;克罗,布鲁斯H。
6
2008
用分支时间时序逻辑设计和合成同步骨架。 Zbl 1142.68431
克拉克,埃德蒙M。;爱默生·E·艾伦
5
2008
通过组件可替代性分析验证软件的演化。 Zbl 1147.68047
查基,萨加尔;克拉克,埃德蒙;莎莉吉娜,娜塔莎;西尼亚,尼桑
4
2008
混合系统模型检验中的图像计算问题。 Zbl 1221.93118号
普拉泽,安德烈;克拉克,埃德蒙M。
10
2007
线性混合自动机迭代松弛抽象的可达性。 Zbl 1221.93115
杰哈,苏米特·K。;克罗,布鲁斯H。;韦默,詹姆斯E。;克拉克,埃德蒙M。
7
2007
使用懒惰学习的基于SAT的合成验证。 Zbl 1135.68483
西尼亚,尼桑;克拉克,埃德蒙
6
2007
形状分析的算术强化。 Zbl 1211.68094
马吉尔,斯蒂芬;别丁,乔希;克拉克,埃德蒙;库克,拜伦
5
2007
使用谓词抽象验证SpecC。 Zbl 1117.68046
克拉克,埃德蒙;贾恩,希曼舒;科隆,丹尼尔
2007
用递归调用验证并发消息传递C程序。 Zbl 1180.68109
查基,S。;克拉克,E。;基德,N。;重复,T。;图伊力,T。
12
2006
参数化验证的环境抽象。 Zbl 1176.68117
克拉克,埃德蒙;塔鲁普尔,穆拉利达尔;维思,赫尔穆特
9
2006
程序兼容性方法。 Zbl 1196.68044
克拉克,埃德蒙;莎莉吉娜,娜塔莎;西尼亚,尼桑
1
2006
SATABS:ANSI-C基于SAT的谓词抽象。 Zbl 1087.68586
克拉克,埃德蒙;科隆,丹尼尔;娜蒂加,莎莉娜;约拉夫,凯伦
21
2005
自动假设保证了仿真一致性推理。 Zbl 1081.68612号
查基,萨加尔;克拉克,埃德蒙;西尼亚,尼桑;那我,普拉桑娜
10
2005
状态、事件和死锁的并发软件验证。 Zbl 1103.68609
查基,萨加尔;克拉克,埃德蒙;哇克宁,乔;莎莉吉娜,娜塔莎;西尼亚,尼桑
7
2005
使用反例片段提炼混合系统的抽象。 Zbl 1078.93041
芬克,安加;克拉克,埃德蒙;杰哈,苏米特·库马尔;克罗,布鲁斯
5
2005
动态元件替代性分析。 Zbl 1120.68421
莎莉吉娜,娜塔莎;查基,萨加尔;克拉克,埃德蒙;西尼亚,尼桑
5
2005
分支时间规范的状态/事件软件验证。 Zbl 1137.68432
查基,萨加尔;克拉克,埃德蒙;格鲁伯格,奥娜;哇克宁,乔;莎莉吉娜,娜塔莎;图伊里,泰西尔;维思,赫尔穆特
2005
检查ANSI-C程序的工具。 Zbl 1126.68470
克拉克,埃德蒙;科隆,丹尼尔;勒达,弗拉维奥
57
2004
用SAT实现ANSI-C程序的谓词抽象。 Zbl 1090.68022
克拉克,埃德蒙;科隆,丹尼尔;莎莉吉娜,娜塔莎;约拉夫,凯伦
13
2004
基于状态/事件的软件模型检查。 兹布1196.68129
查基,萨加尔;克拉克,埃德蒙M。;哇克宁,乔;莎莉吉娜,娜塔莎;西尼亚,尼桑
13
2004
有界模型检验的完备性和复杂性。 Zbl 1202.68244
克拉克,埃德蒙;科隆,丹尼尔;哇克宁,乔;斯特里奇曼,奥弗
13
2004
网络分解验证。 Zbl 1099.68653
克拉克,埃德蒙;塔鲁普尔,穆拉利达尔;图伊里,泰西尔;维思,赫尔穆特
12
2004
基于SAT的硬件验证谓词抽象。 Zbl 1204.68129号
克拉克,埃德蒙;塔鲁普尔,穆拉利达尔;维思,赫尔穆特;王,董
6
2004
顺序和并发C程序的有效验证。 Zbl 1101.68677
查基,查基。;克拉克,E。;格罗斯,A。;瓦克宁,J。;斯特里克曼,O。;约拉夫,K。
2
2004
反例引导的符号模型检查的抽象精化。 Zbl 1325.68145
克拉克,埃德蒙;格鲁伯格,奥娜;杰哈,萨默什;陆、元;维思,赫尔穆特
74
2003
混合系统模型检验中的抽象和反例指导下的精化。 Zbl 1101.68678
克拉克,埃德蒙;芬克,安加;韩,志;克罗,布鲁斯;哇克宁,乔;斯图斯伯格,奥拉夫;西奥博尔德,迈克尔
20
2003
基于反例引导抽象求精的混合系统验证。 Zbl 1031.68078
克拉克,埃德蒙;芬克,安加;韩,志;克罗,布鲁斯;斯图斯伯格,奥拉夫;西奥博尔德,迈克尔
12
2003
反例重温:原理,算法,应用。 兹布1274.68179
克拉克,埃德蒙;维思,赫尔穆特
2003
并发C程序的自动组合抽象求精:一种两级方法。 Zbl 1271.68081
查基,萨加尔;哇克宁,乔;约拉夫,凯伦;克拉克,埃德蒙
2
2003
提高谓词抽象的效率:如何消除冗余谓词。 兹布1278.68163
克拉克,埃德蒙;格鲁伯格,奥娜;塔鲁普尔,穆拉利达尔;王,董
2
2003
谓词最少的谓词抽象。 Zbl 1179.68033
查基,萨加尔;克拉克,埃德蒙;格罗斯,亚历克斯;斯特里奇曼,奥弗
1
2003
nusmv2:一个用于符号模型检查的开源工具。 Zbl 1010.68766
亚历山德罗·西马蒂;克拉克,埃德蒙;朱西格里亚,恩里科;朱西格里亚,福斯托;皮斯托尔,马可;罗维里,马可;塞巴斯蒂安尼,罗伯托;塔切拉,阿曼多
82
2002
使用ILP和机器学习技术的基于SAT的抽象求精。 Zbl 1010.68515
克拉克,埃德蒙;古普塔,阿努巴夫;库库拉,詹姆斯;斯特里奇曼,奥弗
8
2002
使用基于SAT的冲突分析对大型状态空间进行模型检查的自动抽象细化。 Zbl 1019.68618
潘喀吉州洲汉;克拉克,埃德蒙;库拉,詹姆斯;萨普拉,萨米尔;维思,赫尔穆特;王,董
7
2002
基于SAT的反例引导抽象细化。 Zbl 1077.68681
克拉克,埃德蒙M。
1
2002
使用模型检查和轻量级完成函数验证无序处理器设计。 Zbl 1014.68147
贝瑞津,谢尔盖;克拉克,埃德蒙;比尔,阿明;朱云山
1
2002
利用可满足性求解进行有界模型检验。 Zbl 0985.68038
克拉克,埃德蒙;比尔,阿明;雷米,理查德;朱云山
47
2001
模型检查。 Zbl 1066.68075
克拉克,埃德蒙M。;施林洛夫,伯恩德·霍尔格
6
2001
Verus语言:用bdd高效地表示时间。 Zbl 0954.68098
坎波斯公司。;克拉克,E。
1
2001
采用组合优化方法进行量化调度。 Zbl 1002.68512
州汉市。;克拉克,E。;杰哈,S。;库库拉,J。;维思,H。;王博士。
1
2001
反例引导的抽象细化。 Zbl 0974.68517
克拉克,埃德蒙;格鲁伯格,奥娜;杰哈,萨默什;陆、元;维思,赫尔穆特
119
2000
NuSMV:一种新的符号模型检验器。 Zbl 1059.68582
亚历山德罗·西马蒂;克拉克,埃德蒙;朱西格里亚,福斯托;罗维里,马可
32
2000
结合决策图和SAT程序进行有效的符号模型检查。 Zbl 0974.68526
威廉姆斯,波尔F。;比尔,阿明;克拉克,埃德蒙M。;古普塔,阿努巴夫
5
2000
安全协议验证的偏序约简。 Zbl 0965.68053
克拉克,埃德蒙;杰哈,萨默什;马里罗,威尔
1
2000
NuSMV:一种新的符号模型验证器。 Zbl 1046.68587
西马蒂,A。;克拉克,E。;朱西格里亚,F。;罗维里,M。
34
1999
使用不带BDDs的符号模型检查验证PowerPC\(^{TM}\)微处理器的安全属性。 Zbl 1046.68578号
比尔,阿明;克拉克,埃德蒙;雷米,理查德;朱云山
23
1999
利用偏序技术进行状态空间缩减。 106ZB506.68升
克拉克,E.M。;格鲁贝格,O。;米娜,M。;佩利德,D。
10
1999
用定量符号算法分析和验证实时系统。 Zbl 1065.68505
塞尔吉奥谷Aguiar Campos;克拉克,埃德蒙
2
1999
基于BDDS的半连续时间模型检验。 Zbl 0920.68076
坎波斯,塞尔吉奥;特谢拉,马西奥;米娜,马吕斯;库尔曼,安德烈亚斯;克拉克,埃德蒙
1
1999
抽象BDDs:在模型检查中使用抽象的技术。 Zbl 0949.68105
克拉克,埃德蒙;杰哈,萨默什;陆、元;王,董
1
1999
分析-一个结合定理证明和符号计算的实验。 Zbl 0916.68143
鲍尔,安德烈;克拉克,埃德蒙;赵旭东
6
1998
一种改进的不动点表达式求值算法。 Zbl 0901.68118号
布朗,A。;克拉克,E.M。;杰哈,S。;龙,东海岸。;马里罗,W。
17
1997
概率过程的符号模型检验。 Zbl 1401.68180型
拜尔,克里斯特尔;克拉克,埃德蒙M。;瓦西里基哈托斯加姆豪森;奎亚特科夫斯卡,玛尔塔;瑞安,马克
17
1997
模型检查。 Zbl 0847.68063
克拉克,E。;格鲁贝格,O。;朗,D。
40
1996
多终端二元决策图和混合决策图。 Zbl 0855.94028
克拉克,埃德蒙M。;藤田正雄;赵旭东
1
1996
显示不同类型\(\omega\)-自动机之间的语言包含和等价性的统一方法。 Zbl 0925.68274
克拉克,E.M。;德拉吉塞斯库。;库尔山,R.P。
1993
符号模型检查:\(10^{20}\)状态及以上。 Zbl 0753.68066
伯奇,J.R。;克拉克,E.M。;麦克米兰,K.L。;迪尔,D.L。;黄,L.J。
148
1992
验证有限状态并发系统的两种方法的综合。 Zbl 0782.68078
克拉克,E.M。;格鲁贝格,O。;库尔山,R.P。
2
1992
帕台农:非霍恩子句的并行定理证明器。 Zbl 0759.68079
波西,苏米特拉;克拉克,埃德蒙M。;再见,大卫·E。;米查洛夫,斯皮罗
1
1992
计算机辅助验证。第二届国际会议,1990年6月18日至21日,美国新泽西州新不伦瑞克。诉讼程序。 Zbl 0756.00006
克拉克,埃德蒙M。;库山,罗伯特P。
1
1991
一种显示不同类型\(\omega\)-自动机之间的语言包容和等价性的统一方法。 Zbl 0759.68063
克拉克,E.M。;布朗,I.A。;库尔山,P.R。
1
1990
关于具有多个相同有限状态过程的网络的推理。 Zbl 0709.68610
布朗,医学博士。;克拉克,E.M。;格鲁贝格,O。
22
1989
组合模型检查。 Zbl 0716.68035
克拉克,E.M。;龙,东海岸。;麦克米兰,K.L。
19
1989
验证有限状态并发系统的两种方法的综合。 Zbl 0688.68019
克拉克,E.M。;格鲁贝格,O。;库尔山,R.P。
4
1989
线性时间和分支时间逻辑的可表达性结果。(技术贡献)。 Zbl 0683.68030
克拉克,E.M。;加西斯库博士。
4
1989
L4语言中程序作为参数的推理。 Zbl 0692.68011
德国人,史蒂文M。;克拉克,埃德蒙M。;哈珀,约瑟夫Y。
1989
帕台农:非霍恩子句的并行定理证明器。 Zbl 0716.68076
波西,苏米特拉;克拉克,埃德蒙M。;再见,大卫·E。;米查洛夫,斯皮罗
1
1989
命题时间逻辑中有限Kripke结构的刻画。 中银0677.03011
布朗,医学博士。;克拉克,E.M。;格伦伯格,O。
58
1988
时间逻辑中Kripke结构的特征。 Zbl 0626.03019
布朗,医学博士。;克拉克,E.M。;格伦伯格,O。
7
1987
用时序逻辑规范自动验证有限状态并发系统。 Zbl 0591.68027
克拉克,E.M。;艾默生,E.A。;西斯特拉,A.P。
248
1986
时序电路的时序逻辑自动验证。 Zbl 0604.94011
布朗,迈克尔C。;克拉克,埃德蒙M。;迪尔,大卫L。;米什拉,巴德
12
1986
…还有14份文件
全部的 前5名

被2241位作者引用

27 瓦迪,莫斯伊。
22 科宁,丹尼尔
20 奥娜库普费尔曼
19 克拉克,埃德蒙·梅尔森俊。
17 段振华
16 格鲁伯格,奥娜
15 田聪
14 佩利德,多伦A。
13 亨辛格,托马斯A。
12 拜尔,克里斯特尔
12 亚历山德罗·西马蒂
12 张楠
11 阿卜杜拉,帕罗什·阿齐兹
11 兰格,马丁
11 穆拉诺,阿尼埃洛
11 普努埃利,阿米尔
10 Demri,Stéphane P。
10 Kwiatkowska,Marta Z。
10 拉鲁西尼,弗朗索瓦
10 拉森,金·古德斯兰德
10 普拉泽,安德烈
9 比尔,阿明
9 卡托恩,乔斯特·皮尔特
9 马基,尼古拉斯
8 布里姆,卢博什
8 贾姆罗加,沃伊切赫
8 拉斯金,让·弗朗索瓦
8 雷诺兹,马克·亚历山大
8 莎莉吉娜,娜塔莎
8 托内塔,斯特凡诺
8 赫尔姆维尤
8 张丽君
7 达斯古塔,帕拉布
7 狄克逊,克莱尔
7 爱默生,欧内斯特·艾伦
7 芬克贝纳,伯纳德
7 妮西,斯蒂芬妮娅
7 哈珀,约瑟夫·耶胡达
7 康诺夫,伊戈尔诉。
7 麦克米兰,肯尼斯L。
7 罗维里,马可
7 斯法基斯,约瑟夫
7 詹乃俊
6 本萨勒姆,萨德克
6 布耶,帕特里夏
6 库克,拜伦
6 菲斯曼,达娜
6 乔治,玛丽安
6 贾科巴齐,罗伯托
6 阿丽·古芬克尔
6 赫尔曼,霍尔格
6 伊帕特,佛罗伦萨
6 强森,本特
6 凯斯顿,尤尼特
6 科努尔,萨瓦
6 勒盖,阿克塞尔
6 阿莱西奥·洛穆西奥
6 席尔瓦侯爵。
6 梅斯盖尔·瓜伊塔,何塞
6 诺曼,格钦
6 彭泽克,沃伊切赫
6 吕默,菲利普
6 舍维,斯文
6 斯特芬,伯恩哈德
6 斯特里奇曼,奥弗
6 图伊里,泰西尔
6 温特施泰格,克里斯托夫M。
6 伍尔德里奇,迈克尔J。
5 巴雷特,克拉克W。
5 贝克,伯纳德
5 贝尼什,尼古拉
5 波泽利,劳拉
5 查基,萨加尔
5 查克拉巴蒂,帕塔·普拉蒂姆
5 克里夫兰,兰斯
5 迪尔,大卫L。
5 艾特,托马斯
5 亚历山德罗·范泰奇
5 法语,蒂姆
5 格里吉奥,阿尔伯托
5 古铁雷斯,朱利安
5 亚诺塔,米科拉什
5 马尔维萨洛,马蒂
5 Kulkarni,Sandeep S。
5 左卡鲁,拉鲁卡
5 米拉·塞德巴姆少校。
5 梅尔,阿恩
5 蒙塔纳里,安吉洛
5 蒙德亨克,马丁
5 奥拉特,卡洛斯
5 哇克宁,乔尔O。
5 佩雷利,朱塞佩
5 波德尔斯基,安德烈亚斯
5 拉比诺维奇,亚历山大
5 兰扎托,弗朗西斯科
5 拉斯坎,斯特凡
5 罗西,Matteo A.C。
5 里巴科夫,弗拉基米尔·弗拉基米罗维奇
5 塞巴斯蒂安尼,罗伯托
5 斯莫尔卡,斯科特A。
…还有2141位作者
全部的 前5名

在120个系列中被引用

166 理论计算机科学
123 系统设计中的形式化方法
81 信息与计算
72 计算的形式化方面
39 信息学报
39 自动推理杂志
36 人工智能
27 计算机与系统科学杂志
26 信息处理信函
26 逻辑与代数程序设计杂志
23 计算机程序设计学
17 程序设计中的逻辑和代数方法杂志
16 数学与人工智能年鉴
16 应用逻辑杂志
15 国际计算机科学基础杂志
11 纯逻辑与应用逻辑
11 离散事件动态系统
11 分布式计算
11 计算逻辑学报
10 计算机科学与技术杂志
10 计算机科学中的逻辑方法
9 编程与计算机软件
9 符号计算杂志
8 自动
8 MSCS公司。计算机科学中的数学结构
8 应用非经典逻辑杂志
8 应用数学杂志
7 逻辑研究
7 欧洲控制杂志
7 计算系统理论
6 逻辑、语言与信息杂志
5 离散应用数学
5 信息科学
5 计算机基础理论
5 非线性分析。混合动力系统
4 实时系统
4 符号逻辑公报
4 雷罗。理论信息学与应用
4 逻辑程序设计理论与实践
4 ādhanā
4 计算机语言、系统与结构
4 科学中国。信息科学
合成语
算法
限制条件
国际应用数学与计算机科学杂志
计算机科学前沿
计算机科学评论
2 国际通用系统杂志
2 钻头
2 符号逻辑杂志
2 圣母院形式逻辑杂志
2 国际并行程序设计杂志
2 国际近似推理杂志
2 并行与分布式计算杂志
2 杰泰。实验与理论人工智能杂志
2 自动化和远程控制
2 控制论与系统分析
2 控制科学档案
2 组合优化期刊
2 ACM杂志
2 中国的科学。F系列
2 膜计算杂志
1 倒排索引综述
1 计算机与数学及其应用
1 离散数学
1 国际控制杂志
1 国际理论物理杂志
1 考克罗
1 计算
1 模糊集与系统
1 数理经济学杂志
1 哲学逻辑杂志
1 苏联数学杂志
1 非线性分析。理论、方法与应用。A系列:理论与方法
1 莱罗,信息来源
1 暹罗计算机杂志
1 西伯利亚数学杂志
1 控制论
1 系统和控制字母
1 国际生产研究杂志
1 命令
1 新一代计算
1 计算机与运筹学
1 数学与计算机建模
1 机器学习
1 博弈与经济行为
1 线性代数及应用
1 雷罗。信息技术应用
1 数理逻辑档案
1 工程、通信和计算中的应用代数
1 国际鲁棒非线性控制杂志
1 计算与决策科学基础
1 国际应用科学与工程分岔与混沌杂志
1 应用范畴结构
1 数学科学杂志(纽约)
1 计算与数学组织理论
1 通知杂志关于计算
1 工程数学问题
1 应用数学与决策科学杂志
…还有20多部连续剧

按年份列出的引文

维基数据时间轴

数据显示为存储在Wikidata中的Creative Commons CC0许可证. 应进行更新和更正在Wikidata中.