罗杰·维尔梅尔
人员信息
优化列表
2020年–今天
2024 [公元14年] 迪米特里·普雷斯塔特 , 纳乌埃尔·穆哈 , 罗杰·维尔梅尔 , 弗洛伦特·阿维兰达 :
DynAMICS:一种基于工具的Android行为代码气味规范和动态检测方法。 IEEE传输。 软件工程。 50 ( 4 ) : 765-784 ( 2024 ) [公元32年] 弗洛伦特·阿维兰达 , 罗杰·维尔梅尔 :
委托-布尔矩阵分解的降级。 AAAI公司 2024 : 20632-20639 2022 [j13] 迪米特里·普雷斯塔特 , 纳乌埃尔·穆哈 , 罗杰·维尔梅尔 :
安卓行为代码气味检测的实证研究。 恩皮尔。 柔和。 工程师。 27 ( 7 ) : 179 ( 2022 ) [公元31年] 弗洛伦特·阿维兰达 , 罗杰·维尔梅尔 :
使用MaxSAT的Undercover布尔矩阵分解。 AAAI公司 2022 : 3672-3681 【d1】 迪米特里·普雷斯塔特 , 纳乌埃尔·穆哈 , 罗杰·维尔梅尔 , 弗洛伦特·阿维兰达 :
DynAMICS:一种基于工具的方法,用于规范和动态检测Android行为代码气味。 IEEE数据端口 , 2022 2021 [公元30年] 史蒂夫·鲍彻 , 罗杰·维尔梅尔 :
成就游戏的量化布尔运算。 KI公司 2021 : 30-43 [i3] 弗洛伦特·阿维兰达 , 罗杰·维勒梅尔 :
SAT和MaxSAT的布尔矩阵分解。 CoRR公司 abs/2106.10105 ( 2021 ) 2020 [公元29年] 丹尼斯·J·德隆 , 罗杰·维尔梅尔 , 谢尔盖·罗伯特 :
大玩家:推特社区推特关于全球变暖的情绪。 加拿大人工智能 2020 : 189-200
2010 – 2019
2019 [公元28年] 贝诺伊·波特文 , 罗杰·维尔梅尔 :
基于无监督视觉验证的稳健Web数据提取。 ACIIDS(1) 2019 : 77-89 2018 [公元27年] 贝诺伊·波特文 , 罗杰·维尔梅尔 :
当差异是错误的:Web信息提取的可视化无监督验证。 MLDM(2) 2018 : 132-146 2017 [公元12年] 埃里克·卢诺德·恩古佩 , Clément Parisot公司 , 西尔万·斯托塞尔 , 佩特科·瓦尔切夫 , 罗杰·维尔梅尔 , 奥马尔·切尔考伊 , 皮埃尔·鲍彻 , 西尔万·霍尔 :
网络设备配置正确性的声明性方法。 J·奈特。 系统。 管理。 25 ( 1 ) : 180-209 ( 2017 ) [电子1] 西尔万·霍尔 , 罗杰·维尔梅尔 , 罗伯特·拉格斯特伦 :
2017年10月10日至13日,加拿大魁北克省魁北克市,第21届IEEE国际企业分布式对象计算会议,EDOC 2017。 IEEE计算机学会 2017 ,国际标准图书编号 978-1-5090-3045-3 [目录] 2016 [公元26年] 贝诺伊·波特文 , 罗杰·维尔梅尔 , 恩哥克Tan Le :
一种基于位置的PDF文档中财务信息提取方法。 ADCS公司 2016 : 9-16 2015 [公元11年] 罗杰·维尔梅尔 :
同质性和修复点:继续前进! J.塞姆。 日志。 80 ( 2 ) : 636-660 ( 2015 ) [i2] 罗杰·维尔梅尔 :
逻辑建模。 CoRR公司 abs/1507.03686 ( 2015 ) 2014 [公元10年] 皮埃尔·伊利 , 罗杰·维勒梅尔 :
从素子图中识别素数图。 谨慎。 数学。 327 : 76-90 ( 2014 ) 2013 [公元25年] 西尔万·霍尔 , 埃里克·卢诺德·恩古佩 , 罗杰·维尔梅尔 , 奥马尔·切尔考伊 :
通过LTL模型检查进行分布式防火墙异常检测。 感应电动机 2013 : 194-201 [i1] 安东尼·莫内 , 罗杰·维尔梅尔 :
使用断言级选择启发式的高效部分顺序CDCL。 CoRR公司 abs/1301.7676 ( 2013 ) 2012 [公元9年] 罗杰·维尔梅尔 , 西尔万·霍尔 :
关于可见性的推理。 J.应用。 日志。 10 ( 2 ) : 163-178 ( 2012 ) [j8] 西尔万·霍尔 , 罗杰·维勒梅尔 , 奥马尔·切尔考伊 , 鲁迪·迪卡 :
数据软件自动序列生成的逻辑方法。 事务处理。 计算。 科学。 15 : 192-216 ( 2012 ) [j7] 西尔万·霍莱 , 罗杰·维尔梅尔 :
Web服务消息契约与数据的运行时强制。 IEEE传输。 服务。 计算。 5 ( 2 ) : 192-206 ( 2012 ) [公元24年] 安东尼·莫内 , 罗杰·维尔梅尔 :
通过部分订购减少破坏性回溯的CDCL。 IJCAR的PAAR 2012 : 124-138 【c23】 西尔万·霍尔 , 罗杰·维尔梅尔 :
基于约束的有状态web服务调用:蜂鸣存储(案例研究)。 PESOS@ICSE公司 2012 : 61-62 [公元22年] 巴萨姆·科尔卡尼 , 西尔万·霍尔 , 罗杰·维尔梅尔 :
使用模型检查器检测可见性逻辑的防火墙异常。 NOMS公司 2012 : 466-469 【c21】 西尔万·霍尔 , 埃里克·卢诺德·恩古佩 , 盖坦·尼达姆 , 奥马尔·切尔考伊 , 佩特科·瓦尔切夫 , 罗杰·维尔梅尔 :
ValidMaker:使用逻辑约束管理设备配置的工具。 化名 2012 : 1111-1118 2010 [j6] 西尔万·霍莱 , 特夫菲克·布尔坦 , 休斯 , 穆阿特·阿尔哈拉夫 , 罗杰·维尔梅尔 :
Web服务接口契约的运行时验证。 电脑类 43 ( 三 ) : 59-66 ( 2010 ) [公元20年] 安东尼·莫内 , 罗杰·维尔梅尔 :
命题可满足性的可缩放公式分解。 C3S2E型 2010 : 43-52 [第19条] 西尔万·霍尔 , 罗杰·维尔梅尔 :
Web的运行时验证-Web应用程序中接口契约的教程介绍。 RV汽车 2010 : 106-121
2000 – 2009
2009 [j5] 西尔万·霍尔 , 罗杰·维勒梅尔 , 奥马尔·切尔考伊 :
指定和验证数据软件临时Web服务属性。 IEEE传输。 软件工程。 35 ( 5 ) : 669-683 ( 2009 ) [第18条] 西尔万·霍尔 , 罗杰·维尔梅尔 :
使用BeepBeep在Web应用程序中基于浏览器的接口契约强制执行。 CAV汽车 2009 : 648-653 [第17条] 西尔万·霍尔 , 罗杰·维尔梅尔 :
使用运行时监控实现灵活可靠的消息传递。 EDOCW公司 2009 : 116-125 [第16条] 西尔万·霍尔 , 罗杰·维尔梅尔 :
使用流式XML对web服务编排进行运行时监控。 囊 2009 : 2118-2125 [第15条] 罗杰·维尔梅尔 , 西尔万·霍尔 :
基于规则过滤器的强时间逻辑和弱空间逻辑。 时间 2009 : 115-121 2008 [第14条] 西尔万·霍尔 , 罗杰·维尔梅尔 :
使用数据对基于消息的工作流进行运行时监视。 EDOC公司 2008 : 63-72 [第13条] 西尔万·霍尔 , 罗杰·维尔梅尔 :
用数据验证消息跟踪的时间属性的XML方法。 OTM会议(1) 2008 : 337-353 [第12条] 西尔万·霍尔 , 罗杰·维尔梅尔 :
通过分支时间减少来满足XQuery的片段。 时间 2008 : 72-76 2007 [第11条] 西尔万·霍尔 , 罗杰·维尔梅尔 , 奥马尔·切尔考伊 , 布布克·甘杜尔 :
使用CTL-FO+对数据软件工作流属性进行模型检查。 EDOC公司 2007 : 267-278 [c10] 西尔万·霍尔 , 罗杰·维尔梅尔 , 奥马尔·切尔考伊 , 杰尔·特伦布雷 , 布布克·甘杜尔 :
将模型检查扩展到Web服务的数据软件时态属性。 WS-FM公司 2007 : 31-45 2006 【c9】 西尔万·霍尔 , 埃里克·韦纳斯 , 罗杰·维尔梅尔 , 奥马尔·切尔考伊 :
使用配置逻辑对网络设备进行自我配置。 自主网络 2006 : 36-49 【c8】 西尔万·霍莱 , 罗杰·维尔梅尔 , 奥马尔·切尔考伊 :
标签树查询的CTL模型检查。 时间 2006 : 27-35 2005 【c7】 西尔万·霍尔 , 鲁迪·迪卡 , 奥马尔·切尔考伊 , 罗杰·维勒梅尔 , 丹尼尔·普切 :
对网络配置的时间方面进行建模。 Net-Con公司 2005 : 269-282 【c6】 罗杰·维尔梅尔 , 西尔万·霍尔 , 奥马尔·切尔考伊 :
配置逻辑:一种多模态逻辑。 时间 2005 : 131-137 2004 【c5】 西尔万·霍尔 , 鲁迪·迪卡 , 奥马尔·切尔考伊 , 罗杰·维尔梅尔 , 丹尼尔·普切 :
Netconf协议的形式化验证模型。 DSOM公司 2004 : 147-158 【c4】 西尔万·霍尔 , 鲁迪·迪卡 , 奥马尔·切尔考伊 , 罗杰·维尔梅尔 :
网络设备上服务配置的自动验证。 MMNS公司 2004 : 176-188 2002 【c3】 罗杰·维尔梅尔 :
命题Mu-Calculus的近似语义。 MFCS公司 2002 : 637-650
1990 – 1999
1996 【j4】 克里斯蒂安·米肖 , 罗杰·维尔梅尔 :
Presburger算法与自动机对自然数集的识别:Cobham定理和Semenov定理的新证明。 Ann.纯粹应用。 日志。 77 ( 三 ) : 251-277 ( 1996 ) 1993 【c2】 克里斯蒂安·米肖 , 罗杰·维尔梅尔 :
通过Büchi定理看到的Cobham的T定理。 ICALP公司 1993 : 325-334 1992 [j3] 罗杰·维尔梅尔 :
完全可分解阿贝尔群-子群上的范畴。 架构(architecture)。 数学。 日志。 31 ( 4 ) : 263-275 ( 1992 ) [注2] 罗杰·维尔梅尔 :
直接积下的闭模理论。 J.塞姆。 日志。 57 ( 2 ) : 515-521 ( 1992 ) [j1] 罗杰·维尔梅尔 :
(N,+,Vk,V1)的理论是不确定的。 西奥。 计算。 科学。 106 ( 2 ) : 337-349 ( 1992 ) 【c1】 罗杰·维尔梅尔 :
连接自然数的k-和l-可识别集。 STACS公司 1992 : 83-94