奥马尔·因弗索
人员信息
优化列表
![笔记](https://dblp.org/img/note-mark.dark.12x12.png)
2020年-今天
2024 [j13] 巴勃罗·克鲁帕 , 奥马尔·因弗索 , Mirco Tribastone公司 , 阿尔贝托·本普拉德 :
盒约束QP问题的定点算法下的近端梯度方法的证明。 自动。 159 : 111411 ( 2024 ) [公元34年] 奥马尔·因弗索 :
论文的再现性报告:跟随领导者:PDES中的交替CPU/GPU计算。 SIGSIM-PADS公司 2024 : 135-140 2023 [公元12年] 乔治·奥德里托 , 奥马尔·因弗索 , 雨果·托雷斯·维埃拉 :
2021年第23届国际协调模型和语言会议工具文件专刊前言。 科学。 计算。 程序。 225 : 102899 ( 2023 ) [公元11年] 洛科·德·尼古拉 , 卢卡·迪·斯特凡诺 , 奥马尔·因弗索 , 塞雷内拉·瓦利亚尼 :
自下而上模拟鸟群和蚁群。 国际期刊软件。 技术工具。 Transf公司。 25 ( 5 ) : 675-691 ( 2023 ) [c33] 罗科·德·尼古拉 , 卢卡·迪·斯特凡诺 , 奥马尔·因弗索 , 塞雷内拉·瓦利亚尼 :
觅食蚂蚁集体行为的直观建模和形式分析。 CMSB公司 2023 : 44-61 [公元32年] 奥马尔·因弗索 , 萨尔瓦托雷·拉托雷 , Gennaro Parlato公司 , 埃梅内吉尔多·托马斯科 :
通过有界树宽行为图验证程序。 欧盟货币体系 2023 : 116-132 [i3] 巴勃罗·克鲁帕 , 奥马尔·因弗索 , Mirco Tribastone公司 , 阿尔贝托·本普拉德 :
箱约束QP问题不动点算法下近似梯度法的证明。 CoRR公司 abs/2303.16786 ( 2023 ) 2022 [公元10年] 斯特拉·西米奇 , 阿尔贝托·本普拉德 , 奥马尔·因弗索 , Mirco Tribastone公司 :
定点算法中的严密误差分析。 形式方面计算。 34 ( 1 ) : 1-32 ( 2022 ) [公元9年] 洛科·德·尼古拉 , 卢卡·迪·斯蒂法诺 , 奥马尔·因弗索 , 阿琳·乌文巴巴齐 :
通过静态分析自动复制元组空间。 科学。 计算。 程序。 223 : 102863 ( 2022 ) [j8] 奥马尔·因弗索 , 埃梅内吉尔多·托马斯科 , 伯恩德·费舍尔 , 萨尔瓦托雷·拉托雷 , Gennaro Parlato公司 :
通过Lazy序列化对多线程程序进行有界验证。 ACM事务处理。 程序。 语言系统。 44 ( 1 ) : 1:1-1:50 ( 2022 ) [j7] 卢卡·迪·斯特凡诺 , 洛科·德·尼古拉 , 奥马尔·因弗索 :
通过顺序仿真验证分布式系统。 ACM事务处理。 柔和。 工程方法。 31 ( 三 ) : 37:1-37:41 ( 2022 ) [公元31年] 洛科·德·尼古拉 , 卢卡·迪·斯特凡诺 , 奥马尔·因弗索 , 塞雷内拉·瓦利亚尼 :
过程代数和鸟群。 从过程代数到时间自动机到模型学习的旅程 2022 : 512-523 [公元30年] 洛科·德·尼古拉 , 卢卡·迪·斯特凡诺 , 奥马尔·因弗索 , 塞雷内拉·瓦利亚尼 :
自下而上的鸟群建模。 ISoLA(3) 2022 : 82-96 [公元29年] 亚历克斯·科托 , 奥马尔·因弗索 , 艾默生销售 , 埃米利奥·托斯托 :
CSeq 3-(竞争贡献)中的数据竞争检测原型。 TACAS(2) 2022 : 413-417 2021 [j6] 奥马尔·因弗索 , 雨果·托雷斯·维埃拉 :
2019年Coordination第21届国际协调模型和语言会议工具文件专刊前言。 科学。 计算。 程序。 204 : 102592 ( 2021 ) [公元28年] 阿琳·乌文巴巴齐 , 奥马尔·因弗索 , 洛科·德·尼古拉 :
通过静态分析自动复制元组空间。 FSEN公司 2021 : 18-34 [公元27年] 斯特拉·西米奇 , 奥马尔·因弗索 , Mirco Tribastone公司 :
定点算法下不连续错误的位精度验证。 SEFM公司 2021 : 443-460 [公元26年] 保罗·阿卡尼 , 奥马尔·因弗索 , 卡蒂亚·特鲁比亚尼 :
不确定性下软件产品线基于模型的自动性能分析。 SPLC(甲) 2021 : 112 2020 [j5] 保罗·阿卡尼 , 奥马尔·因弗索 , 卡蒂亚·特鲁比亚尼 :
不确定性下软件产品线基于模型的自动性能分析。 Inf.柔软。 Technol公司。 127 : 106371 ( 2020 ) 【j4】 洛科·德·尼古拉 , 卢卡·迪·斯特凡诺 , 奥马尔·因弗索 :
具有虚拟污点的多代理系统。 科学。 计算。 程序。 187 : 102345 ( 2020 ) [公元25年] 奥马尔·因弗索 , 埃尔南·梅尔格拉蒂 , 卢卡·帕多瓦尼 , 卡蒂亚·特鲁比亚尼 , 埃米利奥·托斯托 :
二进制会话的概率分析。 CONCUR公司 2020 : 14:1-14:21 [公元24年] 斯特拉·西米奇 , 阿尔贝托·本普拉德 , 奥马尔·因弗索 , Mirco Tribastone公司 :
定点算法中的严密误差分析。 国际单项体育联合会 2020 : 318-336 【c23】 奥马尔·因弗索 , 卡蒂亚·特鲁比亚尼 , 埃米利奥·托斯托 :
集体自适应系统的抽象。 ISoLA(2) 2020 : 243-260 [公元22年] 洛科·德·尼古拉 , 新阳 , 奥马尔·因弗索 :
通过仿真验证AbC规范。 ISoLA(2) 2020 : 261-279 【c21】 奥马尔·因弗索 , 卡蒂亚·特鲁比亚尼 :
多线程程序的并行和分布式有界模型检查。 PPoPP(PPoPP) 2020 : 202-216 [i2] 奥马尔·因弗索 , 埃尔南·梅尔格拉蒂 , 卢卡·帕多瓦尼 , 卡蒂亚·特鲁比亚尼 , 埃米利奥·托斯托 :
二进制会话的概率分析。 CoRR公司 abs/2007.11832 ( 2020 )
2010 – 2019
2019 [公元20年] 卢卡·埃特罗 , 吉安罗伦佐·达安吉洛 , 米歇尔·弗拉米尼 , 奥马尔·因弗索 , 卢多维科·伊奥维诺 , 卡蒂亚·特鲁比亚尼 :
按照德尼古拉的方式,在意大利建立国际计算机科学博士学校。 并发和分布式编程的模型、语言和工具 2019 : 7-12 [第19条] 洛科·德·尼古拉 , 新阳 , 奥马尔·因弗索 , 弗朗科·马扎蒂 :
基于属性的通信系统编程和验证的系统方法。 从软件工程到正式的方法和工具,然后再回来 2019 : 377-396 [第18条] 亚历山德罗·巴列斯特鲁奇 , 洛科·德·尼古拉 , 奥马尔·因弗索 , 卡蒂亚·特鲁比亚尼 :
在推特上识别轻信用户。 囊 2019 : 2096-2103 2018 [j3] 洛科·德·尼古拉 , 卢卡·迪·斯特凡诺 , 奥马尔·因弗索 :
可验证多机器人系统的形式化模型和语言。 前沿机器人AI 5 : 94 ( 2018 ) [注2] 洛科·德·尼古拉 , 新阳 , 奥马尔·因弗索 , 卡蒂亚·特鲁比亚尼 :
AErlang:通过基于属性的通信增强Erlang的能力。 科学。 计算。 程序。 168 : 71-93 ( 2018 ) [第17条] 奥马尔·因弗索 , 阿尔贝托·本普拉德 , Mirco Tribastone公司 :
基于SAT的网络物理控制系统中欺骗攻击的合成。 ICCPS公司 2018 : 1-9 [第16条] 洛科·德·尼古拉 , 卢卡·迪·斯特凡诺 , 奥马尔·因弗索 :
具有虚拟Stigmergy的多代理系统。 STAF研讨会 2018 : 351-366 [i1] 洛科·德·尼古拉 , 卢卡·迪·斯特凡诺 , 奥马尔·因弗索 :
可验证多机器人系统的形式化模型和语言。 CoRR公司 abs/1804.08091 ( 2018 ) 2017 [j1] 康斯坦丁·埃纳 , 彼得·哈贝梅尔 , 奥马尔·因弗索 , Gennaro Parlato公司 :
关于整数线性规划的路径宽度。 Inf.计算。 253 : 257-271 ( 2017 ) [第15条] 洛科·德·尼古拉 , 新阳 , 奥马尔·因弗索 , 弗兰科·马赞蒂 :
验证依赖于基于属性的通信的系统的属性。 建模教育、测试教育、信任教育 2017 : 169-190 [第14条] 洛科·德·尼古拉 , 新阳 , 奥马尔·因弗索 , 卡蒂亚·特鲁比亚尼 :
AErlang:通过基于属性的通信增强Erlang的能力。 协调 2017 : 21-39 [第13条] 洛科·德·尼古拉 , 新阳 , 奥马尔·因弗索 , 卡蒂亚·特鲁比亚尼 :
AErlang在工作。 SOFSEM公司 2017 : 485-497 [第12条] Truc L.Nguyen公司 , 奥马尔·因弗索 , 伯恩德·费舍尔 , 萨尔瓦托雷·拉托雷 , Gennaro Parlato公司 :
Lazy-CSeq 2.0:将Lazy序列化与抽象解释相结合-(竞争贡献)。 TACAS(2) 2017 : 375-379 2016 [第11条] 埃梅内吉尔多·托马斯科 , Truc L.Nguyen公司 , 奥马尔·因弗索 , 伯恩德·费舍尔 , 萨尔瓦托雷·拉托雷 , Gennaro Parlato公司 :
通过共享内存抽象实现TSO和PSO的延迟序列化。 FMCAD公司 2016 : 193-200 [第10条] 埃梅内吉尔多·托马斯科 , Truc L.Nguyen公司 , 奥马尔·因弗索 , 伯恩德·费舍尔 , 萨尔瓦托雷·拉托雷 , Gennaro Parlato公司 :
MU-CSeq 0.4:个人记忆位置解缠-(竞争贡献)。 墨西哥玉米饼 2016 : 938-941 2015 【b1】 奥马尔·因弗索 :
通过序列化对多线程程序进行有界模型检查。 英国南安普顿大学, 2015 【c9】 奥马尔·因弗索 , Truc L.Nguyen公司 , 伯恩德·费舍尔 , 萨尔瓦托雷·拉托雷 , Gennaro Parlato公司 :
Lazy-CSeq:用于多线程C程序的基于上下文的模型检查工具。 ASE公司 2015 : 807-812 【c8】 埃梅内吉尔多·托马斯科 , 奥马尔·因弗索 , 伯恩德·费舍尔 , 萨尔瓦托雷·拉托雷 , Gennaro Parlato公司 :
MU-CSeq 0.3:通过阅读暗示和粗训练记忆展开进行序列化-(竞争贡献)。 墨西哥玉米饼 2015 : 436-438 【c7】 埃梅内吉尔多·托马斯科 , 奥马尔·因弗索 , 伯恩德·费舍尔 , 萨尔瓦托雷拉托雷 , Gennaro Parlato公司 :
通过内存展开验证并发程序。 墨西哥玉米饼 2015 : 551-565 2014 【c6】 奥马尔·因弗索 , 埃梅内吉尔多·托马斯科 , 伯恩德·费舍尔 , 萨尔瓦托雷·拉托雷 , Gennaro Parlato公司 :
通过延迟序列化对多线程C程序进行有界模型检查。 CAV汽车 2014 : 585-602 【c5】 奥马尔·因弗索 , 埃梅内吉尔多·托马斯科 , 伯恩德·费舍尔 , 萨尔瓦托雷·拉托雷 , 根纳罗·帕拉托 :
Lazy-CSeq:用于C-(竞争贡献)的Lazy-Sequentialization工具。 墨西哥玉米饼 2014 : 398-401 【c4】 埃尔梅内吉尔多·托马斯科 , 奥马尔·因弗索 , 伯恩德·费舍尔 , 萨尔瓦托雷·拉托雷 , Gennaro Parlato公司 :
MU-CSeq:通过共享内存解卷实现C程序的序列化(竞争贡献)。 墨西哥玉米饼 2014 : 402-404 【c3】 康斯坦丁·埃纳 , 彼得·哈贝梅尔 , 奥马尔·因弗索 , Gennaro Parlato公司 :
关于整数线性规划的路径宽度。 甘道夫 2014 : 74-87 2013 【c2】 伯恩德·费舍尔 , 奥马尔·因弗索 , Gennaro Parlato公司 :
CSeq:用于顺序C验证工具的并发预处理器。 ASE公司 2013 : 710-713 【c1】 伯恩德·费舍尔 , 奥马尔·因弗索 , Gennaro Parlato公司 :
CSeq:C-(竞争贡献)的序列化工具。 墨西哥玉米饼 2013 : 616-618
合著者索引
![](https://dblp.org/img/cog.dark.24x24.png)