亚尼斯·塞拉米
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年-今天
2024 [j1] 亚尼斯·塞拉米 , 纪尧姆·吉罗尔 , Frédéric药片 , 达米安·库鲁塞 , 塞巴斯蒂安·巴丁 :
鲁棒可达性约束的推断。 程序。 ACM计划。 语言。 8 ( POPL公司 ) : 2731-2760 ( 2024 ) 2020 【b1】 亚尼斯·塞拉米 :
外推推理模理论及其在程序验证中的应用。 (绑架模块的提出和程序验证的应用)。 法国格勒诺布尔阿尔卑斯大学, 2020
2010 – 2019
2019 【c2】 Mnacho Echenim公司 , 尼古拉斯·佩尔蒂埃 , 亚尼斯·塞拉米 :
Ilinva:使用诱拐生成循环不变量。 FroCos公司 2019 : 第77页至第93页 [i2] Mnacho Echenim公司 , 尼古拉斯·佩尔蒂埃 , 亚尼斯·塞拉米 :
Ilinva:使用诱拐生成循环不变量。 CoRR公司 abs/1906.11033 ( 2019 ) 2018 【c1】 Mnacho Echenim公司 , 尼古拉斯·佩尔蒂埃 , 亚尼斯·塞拉米 :
蕴涵生成模理论的一般框架。 国际JCAR 2018 : 279-294 [i1] Mnacho Echenim公司 , 尼古拉斯·佩尔蒂埃 , 亚尼斯·塞拉米 :
蕴涵生成模理论的一般框架。 CoRR公司 abs/1807.04557 ( 2018 )
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)