罗伯托·蒂埃拉
人员信息
优化列表
2020年–今天
2022 [第18条] 阿图罗·阿蒙多拉 , 洛伦佐·巴鲁夫 , 马可·波扎诺 , 亚历山德罗·西马蒂 , 萨尔瓦多·德西蒙 , 尤金尼奥·费德利 , 阿特姆·加巴索夫 , 多梅尼科·埃内斯托·加鲁巴 , 马西米利亚诺·吉拉迪 , 戴安娜·塞拉 , 罗伯托·蒂埃拉 , 詹尼·赞佩德里 :
列车自动运行控制系统的正式设计和验证。 RSS邮件 2022 : 169-178年
2010年至2019年
2018 [i2] 奥内拉·米奇 , 罗伯托·蒂埃拉 :
ROBOTIKANDO:支持教师在幼儿园练习机器人的网络工具。 CoRR公司 abs/1806.03246 ( 2018 ) 2017 【j4】 菲萨姆·梅舍沙·基菲特夫(Fitsum Meshesha Kifetew) , 罗伯托·蒂埃拉 , 保罗·托内拉 :
通过遗传编程和注释语法生成有效的基于语法的测试输入。 恩皮尔。 柔和。 工程师。 22 ( 2 ) : 928-961年 ( 2017 ) [第17条] 罗伯托·蒂埃拉 , 玛丽亚诺·塞卡托 :
基于弹性数据混淆的k-clique问题自动生成不透明常量。 桑纳 2017 : 182-192 [i1] 阿莱西奥·维蒂奇埃 , 莱昂纳多·里加诺 , 马可·托奇亚诺 , Cataldo巴西莱 , 玛丽亚诺·塞卡托 , 保罗·托内拉 , 罗伯托·蒂埃拉 :
源代码混淆技术评估。 CoRR公司 abs/1704.02307 ( 2017 ) 2016 [第16条] 阿莱西奥·维蒂奇埃 , 莱昂纳多·里加诺 , 马尔科·托奇亚诺 , Cataldo巴西莱 , 玛丽亚诺·塞卡托 , 保罗·托内拉 , 罗伯托·蒂埃拉 :
源代码混淆技术评估。 SCAM公司 2016 : 11-20 2015 [第15条] 保罗·托内拉 , 罗伯托·蒂埃拉 :
从规范到要求和测试的每周往返:一份行业经验报告。 房地产税@ICSE 2015 : 20-26 [第14条] 比尼亚姆·费塞哈·德米西 , 玛丽亚诺·塞卡托 , 罗伯托·蒂埃拉 :
使用残数编码评估数据混淆。 SPRO@ICSE 2015 : 38-44 2014 [第13条] 保罗·托内拉 , 罗伯托·蒂埃拉 , Duy Cu Nguyen公司 :
基于模型测试的插值n图。 ICSE公司 2014 : 562-572 [第12条] Chiara Di Francescomarino公司 , 罗伯托·蒂埃拉 , 奇亚拉·吉迪尼 , 保罗·托内拉 :
业务流程修复的多目标方法。 国际社会理事会 2014 : 32-46 [第11条] 菲萨姆·梅舍沙·基菲特夫(Fitsum Meshesha Kifetew) , 魏晋 , 罗伯托·蒂埃拉 , 亚历山德罗·奥索 , 保罗·托内拉 :
为具有复杂基于语法的输入的程序再现字段故障。 ICST公司 2014 : 163-172 [第10条] 毛罗·德拉戈尼 , 皮埃尔吉奥·贝尔托利 , Chiara Di Francescomarino公司 , 奇亚拉·吉迪尼 , 米歇尔·诺里 , 马可·皮斯托尔 , 罗伯托·蒂埃拉 , 弗朗西斯科·科尔科利奥尼蒂 :
利用语义推理对流程进行建模和监控。 ISWC(海报和演示) 2014 : 121-124 【c9】 Chiara Di Francescomarino公司 , 弗朗西斯科·科尔科利奥尼蒂 , 毛罗·德拉戈尼 , 皮埃尔吉奥·贝尔托利 , 罗伯托·蒂埃拉 , 奇亚拉·吉迪尼 , 米歇尔·诺里 , 马可·皮斯托尔 :
基于语义的流程分析。 ISWC(2) 2014 : 228-243 【c8】 菲萨姆·梅舍沙·基菲特夫(Fitsum Meshesha Kifetew) , 罗伯托·蒂埃拉 , 保罗·托内拉 :
将随机语法和遗传规划相结合用于系统级的覆盖测试。 SSBSE公司 2014 : 138-152 2013 【c7】 菲萨姆·梅舍沙·基菲特夫(Fitsum Meshesha Kifetew) , 魏晋 , 罗伯托·蒂埃拉 , 亚历山德罗·奥索 , 保罗·托内拉 :
SBFR:一种基于搜索的方法,用基于语法的输入再现程序的失败。 ASE公司 2013 : 604-609年 【c6】 保罗·托内拉 , 罗伯托·蒂埃拉 , 铜D.Nguyen :
基于N-Gram的有限状态模型测试序列生成。 ICTSS测试 2013 : 59-74 2012 【c5】 纳迪娅·阿尔沙旺 , 马克·哈曼 , 亚历山德罗·马切托 , 罗伯托·蒂埃拉 , 保罗·托内拉 :
Web应用程序的爬网能力度量。 ICST公司 2012 : 151-160 2011 [j3] 亚历山德罗·马切托 , 罗伯托·蒂埃拉 , 保罗·托内拉 , 纳迪娅·阿尔沙旺 , 马克·哈曼 :
自动化web测试的爬网能力指标。 国际期刊软件。 技术工具。 Transf公司。 13 ( 2 ) : 131-149 ( 2011 )
2000年至2009年
2009 [注2] 阿道夫·维拉菲奥里塔 , Komminist Weldemariam公司 , 罗伯托·蒂埃拉 :
使用VVPAT开发、正式验证和评估电子投票系统。 IEEE传输。 Inf.法医安全。 4 ( 4 ) : 651-661 ( 2009 ) 2008 【c4】 弗朗西丝卡·隆戈 , 罗伯托·蒂埃拉 , 保罗·托内拉 , 阿道夫·维拉菲奥里塔 :
衡量不同类别软件演化的影响。 IWSM/Metrikon/Mensura公司 2008 : 344-351 2007 【c3】 罗伯托·蒂埃拉 , 阿道夫·维拉菲奥里塔 , 西尔维娅·托马西 :
FSMC+是一种从状态图生成Java代码的工具。 PPPJ 2007 : 93-102 2005 【c2】 保罗·阿韦萨尼 , 保罗·马萨 , 罗伯托·蒂埃拉 :
一个增强信任的推荐系统应用程序:Moleskiing。 囊 2005 : 1589-1593 2004 [j1] 帕伊维·卡利奥 , 亚历山德罗·佐勒 , 罗伯托·蒂埃拉 :
3G网络中无线互联网服务的计费。 国际法学杂志。 Commun公司。 2 ( 三 ) : 294-309 ( 2004 ) 2002 【c1】 帕伊维·卡利奥 , 乔瓦尼·科尔特斯 , 罗伯托·蒂埃拉 , 亚历山德罗·佐勒 :
第三代网络中无线互联网服务的计费。 ER(车间) 2002 : 229-240