Jean-Claude Royer女士
人员信息
优化列表
2020年-今天
2020 [公元44年] 伊马德·贝鲁因 , 迈赫迪·阿达 , Jean-Marie Mottu女士 , Jean-Claude Royer女士 , 马西莫·蒂西 :
解决物联网互操作性问题的模型驱动方法。 美国国家航空航天局 2020 : 1162-1175
2010 – 2019
2019 [公元43年] 伊马德·贝鲁因 , 迈赫迪·阿达 , Jean-Marie Mottu女士 , Jean-Claude Royer女士 , 马西莫·蒂西 :
CyprIoT:基于网络的物联网应用建模和控制框架。 囊 2019 : 832-841 [公元42年] 郑成 , Jean-Claude Royer女士 , 马西莫·蒂西 :
消除基于规则的策略中的问题。 秒 2019 : 120-133 2018 [公元41年] 郑成 , Jean-Claude Royer女士 , 马西莫·蒂西 :
有效描述基于规则的系统的未定义请求。 国际单项体育联合会 2018 : 69-88 [公元40年] 伊马德·贝鲁因 , 迈赫迪·阿达 , Jean-Marie Mottu女士 , Jean-Claude Royer女士 , 马西莫·蒂西 :
面向物联网的基于模型的通信控制。 STAF研讨会 2018 : 644-655 2017 [公元39年] 瓦利德·本哈布利特 , Jean-Claude Royer女士 , 安德森·桑塔娜·德·奥利维拉 :
使用AccLab实现自然语言责任政策规范:笔记本电脑政策用例。 PRIMA护理质量 2017 : 35-42 2016 [公元38年] Jean-Claude Royer女士 , 安德森·桑塔娜·德·奥利维拉 :
策略中的AAL和静态冲突检测。 罐 2016 : 367-382 2015 [公元37年] 瓦利德·本哈布利特 , HervéGrall公司 , Jean-Claude Royer女士 , 穆罕默德·塞拉米 :
抽象责任语言:翻译、合规和应用。 亚太经合组织 2015 : 214-221 [公元36年] 瓦利德·本哈布利特 , 埃尔维·格雷尔 , Jean-Claude Royer女士 , 穆罕默德·塞拉米 :
与证明人核实责任。 COMPSAC公司 2015 : 83-88 2014 [公元35年] 瓦利德·本哈布利特 , 埃尔维·格雷尔 , Jean-Claude Royer女士 , 穆罕默德·塞拉米 , 莫尼尔·阿扎维 , 考塔尔·埃尔基亚维 , 梅勒克·奥宁 , 安德森·桑塔纳-德奥利维拉 , 卡琳·伯恩斯梅德 :
从监管义务到云中可执行的问责政策。 CLOSER(精选论文) 2014 : 134-150 [公元34年] 瓦利德·本哈布利特 , 埃尔维·格雷尔 , Jean-Claude Royer女士 , 穆罕默德·塞拉米 , 莫尼尔·阿兹拉维 , 考塔尔·埃尔基亚维 , 梅勒克·奥宁 , 安德森·桑塔娜·德·奥利维拉 , 卡琳·伯恩斯梅德 :
云责任政策表示框架。 更接近 2014 : 489-498 [公元33年] 瓦利德·本哈布利特 , 埃尔维·格雷尔 , Jean-Claude Royer女士 , 穆罕默德·塞拉米 :
抽象组件设计的责任。 欧微-东南亚 2014 : 213-220 [公元32年] 瓦利德·本哈布利特 , 埃尔维·格雷尔 , Jean-Claude Royer女士 , 穆罕默德·塞拉米 , 卡琳·伯恩斯梅德 , 安德森·桑塔娜·德·奥利维拉 :
抽象责任语言。 国际警察联合会 2014 : 229-236 [公元31年] 穆罕默德·塞拉米 , Jean-Claude Royer女士 , 安德森·桑塔娜·德·奥利维拉 :
软件和云服务隐私和责任跟踪报告(PASCS 2014)。 WETICE公司 2014 : 332 2013 [公元30年] Ronan-Alexandre Cherrueau公司 , 雷米·杜恩斯 , Jean-Claude Royer女士 , 马里奥·苏霍尔特 , 安德森·桑塔纳-德奥利维拉 , 伊夫·鲁迪尔 , 马蒂奥·德尔·阿米科 :
OAuth 2.0中的安全性和互操作性参考监控器。 DPM/SETOP公司 2013 : 235-249 [公元29年] 阿克拉姆·阿朱利 , 朱利安·科恩 , Jean-Claude Royer女士 :
Java中复合实现和访问者实现之间的转换。 欧微-东南亚 2013 : 25-32 [公元28年] 戴安娜·阿拉姆 , 埃尔维·格雷尔 , Jean-Claude Royer女士 :
Web服务面向对象框架中的替代原则:从失败到成功。 iiWAS公司 2013 : 250 [公元27年] 戴安娜·阿拉姆 , 埃尔维·格雷尔 , Jean-Claude Royer女士 :
从面向对象编程到面向服务计算——如何通过保留子类型来提高互操作性。 网络漫画家 2013 : 169-173 [i1] 阿克拉姆·阿朱利 , 朱利安·科恩 , Jean-Claude Royer女士 :
Java中Composite和Visitor实现之间的转换。 CoRR公司 abs/1309.3235 ( 2013 ) 2012 [c26] 戴安娜·阿拉姆 , 雷米·杜恩斯 , 埃尔维·格雷尔 , Jean-Claude Royer女士 , 马里奥·苏霍尔特 :
面向服务计算的消息传递模型。 WEBIST公司 2012 : 136-142 2011 [公元25年] 雨果·阿博列达 , Jean-Claude Royer女士 :
通信完整性规则驱动的Java遗留代码中的组件类型限定。 国际标准化委员会 2011 : 155-164 2010 [公元11年] 尼古拉·安奎蒂尔 , UiráKulesza , 拉尔夫·米施克 , 安娜·莫雷拉 , Jean-Claude Royer女士 , 安德烈亚斯·伦姆勒 , 安德烈·索萨 :
软件产品线的模型驱动跟踪框架。 柔和。 系统。 模型。 9 ( 4 ) : 427-451 ( 2010 ) [公元24年] 雨果·阿博列达 , 胡安·弗朗西斯科·迪亚斯 , 维克托·巴尔加斯 , Jean-Claude Royer女士 :
模型驱动SPL派生的自动推理。 SPLC研讨会 2010 : 181-188
2000 – 2009
2009 【c23】 雨果·阿博列达 , 安德烈斯·罗梅罗 , 鲁比·卡萨勒斯 , Jean-Claude Royer女士 :
使用决策模型的模型驱动软件产品线中的产品衍生。 CIbSE公司 2009 : 59-72 [公元22年] 亚历山大·费尔南德斯(Fabrício de Alexandria Fernandes) , 罗宾·帕萨玛 , Jean-Claude Royer女士 :
具有复杂绑定的组件的事件严格性。 国际标准化委员会 2009 : 47-56 【c21】 雨果·阿博列达 , 鲁比·卡萨勒斯 , Jean-Claude Royer女士 :
处理模型驱动SPL中的细粒度配置。 苏丹人民解放军 2009 : 1-10 [公元20年] 尼古拉·安奎蒂尔 , Jean-Claude Royer女士 , 帕斯卡·安德烈 , 吉尔斯·阿尔杜雷尔 , 彼得·赫内特林卡 , Tomás Poch公司 , 德拉戈斯·彼得拉斯库 , 弗拉迪拉·佩特拉斯库 :
JavaCompExt:从Java源代码中提取架构元素。 WCRE公司 2009 : 317-318 2008 [公元10年] 尼古拉·安奎蒂尔 , 雨果·阿博列达 , 亚历山大·费尔南德斯 , 安吉尔·努涅斯 , Jean-Claude Royer女士 :
生产物流和商业物流。 Obj.Logiciel Base donées Réseaux医院 14 ( 三 ) : 15月31日 ( 2008 ) 2007 [第19条] 亚历山大·费尔南德斯(Fabrício de Alexandria Fernandes) , 罗宾·帕萨马 , Jean-Claude Royer女士 :
带符号转换系统的组件:交会的Java实现。 注册会计师 2007 : 89-107 [第18条] 亚历山大·费尔南德斯(Fabrício de Alexandria Fernandes) , Jean-Claude Royer女士 :
STSLib项目:基于STS的正式组件模型。 FACS公司 2007 : 131-149 2006 [公元9年] 帕斯卡·波扎特 , Jean-Claude Royer女士 :
基于符号转换系统和时间逻辑的形式化体系结构描述语言。 J.大学。 计算。 科学。 12 ( 12 ) : 1741-1782 ( 2006 ) [第17条] 帕斯卡·波扎特 , Jean-Claude Royer女士 , 格温·萨拉恩 :
组件行为描述的有界分析和分解。 FMOODS公司 2006 : 33-47 2005 [第16条] 塞巴斯蒂安·帕维尔 , 雅克·诺伊 , 帕斯卡·波扎特 , Jean-Claude Royer女士 :
具有显式符号协议的组件模型的Java实现。 SC@ETAPS(预计到达时间) 2005 : 115-124 2004 [j8] Jean-Claude Royer女士 :
检查类架构的可用性。 J.对象技术。 三 ( 1 ) : 157-176 ( 2004 ) [第15条] 奥利维尔·马雷查尔 , 帕斯卡·波扎特 , Jean-Claude Royer女士 :
使用符号转换系统检查异步通信组件。 CoopIS/DOA/ODBASE(2) 2004 : 1502-1519 [第14条] Jean-Claude Royer女士 :
GAT时序逻辑的框架。 IASSE公司 2004 : 275-280 [第13条] 塞巴斯蒂安·帕维尔 , 雅克·诺伊 , Jean-Claude Royer女士 :
ArchJava中软件产品线的动态配置。 苏丹人民解放军 2004 : 90-109 2003 [j7] Jean-Claude Royer女士 :
指定混合系统的GAT方法。 Informatica(斯洛文尼亚) 27 ( 1 ) : 89-104 ( 2003 ) [c12] Jean-Claude Royer女士 , 迈克尔·徐 :
分析异步通信组件的邮箱。 OTM公司 2003 : 1421-1438 2002 [j6] 帕斯卡·波扎特 , Jean-Claude Royer女士 :
不确定命题构成形式。 Obj.Logiciel Base donées Réseaux医院 8 ( 1-2 ) : 231-245 ( 2002 ) [j5] Jean-Claude Royer女士 :
类语义的一种操作方法:在类型检查中的应用。 程序。 计算。 柔和。 28 ( 三 ) : 127-147 ( 2002 ) [第11条] 米歇尔·阿勒曼德 , Jean-Claude Royer女士 :
将正式规范与PVS混合。 IPDPS公司 2002 2001 【b1】 Jean-Claude Royer女士 :
概念和模型是分析和概念对象的基础。 (面向对象分析和设计的形式化概念和模型)。 法国南特大学, 2001 【j4】 克莉丝汀·肖比 , 帕斯卡·波扎特 , Jean-Claude Royer女士 :
科尔里根环境。 J.大学。 计算。 科学。 7 ( 1 ) : 19-36 ( 2001 ) [第10条] 克莉丝汀·肖比 , 帕斯卡·波扎特 , Jean-Claude Royer女士 :
Korrigan混合成分的形式规范。 亚太经合组织 2001 : 169-176 [c9] 克莉丝汀·肖比 , 帕斯卡·波扎特 , Jean-Claude Royer女士 :
基于UML-Inspired图形符号的KORRIGAN混合系统规范。 法国 2001 : 124-139 【c8】 Jean-Claude Royer女士 :
混合系统的形式规范和证明技术。 IPDPS公司 2001 : 151 2000 【c7】 克莉丝汀·肖比 , 帕斯卡·波扎特 , Jean-Claude Royer女士 :
视图的全局语义。 AMAST公司 2000 : 165-180 【c6】 帕斯卡·安德烈 , Annya Romanczuk公司 , Jean-Claude Royer女士 , 阿琳·瓦康塞洛斯 :
UML类图的代数视图。 LMO公司 2000 : 261-276 【c5】 帕斯卡·安德烈 , Annya Romanczuk公司 , Jean-Claude Royer女士 :
使用Larch Provider检查UML类图的一致性。 严格的面向对象方法 2000
1990 – 1999
1999 [j3] Jean-Claude Royer女士 :
编辑。 Obj.Logiciel Base donées Réseaux医院 5 ( 3/4 ) ( 1999 ) 【c4】 帕斯卡·波扎特 , 克莉丝汀·肖比 , Jean-Claude Royer女士 :
从非正式需求到COOP:一种并发自动机方法。 形式方法世界大会 1999 : 939-962 1998 [注2] Jean-Claude Royer女士 :
编辑。 Obj.Logiciel Base donées Réseaux医院 4 ( 1 ) ( 1998 ) [j1] Jean-Claude Royer女士 :
面向对象程序的类型检查:问题的核心和一些解决方案。 J.面向对象程序。 11 ( 6 ) : 58-66, 71 ( 1998 ) 【c3】 帕斯卡·波扎特 , 克莉丝汀·肖比 , Jean-Claude Royer女士 :
并发和数据类型:一种规范方法:以LOTOS为例。 WADT(瓦特) 1998 : 277-292 1992 【c2】 帕斯卡·安德烈 , Jean-Claude Royer女士 :
使用查找缓存和增量着色优化方法搜索。 OOPSLA公司 1992 : 110-126 【c1】 让·贝齐文 , 奥利维尔·F·鲁 , Jean-Claude Royer女士 :
教授面向对象编程或使用对象模型教授软件工程。 OOPSLA补遗 1992 : 269-276