×
计算距离:
作者ID: 克罗宁·达尼尔“Daniel Kröning”最近发表的zbMATH文章
发布日期: 丹尼尔·克罗宁;丹尼尔·科宁;科隆,D。
外部链接: ORCID公司
已编制索引的文档: 86出版物自2000年以来,包括3本书
7作为编辑的贡献
合著者: 100位合著者具有92联合出版物
1632名合著者
全部的 前5名

合著者

1 单作者的
11 斯特里赫曼(Ofer Strichman)
11 托马斯·沃尔
10 维杰·迪尔瓦
9 娜塔莎·莎莉吉娜
8 利奥波德·哈勒
8 菲利普·吕默
7 布莱恩,马丁
6 亚历山德罗·阿巴特
6 克拉克(Edmund Melson jun Clarke)。
6 拜伦·库克
6 克里斯蒂娜·大卫
6 彼得·施拉梅尔
6 Christoph M.温特斯泰格。
5 尤里·切比里亚克
5 迈克尔·陶奇尼格
5 乔治·威森巴赫
4 安吉洛·布里洛特
4 达里奥·卡塔鲁扎
4 阿尔贝托·格里乔
4 亚历山大·凯泽。
4 帕斯卡·凯塞利
4 乔尔·欧·瓦克宁。
伊奥里·贝萨
卢卡斯·科迪罗
阿拉斯泰尔·唐纳森。
米歇尔·马祖奇
米特拉·普兰达尔
马塞洛·索萨。
阿里亚克西·齐托维奇
伊戈尔·齐诺维克
2 约翰·A·阿伯特。
2 艾丽卡·阿尔布拉汉姆
2 杰拉德·巴斯勒
2 贝恩德·贝克尔
2 阿明·比尔
2 安娜·玛丽亚·比加蒂
2 布赫伯格,布鲁诺
2 哈娜·乔克勒
2 亚历山德罗·西马蒂
2 詹姆斯·哈罗德·达文波特
2 英格兰,马修
2 帕斯卡·方丹
2 史蒂芬·福雷斯特
2 亚历克斯·格罗斯
2 奥尔纳·格伦伯格
2 弗拉维奥·勒尔达
2 鲁本·马丁斯
2 Péséreanu,s。
2 沃尔夫冈·雅各布·保罗
2 罗德里格斯,塞萨尔·马林
2 Werner M.塞勒。
2 桑吉特·阿伦库马尔·塞希亚
2 托马斯·斯特姆
2 斯特凡诺·托内塔
2 凯伦·约拉夫
1 阿尔加莱、杰德
1 莎朗·巴纳
1 斯文·拜尔
1 汤姆·比恩米勒
1 尼古拉·S·比约纳。
1 布莱恩·布雷迪(Bryan A.Brady)。
1 Randal E.布莱恩特。
1 马丁·查普曼
1 列侬·查夫斯
1 莱昂纳多·德·莫拉
1 迪米特拉·吉安娜科波卢
1 莉安娜·哈达伦
1 穆罕默德·哈桑贝格
1 何楠楠
1 亚历克斯·霍恩
1 黄晓伟
1 克里斯·雅各比
1 希曼舒·杰恩
1 托尼·尤西拉
1 卡里姆·卡泽姆
1 希勒尔·库格勒
1 德克·莱恩巴赫(Dirk C.Leinenbach)。
1 杰罗姆·勒鲁
1 蒂齐亚娜·玛格丽亚
1 汤姆·梅尔姆
1 拉杰迪普·穆克吉
1 席尔维娅·梅丽塔·米勒
1 文森特·尼马尔
1 Doron A.Peled。
1 丹尼尔·波兹尔
1 伊丽莎白·波尔格林
1 奥纳·拉兹
1 阮文杰
1 安德烈·里巴尔琴科
1 穆罕默德·纳西姆·塞吉尔
1 沙尔马,苏博德·K·。
1 詹姆斯·夏普。
1 卡斯滕·辛兹
1 孙友成
1 塞尔达尔·塔西兰
1 蒂诺·特伊格
1 埃梅塞·塔莫
1 安娜·特罗斯塔涅茨基
1 马克·塔特尔(Mark R.Tuttle)。
1 赫尔穆特·维思
…还有另外三位合著者

按年份列出的出版物

zbMATH Open中包含的引文

