费尔南多·沙帕奇尼克
人员信息
优化列表
2020年–今天
2021 [第18条] 肖恩·阿佐帕迪 , 戈登·佩斯 , 费尔南多·沙帕奇尼克 , 杰拉尔多·施奈德 :
关于定时规范系统的规范和监测。 右心室 2021 : 81-99 2020 [第17条] 丹妮拉·库拉 , 埃尔南·齐梅林斯基 , 维罗尼卡·阿列利·马里诺 , 马丁·吉列莫·斯卡索 , 费尔南多·沙帕奇尼克 :
阿根廷教师培训项目简介分析。 WiPSCE软件 2020 : 24:1-24:2 [i1] 埃尔南·齐梅林斯基 , 马丁·吉列莫·斯卡索 , 费尔南多·沙帕奇尼克 :
针对不同背景的教师开设一个CS教师课程有什么价值? CoRR公司 abs/2011.04480 ( 2020 )
2010 – 2019
2018 【j4】 卢西亚娜·贝诺蒂 , 玛丽亚·塞西莉亚·马丁内斯 , 费尔南多·沙帕奇尼克 :
介绍计算机科学和自动形成评估的工具。 IEEE传输。 学习。 技术。 11 ( 2 ) : 179-192 ( 2018 ) [第16条] 肖恩·阿佐帕迪 , 戈登·佩斯 , 费尔南多·沙帕奇尼克 :
关于遵守合同:道义合同与智能合同的相遇。 朱利克斯 2018 : 21-30 2017 [c15] 卡洛斯·法西亚诺 , 塞尔吉奥·梅拉 , 费尔南多·沙帕奇尼克 , Ana Haydée Di Iorio女士 , 比比亚娜·卢斯·克拉拉 , 维罗尼卡·乌里亚特 , 玛丽亚·费尔南达·贾卡利亚 , 玛丽亚·贝伦·鲁法 , 克里斯蒂安·马科斯 :
法律模型检查的绩效改进。 ICAIL公司 2017 : 59-68 2016 [j3] 肖恩·阿佐帕迪 , 戈登·佩斯 , 费尔南多·沙帕奇尼克 , 杰拉尔多·施奈德 :
合同自动机-交互各方之间合同的操作视图。 Artif公司。 智力。 法律 24 ( 三 ) : 203-243 ( 2016 ) 2015 [第14条] 戈登·佩斯 , 费尔南多·沙帕奇尼克 , 杰拉尔多·施奈德 :
合同中的条件权限。 朱利克斯 2015 : 61-70 2014 [第13条] 卢西亚娜·贝诺蒂 , 玛丽亚·塞西莉亚·马丁内斯 , 费尔南多·沙帕奇尼克 :
使用聊天机器人吸引高中生。 ITiCSE公司 2014 : 63-68 [第12条] 肖恩·阿佐帕迪 , 戈登·佩斯 , 费尔南多·沙帕奇尼克 :
与Automata签订赔偿合同。 朱利克斯 2014 : 49-54 2013 [第11条] 戈登·佩斯 , 费尔南多·沙帕奇尼克 :
合成隐含契约。 ICAIL公司 2013 : 217-221 [第1页] 娜塔莎·阿列奇纳 , 尼克·巴西利亚德斯 , 迈赫迪·达斯坦尼 , 玛丽娜·德沃斯 , 布莱恩·洛根 , 塞尔吉奥·梅拉 , 安德烈亚萨·莫里斯·马汀 , 费尔南多·沙帕奇尼克 :
规范多智能体系统的计算模型。 规范的多代理系统 2013 : 71-92 2012 [第10条] 戈登·佩斯 , 费尔南多·沙帕奇尼克 :
两党制中的权利类型:形式分析。 朱利克斯 2012 : 105-114 【c9】 戈登·佩斯 , 费尔南多·沙帕奇尼克 :
互动双方系统合同。 弗拉科斯 2012 : 21日至30日 2011 【c8】 戈登·佩斯 , 费尔南多·沙帕奇尼克 :
合同中的权限,一种逻辑洞察。 朱利克斯 2011 : 140-144 【c7】 丹尼尔·戈林 , 塞尔吉奥·梅拉 , 费尔南多·沙帕奇尼克 :
法律起草软件工具。 弗拉科斯 2011 : 71-86 2010 【c6】 丹尼尔·戈林 , 塞尔吉奥·梅拉 , 费尔南多·沙帕奇尼克 :
模型检查法律文件。 朱利克斯 2010 : 151-154
2000 – 2009
2007 【c5】 维科特·布拉伯曼 , 豪尔赫·卢坎格里·奥贝斯 , 阿尔弗雷多·奥利维罗 , 费尔南多·沙帕奇尼克 :
时间自动机模型检验中的超体积近似。 格式 2007 : 第69页至第81页 2006 [j2] 维科特·布拉伯曼 , 阿尔弗雷多·奥利维罗 , 费尔南多·沙帕奇尼克 :
处理时间自动机分布式时间模型检查的实际局限性。 形式方法系统。 设计。 29 ( 2 ) : 197-214 ( 2006 ) 【c4】 卢西亚·卡瓦托塔 , 吉多·德卡索 , 安德烈斯·法拉利 , 维科特·布拉伯曼 , 迭戈·加伯维斯基 , 尼古拉斯·基西洛夫 , 费尔南多·沙帕奇尼克 , 阿尔弗雷多·奥利维罗 :
Eclipse中用于验证实时系统的工具套件。 交易所交易系统 2006 : 35-39 2005 [j1] 维科特·布拉伯曼 , 阿尔弗雷多·奥利维罗 , 费尔南多·沙帕奇尼克 :
分布式定时模型检查中的问题。 国际期刊软件。 技术工具。 Transf公司。 7 ( 1 ) : 4-18 ( 2005 ) 2004 【c3】 维科特·布拉伯曼 , 阿尔弗雷多·奥利维罗 , 费尔南多·沙帕奇尼克 :
分布式时间模型检查器Zeus中的实时工作负载预测和重新分配。 PDMC公司 2004 : 3-18 2002 【c2】 费尔南多·沙帕奇尼克 , 维科特·布拉伯曼 , 阿尔弗雷多·奥利维罗 :
一种以体系结构为中心的方法,用于开发时间自动机的分布式模型检查器。 ICSE公司 2002 : 710 【c1】 维科特·布拉伯曼 , 阿尔弗雷多·奥利维罗 , 费尔南多·沙帕奇尼克 :
ZEUS:一种基于KRONOS的分布式定时模型校验器。 CONCUR的PDMC 2002 : 503-522