格雷戈伊尔·苏特雷
人员信息
优化列表
2020年–今天
2023 [公元36年] 西奥·德卡斯特罗·平托 , 安托万·罗尔特 , 格雷戈伊尔·苏特雷 , 伊雷内乌斯·托博 :
使用A-Star引导符号执行。 SEFM公司 2023 : 47-65 2020 [公元35年] 杰罗姆·勒鲁 , 格雷戈伊尔·苏特雷 :
具有状态的二维向量加法系统的可达性:一个测试是免费的。 CONCUR公司 2020 : 37:1-37:17 [i8] 杰罗姆·勒鲁 , 格雷戈伊尔·苏特雷 :
具有状态的二维向量加法系统的可达性:一个测试是免费的。 CoRR公司 abs/2007.09096 ( 2020 )
2010 – 2019
2019 [j5] 彼得·詹卡尔 , 杰罗姆·勒鲁 , 格雷戈伊尔·苏特雷 :
状态向量加法系统中可达集的共有限性和共空性。 芬丹。 信息学 169 ( 1-2 ) : 123-150 ( 2019 ) 【j4】 杰罗姆·勒鲁 , M.Praveen先生 , 菲利普·施诺贝伦 , 格雷戈伊尔·苏特雷 :
关于下推Petri网弱可计算函数及相关系统。 日志。 方法计算。 科学。 15 ( 4 ) ( 2019 ) [i7] 杰罗姆·勒鲁 , M.Praveen先生 , 菲利普·施诺贝伦 , 格雷戈伊尔·苏特雷 :
关于下推Petri网弱可计算函数及相关系统。 CoRR公司 abs/1904.04090 ( 2019 ) 2018 [j3] 托马斯·格夫罗伊 , 杰罗姆·勒鲁 , 格雷戈伊尔·苏特雷 :
Occam的剃刀应用于Petri网覆盖问题。 西奥。 计算。 科学。 750 : 38-52 ( 2018 ) [公元34年] 彼得·詹卡尔 , 杰罗姆·勒鲁 , 格雷戈伊尔·苏特雷 :
状态向量加法系统中可达集的共满性和共空性。 Petri网 2018 : 184-203 [公元33年] 阿兰·芬克尔 , 杰罗姆·勒鲁 , 格雷戈伊尔·苏特雷 :
具有一次测试和一次重置的双计数器机器的可达性。 FSTTCS公司 2018 : 31:1-31:14 [公元32年] 文森特·佩内尔 , 西尔万·萨尔瓦蒂 , 格雷戈伊尔·苏特雷 :
关于高阶下推向量加法系统的有界性问题。 FSTTCS公司 2018 : 44:1-44:20 2017 [公元31年] 迭戈·菲奎拉 , 兰科·拉齐奇 , 杰罗姆·勒鲁 , 菲利普·马佐维耶基 , 格雷戈伊尔·苏特雷 :
维1中简洁分支VASS可达性的多项式空间完备性。 ICALP公司 2017 : 119:1-119:14 [公元30年] 托马斯·格夫罗伊 , 杰罗姆·勒鲁 , 格雷戈伊尔·苏特雷 :
有损信道系统的后向可覆盖性和修剪。 自旋蛋白 2017 : 132-141 2016 [公元29年] 托马斯·格夫罗伊 , 杰罗姆·勒鲁 , 格雷戈伊尔·苏特雷 :
Occam剃刀在Petri网覆盖问题中的应用。 RP公司 2016 : 77-89 [i6] 托马斯·格夫罗伊 , 杰罗姆·勒鲁 , 格雷戈伊尔·苏特雷 :
Occam剃刀在Petri网覆盖问题中的应用。 CoRR公司 abs/1607.05956 ( 2016 ) 2015 [公元28年] 杰罗姆·勒鲁 , 格雷戈伊尔·苏特雷 , 帕特里克·托茨克 :
一维下推向量加法系统的覆盖性问题。 ICALP(二) 2015 : 324-336 [公元27年] 杰罗姆·勒鲁 , 格雷戈伊尔·苏特雷 , 帕特里克·托茨克 :
关于下推向量加法系统的有界性问题。 RP公司 2015 : 101-113 [i5] 杰罗姆·勒鲁 , 格雷戈伊尔·苏特雷 , 帕特里克·托茨克 :
一维下推向量加法系统的覆盖性问题。 CoRR公司 abs/1503.04018 ( 2015 ) [i4] 杰罗姆·勒鲁 , 格雷戈伊尔·苏特雷 , 帕特里克·托茨克 :
关于下推向量加法系统的有界性问题。 CoRR公司 abs/1507.07362 ( 2015 ) 2014 [公元26年] 杰罗姆·勒鲁 , 文森特·佩奈尔 , 格雷戈伊尔·苏特雷 :
扁平计数器系统的上下文无关问题是coNP-Complete。 ATVA公司 2014 : 248-263 [公元25年] 洛伦佐·克莱门特 , Frédéric Herbreteau餐厅 , 格雷戈伊尔·苏特雷 :
自动机与FIFO和行李通道通信的可确定拓扑。 CONCUR公司 2014 : 281-296 [公元24年] 杰罗姆·勒鲁 , M.Praveen先生 , 格雷戈伊尔·苏特雷 :
下推向量加法系统的超阿克曼界。 CSL-LICS公司 2014 : 63:1-63:10 2013 【c23】 杰罗姆·勒鲁 , M.Praveen先生 , 格雷戈伊尔·苏特雷 :
向量加法系统的关系跟踪逻辑及其在上下文无关中的应用。 CONCUR公司 2013 : 137-151 [公元22年] 洛伦佐·克莱门特 , Frédéric Herbreteau餐厅 , 阿梅利·斯塔纳 , 格雷戈伊尔·苏特雷 :
沟通时间进程的可达性。 FoSSaCS公司 2013 : 81-96 【c21】 杰罗姆·勒鲁 , 文森特·佩内尔 , 格雷戈伊尔·苏特雷 :
关于向量加法系统的上下文自由度问题。 低收入国家 2013 : 43-52 2012 [注2] 亚历山大·休纳 , 杰罗姆·勒鲁 , 安卡麝香草 , 格雷戈伊尔·苏特雷 :
通信下推系统的可达性分析。 日志。 方法计算。 科学。 8 ( 三 ) ( 2012 ) [公元20年] 亚历山大·赫纳 , 特里斯坦·勒加尔 , 格雷戈伊尔·苏特雷 :
通信单计数器的安全验证。 FSTTCS公司 2012 : 224-235 [第19条] 亚历山大·休纳 , 特里斯坦·勒加尔 , 格雷戈伊尔·苏特雷 :
McScM:通信机器验证的一般框架。 TACAS公司 2012 : 478-484 [i3] 洛伦佐·克莱门特 , 弗雷德里克·赫布雷托 , 阿梅利·斯塔纳 , 格雷戈伊尔·苏特雷 :
沟通时间进程的可达性。 CoRR公司 abs/1209.0571 ( 2012 ) 2010 [第18条] 亚历山大·休纳 , 杰罗姆·勒鲁 , 安卡麝香草 , 格雷戈伊尔·苏特雷 :
通信下推系统的可达性分析。 FoSSaCS公司 2010 : 267-281
2000 – 2009
2009 [第17条] 托马斯·高利察 , 杰罗姆·勒鲁 , 简·雷内克 , 赫尔穆特·塞德尔 , 格雷戈伊尔·苏特雷 , 莱因哈德·威廉姆 :
再论多项式精确区间分析。 高效算法 2009 : 422-437 [第16条] 海萨姆·苏伊丹 , 格雷戈伊尔·苏特雷 , 马查·尼科尔斯基 :
参数化动态模型中瞬态行为抽象和比较的定性过渡系统。 CMSB公司 2009 : 313-327 [第15条] 亚历山大·休纳 , 特里斯坦·勒加尔 , 格雷戈伊尔·苏特雷 :
Fifo系统抽象精化中基于外推的路径不变量。 自旋蛋白 2009 : 107-124 2008 [i2] 杰罗姆·勒鲁 , 格雷戈伊尔·苏特雷 :
加速数据流分析。 CoRR公司 abs/0812.2011 ( 2008 ) 2007 [第14条] 杰罗姆·勒鲁 , 格雷戈伊尔·苏特雷 :
凸数据流分析中的加速。 FSTTCS公司 2007 : 520-531 [第13条] 杰罗姆·勒鲁 , 格雷戈伊尔·苏特雷 :
加速数据流分析。 SAS公司 2007 : 184-199 [第12条] Frédéric Herbreteau餐厅 , 格雷戈伊尔·苏特雷 , 广创 :
展开并行井-结构过渡系统。 TACAS公司 2007 : 706-720 2006 [i1] 杰罗姆·勒鲁 , 格雷戈伊尔·苏特雷 :
几乎到处都是平面计数器自动机!。 软件验证:无限状态模型检查和静态程序分析 2006 2005 [第11条] 杰罗姆·勒鲁 , 格雷戈伊尔·苏特雷 :
几乎无处不在的平面反自动机! ATVA公司 2005 : 489-503 2004 [第10条] 杰罗姆·勒鲁 , 格雷戈伊尔·苏特雷 :
关于二维状态向量加法系统的平坦性。 CONCUR公司 2004 : 402-416 [第1页] 弗朗索瓦·布伦特 , Jean-Michel Couvreur公司 , 弗雷德里克·吉利尔斯 , Fabrice Kordon公司 , 伊莎贝尔·穆尼尔 , 艾曼纽尔·帕维奥德 , 丹尼斯·波特雷诺 , 丹·马吕斯·雷吉普 , 格雷戈伊尔·苏特雷 :
建模和验证行为方面。 嵌入式分布式系统的形式化方法 2004 : 171-211 2003 [j1] 阿兰·芬克尔 , S.Purushothaman Iyer , 格雷戈伊尔·苏特雷 :
良好抽象转换系统:FIFO自动机的应用。 Inf.计算。 181 ( 1 ) : 1-31 ( 2003 ) 【c9】 Jean-Michel Couvreur公司 , 纳赛尔·萨赫布 , 格雷戈伊尔·苏特雷 :
概率系统LTL模型检验的最优自动机方法。 LPAR公司 2003 : 361-375 【c8】 托马斯·汉津格 , 兰吉特·贾拉 , 鲁帕克·马朱姆达尔 , 格雷戈伊尔·苏特雷 :
使用BLAST进行软件验证。 自旋蛋白 2003 : 235-239 2002 【c7】 托马斯·汉津格 , 兰吉特·贾拉 , 鲁帕克·马久姆达尔 , 乔治·C·内库拉 , 格雷戈伊尔·苏特雷 , 维斯特利·威默尔 :
系统代码的临时安全证明。 腔静脉 2002 : 526-538 【c6】 Frédéric Herbreteau餐厅 , 弗兰克·卡塞兹 , 阿兰·芬克尔 , 奥利维尔·F·鲁 , 格雷戈伊尔·苏特雷 :
嵌入式无功Fiffo系统的验证。 拉丁语 2002 : 400-414 【c5】 托马斯·汉津格 , 兰吉特·贾拉 , 鲁帕克·马朱姆达尔 , 格雷戈伊尔·苏特雷 :
懒惰的抽象。 POPL公司 2002 : 58-70 2000 【c4】 阿兰·芬克尔 , S.Purushothaman Iyer , 格雷戈伊尔·苏特雷 :
油井抽象过渡系统。 CONCUR公司 2000 : 566-580 【c3】 阿兰·芬克尔 , 格雷戈伊尔·苏特雷 :
一种构造半线性柱的算法 * 用于2-Dim重置/传输VASS。 MFCS公司 2000 : 353-362 【c2】 阿兰·芬克尔 , 格雷戈伊尔·苏特雷 :
两计数器自动机类可达性问题的判定。 STACS公司 2000 : 346-357
1990 – 1999
1998 [c1] 格雷戈伊尔·苏特雷 , 阿兰·芬克尔 , 奥利维尔·F·鲁 , 弗兰克·卡塞兹 :
反应型Fiffo自动机的有效识别与模型检验。 AMAST公司 1998 : 106-123