67出版物有被引用562中的次368文件 引用人 年份
用于检查ANSI-C程序的工具。 Zbl 1126.68470号
埃德蒙·克拉克;丹尼尔·克罗宁;弗拉维奥·勒尔达
67
2004
决策程序。算法观点。兰达尔·布莱恩特(Randal E.Bryant)的前言。 Zbl 1149.68071号
丹尼尔·克罗宁;斯特里赫曼(Ofer Strichman)
48
2008
模型检查。第二次扩展和更新版本。 Zbl 1423.68002号
Edmund M.jun Clarke。;奥尔纳·格伦伯格;丹尼尔·克罗宁;多龙·贝利德;赫尔穆特·维思
39
2018
插值强度。 Zbl 1273.68225号
维杰·德·席尔瓦;丹尼尔·克罗宁;米特拉·普兰达尔;乔治·威森巴赫
22
2010
SATABS:ANSI-C基于SAT的谓词抽象。 Zbl 1087.68586号
埃德蒙·克拉克;丹尼尔·克罗宁;娜塔莎·莎莉吉娜;凯伦·约拉夫
21
2005
通过程序转换对弱内存进行软件验证。 Zbl 1381.68143号
阿尔加莱、杰德;丹尼尔·克罗宁;文森特·尼马尔;迈克尔·陶奇尼格
16
2013
利用抽象冲突驱动子句学习确定浮点逻辑。 Zbl 1317.68110号
布莱恩,马丁;维杰·德·席尔瓦;阿尔贝托·格里乔;利奥波德·哈勒;丹尼尔·克罗宁
16
2014
无量词Presburger算法的插值序列演算。 Zbl 1291.03112号
安吉洛·布里洛特;丹尼尔·克罗宁;菲利普·吕默;托马斯·沃尔
16
2010
决策程序。算法观点。第二版。 Zbl 1358.68002号
丹尼尔·克罗宁;斯特里赫曼(Ofer Strichman)
16
2016
有界模型检查的完整性和复杂性。 Zbl 1202.68244号
埃德蒙·克拉克;丹尼尔·克罗宁;约尔·瓦克宁;斯特里赫曼(Ofer Strichman)
16
2004
用时序逻辑进行深度强化学习。 Zbl 1455.68190号
穆罕默德·哈桑贝格;丹尼尔·克罗宁;亚历山德罗·阿巴特
15
2020
使用SAT对ANSI-C程序进行谓词抽象。 Zbl 1090.68022号
埃德蒙·克拉克;丹尼尔·克罗宁;娜塔莎·莎莉吉娜;凯伦·约拉夫
14
2004
用抽象方法确定位向量算法。 Zbl 1186.68281号
Randal E.布莱恩特。;丹尼尔·克罗宁;约尔·瓦克宁;Sanjit A.Seshia。;斯特里赫曼(Ofer Strichman);布莱恩·布雷迪
13
2007
联合国安全理事会\(^2):可满足性检查满足符号计算。(项目文件)。 Zbl 1344.68198号
艾丽卡·阿尔布拉汉姆;约翰·阿伯特;贝恩德·贝克尔;安娜·比加蒂(Anna M.Bigatti)。;布莱恩,马丁;布赫伯格,布鲁诺;亚历山德罗·西马蒂;詹姆斯·H·达文波特。;英格兰,马修;帕斯卡·方丹;史蒂芬·福雷斯特;阿尔贝托·格里乔;丹尼尔·克罗宁;Werner M.塞勒。;托马斯·斯特姆
12
2016
QBF统一校对的第一步。 Zbl 1214.68334号
托尼·尤西拉;阿明·比尔;卡斯滕·辛兹;丹尼尔·科宁;Christoph M.温特斯泰格。
12
2007
无量词Presburger算法的插值序列演算。 Zbl 1259.03043号
安吉洛·布里洛特;丹尼尔·克罗宁;菲利普·吕默;托马斯·沃尔
11
2011
位向量关系的排序函数综合。 Zbl 1284.68172号
拜伦·库克;丹尼尔·克罗宁;菲利普·吕默;Christoph M.温特斯泰格。
11
2010
在普雷斯伯格算法的扩展中超越了无量词插值。 Zbl 1318.03045号
安吉洛·布里洛特;丹尼尔·克罗宁;菲利普·吕默;托马斯·沃尔
11
2011
有效计算重复直径。 Zbl 1022.68579号
丹尼尔·克罗宁;斯特里赫曼(Ofer Strichman)
9
2003
数字边界分析与冲突驱动学习。 Zbl 1352.68060号
维杰·德·席尔瓦;利奥波德·哈勒;丹尼尔·克罗宁;迈克尔·陶奇尼格
8
2012
并发软件的符号计数器抽象。 Zbl 1242.68055号
杰拉德·巴斯勒;米歇尔·马祖奇;托马斯·沃尔;丹尼尔·克罗宁
8
2009
学习错误语言。 Zbl 1471.68101号
马丁·查普曼;哈娜·乔克勒;帕斯卡·凯塞利;丹尼尔·克罗宁;斯特里赫曼(Ofer Strichman);迈克尔·陶奇尼格
8
2015
有界模型检查的线性完整性阈值。 Zbl 1360.68592号
丹尼尔·克罗宁;约尔·瓦克宁;斯特里赫曼(Ofer Strichman);托马斯·沃尔;詹姆斯·沃雷尔
7
2011
抽象冲突驱动学习。 Zbl 1301.68156号
维杰·德·席尔瓦;利奥波德·哈勒;丹尼尔·克罗宁
7
2013
回路总结和终止分析。 Zbl 1315.68106号
阿里亚克西·齐托维奇;娜塔莎·莎莉吉娜;Christoph M.温特斯泰格。;丹尼尔·克罗宁
7
2011
基于展开的部分顺序约简。 Zbl 1374.68342号
塞萨尔·罗德里格斯;马塞洛·索萨;沙尔马,苏博德;丹尼尔·克罗宁
6
2015
使用SAT解算器通过穷举搜索计算二进制组合格雷码。 Zbl 1328.94095号
伊戈尔·齐诺维克;丹尼尔·克罗宁;尤里·切比里亚克
6
2008
六立方体中哈密顿圈的分类。 Zbl 1147.68703号
尤里·切比里亚克;丹尼尔·克罗宁
6
2008
基因调控网络Glass模型中的周期轨道和平衡。 Zbl 1366.92052号
伊戈尔·齐诺维克;尤里·切比里亚克;丹尼尔·克罗宁
5
2010
通过最小化证明进行有效覆盖性分析。 Zbl 1364.68138号
亚历山大·凯撒;丹尼尔·克罗宁;托马斯·沃尔
5
2012
理解反例解释. Zbl 1103.68620号
亚历克斯·格罗斯;丹尼尔·克罗宁;弗拉维奥·勒尔达
5
2004
无量词插值Presburger算法。 Zbl 1306.68148号
丹尼尔·克罗宁;杰罗姆·勒鲁;菲利普·吕默
5
2010
异步布尔程序的符号模型检查。 Zbl 1151.68367号
拜伦·库克;丹尼尔·克罗宁;娜塔莎·莎莉吉娜
5
2005
使用无限线程创建验证布尔程序。 Zbl 1143.68043号
拜伦·库克;丹尼尔·克罗宁;娜塔莎·莎莉吉娜
5
2007
C程序中用于快速反例检测的欠近似循环。 Zbl 1322.68054号
丹尼尔·克罗宁;马特·刘易斯;乔治·威森巴赫
5
2015
使用抽象变换器的循环摘要。 Zbl 1183.68377号
丹尼尔·克罗宁;娜塔莎·莎莉吉娜;斯特凡诺·托内塔;阿里亚克西·齐托维奇;Christoph M.温特斯泰格。
5
2008
抽象满意度。 Zbl 1284.68392号
维杰·德·席尔瓦;利奥波德·哈勒;丹尼尔·克罗宁
4
2014
实例化未解释的功能单元和存储系统:VAMP的功能验证。 Zbl 1179.68009号
斯文·拜尔;克里斯·雅各比;丹尼尔·科宁;德克·莱恩巴赫;沃尔夫冈·保罗。
4
2003
位向量关系的排序函数综合。 Zbl 1291.68138号
拜伦·库克;丹尼尔·克罗宁;菲利普·吕默;Christoph M.温特斯泰格。
4
2013
Cogent:程序验证的精确定理证明。 Zbl 1081.68673号
拜伦·库克;丹尼尔·克罗宁;娜塔莎·莎莉吉娜
4
2005
基于抽象的Presburger算法的可满足性求解。 Zbl 1103.68626号
丹尼尔·克罗宁;约尔·瓦克宁;Sanjit A.Seshia。;斯特里赫曼(Ofer Strichman)
4
2004
自动生成传播完整的SAT编码。 Zbl 1475.68218号
布莱恩,马丁;莉安娜·哈达伦;丹尼尔·克罗宁;鲁本·马丁斯
4
2016
位向量逻辑的近似谓词图像。 Zbl 1180.68175号
丹尼尔·克罗宁;娜塔莎·莎莉吉娜
4
2006
深度神经网络的安全性和可信度调查:验证、测试、对抗性攻击和防御以及可解释性。 Zbl 1478.68308号
黄晓伟;丹尼尔·克罗宁;阮文杰;詹姆斯·夏普;孙友成;埃梅塞·塔莫;吴敏;易新平
2020
对DPLL(T)的抽象解释。 Zbl 1426.68249号
布莱恩,马丁;维杰·迪尔瓦;利奥波德·哈勒;阿尔贝托·格里乔;丹尼尔·克罗宁
2013
使用模型检查和(k)-归纳法自动分析DMA竞争。 Zbl 1233.68124号
阿拉斯泰尔·唐纳森。;丹尼尔·克罗宁;菲利普·吕默
2011
使用有界模型检查计算过逼近。 Zbl 1272.68264号
丹尼尔·克罗宁
2006
基于SAT的模型检查。 Zbl 1392.68232号
阿明·比尔;丹尼尔·科宁
2018
位向量程序的无限制终止和非终止参数。 Zbl 1335.68050号
克里斯蒂娜·大卫;丹尼尔·克罗宁;马特·刘易斯
2015
使用谓词抽象验证SpecC。 Zbl 1117.68046号
埃德蒙·克拉克;希曼舒·杰恩;丹尼尔·克罗宁
2007
上下文软件计数器抽象。 Zbl 1213.68362号
杰拉德·巴斯勒;米歇尔·马祖奇;托马斯·沃尔;丹尼尔·克罗宁
2
2010
对称并发程序的反示例引导抽象细化。 Zbl 1284.68179号
阿拉斯泰尔·唐纳森。;亚历山大·凯撒;丹尼尔·克罗宁;迈克尔·陶奇尼格;托马斯·沃尔
2
2012
充分利用BMC反例。 Zbl 1272.68252号
亚历克斯·格罗斯;丹尼尔·克罗宁
2
2005
使用状态和转换不变量的循环摘要。 Zbl 1291.68262号
丹尼尔·克罗宁;娜塔莎·莎莉吉娜;斯特凡诺·托内塔;阿里亚克西·齐托维奇;Christoph M.温特斯泰格。
2
2013
通过轻量级静态分析加强基于导入的比赛检查。 Zbl 1317.68113号
阿拉斯泰尔·唐纳森。;利奥波德·哈勒;丹尼尔·克罗宁
2
2011
利用抽象加速度对具有输入的防护LTI系统进行无界时间分析。 Zbl 1419.68041号
达里奥·卡塔鲁扎;亚历山德罗·阿巴特;彼得·施拉梅尔;丹尼尔·克罗宁
2
2015
识别沿循环吸引子具有周期轨道的玻璃网络的代数算法。 Zbl 1127.92004号
伊戈尔·齐诺维克;丹尼尔·克罗宁;尤里·切比里亚克
2
2007
基于插值的模型检查的近似精化。 Zbl 1138.68444号
维杰·德·席尔瓦;米特拉·普兰达尔;丹尼尔·克罗宁
2
2008
通过抽象加速度对具有输入的防护LTI模型进行无边界时间安全验证。 Zbl 07356971号
达里奥·卡塔鲁扎;亚历山德罗·阿巴特;彼得·施拉梅尔;丹尼尔·克罗宁
1
2021
基于SAT/SMT的弱内存并发符号编码的偏序语义。 Zbl 1347.68268号
亚历克斯·霍恩;丹尼尔·克罗宁
1
2015
连续设备数字稳定控制器的声音和自动合成。 Zbl 1369.93189号
亚历山德罗·阿巴特;伊奥里·贝萨;达里奥·卡塔鲁扎;卢卡斯·科迪罗;克里斯蒂娜·大卫;帕斯卡·凯塞利;丹尼尔·克罗宁
1
2017
使用谓词抽象对带有循环的程序进行验证和证伪。 Zbl 1215.68130号
丹尼尔·克罗宁;乔治·威森巴赫
1
2010
连续设备可证明安全数字控制器的自动形式化综合。 Zbl 1441.93171号
亚历山德罗·阿巴特;伊奥里·贝萨;卢卡斯·科迪罗;克里斯蒂娜·大卫;帕斯卡·凯塞利;丹尼尔·克罗宁;伊丽莎白·波尔格林
1
2020
学习软件错误的语言。 Zbl 1437.68071号
哈娜·乔克勒;帕斯卡·凯塞利;丹尼尔·克罗宁;斯特里赫曼(Ofer Strichman)
1
2020
迷失在抽象中:多线程程序中的单调性。 Zbl 1355.68055号
亚历山大·凯撒;丹尼尔·克罗宁;托马斯·沃尔
1
2017
嵌入式软件的增量有界模型检查。 Zbl 1375.68081号
彼得·施拉梅尔;丹尼尔·克罗宁;布莱恩,马丁;鲁本·马丁斯;蒂诺·特伊格;汤姆·比恩米勒
1
2017
程序版本语义差异的模块化需求驱动分析。 Zbl 1420.68076号
安娜·特罗斯塔涅茨基;奥尔纳·格伦伯格;丹尼尔·克罗宁
1
2017
通过抽象加速度对具有输入的防护LTI模型进行无边界时间安全验证。 Zbl 07356971号
达里奥·卡塔鲁扎;亚历山德罗·阿巴特;彼得·施拉梅尔;丹尼尔·克罗宁
1
2021
用时序逻辑进行深度强化学习。 Zbl 1455.68190号
穆罕默德·哈桑贝格;丹尼尔·克罗宁;亚历山德罗·阿巴特
15
2020
深度神经网络的安全性和可信度调查:验证、测试、对抗性攻击和防御以及可解释性。 Zbl 1478.68308号
黄晓伟;丹尼尔·克罗宁;阮文杰;詹姆斯·夏普;孙友成;埃梅塞·塔莫;吴敏;易新平
2020
连续设备可证明安全数字控制器的自动形式化综合。 Zbl 1441.93171号
亚历山德罗·阿巴特;伊奥里·贝萨;卢卡斯·科迪罗;克里斯蒂娜·大卫;帕斯卡·凯塞利;丹尼尔·克罗宁;伊丽莎白·波尔格林
1
2020
学习软件错误的语言。 Zbl 1437.68071号
哈娜·乔克勒;帕斯卡·凯塞利;丹尼尔·克罗宁;斯特里赫曼(Ofer Strichman)
1
2020
模型检查。第二次扩展和更新版本。 Zbl 1423.68002号
Edmund M.jun Clarke。;奥尔纳·格伦伯格;丹尼尔·克罗宁;多龙·贝利德;赫尔穆特·维思
39
2018
基于SAT的模型检查。 Zbl 1392.68232号
阿明·比尔;丹尼尔·科宁
2018
连续设备数字稳定控制器的声音和自动合成。 Zbl 1369.93189号
亚历山德罗·阿巴特;伊奥里·贝萨;达里奥·卡塔鲁扎;卢卡斯·科迪罗;克里斯蒂娜·大卫;帕斯卡·凯塞利;丹尼尔·克罗宁
1
2017
迷失在抽象中:多线程程序中的单调性。 Zbl 1355.68055号
亚历山大·凯撒;丹尼尔·克罗宁;托马斯·沃尔
1
2017
嵌入式软件的增量有界模型检查。 Zbl 1375.68081号
彼得·施拉梅尔;丹尼尔·克罗宁;布莱恩,马丁;鲁本·马丁斯;蒂诺·特伊格;汤姆·比恩米勒
1
2017
程序版本语义差异的模块化需求驱动分析。 Zbl 1420.68076号
安娜·特罗斯塔涅茨基;奥尔纳·格伦伯格;丹尼尔·克罗宁
1
2017
决策程序。算法观点。第二版。 Zbl 1358.68002号
丹尼尔·克罗宁;斯特里赫曼(Ofer Strichman)
16
2016
联合国安全理事会\(^2):可满足性检查满足符号计算。(项目文件)。 Zbl 1344.68198号
艾丽卡·阿尔布拉汉姆;约翰·阿伯特;贝恩德·贝克尔;安娜·比加蒂(Anna M.Bigatti)。;布莱恩,马丁;布赫伯格,布鲁诺;亚历山德罗·西马蒂;詹姆斯·H·达文波特。;英格兰,马修;帕斯卡·方丹;史蒂芬·福雷斯特;阿尔贝托·格里乔;丹尼尔·克罗宁;Werner M.塞勒。;托马斯·斯特姆
12
2016
自动生成传播完整的SAT编码。 Zbl 1475.68218号
布莱恩,马丁;莉安娜·哈达伦;丹尼尔·克罗宁;鲁本·马丁斯
4
2016
学习错误语言。 Zbl 1471.68101号
马丁·查普曼;哈娜·乔克勒;帕斯卡·凯塞利;丹尼尔·克罗宁;斯特里赫曼(Ofer Strichman);迈克尔·陶奇尼格
8
2015
基于展开的部分顺序约简。 Zbl 1374.68342号
塞萨尔·罗德里格斯;马塞洛·索萨;沙尔马,苏博德;丹尼尔·克罗宁
6
2015
C程序中用于快速反例检测的欠近似循环。 Zbl 1322.68054号
丹尼尔·克罗宁;马特·刘易斯;乔治·威森巴赫
5
2015
位向量程序的无限制终止和非终止参数。 Zbl 1335.68050号
克里斯蒂娜·大卫;丹尼尔·克罗宁;马特·刘易斯
2015
利用抽象加速度对具有输入的防护LTI系统进行无界时间分析。 Zbl 1419.68041号
达里奥·卡塔鲁扎;亚历山德罗·阿巴特;彼得·施拉梅尔;丹尼尔·克罗宁
2
2015
基于SAT/SMT的弱内存并发符号编码的偏序语义。 Zbl 1347.68268号
亚历克斯·霍恩;丹尼尔·克罗宁
1
2015
利用抽象冲突驱动子句学习确定浮点逻辑。 Zbl 1317.68110号
布莱恩,马丁;D’维杰·席尔瓦;阿尔贝托·格里乔;利奥波德·哈勒;丹尼尔·克罗宁
16
2014
抽象满意度。 Zbl 1284.68392号
D’维杰·席尔瓦;利奥波德·哈勒;丹尼尔·克罗宁
4
2014
通过程序转换对弱内存进行软件验证。 Zbl 1381.68143号
阿尔加莱、杰德;丹尼尔·克罗宁;文森特·尼马尔;迈克尔·陶奇尼格
16
2013
抽象冲突驱动学习。 Zbl 1301.68156号
D’维杰·席尔瓦;利奥波德·哈勒;丹尼尔·克罗宁
7
2013
位向量关系的排序函数综合。 Zbl 1291.68138号
拜伦·库克;丹尼尔·克罗宁;菲利普·吕默;Christoph M.温特斯泰格。
4
2013
对DPLL(T)的抽象解释。 Zbl 1426.68249号
布莱恩,马丁;D’维杰·西尔瓦;利奥波德·哈勒;阿尔贝托·格里乔;丹尼尔·克罗宁
2013
使用状态和转换不变量的循环摘要。 Zbl 1291.68262号
丹尼尔·克罗宁;娜塔莎·莎莉吉娜;斯特凡诺·托内塔;阿里亚克西·齐托维奇;Christoph M.温特斯泰格。
2
2013
数字边界分析与冲突驱动学习。 Zbl 1352.68060号
D’维杰·席尔瓦;利奥波德·哈勒;丹尼尔·克罗宁;迈克尔·陶奇尼格
8
2012
通过最小化证明进行有效覆盖性分析。 Zbl 1364.68138号
亚历山大·凯撒;丹尼尔·克罗宁;托马斯·沃尔
5
2012
对称并发程序的反示例引导抽象细化。 Zbl 1284.68179号
阿拉斯泰尔·唐纳森。;亚历山大·凯撒;丹尼尔·克罗宁;迈克尔·陶奇尼格;托马斯·沃尔
2
2012
无量词Presburger算法的插值序列演算。 Zbl 1259.03043号
安吉洛·布里洛特;丹尼尔·克罗宁;菲利普·吕默;托马斯·沃尔
11
2011
在普雷斯伯格算法的扩展中超越了无量词插值。 Zbl 1318.03045号
安吉洛·布里洛特;丹尼尔·克罗宁;菲利普·吕默;托马斯·沃尔
11
2011
有界模型检查的线性完整性阈值。 Zbl 1360.68592号
丹尼尔·克罗宁;约尔·瓦克宁;斯特里赫曼(Ofer Strichman);托马斯·沃尔;詹姆斯·沃雷尔
7
2011
回路总结和终止分析。 Zbl 1315.68106号
阿里亚克西·齐托维奇;娜塔莎·莎莉吉娜;Christoph M.温特斯泰格。;丹尼尔·克罗宁
7
2011
使用模型检查和(k)-归纳法自动分析DMA竞争。 Zbl 1233.68124号
阿拉斯泰尔·唐纳森。;丹尼尔·克罗宁;菲利普·吕默
2011
通过轻量级静态分析加强基于导入的比赛检查。 Zbl 1317.68113号
阿拉斯泰尔·唐纳森。;利奥波德·哈勒;丹尼尔·克罗宁
2
2011
插值强度。 Zbl 1273.68225号
D’维杰·席尔瓦;丹尼尔·克罗宁;米特拉·普兰达尔;乔治·威森巴赫
22
2010
无量词Presburger算法的插值序列演算。 Zbl 1291.03112号
安吉洛·布里洛特;丹尼尔·克罗宁;菲利普·吕默;托马斯·沃尔
16
2010
位向量关系的排序函数综合。 Zbl 1284.68172号
拜伦·库克;丹尼尔·克罗宁;菲利普·吕默;Christoph M.温特斯泰格。
11
2010
基因调控网络Glass模型中的周期轨道和平衡。 Zbl 1366.92052号
伊戈尔·齐诺维克;尤里·切比里亚克;丹尼尔·克罗宁
5
2010
无量词插值Presburger算法。 Zbl 1306.68148号
丹尼尔·克罗宁;杰罗姆·勒鲁;菲利普·吕默
5
2010
上下文软件计数器抽象。 Zbl 1213.68362号
杰拉德·巴斯勒;米歇尔·马祖奇;托马斯·沃尔;丹尼尔·克罗宁
2
2010
使用谓词抽象对带有循环的程序进行验证和证伪。 Zbl 1215.68130号
丹尼尔·克罗宁;乔治·威森巴赫
1
2010
并发软件的符号计数器抽象。 Zbl 1242.68055号
杰拉德·巴斯勒;米歇尔·马祖奇;托马斯·沃尔;丹尼尔·克罗宁
8
2009
决策程序。算法观点。兰达尔·布莱恩特(Randal E.Bryant)的前言。 Zbl 1149.68071号
丹尼尔·克罗宁;斯特里赫曼(Ofer Strichman)
48
2008
使用SAT解算器通过穷举搜索计算二进制组合格雷码。 Zbl 1328.94095号
伊戈尔·齐诺维克;丹尼尔·克罗宁;尤里·切比里亚克
6
2008
六立方体中哈密顿圈的分类。 Zbl 1147.68703号
尤里·切比里亚克;丹尼尔·克罗宁
6
2008
使用抽象变换器的循环摘要。 Zbl 1183.68377号
丹尼尔·克罗宁;娜塔莎·莎莉吉娜;斯特凡诺·托内塔;阿里亚克西·齐托维奇;Christoph M.温特斯泰格。
5
2008
基于插值的模型检查的近似精化。 Zbl 1138.68444号
D’维杰·席尔瓦;米特拉·普兰达尔;丹尼尔·克罗宁
2
2008
用抽象方法确定位向量算法。 Zbl 1186.68281号
Randal E.布莱恩特。;丹尼尔·克罗宁;约尔·瓦克宁;Sanjit A.Seshia。;斯特里赫曼(Ofer Strichman);布莱恩·布雷迪
13
2007
QBF统一校对的第一步。 Zbl 1214.68334号
托尼·尤西拉;阿明·比尔;卡斯滕·辛兹;丹尼尔·科宁;Christoph M.温特斯泰格。
12
2007
使用无限线程创建验证布尔程序。 Zbl 1143.68043号
拜伦·库克;丹尼尔·克罗宁;娜塔莎·莎莉吉娜
5
2007
使用谓词抽象验证SpecC。 Zbl 1117.68046号
埃德蒙·克拉克;希曼舒·杰恩;丹尼尔·克罗宁
2007
识别沿循环吸引子具有周期轨道的玻璃网络的代数算法。 Zbl 1127.92004号
伊戈尔·齐诺维克;丹尼尔·克罗宁;尤里·切比里亚克
2
2007
位向量逻辑的近似谓词图像。 Zbl 1180.68175号
丹尼尔·克罗宁;娜塔莎·莎莉吉娜
4
2006
使用有界模型检查计算过逼近。 Zbl 1272.68264号
丹尼尔·克罗宁
2006
SATABS:ANSI-C基于SAT的谓词抽象。 Zbl 1087.68586号
埃德蒙·克拉克;丹尼尔·克罗宁;娜塔莎·莎莉吉娜;凯伦·约拉夫
21
2005
异步布尔程序的符号模型检查。 Zbl 1151.68367号
拜伦·库克;丹尼尔·克罗宁;娜塔莎·莎莉吉娜
5
2005
Cogent:程序验证的精确定理证明。 Zbl 1081.68673号
拜伦·库克;丹尼尔·克罗宁;娜塔莎·莎莉吉娜
4
2005
充分利用BMC反例。 Zbl 1272.68252号
亚历克斯·格罗斯;丹尼尔·克罗宁
2
2005
用于检查ANSI-C程序的工具。 Zbl 1126.68470号
埃德蒙·克拉克;丹尼尔·克罗宁;弗拉维奥·勒尔达
67
2004
有界模型检查的完整性和复杂性。 Zbl 1202.68244号
埃德蒙·克拉克;丹尼尔·克罗宁;约尔·瓦克宁;斯特里赫曼(Ofer Strichman)
16
2004
使用SAT对ANSI-C程序进行谓词抽象。 Zbl 1090.68022号
埃德蒙·克拉克;丹尼尔·克罗宁;娜塔莎·莎莉吉娜;凯伦·约拉夫
14
2004
理解反例解释. Zbl 1103.68620号
亚历克斯·格罗斯;丹尼尔·克罗宁;弗拉维奥·勒尔达
5
2004
基于抽象的Presburger算法的可满足性求解。 Zbl 1103.68626号
丹尼尔·克罗宁;约尔·瓦克宁;Sanjit A.Seshia。;斯特里赫曼(Ofer Strichman)
4
2004
有效计算重复直径。 Zbl 1022.68579号
丹尼尔·克罗宁;斯特里赫曼(Ofer Strichman)
9
2003
实例化未解释的功能单元和存储系统:VAMP的功能验证。 Zbl 1179.68009号
斯文·拜尔;克里斯·雅各比;丹尼尔·科宁;德克·莱恩巴赫;沃尔夫冈·保罗。
4
2003
全部的 前5名

