斯特凡诺·巴赫里尼
人员信息
优化列表
2010 – 2019
2018 [注2] 阿莱西奥·法拉利 , 格洛丽亚·戈里 , 贝内德塔·罗萨迪尼 , 伊亚科波·特罗塔 , 斯特凡诺·巴赫里尼 , 亚历山德罗·范泰奇 , 斯特凡妮娅·格内西 :
用NLP模式检测需求缺陷:铁路领域的行业经验。 恩皮尔。 柔和。 工程师。 23 ( 6 ) : 3684-3733 ( 2018 ) 2017 【c7】 贝内德塔·罗萨迪尼 , 阿莱西奥·法拉利 , 格洛丽亚·戈里 , 亚历山德罗·范泰奇 , 斯特凡妮娅·格内西 , 伊亚科波·特罗塔 , 斯特凡诺·巴赫里尼 :
使用NLP检测需求缺陷:铁路领域的行业经验。 REFSQ公司 2017 : 344-360 2016 [j1] 安德烈亚·博纳奇 , 亚历山德罗·范泰奇 , 斯特凡诺·巴赫里尼 , 马泰奥·坦佩斯蒂尼 :
铁路联锁系统的验证过程。 科学。 计算。 程序。 128 : 2-21 ( 2016 ) 2013 【c6】 安德烈亚·博纳奇 , 亚历山德罗·范泰奇 , 斯特凡诺·巴赫里尼 , 马泰奥·坦佩斯蒂尼 , 莱昂纳多·西普里亚尼 :
通过形式验证验证铁路联锁系统,案例研究。 SEFM研讨会 2013 : 237-252 2012 【c5】 安德烈亚·博纳奇 , 亚历山德罗·范泰奇 , 斯特凡诺·巴赫里尼 , 马泰奥·坦佩斯蒂尼 , 莱昂纳多·西普里亚尼 :
GUI可测试性问题:铁路信号领域的案例研究。 QUATIC公司 2012 : 103-107 2010 【c4】 丹尼尔·格拉索 , 亚历山德罗·范泰奇 , 阿莱西奥·法拉利 , 卡洛·贝切里 , 斯特凡诺·巴赫里尼 :
铁路信号背景下基于模型的测试和抽象解释。 ICST公司 2010 : 103-106