卡洛斯·诺格拉
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2010 – 2019
2016 [j5] 约翰·法布里 , 科恩·德鲁弗 , 卡洛斯·诺格拉 , 斯特芬·兹谢勒 , 阿韦斯·拉希德 , Viviane Jonckers公司 :
使用GASR进行AspectJ代码分析和验证。 J.系统。 柔和。 117 : 528-544 ( 2016 ) 【j4】 雷诺德·鲍拉克(Renaud Pawlak) , 马丁·蒙佩鲁斯 , 尼古拉斯·佩蒂普雷斯 , 卡洛斯·诺格拉 , 莱昂内尔·桑图利尔 :
SPOON:一个用于实现Java源代码分析和转换的库。 柔和。 实际。 支出。 46 ( 9 ) : 1155-1179 ( 2016 ) 【c23】 安吉拉·洛扎诺 , 卡洛斯·诺格拉 , Viviane Jonckers公司 :
使用MaTraca管理可追溯性链接。 桑纳 2016 : 665-668 2015 [公元22年] 卡洛斯·诺格拉 , Viviane Jonckers公司 :
使用查询模型进行模型查询。 GPCE公司 2015 : 181-184 [c21] 延斯·尼古拉 , 卡洛斯·诺格拉 , 科恩·德鲁弗 , 沃尔夫冈·德梅特 :
检测JavaScript中的函数纯度。 SCAM公司 2015 : 101-110 [公元20年] 詹姆·查瓦里亚加 , 卡洛斯·兰赫尔 , 卡洛斯·诺格拉 , 鲁比·卡萨勒斯 , Viviane Jonckers公司 :
使用多个特征模型指定变压器的配置选项:经验报告。 苏丹人民解放军 2015 : 216-224 2014 [j3] 伊丽莎·冈萨雷斯-博伊克斯 , 卡洛斯·诺格拉 , 沃尔夫冈·德梅特 :
移动网络的分布式调试。 J.系统。 柔和。 90 : 76-90 ( 2014 ) [注2] 雷诺特·史蒂文斯 , 科恩·德鲁弗 , 卡洛斯·诺格拉 , 安迪·凯伦斯 , Viviane Jonckers公司 :
通用历史查询工具的逻辑基础。 科学。 计算。 程序。 96 : 107-120 ( 2014 ) [第19条] 詹姆·查瓦里亚加 , 卡洛斯·诺格拉 , 鲁比·卡萨勒斯 , Viviane Jonckers公司 :
传播决策以检测和解释多步骤配置过程中的冲突。 模型 2014 : 337-352 [第18条] 詹姆·查瓦里亚加 , 卡洛斯·诺格拉 , 鲁比·卡萨勒斯 , Viviane Jonckers公司 :
云计算提供商的架构策略支持:jelastic案例。 质量保证体系 2014 : 13-22 [第17条] 安吉拉·洛扎诺 , 卡洛斯·诺格拉 , Viviane Jonckers公司 :
解释为什么方法会一起改变。 SCAM公司 2014 : 185-194 2013 [第16条] 雷诺特·史蒂文斯 , 科恩·德鲁弗 , 卡洛斯·诺格拉 , Viviane Jonckers公司 :
历史查询工具及其在检测多版本重构中的应用。 CSMR公司 2013 : 335-338 [第15条] 延斯·尼古拉 , 卡洛斯·诺格拉 , 科恩·德鲁弗 , 沃尔夫冈·德梅特 :
使用对象类型推断确定JavaScript中的动态耦合。 SCAM公司 2013 : 126-135 2012 [第14条] 卡洛斯·诺格拉 , 安迪·凯伦斯 , 科恩·德鲁弗 , Viviane Jonckers公司 :
在有注释的情况下重构。 ICSM公司 2012 : 337-346 [第13条] 卡洛斯·诺格拉 , 科恩·德鲁弗 , 安迪·凯伦斯 , Viviane Jonckers公司 :
通过UML查询代码。 国际刑警组织 2012 : 229-238 [i1] 卡洛斯·诺格拉 , 安迪·凯伦斯 , 西奥·德亨特 :
促进比利时建模、验证和进化研究社区的合作。 ERCIM新闻 2012 ( 88 ) ( 2012 ) 2011 [第12条] 卡洛斯·诺格拉 , 科恩·德鲁弗 , 安迪·凯伦斯 , Viviane Jonckers公司 :
使用SOUL:BARISTA工具套件进行程序查询。 ICSM公司 2011 : 582-585 [第11条] 科恩·德鲁弗 , 卡洛斯·诺格拉 , 安迪·凯伦斯 , Viviane Jonckers公司 :
用于查询与Eclipse共生的程序的SOUL工具套件。 PPPJ公司 2011 : 71-80 [第10条] 伊丽莎·冈萨雷斯-博伊克斯 , 卡洛斯·诺格拉 , 汤姆·范·卡特森 , 沃尔夫冈·德梅特 , 西奥·德亨特 :
REME-D:面向环境应用程序的反射式流行消息调试器。 囊 2011 : 1275-1281 【c9】 安迪·凯伦斯 , 科恩·德鲁弗 , 卡洛斯·诺格拉 , 雷诺特·史蒂文斯 , Viviane Jonckers公司 :
使用量化正则路径表达式对源代码进化进行推理。 WCRE公司 2011 : 389-393 2010 【c8】 安迪·凯伦斯 , 卡洛斯·诺格拉 , 克里斯·德舒特 , 科恩·德鲁弗 , 西奥·德亨特 :
通过智能注释将注释和源代码联合起来。 CSMR公司 2010 : 117-126 [c7] 卡洛斯·诺格拉 , 安迪·凯伦斯 , 德克·德里德 , 西奥·德亨特 :
使用动态注释解决切入点脆弱性。 ECOOP的RAM-SE 2010 : 1:1-1:6 【c6】 安迪·凯伦斯 , 卡洛斯·诺格拉 , 西奥·德亨特 , 吕克·乔里森 , 巴特·范·帕塞尔 :
使用IntensiVE验证外包COBOL系统的设计。 ICSM公司 2010 : 1-8
2000 – 2009
2009 【c5】 卡洛斯·诺格拉 , 弗雷德里克·洛伊特 :
使用模型检查特定于域的组件框架的体系结构和实现约束。 欧洲微小卫星 2009 : 125-132 2008 【b1】 卡洛斯·诺格拉 :
Un ensembly d’outils oriente s modèle pour développer et valider des cardigs logicielsábase d’annotations.联合国东方科学基金会(Un ensemply d’outils orientalés mod le poor développer et valider-des cadgers logiciels.based’anotnotations)。 (一套面向模型的工具,用于开发和验证基于注释的框架)。 法国里尔科技大学, 2008 【c4】 卡洛斯·诺格拉 , 劳伦斯·杜钦 :
使用域模型进行注释框架验证。 ECMDA-FA公司 2008 : 48-62 [c3] 卡洛斯·诺格拉 , 埃伦·范·佩森(Ellen Van Paesschen) , 卡洛斯·帕拉 , 约翰·法布里 :
支持普适计算中应用程序组合的上下文分布。 囊 2008 : 1647-1648 2007 [j1] 卡洛斯·诺格拉 , 雷诺德·鲍拉克(Renaud Pawlak) :
AVal:一个可扩展的面向属性的Java编程验证器。 J.软件。 维护研究实践。 19 ( 4 ) : 253-275 ( 2007 ) 【c2】 科恩·德鲁弗 , 西奥·德亨特 , 约翰·布里肖 , 卡洛斯·诺格拉 , 劳伦斯·杜钦 :
在逻辑查询中使用具体的源代码模板进行行为相似性匹配。 政治公众人物 2007 : 92-101 2006 【c1】 卡洛斯·诺格拉 , 雷诺德·鲍拉克(Renaud Pawlak) :
AVal:面向Java的可扩展属性编程验证器。 SCAM公司 2006 : 175-183
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)