×

兹马思-数学第一资源

亚历山德罗·西马蒂

计算距离:
作者ID: 西马蒂·亚历山德罗 最近的zbMATH文章“Cimatti,Alessandro”
发布为: 西马蒂,A。;亚历山德罗·西马蒂
编制索引的文档: 80种出版物自1996年以来,包括5本书
全部的 前5名

合著者

1 单作者
30 罗维里,马可
29 塞巴斯蒂安尼,罗伯托
20 格里吉奥,阿尔伯托
13 托内塔,斯特凡诺
12 波扎诺,马可
9 布鲁托梅索,罗伯托
7 搬运工,塞吉奥
6 贝尔托利,皮耶戈乔
5 弗兰兹én、 安德斯
5 米其莉,安德烈
4 奥德马尔,吉尔
4 朱西格里亚,福斯托
4 艾哈迈德·伊尔凡
4 朱蒂拉,汤米A。
4 皮斯托尔,马可
4 保罗,特拉维索
4 范罗森,彼得
克拉克,埃德蒙·梅尔森俊。
科尔内ł奥维茨,阿图尔
马塔雷,克里斯蒂安
2 阿伯特,约翰A。
2 Á布拉赫ám、 埃里卡
2 贝克,伯纳德
2 比加迪,安娜·玛丽亚
2 你好,罗德里克
2 布莱恩,马丁
2 布赫伯格,布鲁诺
2 达文波特,詹姆斯·哈罗德
2 英格兰,马修
2 方丹,帕斯卡
2 福利斯,斯蒂芬
2 加里奥,马可
2 朱西格里亚,恩里科
2 克朗ö宁,丹尼尔
2 那拉萨姆迪亚,伊曼
2 药丸,因果
2 拉妮丝,西尔维奥
2 Schaafsma,巴斯蒂安·乔斯特
2 舒尔茨,斯蒂芬
2 舒帕,维克多
2 塞勒,沃纳M。
2 塞拉菲尼,卢西亚诺
2 塔切拉,阿曼多
1 阿伯特,亚历山德罗
1 阿曼多,亚历山德罗
1 贝内代蒂,马可
1 贝内雷凯蒂,马西莫
1 伯纳多,马可
1 我知道,西蒙
1 丹尼尔,雅库布
1 德玛西,拉米罗
1 是的,明恩。
1 格鲁伯格,奥娜
1 汉娜,齐亚德
1 胡,艾伦J。
1 亨斯伯格,卢克
1 莫哈迈贾默德。
1 琼斯,大卫A。
1 哈西达什维利,祖拉布O。
1 麦格纳戈,恩里科
1 蒙加迪,乔瓦尼
1 穆菲德,穆罕默德·西法乌尔
1 帕提,阿米特
1 波塞纳托,罗伯托
1 拉卡马利ć, 兹沃尼米尔
1 罗曼诺,戴维德
1 萨博,瓦杰布
1 圣图里,亚历山德罗
1 塞姆普里尼,西蒙妮
1 塞萨,米尔科
1 谢里丹,丹尼尔
1 西尔贾尼,马扬
1 史密斯,大卫·E。
1 斯蒂尼科,克里斯蒂安
1 斯托吉克,伊凡
1 斯图姆,托马斯F。
1 斯图姆,托马斯P。
1 塔帕罗,弗朗西斯科
1 Tchaltsev,A。
1 托里利,F。
1 王强

按年份列出的出版物

zbMATH公开赛中包含的引文