844位作者引用

30 丹尼尔·科宁
11 菲利普·吕默
9 娜塔莎·莎莉吉娜
8 托马斯·沃尔
7 阿明·比尔
7 詹姆斯·哈罗德·达文波特
7 罗伯托·塞巴斯蒂亚尼
7 Christoph M.温特斯泰格。
6 罗伯特·布鲁托梅索
6 英格兰,马修
6 阿尔贝托·格里乔
5 亚历山德罗·阿巴特
5 艾丽卡·阿尔布拉汉姆
5 克拉克·W·巴雷特。
5 玛丽亚·保拉(Maria Paola Bonacina)
5 亚历山德罗·西马蒂
5 弗洛里安·弗洛恩
5 吉尔根·吉斯尔
5 安德烈亚斯·波德尔斯基
5 斯特里赫曼(Ofer Strichman)
5 赫尔穆特·维思
4 穆罕默德·法乌齐(Mohamed Faouzi Atig)
4 艾哈迈德·博阿贾尼
4 布莱恩,马丁
4 克拉克(Edmund Melson jun Clarke)。
4 维杰·迪尔瓦
4 西尔维奥·吉拉尔迪
4 杰拉·亨塞尔
4 Jochen Hoenicke公司
4 艾娜·尼梅茨
4 马蒂亚斯·普雷纳
4 西尔维奥·兰伊斯
4 桑吉特·阿伦库马尔·塞希亚
4 托马斯·斯特姆
4 塞萨尔·蒂内利
4 阿里亚克西·齐托维奇
4 乔治·威森巴赫
帕罗什·阿齐兹·阿卜杜拉
贝恩德·贝克尔
Jörg Brauer
布莱特,柯蒂斯
安吉洛·布里洛特
马克·布罗克施米特
萨加·查基
查克拉波蒂,苏普拉特克
陈明帅
拜伦·库克
帕拉布·达斯古普塔
阿拉斯泰尔·唐纳森。
达纳·菲斯曼
维杰·加内什
阿尔蒂·古普塔
阿里·古芬克尔
利奥波德·哈勒
托马斯·亨辛格(Thomas A.Henzinger)。
穆阿·约翰逊
迪帕克·卡普尔
科齐里亚斯(Ilias S.Kotsireas)。
大卫·莫尼奥(David P.Monniaux)。
伊丽莎白·波尔格林
安德鲁·雷诺兹
罗西(Matteo A.C.Rossi)。
斯特雷切克,简
托马斯·斯特罗德
帕特里克·特伦丁
王,弯腰
托马斯·怀斯
奥列格·谢尔盖维奇·扎金
Aleksandar Zeljić
张丽君
2 约翰·A·阿伯特。
2 达纳州安格鲁因
2 塞皮德·阿萨迪
2 罗伯特·巴格纳拉
2 塞巴斯蒂安·巴丁
2 马尔塞洛·玛丽亚·贝尔萨尼
2 安娜·玛丽亚·比加蒂
2 罗德里克·布洛姆
2 马可·波扎诺
2 保罗·布鲁内特
2 布赫伯格,布鲁诺
2 凯文·拜恩斯(Kevin M.Byrnes)。
2 陈玉芳
2 哈娜·乔克勒
2 莱昂纳多·德·莫拉
2 丹尼尔·迪特施
2 Manoj G.迪克西特。
2 康斯坦丁·埃纳
2 帕斯卡·方丹
2 史蒂芬·福雷斯特
2 Anthony C.J.福克斯。
2 Masahiro Fujita
2 马来K·加奈。
2 罗伯塔·戈里
2 圣菲省格拉汉·伦格兰德
2 奥尔纳·格伦伯格
2 阿什图什·古普塔
2 尤塞夫·哈马迪
2 马蒂亚斯·海兹曼
2 Heule,Marijn J.H。
…还有744名作者
全部的 前5名

