西米尼亚努半径
人员信息
其他同名人员
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2010 – 2019
2012 [第14条] 卡米洛·罗查 , Héctor Cadavid餐厅 , 塞萨尔·穆尼奥斯 , 西米尼亚努半径 :
计划执行交换语言的正式交互验证环境。 国际单项体育联合会 2012 : 343-357 2011 【j4】 乔纳森·以西结 , 杰拉尔德·吕特根 , 西米尼亚努半径 :
并行化还是优化? J.日志。 计算。 21 ( 1 ) : 85-120 ( 2011 ) 2010 [第13条] 皮埃尔·罗斯 , 西米尼亚努半径 :
用边值决策图进行模型检验。 NASA形式方法 2010 : 222-226
2000 – 2009
2009 [第12条] 安迪·加洛韦 , 杰拉尔德·吕特根 , 扬·托拜厄斯·穆尔伯格 , 拉杜·西米尼西亚努 :
模型-检查Linux虚拟文件系统。 VMCAI公司 2009 : 74-88 2008 [第11条] 西米尼亚努半径 , 瑞奇·巴特勒 , 塞萨尔·穆尼奥斯 :
适用于形式验证的规划语言的实验评估。 MoChArt公司 2008 : 132-146 2007 [j3] 西米尼亚努半径 , 吉安弗兰科·西亚多 :
NASA跑道安全监测器的正式验证。 国际期刊软件。 工具技术。 Transf公司。 9 ( 1 ) : 63-76 ( 2007 ) 2006 [注2] 吉安弗兰科·西亚多 , R.L.Jones三世 , Andrew S.Miner公司 , 西米尼亚努半径 :
使用S m A r T进行逻辑和随机建模。 执行。 评价 63 ( 6 ) : 578-608 ( 2006 ) [j1] 吉安弗兰科·西亚多 , 罗伯特·M·马尔莫斯坦 , 西米尼亚努半径 :
符号状态空间探索的饱和算法。 国际期刊软件。 工具技术。 Transf公司。 8 ( 1 ) : 4-25 ( 2006 ) [第10条] 乔纳森·以西结 , 杰拉尔德·吕特根 , 西米尼亚努半径 :
饱和能并行吗? FMICS/PDMC系统 2006 : 331-346 【c9】 西米尼亚努半径 , 吉安弗兰科·西亚多 :
决策图中静态变量排序的新度量。 TACAS公司 2006 : 90-104 2004 【c8】 西米尼亚努半径 , 吉安弗兰科·西亚多 :
NASA跑道安全监测器的正式验证。 AVoCS公司 2004 : 179-194 2003 【c7】 吉安弗兰科·西亚多 , 西米尼亚努半径 :
异步系统的结构符号CTL模型检查。 腔静脉 2003 : 40-53 【c6】 吉安弗兰科·西亚多 , R.L.Jones三世 , 安德鲁·米纳 , 西米尼亚努半径 :
使用SMART进行逻辑和随机建模。 计算机性能评估/工具 2003 : 78-97 【c5】 吉安弗兰科·西亚多 , 罗伯特·M·马尔莫斯坦 , 西米尼亚努半径 :
未绑定饱和度。 TACAS公司 2003 : 379-393 2002 【c4】 詹弗兰科·西亚多 , R.L.Jones三世 , 罗伯特·M·马尔莫斯坦 , 安德鲁·米纳 , 西米尼亚努半径 :
SMART:可靠性和时间随机模型检查分析器。 DSN(DSN) 2002 : 545 【c3】 吉安弗兰科·西亚多 , 西米尼亚努半径 :
使用边值决策图生成最短路径的符号。 FMCAD公司 2002 : 256-273 2001 【c2】 吉安弗兰科·西亚多 , 杰拉尔德·吕特根 , 西米尼亚努半径 :
饱和:符号状态空间生成的有效迭代策略。 TACAS公司 2001 : 328-342 2000 【c1】 詹弗兰科·西亚多 , 杰拉尔德·吕特根 , 西米尼亚努半径 :
异步系统的高效符号状态空间构造。 ICATPN公司 2000 : 103-122
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)