57出版物有被引用543时间382份文件 引用人
nusmv2:一个用于符号模型检查的开源工具。 Zbl公司 1010.68766
亚历山德罗·西马蒂;克拉克,埃德蒙;朱西格里亚,恩里科;朱西格里亚,福斯托;皮斯托尔,马可;罗维里,马可;塞巴斯蒂安尼,罗伯托;塔切拉,阿曼多
78
2002
可实现性的诊断信息。 Zbl公司 1138.68442
西马蒂,A。;罗维里,M。;舒帕,V。;Tchaltsev,A。
40
2008
NuSMV:一种新的符号模型检验器。 Zbl公司 1059.68582
亚历山德罗·西马蒂;克拉克,埃德蒙;朱西格里亚,福斯托;罗维里,马可
35
2000
NuSMV:一种新的符号模型验证器。 Zbl公司 1046.68587
西马蒂,A。;克拉克,E。;朱西格里亚,F。;罗维里,M。
34
1999
MathSAT5 SMT解算器。 Zbl公司 1381.68153
亚历山德罗·西马蒂;格里吉奥,阿尔伯托;Schaafsma,巴斯蒂安·乔斯特;塞巴斯蒂安尼,罗伯托
32
2013
弱,强,强循环规划通过符号模型检查。 Zbl公司 1082.68800
西马蒂,A。;皮斯托尔,M。;罗维里,M。;特拉维索,P。
27
2003
通过符号模型检查的一致性规划。 Zbl公司 963.68195
西马蒂,A。;罗维里,M。
17
2000
可满足模理论中的有效插值生成。 Zbl公司 1134.68402
亚历山德罗·西马蒂;格里吉奥,阿尔伯托;塞巴斯蒂安尼,罗伯托
16
2008
通过布尔搜索进行有效的理论组合。 Zbl公司 1137.68578
波扎诺,马可;布鲁托梅索,罗伯托;亚历山德罗·西马蒂;Junttila,汤米;拉妮丝,西尔维奥;范罗森,彼得;塞巴斯蒂安尼,罗伯托
15
2006
基于SAT的布尔和线性数学命题公式求解方法。 Zbl公司 1072.68562
奥德马尔,吉尔;贝尔托利,皮耶戈乔;亚历山德罗·西马蒂;科尔内ł奥维茨,阿图尔;塞巴斯蒂安尼,罗伯托
15
2002
可满足模理论中Craig插值的有效生成。 Zbl公司 1351.68247
亚历山德罗·西马蒂;格里吉奥,阿尔伯托;塞巴斯蒂安尼,罗伯托
14
2010
使用验证工业混合动力系统数学卫星. Zbl公司 1272.68220
奥德马尔,吉尔;波扎诺,马可;亚历山德罗·西马蒂;塞巴斯蒂安尼,罗伯托
14
2005
线性算术逻辑可满足性的增量分层过程。 Zbl公司 1087.68630
波扎诺,马可;布鲁托梅索,罗伯托;亚历山德罗·西马蒂;Junttila,汤米;范罗森,彼得;舒尔茨,斯蒂芬;塞巴斯蒂安尼,罗伯托
13
2005
通过符号模型检查和启发式搜索的一致性规划。 Zbl公司 1086.68591
西马蒂,A。;罗维里,M。;贝尔托利,P。
13
2004
定时系统的有界模型检验。 Zbl公司 1037.68549
奥德马尔,G。;西马蒂,A。;科尼洛维奇,A。;塞巴斯蒂安尼。
11
2002
联合国安全理事会\(^2”):满足性检查符合符号计算(项目文件)。 Zbl公司 1344.68198
Á布拉赫ám、 埃里卡;阿伯特,约翰;贝克,伯纳德;比加迪,安娜·M。;布莱恩,马丁;布赫伯格,布鲁诺;亚历山德罗·西马蒂;达文波特,詹姆斯H。;英格兰,马修;方丹,帕斯卡;福利斯,斯蒂芬;格里吉奥,阿尔伯托;科隆,丹尼尔;塞勒,沃纳M。;斯图姆,托马斯
10
2016
部分可观测性下的强规划。 Zbl公司 1131.68095
贝尔托利,皮耶戈乔;亚历山德罗·西马蒂;罗维里,马可;保罗,特拉维索
10
2006
基于IC3和谓词抽象的无限状态不变检查。 Zbl公司 1368.68245
亚历山德罗·西马蒂;格里吉奥,阿尔伯托;搬运工,塞吉奥;托内塔,斯特凡诺
8
2016
成本理论的可满足性:基础与应用。 Zbl公司 1284.68388
亚历山德罗·西马蒂;弗兰兹én、 安德斯;格里吉奥,阿尔伯托;塞巴斯蒂安尼,罗伯托;克里斯汀,克里斯汀
7
2010
SAT模理论中计算小不满足核的一种简单而灵活的方法。 Zbl公司 1214.68348
亚历山德罗·西马蒂;格里吉奥,阿尔伯托;塞巴斯蒂安尼,罗伯托
7
2007
交替自动机的符号实现。 Zbl公司 1160.68401
布洛姆,R。;西马蒂,A。;药丸,我。;罗维里,M。;塞姆普里尼,S。
7
2006
阿瑟SAT:SAT和数学决策程序的紧密结合。 Zbl公司 1109.68101
波扎诺,马可;布鲁托梅索,罗伯托;亚历山德罗·西马蒂;Junttila,汤米;范罗森,彼得;舒尔茨,斯蒂芬;塞巴斯蒂安尼,罗伯托
7
2005
满意度测试的理论与应用——2012年SAT,第15届国际会议,意大利特伦托,2012年6月17日至20日,会议记录。 Zbl公司 1268.68009
西马蒂,亚历山德罗(编辑);塞巴斯蒂安尼,罗伯托(编辑)
6
2012
可满足模理论中小不可满足核的计算。 Zbl公司 1216.68241
西马蒂,A。;格里吉奥,A。;塞巴斯蒂安尼。
6
2011
混合动力系统的需求验证。 Zbl公司 1242.68156
亚历山德罗·西马蒂;罗维里,马可;托内塔,斯特凡诺
6
2009
时序逻辑可满足性的布尔抽象。 Zbl公司 1135.68469
亚历山德罗·西马蒂;罗维里,马可;舒帕,维克多;托内塔,斯特凡诺
6
2007
基于延迟理论组合的有效可满足模理论。 Zbl公司 1081.68610
波扎诺,马可;布鲁托梅索,罗伯托;亚历山德罗·西马蒂;Junttila,汤米;拉妮丝,西尔维奥;范罗森,彼得;塞巴斯蒂安尼,罗伯托
6
2005
用SMT求解不确定时间问题的强可控性。 Zbl公司 1314.90043
亚历山德罗·西马蒂;米其莉,安德烈;罗维里,马可
5
2015
基于SMT的混合系统场景验证。 Zbl公司 1284.03216
亚历山德罗·西马蒂;搬运工,塞吉奥;托内塔,斯特凡诺
5
2013
MaxSAT模理论的模块化方法。 Zbl公司 1390.68572
亚历山德罗·西马蒂;格里吉奥,阿尔伯托;Schaafsma,巴斯蒂安·乔斯特;塞巴斯蒂安尼,罗伯托
5
2013
延迟理论组合与Nelson Oppen对可满足模理论的比较分析。 Zbl公司 1192.68627
布鲁托梅索,罗伯托;亚历山德罗·西马蒂;弗兰森,安德斯;格里吉奥,阿尔伯托;塞巴斯蒂安尼,罗伯托
5
2009
承认还是不承认?在SMT中有效地处理未解释的函数符号((\mathcal{EUF}\cup\mathcal{T})\)。 Zbl公司 1165.68482
布鲁托梅索,罗伯托;亚历山德罗·西马蒂;弗兰兹én、 安德斯;格里吉奥,阿尔伯托;圣图里,亚历山德罗;塞巴斯蒂安尼,罗伯托
5
2006
延迟理论组合与Nelson Oppen对可满足模理论的比较分析。 Zbl公司 1165.68483
布鲁托梅索,罗伯托;亚历山德罗·西马蒂;弗兰兹én、 安德斯;格里吉奥,阿尔伯托;塞巴斯蒂安尼,罗伯托
5
2006
模型检验的工业应用。 Zbl公司 985.68653
亚历山德罗·西马蒂
5
2001
UTVPI的插入式生成。 Zbl公司 1250.68186
亚历山德罗·西马蒂;格里吉奥,阿尔伯托;塞巴斯蒂安尼,罗伯托
4
2009
时间博弈自动机的动态可控性。 Zbl公司 1350.68251
亚历山德罗·西马蒂;亨斯伯格,卢克;米其莉,安德烈;波塞纳托,罗伯托;罗维里,马可
2016
HRELTL:混合系统的时序逻辑。 Zbl公司 1332.68139
亚历山德罗·西马蒂;罗维里,马可;托内塔,斯特凡诺
2015
验证SMT框架中的堆操作程序。 Zbl公司 1141.68484
拉卡马利ć, 兹沃尼米尔;布鲁托梅索,罗伯托;胡,艾伦J。;亚历山德罗·西马蒂
2007
无功系统的符号故障树分析。 Zbl公司 1141.68455
波扎诺,马可;亚历山德罗·西马蒂;塔帕罗,弗朗西斯科
2007
过去LTL的有限验证。 Zbl公司 1117.68424
亚历山德罗·西马蒂;罗维里,马可;谢里丹,丹尼尔
2004
集成基于BDD和SAT的符号模型检查。 Zbl公司 1057.68623
亚历山德罗·西马蒂;朱西格里亚,恩里科;皮斯托尔,马可;罗维里,马可;塞巴斯蒂安尼,罗伯托;塔切拉,阿曼多
2002
结合显式状态检查和符号模型检查搜索powerset自动机。 Zbl公司 978.68546
亚历山德罗·西马蒂;罗维里,马可;贝尔托利,皮耶戈乔
2001
模非线性算法和超越函数的可满足性和验证的增量线性化。 Zbl公司 1407.68285
亚历山德罗·西马蒂;格里吉奥,阿尔伯托;艾哈迈德·伊尔凡;罗维里,马可;塞巴斯蒂安尼,罗伯托
2
2018
时间计划性强,持续时间不可控。 Zbl公司 1443.68163
亚历山德罗·西马蒂;做,明;米其莉,安德烈;罗维里,马可;史密斯,大卫·E。
2
2018
可满足模超越函数增量线性化。 Zbl公司 06778399
亚历山德罗·西马蒂;格里吉奥,阿尔伯托;艾哈迈德·伊尔凡;罗维里,马可;塞巴斯蒂安尼,罗伯托
2
2017
通过隐式抽象和有根据的关系,无限状态的活性到安全。 Zbl公司 1411.68062
丹尼尔,雅库布;亚历山德罗·西马蒂;格里吉奥,阿尔伯托;托内塔,斯特凡诺;搬运工,塞吉奥
2
2016
基于时序认知逻辑的异步故障检测与识别部件的形式化设计。 Zbl公司 1448.68289
波扎诺,马可;亚历山德罗·西马蒂;加里奥,马可;托内塔,斯特凡诺
2
2015
交替自动机的符号实现。 Zbl公司 1142.68418
你好,罗德里克;亚历山德罗·西马蒂;药丸,因果;罗维里,马可
2
2007
过去LTL的有界模型检查。 Zbl公司 1031.68077
贝内代蒂,马可;亚历山德罗·西马蒂
2
2003
改进了LTL模型检查到SAT的编码。 Zbl公司 1057.68056
亚历山德罗·西马蒂;皮斯托尔,马可;罗维里,马可;塞巴斯蒂安尼,罗伯托
2
2002
冗余结构的形式可靠性分析。 Zbl公司 1425.68039
波扎诺,马可;亚历山德罗·西马蒂;马塔雷,克里斯蒂安
1
2019
通过基于合同的设计进行正式的安全评估。 Zbl公司 1448.68174
波扎诺,马可;亚历山德罗·西马蒂;马塔雷,克里斯蒂安;托内塔,斯特凡诺
1
2014
混合系统不变量的无量词编码。 Zbl公司 1317.68111
亚历山德罗·西马蒂;搬运工,塞吉奥;托内塔,斯特凡诺
1
2014
编码的RTL构造数学卫星:初步报告。 Zbl公司 1272.68230
波扎诺,马可;布鲁托梅索,罗伯托;亚历山德罗·西马蒂;弗兰兹én、 安德斯;汉娜,齐亚德;哈西达什维利,祖拉布;帕提,阿米特;塞巴斯蒂安尼,罗伯托
1
2006
在SAT求解器的基础上建立高效的决策程序。 Zbl公司 1182.68114
亚历山德罗·西马蒂;塞巴斯蒂安尼,罗伯托
1
2006
集成布尔和数学求解:基础,基本算法,和要求。 Zbl公司 1072.68603
奥德马尔,吉尔;贝尔托利,皮耶戈乔;亚历山德罗·西马蒂;科尔内ł奥维茨,阿图尔;塞巴斯蒂安尼,罗伯托
1
2002
作为第二届联邦逻辑会议(FLoC’99)的一部分,第一届符号模型检查国际研讨会(SMC’99)会议记录。1999年7月6日,意大利特伦托。 Zbl公司 920.00044
西马蒂,亚历山德罗(编辑);格伦伯格,奥尔纳(编辑)
1
1999
冗余结构的形式可靠性分析。 Zbl公司 1425.68039
波扎诺,马可;亚历山德罗·西马蒂;马塔雷,克里斯蒂安
1
2019
模非线性算法和超越函数的可满足性和验证的增量线性化。 Zbl公司 1407.68285
亚历山德罗·西马蒂;格里吉奥,阿尔伯托;艾哈迈德·伊尔凡;罗维里,马可;塞巴斯蒂安尼,罗伯托
2
2018
时间计划具有很强的不可控性。 Zbl公司 1443.68163
亚历山德罗·西马蒂;做,明;米其莉,安德烈;罗维里,马可;史密斯,大卫·E。
2
2018
可满足模超越函数增量线性化。 Zbl公司 06778399
亚历山德罗·西马蒂;格里吉奥,阿尔伯托;艾哈迈德·伊尔凡;罗维里,马可;塞巴斯蒂安尼,罗伯托
2
2017
联合国安全理事会\(^2”):满足性检查符合符号计算(项目文件)。 Zbl公司 1344.68198
Á布拉赫ám、 埃里卡;阿伯特,约翰;贝克,伯纳德;比加迪,安娜·M。;布莱恩,马丁;布赫伯格,布鲁诺;亚历山德罗·西马蒂;达文波特,詹姆斯H。;英格兰,马修;方丹,帕斯卡;福利斯,斯蒂芬;格里吉奥,阿尔伯托;科隆,丹尼尔;塞勒,沃纳M。;斯图姆,托马斯
10
2016
基于IC3和谓词抽象的无限状态不变检查。 Zbl公司 1368.68245
亚历山德罗·西马蒂;格里吉奥,阿尔伯托;搬运工,塞吉奥;托内塔,斯特凡诺
8
2016
时间博弈自动机的动态可控性。 Zbl公司 1350.68251
亚历山德罗·西马蒂;亨斯伯格,卢克;米其莉,安德烈;波塞纳托,罗伯托;罗维里,马可
2016
通过隐式抽象和有根据的关系,无限状态的活性到安全。 Zbl公司 1411.68062
丹尼尔,雅库布;亚历山德罗·西马蒂;格里吉奥,阿尔伯托;托内塔,斯特凡诺;搬运工,塞吉奥
2
2016
用SMT求解不确定时间问题的强可控性。 Zbl公司 1314.90043
亚历山德罗·西马蒂;米其莉,安德烈;罗维里,马可
5
2015
HRELTL:混合系统的时序逻辑。 Zbl公司 1332.68139
亚历山德罗·西马蒂;罗维里,马可;托内塔,斯特凡诺
2015
采用形式化逻辑和时序逻辑进行故障检测。 Zbl公司 1448.68289
波扎诺,马可;亚历山德罗·西马蒂;加里奥,马可;托内塔,斯特凡诺
2
2015
通过基于合同的设计进行正式的安全评估。 Zbl公司 1448.68174
波扎诺,马可;亚历山德罗·西马蒂;马塔雷,克里斯蒂安;托内塔,斯特凡诺
1
2014
混合系统不变量的无量词编码。 Zbl公司 1317.68111
亚历山德罗·西马蒂;搬运工,塞吉奥;托内塔,斯特凡诺
1
2014
MathSAT5 SMT解算器。 Zbl公司 1381.68153
亚历山德罗·西马蒂;格里吉奥,阿尔伯托;Schaafsma,巴斯蒂安·乔斯特;塞巴斯蒂安尼,罗伯托
32
2013
基于SMT的混合系统场景验证。 Zbl公司 1284.03216
亚历山德罗·西马蒂;搬运工,塞吉奥;托内塔,斯特凡诺
5
2013
MaxSAT模理论的模块化方法。 Zbl公司 1390.68572
亚历山德罗·西马蒂;格里吉奥,阿尔伯托;Schaafsma,巴斯蒂安·乔斯特;塞巴斯蒂安尼,罗伯托
5
2013
满意度测试的理论与应用——2012年SAT,第15届国际会议,意大利特伦托,2012年6月17日至20日,会议记录。 Zbl公司 1268.68009
西马蒂,亚历山德罗(编辑);塞巴斯蒂安尼,罗伯托(编辑)
6
2012
可满足模理论中小不可满足核的计算。 Zbl公司 1216.68241
西马蒂,A。;格里吉奥,A。;塞巴斯蒂安尼。
6
2011
可满足模理论中Craig插值的有效生成。 Zbl公司 1351.68247
亚历山德罗·西马蒂;格里吉奥,阿尔伯托;塞巴斯蒂安尼,罗伯托
14
2010
成本理论的可满足性:基础与应用。 Zbl公司 1284.68388
亚历山德罗·西马蒂;弗兰兹én、 安德斯;格里吉奥,阿尔伯托;塞巴斯蒂安尼,罗伯托;斯蒂尼科,克里斯蒂安
7
2010
混合动力系统的需求验证。 Zbl公司 1242.68156
亚历山德罗·西马蒂;罗维里,马可;托内塔,斯特凡诺
6
2009
延迟理论组合与Nelson Oppen对可满足模理论的比较分析。 Zbl公司 1192.68627
布鲁托梅索,罗伯托;亚历山德罗·西马蒂;弗兰森,安德斯;格里吉奥,阿尔伯托;塞巴斯蒂安尼,罗伯托
5
2009
UTVPI的插入式生成。 Zbl公司 1250.68186
亚历山德罗·西马蒂;格里吉奥,阿尔伯托;塞巴斯蒂安尼,罗伯托
4
2009
可实现性的诊断信息。 Zbl公司 1138.68442
西马蒂,A。;罗维里,M。;舒帕,V。;Tchaltsev,A。
40
2008
可满足模理论中的有效插值生成。 Zbl公司 1134.68402
亚历山德罗·西马蒂;格里吉奥,阿尔伯托;塞巴斯蒂安尼,罗伯托
16
2008
SAT模理论中计算小不满足核的一种简单而灵活的方法。 Zbl公司 1214.68348
亚历山德罗·西马蒂;格里吉奥,阿尔伯托;塞巴斯蒂安尼,罗伯托
7
2007
时序逻辑可满足性的布尔抽象。 Zbl公司 1135.68469
亚历山德罗·西马蒂;罗维里,马可;舒帕,维克多;托内塔,斯特凡诺
6
2007
验证SMT框架中的堆操作程序。 Zbl公司 1141.68484
拉卡马利ć, 兹沃尼米尔;布鲁托梅索,罗伯托;胡,艾伦J。;亚历山德罗·西马蒂
2007
无功系统的符号故障树分析。 Zbl公司 1141.68455
波扎诺,马可;亚历山德罗·西马蒂;塔帕罗,弗朗西斯科
2007
交替自动机的符号实现。 Zbl公司 1142.68418
你好,罗德里克;亚历山德罗·西马蒂;药丸,因果;罗维里,马可
2
2007
通过布尔搜索进行有效的理论组合。 Zbl公司 1137.68578
波扎诺,马可;布鲁托梅索,罗伯托;亚历山德罗·西马蒂;Junttila,汤米;拉妮丝,西尔维奥;范罗森,彼得;塞巴斯蒂安尼,罗伯托
15
2006
部分可观测性下的强规划。 Zbl公司 1131.68095
贝尔托利,皮耶戈乔;亚历山德罗·西马蒂;罗维里,马可;保罗,特拉维索
10
2006
交替自动机的符号实现。 Zbl公司 1160.68401
布洛姆,R。;西马蒂,A。;药丸,我。;罗维里,M。;塞姆普里尼,S。
7
2006
承认还是不承认?在SMT中有效地处理未解释的函数符号((\mathcal{EUF}\cup\mathcal{T})\)。 Zbl公司 1165.68482
布鲁托梅索,罗伯托;亚历山德罗·西马蒂;弗兰兹én、 安德斯;格里吉奥,阿尔伯托;圣图里,亚历山德罗;塞巴斯蒂安尼,罗伯托
5
2006
延迟理论组合与Nelson Oppen对可满足模理论的比较分析。 Zbl公司 1165.68483
布鲁托梅索,罗伯托;亚历山德罗·西马蒂;弗兰兹én、 安德斯;格里吉奥,阿尔伯托;塞巴斯蒂安尼,罗伯托
5
2006
编码的RTL构造数学卫星:初步报告。 Zbl公司 1272.68230
波扎诺,马可;布鲁托梅索,罗伯托;亚历山德罗·西马蒂;弗兰兹én、 安德斯;汉娜,齐亚德;哈西达什维利,祖拉布;帕提,阿米特;塞巴斯蒂安尼,罗伯托
1
2006
在SAT求解器的基础上建立高效的决策程序。 Zbl公司 1182.68114
亚历山德罗·西马蒂;塞巴斯蒂安尼,罗伯托
1
2006
使用验证工业混合动力系统数学卫星. Zbl公司 1272.68220
奥德马尔,吉尔;波扎诺,马可;亚历山德罗·西马蒂;塞巴斯蒂安尼,罗伯托
14
2005
线性算术逻辑可满足性的增量分层过程。 Zbl公司 1087.68630
波扎诺,马可;布鲁托梅索,罗伯托;亚历山德罗·西马蒂;Junttila,汤米;范罗森,彼得;舒尔茨,斯蒂芬;塞巴斯蒂安尼,罗伯托
13
2005
阿瑟SAT:SAT和数学决策程序的紧密结合。 Zbl公司 1109.68101
波扎诺,马可;布鲁托梅索,罗伯托;亚历山大提;Junttila,汤米;范罗森,彼得;舒尔茨,斯蒂芬;塞巴斯蒂安尼,罗伯托
7
2005
基于延迟理论组合的有效可满足模理论。 Zbl公司 1081.68610
波扎诺,马可;布鲁托梅索,罗伯托;亚历山德罗·西马蒂;Junttila,汤米;拉妮丝,西尔维奥;范罗森,彼得;塞巴斯蒂安尼,罗伯托
6
2005
通过符号模型检查和启发式搜索的一致性规划。 Zbl公司 1086.68591
西马蒂,A。;罗维里,M。;贝尔托利,P。
13
2004
过去LTL的有限验证。 Zbl公司 1117.68424
亚历山德罗·西马蒂;罗维里,马可;谢里丹,丹尼尔
2004
弱,强,强循环规划通过符号模型检查。 Zbl公司 1082.68800
西马蒂,A。;皮斯托尔,M。;罗维里,M。;特拉维索,P。
27
2003
过去LTL的有界模型检查。 Zbl公司 1031.68077
贝内代蒂,马可;亚历山德罗·西马蒂
2
2003
nusmv2:一个用于符号模型检查的开源工具。 Zbl公司 1010.68766
亚历山德罗·西马蒂;克拉克,埃德蒙;朱西格里亚,恩里科;朱西格里亚,福斯托;皮斯托尔,马可;罗维里,马可;塞巴斯蒂安尼,罗伯托;塔切拉,阿曼多
78
2002
基于SAT的布尔和线性数学命题公式求解方法。 Zbl公司 1072.68562
奥德马尔,吉尔;贝尔托利,皮耶戈乔;亚历山德罗·西马蒂;科尔内ł奥维茨,阿图尔;塞巴斯蒂安尼,罗伯托
15
2002
定时系统的有界模型检验。 Zbl公司 1037.68549
奥德马尔,G。;西马蒂,A。;科尼洛维奇,A。;塞巴斯蒂安尼。
11
2002
集成基于BDD和SAT的符号模型检查。 Zbl公司 1057.68623
亚历山德罗·西马蒂;恩里希科;皮斯托尔,马可;罗维里,马可;塞巴斯蒂安尼,罗伯托;塔切拉,阿曼多
2002
改进了LTL模型检查到SAT的编码。 Zbl公司 1057.68056
亚历山德罗·西马蒂;皮斯托尔,马可;罗维里,马可;塞巴斯蒂安尼,罗伯托
2
2002
集成布尔和数学求解:基础,基本算法,和要求。 Zbl公司 1072.68603
奥德马尔,吉尔;贝尔托利,皮耶戈乔;亚历山德罗·西马蒂;科尔内ł奥维茨,阿图尔;塞巴斯蒂安尼,罗伯托
1
2002
模型检验的工业应用。 Zbl公司 985.68653
亚历山德罗·西马蒂
5
2001
结合显式状态检查和符号模型检查搜索powerset自动机。 Zbl公司 978.68546
亚历山德罗·西马蒂;罗维里,马可;贝尔托利,皮耶戈乔
2001
NuSMV:一种新的符号模型检验器。 Zbl公司 1059.68582
亚历山德罗·西马蒂;克拉克,埃德蒙;朱西格里亚,福斯托;罗维里,马可
35
2000
通过符号模型检查的一致性规划。 Zbl公司 963.68195
西马蒂,A。;罗维里,M。
17
2000
NuSMV:一种新的符号模型验证器。 Zbl公司 1046.68587
西马蒂,A。;克拉克,E。;朱西格里亚,F。;罗维里,M。
34
1999
作为第二届联邦逻辑会议(FLoC’99)的一部分,第一届符号模型检查国际研讨会(SMC’99)会议记录。1999年7月6日,意大利特伦托。 Zbl公司 920.00044
西马蒂,亚历山德罗(编辑);格伦伯格,奥尔纳(编辑)
1
1999
全部的 前5名

