安娜·贝基
人员信息
附属: 意大利特伦托布鲁诺·凯斯勒基金会
优化列表
2020年–今天
2024 [注2] 安娜·贝基 , 亚历山德罗·西马蒂 , 埃娜·扎法内拉 :
混合系统的P-稳定抽象。 柔和。 系统。 模型。 23 ( 2 ) : 403-426 ( 2024 ) [第12条] 安娜·贝基 , 亚历山德罗·西马蒂 , 朱塞佩·斯卡利翁 :
测试从模拟到基于软件的铁路联锁系统的迁移。 CAV(2) 2024 : 219-232 2023 [第11条] 叶川霞 , 安娜·贝基 , 亚历山德罗·西马蒂 , 阿尔贝托·格里乔 , 李建文 , 葛光浦 :
搜索i-Good引理以加速安全模型检查。 CAV(2) 2023 : 288-308 [第10条] Stylianos Basagiannis公司 , 卢多维科·巴蒂斯塔 , 安娜·贝基 , 亚历山德罗·西马蒂 , 乔治·吉安塔米迪斯 , 塞尔吉奥·莫弗 , 阿尔贝托·塔切拉 , 斯特凡诺·托内塔 , 瓦西里奥斯A.Tsachouridis :
基于SMT的工业切换PI控制系统稳定性验证。 DSN-W公司 2023 : 243-250 [i2] 阿里·古芬克尔 , 伊莎贝拉·马斯特罗尼 , 安托万·米内 , 彼得·米勒 , 安娜·贝基 :
抽象解释的理论进展和新兴应用(达格斯图尔研讨会23281)。 达格斯图尔报告 13 ( 7 ) : 66-95 ( 2023 ) 2022 【c9】 安娜·贝基 , 亚历山德罗·西马蒂 :
逆向工程中的抽象模稳定性。 CAV(1) 2022 : 469-489 【c8】 阿图罗·阿蒙多拉 , 安娜·贝基 , 罗伯托·卡瓦达 , 亚历山德罗·西马蒂 , 安德里亚·费兰多 , 洛伦佐·皮拉蒂 , 朱塞佩·斯卡利翁 , 阿尔贝托·塔切拉 , 赞博尼 :
NORMA:基于继电器的铁路联锁系统分析工具。 TACAS(1) 2022 : 125-142 2021 【c7】 安娜·贝基 , 亚历山德罗·西马蒂 , 埃娜·扎法内拉 :
具有P-stable抽象的逆向工程。 甘道夫覆盖层 2021 : 91-95 2020 [j1] 安娜·贝基 , 埃娜·扎法内拉 :
PPLite:NNC多面体的零开销编码。 Inf.计算。 275 : 104620 ( 2020 ) 【c6】 阿图罗·阿蒙多拉 , 安娜·贝基 , 罗伯托·卡瓦达 , 亚历山德罗·西马蒂 , 阿尔贝托·格里乔 , 朱塞佩·斯卡利翁 , 安吉洛·苏西 , 阿尔贝托·塔切拉 , 马泰奥·泰西 :
基于模型的铁路联锁系统设计、验证和部署方法。 ISoLA(3) 2020 : 240-254 【c5】 安娜·贝基 , 亚历山德罗·西马蒂 , 埃娜·扎法内拉 :
磷稳定萃取物的合成。 SEFM公司 2020 : 214-230
2010 – 2019
2019 【c4】 戈兰·弗雷斯 , 亚历山德罗·阿巴特 , 迪基·阿兹基亚 , 安娜·贝基 , 雷布 , 亚历山德罗·西马蒂 , 米尔科·贾科布 , 阿尔贝托·格里乔 , 塞尔吉奥·莫弗 , 穆罕默德·赛义法·穆菲德 , 伊德里斯·里奥亚克 , 斯特凡诺·托内塔 , 埃娜·扎法内拉 :
ARCH-COMP19类别报告:具有分段恒定动力学的混合系统。 建筑@CPSIoTWeek 2019 : 1-13 【c3】 安娜·贝基 , 埃娜·扎法内拉 :
修正混合系统的多面体分析。 SAS公司 2019 : 183-202 2018 [c2] 安娜·贝基 , 埃娜·扎法内拉 :
NNC多面体的直接编码。 CAV(1) 2018 : 230-248 【c1】 安娜·贝基 , 埃娜·扎法内拉 :
非必然闭多面体的有效抽象域。 SAS公司 2018 : 146-165 2017 [i1] 安娜·贝基 , 埃娜·扎法内拉 :
NNC多面体的转换程序。 CoRR公司 abs/1711.09593 ( 2017 )