织物花束
人员信息
附属: 法国贝桑松法兰西大学
优化列表
2020年–今天
2024 [第51条] 莱昂内尔·帕扎特 , 文森特·阿姆布鲁斯特 , 黛博拉·莫宁 , 科琳娜·德洛姆 , 莫尼克·博雷尔 , 达米安·勒尼胡安南 , Frédéric Barbot烤肉 , 织物花束 , 盖·卡拉特 , 托马斯·利霍罗 , 马莱恩·杜兰德 , 海尔·克洛根森 , 西尔维娅·佩莱奥 :
在质量、监管和临床事务中推广基于能力的培训方法,以提高MD/IVDD的安全性和绩效。 生物科技(1) 2024 : 842-851 2023 [公元50年] 杰西殖民地 , 织物花束 :
跟踪异常值的多维自适应kNN(Makoto)。 ADMA(1) 2023 : 535-550 [公元49年] Frédéric Tamagnian餐厅 , 织物花束 , 亚历山大·维诺特 , 布鲁诺传奇 :
使用覆盖率驱动的用户跟踪聚类回归测试生成。 ICSTW公司 2023 : 82-89 2022 [公元48年] 瓦哈娜·多尔西斯 , 织物花束 , 弗雷德里克·达多 :
回归测试用例选择的使用痕迹聚类。 ICST研讨会 2022 : 138-145 2021 [公元12年] 马修·布里兰德 , 织物花束 :
一种在数据相关工业设备上测试虚假数据注入攻击的方法。 J.大学。 计算。 科学。 27 ( 7 ) : 774-792 ( 2021 ) [公元47年] 马修·布里兰德 , 织物花束 :
物联网中虚假数据注入攻击建模语言。 SERP4IoT系列 2021 : 1-8 [i1] 马修·布里兰德 , 织物花束 :
物联网中虚假数据注入攻击建模语言。 CoRR公司 abs/2104.09294 ( 2021 ) 2020 [公元46年] 马克·尤廷 , 布鲁诺传奇 , 弗雷德里克·达多 , Frédéric Tamagnian餐厅 , 织物花束 :
使用执行轨迹的机器学习识别和生成缺失测试。 AI测试 2020 : 83-90
2010 – 2019
2018 [公元11年] 阿巴斯·艾哈迈德 , 织物花束 , 伊丽莎白·福内雷特 , 布鲁诺传奇 :
第一章-物联网系统的基于模型的测试。 高级计算。 108 : 1-58 ( 2018 ) [公元10年] 弗雷德里克·达多 , 阿兰·乔治蒂 , 织物花束 , 伊凡·恩德林 :
使用Praspel对PHP进行基于合同的测试。 J.系统。 柔和。 136 : 209-222 ( 2018 ) [公元45年] 尼古拉斯·迪奥 , 织物花束 , 克里斯托夫·朗 :
不认可被动的中间人相互作用(proésentation cote)。 JFSMA公司 2018 : 107-116 2016 [公元9年] 马克·尤廷 , 布鲁诺传奇 , 织物花束 , 伊丽莎白·福内雷特 , 法比安·佩鲁克斯 , 亚历山大·维诺特 :
基于模型的测试的最新进展。 高级计算。 101 : 53-120 ( 2016 ) [公元44年] 阿巴斯·艾哈迈德 , 织物花束 , 伊丽莎白·福内雷特 , 弗兰克·勒加尔 , 布鲁诺传奇 :
基于模型的测试作为物联网平台的服务。 ISoLA(2) 2016 : 727-742 2015 [公元43年] Jean-Marie Gauthier女士 , 织物花束 , 艾哈迈德·哈马德 , 法比安·佩鲁克斯 :
使用Modelica仿真对SysML模型进行早期验证的工具化过程。 FSEN公司 2015 : 230-237 [公元42年] Jean-Marie Gauthier女士 , 织物花束 , 艾哈迈德·哈马德 , 法比安·佩鲁克斯 :
结合离散和连续模拟进行测试的SysML形式化框架。 ICFEM公司 2015 : 134-152 2014 [j8] 杰罗姆·坎特诺 , 法布里斯·安伯特 , 织物花束 :
在基于模型的测试中,使用可满足性模理论求解器生成测试。 柔和。 测试。 验证可靠性。 24 ( 7 ) : 499-531 ( 2014 ) [公元41年] Jean-Marie Gauthier女士 , 多米尼克·根德劳 , 艾哈迈德·哈马德 , 织物花束 :
模块化复杂系统的建模与仿真:在喷气输送机中的应用。 目标 2014 : 1194-1199 [公元40年] 伊丽莎白·福内雷特 , 杰罗姆·坎特诺 , 织物花束 , 布鲁诺传奇 , 朱利安·波特拉 :
SeTGaM:基于UML/OCL模型的回归测试通用技术。 SERE系列 2014 : 147-156 2013 [公元39年] 法布里斯·安伯特 , 织物花束 , 乔纳森·拉萨尔 , 布鲁诺传奇 , 法比安·佩鲁克斯 :
在信号交换上应用一种定义使用方法来实现SysML基于模型的测试。 欧洲货币基金组织 2013 : 134-151 [公元38年] 织物花束 , 法比安·佩鲁克斯 , 法布里斯·安伯特 :
功能和安全测试生成的基于模型的测试。 福萨 2013 : 1-33 [公元37年] 朱利安·波特拉 , 织物花束 , Jean-Francois卡普隆 , 弗兰克·勒博 , 布鲁诺传奇 , 弗洛伦斯·沙德尔 :
基于模型的密码组件测试-从经验中吸取的教训。 ICST公司 2013 : 192-201 [公元36年] 伊凡·恩德林 , 阿兰·乔治蒂 , 织物花束 :
PHP数组的约束求解器。 ICST研讨会 2013 : 218-223 [公元35年] 杰罗姆·坎特诺 , 法布里斯·安伯特 , 织物花束 :
使用SMT求解器从UML生成测试的策略比较。 ICST研讨会 2013 : 224-229 [公元34年] Jean-Marie Gauthier女士 , 织物花束 , 艾哈迈德·哈马德 , 法比安·佩鲁克斯 :
从SysML到VHDL-AMS基于元模型的转换的验证和确认。 MODELSWARD公司 2013 : 123-128 2012 [j7] 莱昂内尔·德罗兹·巴托利特 , Jean-Christophe Lapayre女士 , 织物花束 , 埃里克·加西亚 , A.海尼什 :
Ramos:协作系统的并发编写和重新配置。 J.并行分布式计算。 72 ( 5 ) : 637-649 ( 2012 ) [公元33年] 伊凡·恩德林 , 弗雷德里克·达多 , 阿兰·乔治蒂 , 织物花束 :
在PHP中使用真实域进行基于语法的测试。 ICST公司 2012 : 509-518 [公元32年] 费德里卡·帕西 , 法比奥·马萨奇 , 织物花束 , 斯蒂芬·德布利克龙(Stephane Debricon) :
通过协调需求和测试工程过程来管理演进。 ICST公司 2012 : 834-841 [公元31年] 杰罗姆·坎特诺 , 法布里斯·安伯特 , 织物花束 :
模型动画的UML4MBT元模型到SMT元模型的转换规则。 OCL@莫代尔斯 2012 : 55-60 2011 [j6] 乔纳森·拉萨尔 , 织物花束 , 布鲁诺传奇 , 法比安·佩鲁克斯 :
用于测试生成目的的SysML到UML模型转换。 ACM SIGSOFT软件。 工程注释 36 ( 1 ) : 1-8 ( 2011 ) [公元30年] 伊丽莎白·福内雷特 , 马丁·奥乔亚 , 织物花束 , 朱利安·波特拉 , 扬·朱尔扬(Jan Jürjens) , 帕瓦尼·优素菲 :
智能卡的基于模型的安全验证和测试。 ARES公司 2011 : 272-279 [公元29年] 塞巴斯蒂安·齐珀 , 织物花束 , 克里斯托夫·朗 , 尼古拉斯·马里劳 :
MIRO项目中实现的具有AML的复杂系统建模。 网络智能/IAT研讨会 2011 : 159-162 [公元28年] 伊丽莎白·福内雷特 , 织物花束 , 弗雷德里克·达多 , 斯蒂芬·德布利克龙(Stephane Debricon) :
演化关键系统的选择性测试生成方法。 ICST研讨会 2011 : 125-134 [公元27年] 法比奥·马萨奇 , 织物花束 , 伊丽莎白·福内雷特 , 扬·朱尔扬(Jan Jürjens) , 大量售出肺部 , 塞巴斯蒂安·马德勒纳特 , 扬·托拜厄斯·穆尔伯格 , 费德里卡·帕西 , 圣保罗 , 弗兰克·皮森斯 , 比约纳尔·索尔豪格 , 斯文·温泽尔 :
为不断发展的系统协调安全和系统工程(特邀论文)。 服务波 2011 : 134-143 [第1页] 弗雷德里克·达多 , 法比安·佩鲁克斯 , 布鲁诺传奇 , 雷吉斯·蒂索特 , 雅克·朱利安德 , 皮尔雷·阿莱·马森 , 织物花束 :
使用模型的符号动画生成测试。 嵌入式系统的基于模型的测试 2011 2010 [公元26年] 织物花束 , 皮埃尔·克里斯托普赫·布埃 , 雅克·朱利安德 , 皮尔雷·阿莱·马森 :
基于抽象和测试目的的测试生成,以补充结构测试。 ICST研讨会 2010 : 54-61 [公元25年] 阿德里安·德·克马德克 , 弗雷德里克·达多 , 织物花束 :
评估B模型的质量。 SEFM公司 2010 : 83-90 [公元24年] 皮埃尔·克里斯托普赫·布埃 , 弗雷德里克·达多 , 阿德里安·德·科马德克 , 织物花束 :
使用CLP构建行为模型的测试就绪抽象。 攻丝@工具 2010 : 167-182
2000 – 2009
2009 [j5] 文森特·普雷特 , 阿德里安·德·科马德克 , 织物花束 , 克里斯托夫·朗 , 弗雷德里克·达多 :
用于web服务测试的自动化UML模型合并。 国际期刊网络网格服务。 5 ( 2 ) : 107-129 ( 2009 ) [c23] 文森特·普雷特 , 织物花束 , 克里斯托夫·朗 :
使用通用标准评估Web服务的质量。 ICST研讨会 2009 : 295-302 2008 [公元22年] 织物花束 , 克里斯托夫·格兰皮埃尔 , 布鲁诺传奇 , 法比安·佩鲁克斯 :
自动化软件测试的测试生成解决方案。 AST公司 2008 : 45-48 【c21】 文森特·普雷特 , 织物花束 , 克里斯托夫·朗 :
自动化UML模型合并以进行web服务测试。 iiWAS公司 2008 : 55-62 2007 [公元20年] 织物花束 , 克里斯托夫·格兰皮埃尔 , 布鲁诺传奇 , 法比安·佩鲁克斯 , 尼古拉斯·瓦切莱 , 马克·尤廷 :
用于基于模型测试的精确UML的子集。 A-MOST公司 2007 : 95-104 [第19条] 织物花束 , Jean-François Couchot女士 , 弗雷德里克·达多 , 阿兰·乔治蒂 :
基于模型测试的参数化数据结构的实例化。 B类 2007 : 94-108 [第18条] 织物花束 , 弗雷德里克·达多 , 朱利安·格罗斯兰伯特 :
JML2B:使用B机器检查JML规格。 B类 2007 : 285-288 [第17条] 雷金·拉劳 , 伊夫·莱德鲁 , 迪迪埃·伯特 , 织物花束 , 米歇尔·莱莫恩 , 凯瑟琳·杜波依斯 , Véronique Donzeau-Gouge公司 , 西尔维·维格斯 :
使用计算机科学建模技术进行机场安全认证。 RCIS公司 2007 : 61-72 2006 [第16条] 迪迪埃·伯特 , 织物花束 , 伊夫·莱德鲁 , 西尔维·维格斯 :
通过形式模型的自动分析验证法规文件。 雷莫2V 2006 [第15条] 织物花束 , 弗雷德里克·达多 , 朱利安·格罗斯兰伯特 , 雅克·朱利安德 :
安全属性驱动测试生成自。 命运/RV 2006 : 225-239 [第14条] 织物花束 , 弗雷德里克·达多 , 布鲁诺传奇 :
根据JML规范自动生成边界测试。 FM公司 2006 : 428-443 [第13条] 埃迪·伯纳德 , 织物花束 , 阿曼丁·夏邦尼尔 , 布鲁诺传奇 , 法比安·佩鲁克斯 , 马克·尤廷 , 埃里克·托博尔 :
UML模型的基于模型的测试。 GI Jahrestagung(2) 2006 : 223-230 2005 【j4】 织物花束 , 埃迪·贾弗尔 , 布鲁诺传奇 , 法比安·佩鲁克斯 , 马克·尤廷 :
自动测试生成中的需求跟踪:应用于智能卡软件验证。 ACM SIGSOFT软件。 工程注释 30 ( 4 ) : 1-7 ( 2005 ) [第12条] 织物花束 , 埃迪·贾弗尔 , 布鲁诺传奇 , 法比安·佩鲁克斯 , 马克·尤廷 :
自动测试生成中的需求跟踪:应用于智能卡软件验证。 A-MOST公司 2005 [第11条] 织物花束 , 弗雷德里克·达多 , 布鲁诺传奇 , 马克·尤廷 :
JML规范的符号动画。 FM公司 2005 : 75-90 [c10] 织物花束 , 弗雷德里克·达多 , 布鲁诺传奇 :
符号动画如何帮助设计高效的形式化模型。 ICFEM公司 2005 : 96-110 【c9】 织物花束 , 弗雷德里克·达多 , 布鲁诺传奇 , 马克·尤廷 :
JML-Testing-Tools:JML规范使用CLP的符号动画。 TACAS公司 2005 : 551-556 【c8】 织物花束 , 弗雷德里克·达多 , 朱利安·格罗斯兰伯特 :
使用B机器检查JML规格。 兹比 2005 : 434-453 2004 [j3] 织物花束 , 布鲁诺传奇 , 法比安·佩鲁克斯 :
CLPS-B-一个约束解算器,用于设置B规范的动画。 国际期刊软件。 技术工具。 Transf公司。 6 ( 2 ) : 143-157 ( 2004 ) 【c7】 织物花束 , 布鲁诺传奇 , 法比安·佩鲁克斯 , 埃里克·托博尔 :
掌握智能卡软件形式模型的测试生成。 CASSIS公司 2004 : 70-85 【c6】 织物花束 , 布鲁诺传奇 , 马克·尤廷 , 尼古拉斯·瓦切莱 :
快速分析正式规范。 ICFEM公司 2004 : 239-258 2003 [注2] 织物花束 , 布鲁诺传奇 , 尼古拉斯·瓦切莱 :
程序逻辑与约束的非格式评估规范。 技术科学。 信息类 22 ( 1 ) : 203-216 ( 2003 ) 【c5】 织物花束 , 布鲁诺传奇 :
基于形式规范的测试生成中可执行测试脚本的具体化:Java卡事务机制案例研究。 失效模式与后果 2003 : 778-795 【c4】 织物花束 , 布鲁诺传奇 , 尼古拉斯·瓦切莱 :
非格式的评估规范对程序逻辑进行了严格限制。 JFPLC公司 2003 : 203-216 2002 【c3】 织物花束 , 布鲁诺传奇 , 法比安·佩鲁克斯 :
CLPS-B-B的约束求解器。 TACAS公司 2002 : 188-204 2000 【c2】 织物花束 , 布鲁诺传奇 , 法比安·佩鲁克斯 , 劳伦特·派伊 :
不受约束的综合解决方案是对特殊规范B的评估。 JFPLC公司 2000 : 125-144
1990 – 1999
1997 [j1] 织物花束 , 菲利普·杰古 :
使用OBDD处理动态约束。 信息处理。 莱特。 62 ( 三 ) : 111-120 ( 1997 ) 1995 【c1】 织物花束 , 菲利普·杰古 :
使用加权OBDD解决过度约束的CSP。 过度约束的系统 1995 : 293-308