843位作者引用

24 亚历山德罗·西马蒂
14 塞巴斯蒂安尼,罗伯托
12 罗维里,马可
11 格里吉奥,阿尔伯托
9 克朗ö宁,丹尼尔
9 瓦迪,莫斯伊。
8 Á布拉赫ám、 埃里卡
8 托内塔,斯特凡诺
7 达文波特,詹姆斯·哈罗德
6 波扎诺,马可
6 布鲁托梅索,罗伯托
6 英格兰,马修
6 斯特里奇曼,奥弗
5 巴雷特,克拉克W。
5 博纳奇娜,玛丽亚·保拉
5 方丹,帕斯卡
5 朱西格里亚,恩里科
5 克莱默,格雷恩
5 拉妮丝,西尔维奥
5 Rü嗯,菲利普
5 蒂内利,塞萨尔
4 阿伯特,亚历山德罗
4 贝克,伯纳德
4 埃格斯,安德烈亚斯
4 法国änzle,马丁
4 伊帕特,佛罗伦萨
4 阿莱西奥·洛穆西奥
4 米其莉,安德烈
4 搬运工,塞吉奥
4 维登巴赫,克里斯托夫
伯萨尼,马塞罗·玛丽亚
贝尔托利,皮耶戈乔
比尔,阿明
布莱恩,马丁
聪明,柯蒂斯
布朗伯格,马丁
切奇,玛莎
库克,拜伦
德穆拉,莱昂纳多
Dé哈贝,大卫
段振华
托马斯,艾特
加内什,维杰
乔治,玛丽安
吉尔迪,西尔维奥
阿丽·古芬克尔
美国农业部约翰逊
康诺夫,伊戈尔诉。
科努尔,萨瓦
科茨里亚斯,伊利亚斯。
左卡鲁,拉鲁卡
利菲顿,马克H。
林道尔,马吕斯
马拉茶,马可
乔·席尔瓦侯爵ão P。
马特斯库,拉杜
蒙塔纳里,安吉洛
蒙泰罗,佩德罗T。
尼科里尼,恩里卡
尼尤文胡斯,罗伯特
奥利维拉斯,艾伯特
罗西,马特奥A。C。
舒帕,维克多
莎莉吉娜,娜塔莎
泰格,蒂诺
田聪
保罗,特拉维索
詹乃俊
张楠
2 阿伯特,约翰A。
2 阿勒奇纳,娜塔莎
2 阿尔拉杰,达拉
2 阿鲁尔,拉吉耶夫
2 阿曼多,亚历山德罗
2 巴德班,巴哈雷
2 班纳,理查德
2 比加迪,安娜·玛丽亚
2 你好,罗德里克
2 Bonakdarpour,Borzoo
2 博内特,布莱
2 波泽利,劳拉
2 布拉夫曼,罗南一世。
2 布里姆,卢波š
2 不,雷
2 布赫伯格,布鲁诺
2 卡斯泰利尼,克劳迪奥
2 卡维扎,戴维德·贾科莫
2 塞特奇,罗迪卡
2 查特吉,克莉什南杜
2 金伟恩
2 迪亚多,詹弗兰科
2 克拉克,埃德蒙·梅尔森俊。
2 科兹利乌斯,弗洛里安
2 达斯古塔,帕拉布
2 贾科莫,朱塞佩
2 德容,希德
2 德奥利维拉,迭戈卡米尼亚B。
2 狄克逊,克莱尔
2 大仲马,埃斯特尔
2 伊希尼姆,姆纳乔
…还有743位作者

按年份列出的引文