皮埃尔·凯尔森
人员信息
附属: 卢森堡大学
优化列表
2020年–今天
2021 [公元36年] 克里斯托夫·费尔特斯 , 秦马 , 亨德里克·A·普罗特 , 皮埃尔·凯尔森 :
走向人工智能辅助领域建模。 ER(车间) 2021 : 75-89 2020 [公元15年] 努诺·阿马利奥 , 莱昂内尔·布赖恩 , 皮埃尔·凯尔森 :
视觉设计建模的实验审查:VCL与UML+OCL的对比。 恩皮尔。 柔和。 工程师。 25 ( 2 ) : 1205-1258 ( 2020 ) [公元14年] 皮埃尔·凯尔森 , 秦马 , 克里斯蒂安·格洛特 :
基于功能分解的轻量级建模方法。 J.对象技术。 19 ( 2 ) : 15:1-22 ( 2020 )
2010 – 2019
2019 [j13] 洛伊克·甘马托尼 , 皮埃尔·凯尔森 :
F-Alloy:一种基于Alloy的关系模型转换语言。 柔和。 系统。 模型。 18 ( 1 ) : 213-247 ( 2019 ) 2018 [公元12年] 洛伊克·甘马托尼 , 皮埃尔·凯尔森 , 秦马 :
使用复合F合金规范对模型转换进行敏捷验证。 科学。 计算。 程序。 162 : 55-75 ( 2018 ) [公元35年] 秦马 , 皮埃尔·凯尔森 :
通过依赖图分解模型。 TASE公司 2018 : 138-143 2016 [公元34年] 洛伊克·甘马托尼 , 皮埃尔·凯尔森 , 秦马 :
使用F合金敏捷验证高阶变换。 TASE公司 2016 : 125-131 2015 [公元11年] 西尔瓦诺·科伦坡-托萨托 , 皮埃尔·凯尔森 , 秦马 , 马尔瓦内·埃尔·哈比利 , 圭多总督府 , Leendert W.N.van der Torre(林德特·范德托雷) :
可处理的遵从性问题的算法。 前沿计算。 科学。 9 ( 1 ) : 55-74 ( 2015 ) [公元10年] 秦马 , 皮埃尔·凯尔森 , 克里斯蒂安·格洛特 :
通用模型分解技术及其在Eclipse建模框架中的应用。 柔和。 系统。 模型。 14 ( 2 ) : 921-952 ( 2015 ) [公元9年] 西尔瓦诺·科伦坡-托萨托 , 圭多总督府 , 皮埃尔·凯尔森 :
业务流程法规遵从性很难。 IEEE传输。 服务。 计算。 8 ( 6 ) : 958-970 ( 2015 ) [公元33年] 洛伊克·甘马托尼 , 皮埃尔·凯尔森 :
F合金:一种基于合金的模型转换语言。 ICMT公司 2015 : 166-180 [公元32年] 洛伊克·甘马托尼 , 皮埃尔·凯尔森 , 克里斯蒂安·格洛特 :
使用闪电设计语言。 SLE公司 2015 : 77-82 2014 [公元31年] 洛伊克·甘马托尼 , 皮埃尔·凯尔森 :
合金实例的领域特定可视化。 ABZ公司 2014 : 324-327 [公元30年] 西尔瓦诺·科伦坡-托萨托 , 圭多总督府 , 皮埃尔·凯尔森 :
检测动态设置中的道义冲突。 DEON公司 2014 : 65-80 [公元29年] 秦马 , 萨姆·施密特 , 克里斯蒂安·格洛特 , 皮埃尔·凯尔森 :
模型与代码的结合:两种语言的故事。 ICGSE研讨会 2014 : 27-32 [公元28年] 洛伊克·甘马托尼 , 皮埃尔·凯尔森 , 法比安·马西 :
使用Lightning验证建模语言:案例研究。 MoDeVVa@MoDELS 2014 : 19-28 2013 [公元27年] 西尔瓦诺·科伦坡-托萨托 , 圭多总督府 , 皮埃尔·凯尔森 :
制定法规遵从性抽象框架。 EDOC研讨会 2013 : 79-88 [公元26年] 西尔瓦诺·科伦坡-托萨托 , 马尔瓦内·埃尔·哈比利 , 圭多总督府 , 皮埃尔·凯尔森 , 秦马 , Leendert W.N.van der Torre(林德特·范德托雷) :
基本符合性问题的算法。 ICST研讨会 2013 : 2-7 2011 [公元25年] 马尔瓦内·埃尔·哈比利 , 秦马 , 皮埃尔·凯尔森 , 埃尔克·普尔维穆勒 :
CoReL:基于政策和模型驱动的法规遵从性管理。 EDOC公司 2011 : 247-256 [公元24年] 皮埃尔·凯尔森 , 秦马 , 克里斯蒂安·格洛特 :
模型中的模型:使用子模型格控制模型复杂性。 FASE公司 2011 : 171-185 【c23】 努诺·阿马利奥 , 克里斯蒂安·格洛特 , 皮埃尔·凯尔森 :
构建VCL模型并从中自动生成Z规范。 FM公司 2011 : 149-153 [公元22年] 马尔瓦内·埃尔·哈比利 , 秦马 , 皮埃尔·凯尔森 , 埃尔克·普尔维穆勒 :
使用CoReL的企业法规遵从性建模:一个示例。 欧洲协调委员会 2011 : 185-190 【c21】 努诺·阿马利奥 , 克里斯蒂安·格洛特 , 弗雷德里科·平托 , 皮埃尔·凯尔森 :
通过模板从独立于平台的模型获得平台变量应用程序。 WGT@ETAPS(预计到达时间) 2011 : 3-25 2010 [j8] 努诺·阿马利奥 , 皮埃尔·凯尔森 , 秦马 , 克里斯蒂安·格洛特 :
使用VCL作为面向方面的需求建模方法。 LNCS事务。 面向方面的软件。 开发。 7 : 151-199 ( 2010 ) [公元20年] 努诺·阿马利奥 , 皮埃尔·凯尔森 , 秦马 :
使用VCL以形式、视觉和模块化方式指定结构属性及其约束。 BMMDS/EMMSAD公司 2010 : 261-273 [第19条] 努诺·阿马利奥 , 皮埃尔·凯尔森 :
VCL,一种用于正式建模软件系统的可视化语言。 图表 2010 : 282-284 [第18条] 皮埃尔·凯尔森 , 秦马 :
模块化模型合成技术。 FASE公司 2010 : 173-187 [第17条] 努诺·阿马利奥 , 皮埃尔·凯尔森 :
使用VCL以合同形式进行模块化设计。 VL/HCC 2010 : 227-234
2000 – 2009
2009 [第16条] 克里斯蒂安·格洛特 , 皮埃尔·凯尔森 , 努诺·阿马利奥 , 秦马 :
从平台相关模型到使用演示的平台特定模型。 OOPSLA指南 2009 : 795-796 [第15条] 芭芭拉·加利纳 , 尼古拉斯·盖尔菲 , 皮埃尔·凯尔森 :
面向灵活高级事务模型开发的合金形式模型。 SEW公司 2009 : 94-103 [第14条] 皮埃尔·凯尔森 , 秦马 :
领域层次结构:集成软件领域的基本理论框架。 TASE公司 2009 : 295-296 2008 [j7] 皮埃尔·凯尔森 , 埃尔克·普尔维穆勒 , 克里斯蒂安·格洛特 :
使用OCL指定可执行平台独立模型。 电子。 Commun公司。 欧洲协会软件。 科学。 技术。 9 ( 2008 ) [第13条] 皮埃尔·凯尔森 , 秦马 :
定义建模语言形式语义的轻量级方法。 模型 2008 : 690-704 2007 [第12条] 克里斯蒂安·格洛特 , 皮埃尔·凯尔森 , 埃尔克·普尔维穆勒 :
DEMOCLES:一种用于对平台相关系统进行可执行建模的工具。 OOPSLA指南 2007 : 870-871 2006 [第11条] 皮埃尔·凯尔森 :
基于功能分解的基于对象系统的声明性可执行模型。 ICSOFT(1) 2006 : 63-71 [第10条] 克里斯蒂安·格洛特 , 皮埃尔·凯尔森 :
DEMOS:用于基于对象系统的声明性可执行建模的工具。 OOPSLA指南 2006 : 716-717 2004 【c9】 皮埃尔·凯尔森 :
理解程序动态行为的简单静态模型。 IWPC公司 2004 : 46-51 2003 【c8】 皮埃尔·凯尔森 :
面向对象系统中表示耦合的基于信息的视图。 FASE公司 2003 : 216-230
1990 – 1999
1996 [j6] 奥斯卡·加里多 , 皮埃尔·凯尔森 , 安德烈·林加斯 :
多元对数树状超图中最大独立集的一个简单NC-算法。 信息处理。 莱特。 58 ( 2 ) : 55-58 ( 1996 ) [j5] 诺加·艾伦 , 皮埃尔·凯尔森 , 桑吉夫·马哈扬 , 拉梅什·哈里哈兰 :
近似Hypergraph着色。 Nord.J.计算。 三 ( 4 ) : 425-439 ( 1996 ) 【c7】 皮埃尔·凯尔森 :
使用常规约简对树进行排序和取消排序。 STACS公司 1996 : 581-592 【c6】 皮埃尔·凯尔森 , 桑吉夫·马哈扬 , 拉梅什·哈里哈兰 :
近似Hypergraph着色。 重拍 1996 : 41-52 [c5] 皮埃尔·凯尔森 :
邻域图和分布式Delta+1着色。 重拍 1996 : 223-233 1995 【j4】 皮埃尔·凯尔森 , 维贾亚·拉马钱德兰 :
关于寻找最小二连通子图。 J.算法 18 ( 1 ) : 1-49 ( 1995 ) [j3] 韩晓峰 , 皮埃尔·凯尔森 , 维贾亚·拉马钱德兰 , 塔扬 :
线性时间中最小生成子图的计算。 SIAM J.计算。 24 ( 6 ) : 1332-1358 ( 1995 ) 1994 [注2] 皮埃尔·凯尔森 :
最大匹配的最优并行算法。 信息处理。 莱特。 52 ( 4 ) : 223-228 ( 1994 ) 1993 【c4】 皮埃尔·凯尔森 :
扩展图中的快速并行匹配。 西班牙 1993 : 293-299 1992 【b1】 皮埃尔·凯尔森 :
图和超图中极值结构的有效计算。 美国伊利诺伊大学香槟分校, 1992 [j1] 埃利亚斯·达尔豪斯 , 马雷克·卡宾斯基 , 皮埃尔·凯尔森 :
一种计算维数为3的超图中最大独立集的高效并行算法。 信息处理。 莱特。 42 ( 6 ) : 309-313 ( 1992 ) 【c3】 韩晓峰 , 皮埃尔·凯尔森 , 维贾亚·拉马钱德兰 , 塔扬 :
线性时间中最小生成子图的计算。 SODA公司 1992 : 146-156 【c2】 皮埃尔·凯尔森 :
超图中计算最大独立集的并行复杂性。 STOC公司 1992 : 339-350 1991 【c1】 皮埃尔·凯尔森 , 维贾亚·拉马钱德兰 :
关于寻找最小2-连通子图。 SODA公司 1991 : 178-187