59篇连载文章中引用

45 系统设计中的形式化方法
35 自动推理杂志
14 计算的形式方面
10 程序设计中的逻辑和代数方法杂志
8 信息学报
8 理论计算机科学
7 计算机科学中的逻辑方法
5 符号计算杂志
5 信息与计算
4 人工智能
4 数学与人工智能年鉴
4 计算机科学中的数学
信息处理信件
编程和计算机软件
计算机程序设计科学
计算系统理论
计算机基础理论
2 离散应用数学
2 计算机与系统科学杂志
2 计算机科学与技术杂志
2 国际并行程序设计杂志
2 机器学习
2 设计、代码和密码
2 组合数学电子杂志
2 人工智能研究杂志
2 约束条件
2 逻辑程序设计理论与实践
2 计算机语言、系统和结构
2 应用逻辑杂志
2 Modelirovanie i Analiz信息系统
1 倒排索引综述
1 国际通用系统杂志
1 信息科学
1 组合理论杂志。B系列
1 纯逻辑与应用逻辑年鉴
1 图与组合
1 欧洲应用数学杂志
1 实时系统
1 离散事件动态系统
1 国际应用科学与工程分叉与混沌杂志
1 控制论与系统分析
1 信息计算杂志
1 优化方法和软件
1 组合优化期刊
1 美国医学会杂志
1 Informatica(维尔纽斯)
1 国际应用数学与计算机科学杂志
1 逻辑与代数程序设计杂志
1 应用数学杂志
1 ACM计算逻辑事务
1 ACM实验算法杂志
1 数学生物科学与工程
1 浙江大学学报。科学A
1 可满足性、布尔建模与计算杂志
1 非线性分析。混合动力系统
1 计算机代数中的ACM通信
1 Diskretny®Analiz i Issledovanie Operati®
1 中欧计算机科学杂志
1 SN运营研究论坛

按年份列出的引文