奥利维尔·波西尼
人员信息
优化列表
2010 – 2019
2016 [j3] 奥利维尔·波西尼 , 克劳德·米歇尔 , 米歇尔·鲁赫 :
使用约束编程和抽象解释技术验证浮点程序。 自动。 柔和。 工程师。 23 ( 2 ) : 191-217 ( 2016 ) 2014 [注2] 赫莱内·科拉维扎 , 阮黎文 , 奥利维尔·波西尼 , 米歇尔·鲁赫 , 安托万卷轴 :
基于约束的BMC:一种回跳策略。 国际期刊软件。 技术工具。 Transf公司。 16 ( 1 ) : 103-121 ( 2014 ) 【c8】 赫莱内·科拉维扎 , 克劳德·米歇尔 , 奥利维尔·波西尼 , 米歇尔·鲁赫 :
在浮点数程序的可疑间隔内生成测试用例。 CSTVA公司 2014 : 7-11 2012 【c7】 奥利维尔·波西尼 , 克劳德·米歇尔 , 米歇尔·鲁赫 :
使用约束编程技术改进基于抽象解释的价值分析。 人物配对关系 2012 : 593-607 【c6】 奥利维尔·波西尼 , 克劳德·米歇尔 , 米歇尔·鲁赫 :
结合约束编程和抽象解释进行浮点程序的值分析。 ICST公司 2012 : 775-776 2010 【c5】 奥利维尔·波西尼 , 海伦·科拉维扎 , 卡琳·费德勒 , 克劳德·米歇尔 , 米歇尔·鲁赫 :
循环不变量的自动验证。 ICSM公司 2010 : 1-5
2000 – 2009
2009 【c4】 休伯特·加拉维 , 克劳德·赫尔姆斯特特 , 奥利维尔·波西尼 , 温德林·塞维 :
使用LOTOS和CADP验证工业SystemC/TLM模型。 记忆码 2009 : 46-55 2008 【c3】 奥利维尔·波西尼 , 温德林·塞维 :
通过翻译为LOTOS在SystemC中编写的TLM模型的无调度语义。 FM公司 2008 : 278-293 【c2】 克劳德·赫尔姆斯特特 , 奥利维尔·波西尼 :
用于形式验证的两种SystemC/TLM语义的比较。 记忆码 2008 : 59-68 2005 【b1】 奥利维尔·波西尼 :
设计方案的改进与逻辑方程式的冲突。 (从命令式程序到用于正确性验证的方程式逻辑)。 法国尼斯索菲亚·安蒂波利斯大学, 2005 [j1] 奥利维尔·波西尼 , 卡琳·费德勒 , 埃马纽埃尔·库纳利斯 :
将命令式程序重写为逻辑方程式。 科学。 计算。 程序。 56 ( 三 ) : 363-401 ( 2005 ) 2002 【c1】 奥利维尔·波西尼 :
Réécriteure de programs C-enéquations逻辑。 JFPLC公司 2002 : 241-