塞尔吉奥·莫弗
人员信息
优化列表
2020年–今天
2024 【b2】 塞尔吉奥·莫弗 :
无限状态离散和连续系统符号模型检验的抽象技术。 法国巴黎理工学院, 2024 [公元29年] 迈赫迪·扎德姆 , 塞尔吉奥·莫弗 , 圣美阮 :
协调目标表示的时空抽象。 ICLR公司 2024 [i8] 迈赫迪·扎德姆 , 塞尔吉奥·莫弗 , 圣美阮 :
协调目标表示的时空抽象。 CoRR公司 abs/2401.09870 ( 2024 ) 2023 [公元9年] 肖恩·迈尔 , 塞尔吉奥·莫弗 , 戈瑟姆·卡基 , Bor-Yuh Evan Chang先生 :
Historia:使用消息历史逻辑拒绝回调可访问性。 程序。 ACM计划。 语言。 7 ( OOPSLA2公司 ) : 1905-1934 ( 2023 ) [公元28年] Stylianos Basagiannis公司 , 卢多维科·巴蒂斯塔 , 安娜·贝基 , 亚历山德罗·西马蒂 , 乔治·吉安塔米迪斯 , 塞尔吉奥·莫弗 , 阿尔贝托·塔切拉 , 斯特凡诺·托内塔 , 瓦西里奥斯A.Tsachouridis :
基于SMT的工业切换PI控制系统稳定性验证。 DSN-W公司 2023 : 243-250 [公元27年] 迈赫迪·扎德姆 , 塞尔吉奥·莫弗 , 圣美阮 :
基于集合可达性分析的分层强化学习中的目标空间抽象。 ICDL公司 2023 : 423-428 [i7] 肖恩·迈尔 , 塞尔吉奥·莫弗 , 戈瑟姆·卡基 , Bor-Yuh Evan Chang先生 :
Historia:使用消息历史逻辑(扩展版本)拒绝回调可访问性。 CoRR公司 abs/2309.04464 ( 2023 ) [i6] 迈赫迪·扎德姆 , 塞尔吉奥·莫弗 , 圣美阮 :
基于可达性分析的分层强化学习中的目标空间抽象。 CoRR公司 abs/2309.07168 ( 2023 ) [i5] 迈赫迪·扎德姆 , 塞尔吉奥·莫弗 , 圣美阮 :
基于集合可达性分析的分层强化学习中的目标空间抽象。 CoRR公司 abs/2309.07675 ( 2023 ) 2022 [j8] 亚历山德罗·西马蒂 , 阿尔贝托·格里乔 , 塞尔吉奥·莫弗 , 马可·罗维里 , 斯特凡诺·托内塔 :
验证模理论。 形式方法系统。 设计。 60 ( 三 ) : 452-481 ( 2022 ) 2021 [公元26年] 塞尔吉奥·莫弗 , 亚历山德罗·西马蒂 , 阿尔贝托·格里乔 , 艾哈迈德·伊尔凡 , 斯特凡诺·托内塔 :
多项式动力系统的隐式半代数抽象。 CAV(1) 2021 : 529-551
2010 – 2019
2019 [j7] 肖恩·迈尔 , 塞尔吉奥·莫弗 , Bor-Yuh Evan Chang先生 :
生存状态:事件驱动协议和回调控制流(工件)。 Dagstuhl Artifacts爵士。 5 ( 2 ) : 13:1-13:3 ( 2019 ) [公元25年] 戈兰·弗雷斯 , 亚历山德罗·阿巴特 , 迪基·阿兹基亚 , 安娜·贝基 , 雷布 , 亚历山德罗·西马蒂 , 米尔科·贾科布 , 阿尔贝托·格里乔 , 塞尔吉奥·莫弗 , 穆罕默德·赛义法乌尔·穆菲德 , 伊德里斯·里奥亚克 , 斯特凡诺·托内塔 , 埃娜·扎法内拉 :
ARCH-COMP19类别报告:具有分段恒定动力学的混合系统。 建筑@CPSIoTWeek 2019 : 1-13 [公元24年] 肖恩·迈尔 , 塞尔吉奥·莫弗 , Bor-Yuh Evan Chang先生 :
生存状态:事件驱动协议和回调控制流。 ECOOP公司 2019 : 1:1-1:29 【c23】 斯里拉姆·桑卡拉纳拉亚南 , Souradeep Dutta公司 , 塞尔吉奥·莫弗 :
向完全验证的自主系统伸出援手。 RP公司 2019 : 22-32 [i4] 肖恩·迈尔 , 塞尔吉奥·莫弗 , Bor-Yuh Evan Chang先生 :
生存状态:事件驱动协议和回调控制流(扩展版)。 CoRR公司 abs/1906.04924 ( 2019 ) 2018 [公元22年] 罗伯托·卡瓦达 , 亚历山德罗·西马蒂 , 塞尔吉奥·莫弗 , 米尔科·塞萨 , 朱塞佩尸体 , 朱塞佩·斯卡利翁 :
通过基于SMT的切换多域基尔霍夫网络模型检查分析继电联锁系统。 FMCAD公司 2018 : 1-9 【c21】 阿琼·拉德哈克里什纳 , 尼古拉斯·莱申科(Nicholas V.Lewchenko) , 肖恩·迈尔 , 塞尔吉奥·莫弗 , 克里希纳·查塔尼亚·斯里帕达 , 达米安·祖弗里 , Bor-Yuh Evan Chang先生 , 帕沃尔·塞恩 :
DroidStar:Android类的回调类型状态。 ICSE公司 2018 : 1160-1170 [公元20年] 塞尔吉奥·莫弗 , 斯里拉姆·桑卡拉纳拉亚南 , 里斯·布拉金顿·佩蒂·奥尔森 , Bor-Yuh Evan Chang先生 :
从应用程序语料库中挖掘框架使用图。 桑纳 2018 : 277-289 2017 [j6] Xin Chen(新晨) , 塞尔吉奥·莫弗 , 斯里拉姆·桑卡拉纳拉亚南 :
非线性混合系统的组合关系抽象。 ACM事务处理。 嵌入。 计算。 系统。 16 ( 5秒 ) : 187:1-187:19 ( 2017 ) [第19条] 亚历山德罗·西马蒂 , 塞尔吉奥·莫弗 , 米尔科·塞萨 :
基于SMT的切换多域线性基尔霍夫网络分析。 FMCAD公司 2017 : 188-195 [i3] 肖恩·迈尔 , 阿列克桑达尔·查卡洛夫 , 马克斯韦尔·拉塞克 , 塞尔吉奥·莫弗 , Bor-Yuh Evan Chang先生 :
使用生命状态规则抽象事件驱动系统。 CoRR公司 abs/1701.00161 ( 2017 ) [i2] 阿琼·拉德哈克里什纳 , 尼古拉斯·莱申科(Nicholas V.Lewchenko) , 肖恩·迈尔 , 塞尔吉奥·莫弗 , 克里希纳·查塔尼亚·斯里帕达 , 达米安·祖弗里 , Bor-Yuh Evan Chang先生 , 帕沃尔·塞恩 :
学习Android类的异步类型状态。 CoRR公司 abs/1701.07842 ( 2017 ) 2016 [j5] 亚历山德罗·西马蒂 , 阿尔贝托·格里乔 , 塞尔吉奥·莫弗 , 斯特凡诺·托内塔 :
使用IC3和谓词抽象进行无限状态不变量检查。 形式方法系统。 设计。 49 ( 三 ) : 190-218 ( 2016 ) [c18] 雅库布·丹尼尔 , 亚历山德罗·西马蒂 , 阿尔贝托·格里乔 , 斯特凡诺·托内塔 , 塞尔吉奥·莫弗 :
通过隐性抽象和良好关系实现无限状态的生命安全。 CAV(1) 2016 : 271-291 [c17] 亚历山德罗·西马蒂 , 塞尔吉奥·莫弗 , 米尔科·塞萨 :
从电气交换网络到混合自动化。 FM公司 2016 : 164-181 2015 【j4】 马可·波扎诺 , 亚历山德罗·西马蒂 , 奥列格·利萨戈 , 克里斯蒂安·马塔雷 , 塞尔吉奥·莫弗 , 马可·罗维里 , 斯特凡诺·托内塔 :
通过符号模型检查对AltaRica模型进行安全评估。 科学。 计算。 程序。 98 : 464-483 ( 2015 ) [第16条] 西蒙·布利乌兹 , 亚历山德罗·西马蒂 , 穆罕默德·贾比尔 , 塞尔吉奥·莫弗 , 马可·罗维里 , 瓦杰布·萨博 , 王强(Qiang Wang) :
无限状态BIP模型的形式验证。 ATVA公司 2015 : 326-343 [第15条] 亚历山德罗·西马蒂 , 阿尔贝托·格里乔 , 塞尔吉奥·莫弗 , 斯特凡诺·托内塔 :
IC3参数合成(非正式演示)。 同步CoP 2015 : 106-107 [第14条] 亚历山德罗·西马蒂 , 阿尔贝托·格里乔 , 塞尔吉奥·莫弗 , 斯特凡诺·托内塔 :
HyComp:一种基于SMT的混合系统模型检查器。 TACAS公司 2015 : 52-67 2014 【b1】 塞尔吉奥·莫弗 :
使用可满足性模理论验证混合系统。 意大利特伦托大学, 2014 [j3] 亚历山德罗·西马蒂 , 塞尔吉奥·莫弗 , 斯特凡诺·托内塔 :
混合系统不变量的无量子化编码。 形式方法系统。 设计。 45 ( 2 ) : 165-188 ( 2014 ) [第13条] 罗伯托·卡瓦达 , 亚历山德罗·西马蒂 , 米歇尔·多里加蒂 , 阿尔贝托·格里乔 , 亚历山德罗·马里奥蒂 , 安德烈亚·米其利 , 塞尔吉奥·莫弗 , 马可·罗维里 , 斯特凡诺·托内塔 :
nuXmv符号模型检查器。 CAV汽车 2014 : 334-342 [c12] 亚历山德罗·西马蒂 , 阿尔贝托·格里乔 , 塞尔吉奥·莫弗 , 斯特凡诺·托内塔 :
用K-Liveness验证混合系统的LTL性质。 CAV汽车 2014 : 424-440 [第11条] 亚历山德罗·西马蒂 , 阿尔贝托·格里乔 , 塞尔吉奥·莫弗 , 斯特凡诺·托内塔 :
通过隐式谓词抽象的IC3模理论。 TACAS公司 2014 : 46-61 2013 [注2] 亚历山德罗·西马蒂 , 塞尔吉奥·莫弗 , 斯特凡诺·托内塔 :
混合系统基于SMT的场景验证。 形式方法系统。 设计。 42 ( 1 ) : 46-66 ( 2013 ) [第10条] 塞尔吉奥·莫弗 , 亚历山德罗·西马蒂 , 阿什什·蒂瓦里 , 斯特凡诺·托内塔 :
混合系统的时间-软件关系抽象。 EMSOFT公司 2013 : 14:1-14:10 【c9】 亚历山德罗·西马蒂 , 阿尔贝托·格里乔 , 塞尔吉奥·莫弗 , 斯特凡诺·托内塔 :
使用IC3进行参数合成。 FMCAD公司 2013 : 165-168 [i1] 亚历山德罗·西马蒂 , 阿尔贝托·格里乔 , 塞尔吉奥·莫弗 , 斯特凡诺·托内塔 :
通过隐式谓词抽象的IC3模理论。 CoRR公司 abs/1310.6847 ( 2013 ) 2012 【c8】 亚历山德罗·西马蒂 , 塞尔吉奥·莫弗 , 斯特凡诺·托内塔 :
基于SMT的混合系统验证。 AAAI公司 2012 : 2100-2105 【c7】 亚历山德罗·西马蒂 , 塞尔吉奥·莫弗 , 斯特凡诺·托内塔 :
非线性混合自动机的无量词SMT编码。 FMCAD公司 2012 : 187-195 2011 [j1] 马可·波扎诺 , 亚历山德罗·西马蒂 , 奥列格·利萨戈 , 克里斯蒂安·马塔雷 , 塞尔吉奥·莫弗 , 马可·罗维里 , 斯特凡诺·托内塔 :
Altarica模型的符号模型检查和安全评估。 电子。 Commun公司。 欧洲协会软件。 科学。 Technol公司。 46 ( 2011 ) 【c6】 亚历山德罗·西马蒂 , 塞尔吉奥·莫弗 , 斯特凡诺·托内塔 :
混合自动机的有效场景验证。 CAV汽车 2011 : 317-332 【c5】 亚历山德罗·西马蒂 , 塞尔吉奥·莫弗 , 斯特凡诺·托内塔 :
HyDI:一种用于离散交互的符号混合系统的语言。 欧微-东南亚 2011 : 275-278 【c4】 亚历山德罗·西马蒂 , 塞尔吉奥·莫弗 , 斯特凡诺·托内塔 :
证明并解释混合系统消息序列图的不可行性。 FMCAD公司 2011 : 54-62 2010 【c3】 雷布 , 亚历山德罗·西马蒂 , 李宣东 , 塞尔吉奥·莫弗 , 斯特凡诺·托内塔 :
使用浅同步的混合系统的模型检查。 FMOODS/FORTE公司 2010 : 155-169 【c2】 亚历山德罗·西马蒂 , 塞尔吉奥·莫弗 , 马可·罗维里 , 斯特凡诺·托内塔 :
从序列扩展正则表达式到带有符号标签的NFA。 CIAA公司 2010 : 87-94
2000 – 2009
2009 【c1】 罗伯托·卡瓦达 , 亚历山德罗·西马蒂 , 亚历山德罗·马里奥蒂 , 克里斯蒂安·马塔雷 , 安德烈亚·米其利 , 塞尔吉奥·莫弗 , 马可·彭萨洛托 , 马可·罗维里 , 安吉洛·苏西 , 斯特凡诺·托内塔 :
支持需求验证:EuRailCheck工具。 ASE公司 2009 : 665-667