雷诺德·里奥博奥
人员信息
优化列表
2020年–今天
2021 [j7] 梅萨乌德·阿巴斯 , 雷诺德·里奥博奥 , 乔克里·比·本·耶尔斯 , 科林·F·斯努克 :
使用FoCaLiZe对UML活动图(UAD)进行形式化建模和验证。 J.系统。 阿基特。 114 : 101911 ( 2021 ) 2020 [j6] 阿巴斯(Messaoud Abbas) , 乔克里·比·本·耶尔斯 , 雷诺德·里奥博奥 :
使用FoCaLiZe规范化UML/OCL结构特征。 软计算。 24 ( 6 ) : 4149-4164 ( 2020 )
2010 – 2019
2018 [j5] 阿巴斯(Messaoud Abbas) , 乔克里·比·本·耶尔斯 , 雷诺德·里奥博奥 :
使用FoCaLiZe建模UML状态机。 国际期刊信息通讯。 技术。 13 ( 1 ) : 34-54 ( 2018 ) 2014 [第11条] 阿巴斯(Messaoud Abbas) , 乔克里·比·本·耶尔斯 , 雷诺德·里奥博奥 :
从UML模型生成FoCaLiZe规范。 ICAASE酶 2014 : 157-164 [第10条] 阿巴斯(Messaoud Abbas) , 乔克里·比·本·耶尔斯 , 雷诺德·里奥博奥 :
使用FoCaLiZe建模UML模板类。 国际单项体育联合会 2014 : 87-102 【c9】 凯瑟琳·杜布瓦 , 雷诺德·里奥博奥 :
使用FoCaLiZe环境验证功能迭代器。 SEFM公司 2014 : 317-331 2013 【c8】 Truong Giang Le公司 , 奥利维尔·赫曼特 , 马蒂厄·曼奇尼 , 雷诺德·鲍拉克(Renaud Pawlak) , 雷诺德·里奥博奥 :
使用基于事件的样式开发M2M应用程序。 通用产品代码 2013 : 348-357 【c7】 Truong Giang Le公司 , 德米特里·费多索夫 , 奥利维尔·赫曼特 , 马蒂厄·曼奇尼 , 雷诺德·鲍拉克(Renaud Pawlak) , 雷诺德·里奥博奥 :
用事件为机器人编程。 IESS软件 2013 : 14-25 2012 【c6】 Truong Giang Le公司 , 奥利维尔·赫曼特 , 马蒂厄·曼奇尼 , 雷诺德·鲍拉克(Renaud Pawlak) , 雷诺德·里奥博奥 :
统一基于事件和基于规则的样式以开发并发和上下文软件反应式应用程序-为并发和反应式编程提供方便的支持。 ICSOFT公司 2012 : 347-350 【c5】 达米安·多利盖兹 , 马修·尧姆 , 雷诺德·里奥博奥 :
通过在面向对象的编程环境中混合程序、规范和证明来开发安全系统:FoCaLiZe环境中的一个案例研究。 普拉斯 2012 : 9 2010 [电子1] 谢尔盖·奥特谢尔 , 雅克·卡尔梅特 , 大卫·德拉海耶 , 帕特里克·D·F·伊昂 , 劳伦斯·里多 , 雷诺德·里奥博奥 , 艾伦·P·塞克斯顿 :
智能计算机数学,第十届国际会议,AISC 2010,第十七届研讨会,Calculemus 2010,以及第九届国际会议(MKM 2010,法国巴黎,2010年7月5日至10日)。 诉讼程序。 计算机科学课堂讲稿 6167, 施普林格 2010 ,国际标准图书编号 978-3-642-14127-0 [目录]
2000 – 2009
2009 【j4】 雷诺德·里奥博奥 :
FoCaL语言的不变量。 安。数学。 Artif公司。 智力。 56 ( 3-4 ) : 273-296 ( 2009 ) 2004 [j3] 塞雷斯·哈丁 , 雷诺德·里奥博奥 :
数学问题研究。 Obj.Logiciel Base donées Réseaux医院 10 ( 4 ) : 83-118 ( 2004 ) 2003 [注2] 雷诺德·里奥博奥 :
朝向更快的实代数数。 J.塞姆。 计算。 36 ( 3-4 ) : 513-533 ( 2003 ) 2002 【c4】 雷诺德·里奥博奥 :
朝着更快的实数代数方向发展。 ISSAC公司 2002 : 221-228
1990 – 1999
1999 【c3】 西尔万·博尔梅 , 塞雷斯·哈丁 , 丹尼尔·赫希科夫 , 瓦莱里·梅尼西尔·莫兰 , 雷诺德·里奥博奥 :
在认证计算机代数系统的路上。 结石 1999 : 370-385 1995 【c2】 马克·莫雷诺·马扎 , 雷诺德·里奥博奥 :
代数扩张塔上的多项式Gcd计算。 AAECC公司 1995 : 365-382 1992 [c1] 雷诺德·里奥博奥 :
有序域的实代数闭包:在中的实现 公理 . ISSAC公司 1992 : 206-215 1990 [j1] 丹尼尔·拉扎德 , 雷诺德·里奥博奥 :
有理函数的集成:对数部分的有理计算。 J.塞姆。 计算。 9 ( 2 ) : 113-115 ( 1990 )