梅赛德斯·G·梅拉约
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2023 [j42] 曼努埃尔·门德斯 , 梅赛德斯·G·梅拉约 , 曼努埃尔·努涅斯 :
预测空气质量的机器学习算法:一项调查。 Artif公司。 智力。 版次。 56 ( 9 ) : 10031-10066 ( 2023 ) [公元41年] 曼努埃尔·门德斯 , 梅赛德斯·G·梅拉约 , 曼努埃尔·努涅斯 :
使用混合CNN-BiLSTM模型进行长期交通流量预测。 工程应用。 Artif公司。 智力。 121 : 106041 ( 2023 ) [j40] 杰苏斯·曼努埃尔·阿曼德罗斯-吉梅内斯 , 安东尼奥·贝塞拉·特隆 , 梅赛德斯·G·梅拉约 , 曼努埃尔·努涅斯 :
使用变形测试提高OpenStreetMap中标签的质量。 IEEE传输。 软件工程。 49 ( 2 ) : 549-563 ( 2023 ) [公元59年] 罗伯特·海伦斯 , 梅赛德斯·G·梅拉约 , 曼努埃尔·努涅斯 :
分布式测试的实现关系。 安全工业产品的适用形式方法 2023 : 34-48 2022 [公元39年] 玛丽亚·卡斯塔涅达 , 梅赛德斯·G·梅拉约 , 胡安·布贝塔·普格 , 伊万·卡尔沃 :
模型:基于模糊信息的模型驱动决策解决方案。 J.大学。 计算。 科学。 28 ( 5 ) : 445-474 ( 2022 ) 2021 [公元38年] 杰苏斯·曼努埃尔·阿曼德罗斯-吉梅内斯 , 安东尼奥·贝塞拉·特隆 , 梅赛德斯·G·梅拉约 , 曼努埃尔·努涅斯 :
OpenStreetMap的变形测试。 Inf.柔软。 Technol公司。 138 : 106631 ( 2021 ) [公元37年] 巴勃罗·戈梅斯·阿巴霍 , 埃丝特·格拉 , 胡安·德拉拉 , 梅赛德斯·G·梅拉约 :
Wodel-Test:一个基于模型的语言无关变异测试框架。 柔和。 系统。 模型。 20 ( 三 ) : 767-793 ( 2021 ) [公元36年] 大卫·格拉纳达 , 胡安·瓦拉 , 梅赛德斯·G·梅拉约 , 埃斯佩兰萨·马科斯 :
CEViNEdit:使用GMF改进创建认知有效的图形编辑器的过程。 柔和。 系统。 模型。 20 ( 三 ) : 867-895 ( 2021 ) [公元58年] 米格尔·贝尼托·帕雷霍 , 梅赛德斯·G·梅拉约 :
使用遗传算法为有超时的有限状态机选择测试用例。 欧洲协调委员会 2021 : 2403-2410 [公元57年] 拉斐尔·帕拉克 , 克里斯蒂安·沃伊特基维茨 , 梅赛德斯·G·梅拉约 :
空气污染预测系统中集合系统形式框架的实现。 ICCCI公司 2021 : 508-520 2020 [j35] Inmaculada Medina-Bulo公司 , 梅赛德斯·G·梅拉约 , 罗伯特·海恩斯 :
客座编辑:ICTSS专题。 Inf.柔软。 Technol公司。 118 ( 2020 ) [j34] 巴勃罗·戈麦斯·阿巴霍 , 埃丝特·格拉 , 胡安·德拉拉 , 梅赛德斯·G·梅拉约 :
突变算子的系统工程。 J.对象技术。 19 ( 三 ) : 3:1-16 ( 2020 ) [公元56年] 伊万·卡尔沃 , 梅赛德斯·G·梅拉约 , 曼努埃尔·努涅斯 :
基于模糊摩尔机器的交易框架。 ACIIDS(1) 2020 : 123-134 [公元55年] 洛伦娜·古铁雷斯 , Inmaculada Medina-Bulo公司 , 梅赛德斯·G·梅拉约 :
谷歌查询语言的变异运算符。 ACIIDS(伴侣) 2020 : 354-365 [公元54年] 巴勃罗·戈梅斯·阿巴霍 , 埃丝特·格拉 , 胡安·德拉拉 , 梅赛德斯·G·梅拉约 :
用于测试基于模型的突变算子的种子模型合成。 CAiSE论坛 2020 : 64-76 [公元53年] 米盖尔·贝尼托·帕雷佐 , 梅赛德斯·G·梅拉约 :
用于选择测试用例的进化算法。 欧洲协调委员会 2020 : 1-8 [第52条] 米盖尔·贝尼托·帕雷佐 , 梅赛德斯·G·梅拉约 , 曼努埃尔·努涅斯 :
一种支持群体决策共识过程的进化技术。 SMC公司 2020 : 2201-2206
2010 – 2019
2019 [公元33年] 范杜阮 , 海邦忠 , 梅赛德斯·G·梅拉约 , Ngoc Thanh Nguyen(Ngoc丹恩) :
使用区间估计评估人群智慧水平。 J.智力。 模糊系统。 37 ( 6 ) : 7279-7289 ( 2019 ) [公元32年] 伊万·卡尔沃 , 梅赛德斯·G·梅拉约 , 曼努埃尔·努涅斯 :
使用模糊自动机分析心脏数据的方法。 J.智力。 模糊系统。 37 ( 6 ) : 7389-7399 ( 2019 ) [公元31年] 范杜阮 , 海邦忠 , 梅赛德斯·G·梅拉约 , Ngoc Thanh Nguyen(Ngoc丹恩) :
处理集体不一致和知识整合的基于共识的方法概述。 WIRE数据挖掘知识。 发现。 9 ( 4 ) ( 2019 ) [第51条] 米盖尔·贝尼托·帕雷佐 , Inmaculada Medina-Bulo公司 , 梅赛德斯·G·梅拉约 , 曼努埃尔·努涅斯 :
使用遗传算法为FSM生成测试套件。 IWANN(1) 2019 : 741-752 [公元50年] 伊万·卡尔沃 , 梅赛德斯·G·梅拉约 , 曼努埃尔·努涅斯 , 弗朗西斯科·帕洛莫·洛萨诺 :
模糊自动机的一致性关系。 IWANN(1) 2019 : 753-765 [公元49年] 巴勃罗·戈梅斯·阿巴霍 , 埃丝特·格拉 , 胡安·德拉拉 , 梅赛德斯·G·梅拉约 :
DSL变异测试(工具演示)。 DSM@飞溅 2019 : 60-62 2018 【j30】 梅赛德斯·G·梅拉约 , 罗伯特·海伦斯 , 曼努埃尔·努涅斯 :
使用异步通信和时间戳进行被动测试。 分布式计算。 31 ( 5 ) : 327-342 ( 2018 ) [公元29年] 梅赛德斯·G·梅拉约 , 罗伯特·海伦斯 , 曼努埃尔·努涅斯 :
一种工具支持的方法,用于对多个用户的异步系统进行被动测试。 Inf.柔软。 Technol公司。 104 : 162-178 ( 2018 ) [公元28年] 巴勃罗·卡尼萨雷斯 , 梅赛德斯·G·梅拉约 , 阿尔贝托·努涅斯 :
FORTIFIER:一个FORmal disTrIbuted Framework,用于改进行李中行李物品的识别。 J.信息通讯。 2 ( 1 ) : 2-18 ( 2018 ) [公元27年] 巴勃罗·卡尼萨雷斯 , 阿尔贝托·努涅斯 , 梅赛德斯·G·梅拉约 :
Mutomvo:用于模拟云和HPC环境的变异测试框架。 J.系统。 柔和。 143 : 187-207 ( 2018 ) [公元26年] 巴勃罗·戈麦斯·阿巴霍 , 埃丝特·格拉 , 胡安·德拉拉 , 梅赛德斯·G·梅拉约 :
一种用于领域无关模型突变的工具。 科学。 计算。 程序。 163 : 85-92 ( 2018 ) [j25] 罗伯特·海伦斯 , 梅赛德斯·G·梅拉约 , 曼努埃尔·努涅斯 :
分布式测试体系结构中的有界重新排序。 IEEE传输。 Reliab公司。 67 ( 2 ) : 522-537 ( 2018 ) [公元48年] 伊万·卡尔沃 , 梅赛德斯·G·梅拉约 , 曼努埃尔·努涅斯 :
用于分析心脏数据的改进的工具支持的模糊自动机框架。 ACIIDS(1) 2018 : 694-704 [c47] 范杜阮 , Hai Bang Truong公司 , 梅赛德斯·G·梅拉约 , Ngoc Thanh Nguyen(Ngoc丹恩) :
智能集体:多样性对共识易感性和集体绩效的影响。 ICCCI(1) 2018 : 13-22 [公元46年] 范杜阮 , 海邦忠 , Trong Hai Duong公司 , 梅赛德斯·G·梅拉约 , Ngoc Thanh Nguyen(Ngoc丹恩) :
使用区间估计确定集合预测方法的比较研究。 WIMS公司 2018 : 2:1-2:6 [e5] Inmaculada Medina-Bulo公司 , 梅赛德斯·G·梅拉约 , 罗伯特·海伦斯 :
测试软件和系统——第30届IFIP WG 6.1国际会议,2018年ICTSS,西班牙加的斯,2018年10月1-3日,会议记录。 计算机科学课堂讲稿 11146, 施普林格 2018 ,国际标准图书编号 978-3-319-99926-5 [目录] 2017 [公元24年] 范杜阮 , 梅赛德斯·G·梅拉约 :
智能集合:集合基数的一些问题。 J.信息电信。 1 ( 2 ) : 127-140 ( 2017 ) [公元23年] 胡安·布贝塔·普格 , 马里奥·布拉维蒂 , 路易斯·拉纳 , 梅赛德斯·G·梅拉约 :
传感器网络中时间复杂事件的分析。 J.信息通讯。 1 ( 三 ) : 273-289 ( 2017 ) [公元22年] 巴勃罗·卡尼萨雷斯 , 梅赛德斯·G·梅拉约 , 胡安·瓦拉 :
LAnt:蚁群优化的模型驱动方法。 J.智力。 模糊系统。 32 ( 2 ) : 1343-1354 ( 2017 ) [公元21年] 阿扎哈拉卡马乔 , 梅赛德斯·G·梅拉约 , 曼努埃尔·努涅斯 :
电子健康中的集体智能和数据库:一项调查。 J.智力。 模糊系统。 32 ( 2 ) : 1485-1496 ( 2017 ) [公元20年] 罗伯特·海伦斯 , 梅赛德斯·G·梅拉约 , 曼努埃尔·努涅斯 :
被动异步测试的扩展框架。 J.日志。 代数方法课程。 86 ( 1 ) : 408-424 ( 2017 ) [公元19年] 梅赛德斯·G·梅拉约 , 格温·萨拉恩 :
前言:软件验证与测试专刊。 J.系统。 柔和。 132 : 317-318 ( 2017 ) [公元18年] 马里奥·布拉维蒂 , 罗伯特·海伦斯 , 梅赛德斯·G·梅拉约 :
软件工程与形式方法导论2013特刊。 柔和。 系统。 模型。 16 ( 1 ) : 5-6 ( 2017 ) [公元45年] 阿扎哈拉·卡马乔 , 梅赛德斯·G·梅拉约 , 曼努埃尔·努涅斯 :
使用模糊自动机诊断和预测心脏问题。 欧洲协调委员会 2017 : 846-853 [公元44年] 范杜阮 , 梅赛德斯·G·梅拉约 , Ngoc Thanh Nguyen(Ngoc丹恩) :
智慧集体:多样性和集体基础的作用。 ICCCI(1) 2017 : 83-92 [公元43年] 巴勃罗·卡尼萨雷斯 , 梅赛德斯·G·梅拉约 , 阿尔贝托·努涅斯 :
使用蚂蚁扑灭野火。 IWANN(2) 2017 : 371-380 [公元42年] 佩德罗·德尔加多·佩雷斯 , Inmaculada Medina-Bulo公司 , 梅赛德斯·G·梅拉约 :
使用进化计算改进突变测试。 IWANN(2) 2017 : 381-391 [公元41年] 费尔南多·洛佩斯·佩莱奥 , 费尔南多·库亚特罗·戈麦斯 , 迭戈·卡佐拉 , 佩德罗·瓦莱罗·拉拉 , 梅赛德斯·G·梅拉约 :
ROSA LTS搜索的启发。 IWANN(2) 2017 : 427-437 2016 [公元40年] 巴勃罗·卡尼萨雷斯 , 梅赛德斯·G·梅拉约 , 阿尔贝托·努涅斯 :
FARTHEST:FormAl distRibuTed scHema来检测可疑的事实。 ACIIDS(1) 2016 : 770-779 [公元39年] 巴勃罗·卡尼萨雷斯 , 梅赛德斯·G·梅拉约 , 阿尔贝托·努涅斯 :
EMINENT:EMbarassINgly parallEl El突变测试。 ICCS系统 2016 : 63-73 [公元38年] 罗伯特·海伦斯 , 梅赛德斯·G·梅拉约 , 曼努埃尔·努涅斯 :
分布式测试中通过不确定性的可控性。 信息和通信技术支持系统 2016 : 89-105 2015 [公元17年] 梅赛德斯·G·梅拉约 , 阿尔贝托·努涅斯 :
带有超时的通信系统的被动测试。 Inf.柔软。 Technol公司。 64 : 19-35 ( 2015 ) [公元16年] 岳佳 , 梅赛德斯·G·梅拉约 , 马克·哈曼 :
《突变检测》特刊简介。 柔和。 测试。 验证可靠性。 25 ( 5-7 ) : 461-463 ( 2015 ) 2014 [j15] 罗伯特·海伦斯 , 梅赛德斯·G·梅拉约 , 曼努埃尔·努涅斯 :
分布式测试体系结构的定时实现关系。 分布式计算。 27 ( 三 ) : 181-201 ( 2014 ) [公元14年] 阿尔贝托·努涅斯 , 梅赛德斯·G·梅拉约 :
用于分析基于Map-Reduce的应用程序的成本和性能的正式框架。 J.计算。 科学。 5 ( 2 ) : 106-118 ( 2014 ) [公元37年] 玛丽亚·阿扎哈拉·卡马乔·马格里南 , 梅赛德斯·G·梅拉约 , Inmaculada Medina-Bulo公司 :
PTTAC:异步系统的被动测试工具。 西斯 2014 : 223-229 [电子4] 梅赛德斯·G·梅拉约 , 埃德加多·蒙特斯·德奥卡 :
测试软件和系统——第26届IFIP WG 6.1国际会议,2014年ICTSS,西班牙马德里,2014年9月23日至25日。 诉讼程序。 计算机科学课堂讲稿 8763, 施普林格 2014 ,国际标准图书编号 978-3-662-44856-4 [目录] 2013 [j13] 罗伯特·海伦斯 , 梅赛德斯·G·梅拉约 :
特邀编辑:第十一届国际质量软件大会(QSIC 2011)专区。 Inf.柔软。 Technol公司。 55 ( 5 ) : 865 ( 2013 ) [公元12年] 阿尔贝托·努涅斯 , 梅赛德斯·G·梅拉约 , 罗伯特·海恩斯 , 曼努埃尔·努涅斯 :
使用遗传算法生成复杂定时系统的测试序列。 软计算。 17 ( 2 ) : 301-315 ( 2013 ) [公元36年] 罗伯特·海伦斯 , 梅赛德斯·G·梅拉约 , 曼努埃尔·努涅斯 :
使用异步通信进行被动测试。 FMOODS/FORTE公司 2013 : 99-113 [公元35年] 阿尔贝托·努涅斯 , 罗莎·菲尔盖拉 , 梅赛德斯·G·梅拉约 :
SANComSim:用于优化计算科学应用程序性能的可扩展、自适应和非侵入式框架。 ICCS系统 2013 : 230-239 [电子3] 罗伯特·海伦斯 , 梅赛德斯·G·梅拉约 , 马里奥·布雷韦蒂 :
2013年9月25日至27日,西班牙马德里,2013年SEFM,软件工程与形式方法第11届国际会议。 诉讼程序。 计算机科学课堂讲稿 8137, 施普林格 2013 ,国际标准图书编号 978-3-642-40560-0 [目录] 2012 [公元11年] 罗伯特·海伦斯 , 梅赛德斯·G·梅拉约 , 曼努埃尔·努涅斯 :
具有分布式接口的系统的实现关系和测试生成。 分布式计算。 25 ( 1 ) : 35-62 ( 2012 ) [公元10年] 塞萨尔·安德烈斯 , 梅赛德斯·G·梅拉约 , 曼努埃尔·努涅斯 :
定时系统的正式被动测试:理论和工具。 柔和。 测试。 验证可靠性。 22 ( 6 ) : 365-405 ( 2012 ) [公元9年] 梅赛德斯·G·梅拉约 , 曼努埃尔·努涅斯 , 伊斯梅尔·罗德里格斯 :
一个正式的框架,用于测试定时系统中的软期限和硬期限。 柔和。 测试。 验证可靠性。 22 ( 8 ) : 583-608 ( 2012 ) [公元34年] 罗伯特·海伦斯 , 梅赛德斯·G·梅拉约 , 曼努埃尔·努涅斯 :
使用时间向分布式测试添加订单。 FM公司 2012 : 232-246 [公元33年] 阿尔贝托·努涅斯 , 塞萨尔·安德烈斯 , 梅赛德斯·G·梅拉约 :
MAScloud:基于多代理系统的云计算成本优化框架。 ICCCI(1) 2012 : 436-445 [公元32年] 梅赛德斯·G·梅拉约 :
带超时的定时系统的被动测试。 QSIC公司 2012 : 69-78 [公元31年] 阿尔贝托·努涅斯 , 塞萨尔·安德烈斯 , 梅赛德斯·G·梅拉约 :
优化科学计算中成本和性能之间的权衡。 ICCS系统 2012 : 498-507 2011 [j8] 梅赛德斯·G·梅拉约 , 曼努埃尔·努涅斯 , 罗伯特·海伦斯 :
测试由流X机器建模的定时系统。 柔和。 系统。 模型。 10 ( 2 ) : 201-217 ( 2011 ) [j7] 罗伯特·海伦斯 , 梅赛德斯·G·梅拉约 , 曼努埃尔·努涅斯 :
基于场景的分布式端口系统测试。 柔和。 实际。 支出。 41 ( 10 ) : 999-1026 ( 2011 ) [公元30年] Karnig Derderian公司 , 梅赛德斯·G·梅拉约 , 罗伯特·海恩斯 , 曼努埃尔·努涅斯 :
使用遗传算法生成时态系统测试用例的案例研究。 IWANN(2) 2011 : 396-403 [电子2] 曼努埃尔·努涅斯 , 罗伯特·海伦斯 , 梅赛德斯·G·梅拉约 :
2011年7月13日至14日,西班牙马德里,QSIC 2011,第十一届国际质量软件会议记录。 IEEE计算机学会 2011 [目录] 2010 [公元29年] 塞萨尔·安德烈斯 , 梅赛德斯·G·梅拉约 , 张耀峰 :
MACRO-SYS:用于高级学习的交互式宏观经济学模拟器。 ACIIDS(2) 2010 : 47-56 [公元28年] 罗伯特·海伦斯 , 梅赛德斯·G·梅拉约 , 曼努埃尔·努涅斯 :
基于场景的分布式端口系统测试。 QSIC公司 2010 : 52-61 [公元27年] 塞萨尔·安德烈斯 , 梅赛德斯·G·梅拉约 , 曼努埃尔·努涅斯 :
多目标遗传算法:被动测试特性的构建和重组。 瑞典克朗 2010 : 405-410 【r1】 罗伯特·海伦斯 , 梅赛德斯·G·梅拉约 , 曼努埃尔·努涅斯 :
突变测试。 软件工程百科全书 2010 : 594-602
2000 – 2009
2009 [j6] 罗伯特·海伦斯 , 梅赛德斯·G·梅拉约 , 曼努埃尔·努涅斯 :
具有故障模型的随机定时系统的测试。 J.日志。 代数方法课程。 78 ( 2 ) : 98-115 ( 2009 ) [j5] 拉尔斯·弗兰岑 , 梅赛德斯·G·梅拉约 , 曼努埃尔·努涅斯 :
A-MOST专刊简史,包含A-MOST 2008的精选论文。 J.日志。 代数方法课程。 78 ( 6 ) : 417-424 ( 2009 ) [j4] 罗伯特·海伦斯 , 梅赛德斯·G·梅拉约 :
概率和随机有限状态机的变异测试。 J.系统。 柔和。 82 ( 11 ) : 1804-1818 ( 2009 ) [公元26年] 塞萨尔·安德烈斯 , 圣母玛利亚 , 安娜·R·卡瓦利 , 梅赛德斯·G·梅拉约 , 曼努埃尔·努涅斯 :
使用形式化被动测试分析OLSR协议。 后堂 2009 : 152-159 [公元25年] 梅赛德斯·G·梅拉约 , 黄一松 , 曼努埃尔·努涅斯 , 安娜·R·卡瓦利 :
测试随机和概率系统的统计方法。 ICFEM公司 2009 : 186-205 [公元24年] 塞萨尔·安德烈斯 , 梅赛德斯·G·梅拉约 , 曼努埃尔·努涅斯 :
时间系统被动测试方法的形式正确性。 ICST研讨会 2009 : 67-76 【c23】 塞萨尔·安德烈斯 , 梅赛德斯·G·梅拉约 , 曼努埃尔·努涅斯 :
随机时间系统的被动测试。 ICST公司 2009 : 71-80 [公元22年] 塞萨尔·安德烈斯 , 梅赛德斯·G·梅拉约 , 卡洛斯·莫利内罗 :
被动测试中突变的优势:一项实证研究。 ICST研讨会 2009 : 230-239 【c21】 卡尼格·德德里安 , 梅赛德斯·G·梅拉约 , 罗伯特·海伦斯 , 曼努埃尔·努涅斯 :
使用遗传算法辅助基于时间约束状态的系统中的测试用例生成。 IWANN(1) 2009 : 327-334 [公元20年] 塞萨尔·安德烈斯 , 梅赛德斯·G·梅拉约 , 曼努埃尔·努涅斯 :
支持使用概率用户模型提取被动测试的时间属性。 QSIC公司 2009 : 145-154 [第19条] 塞萨尔·安德烈斯 , 梅赛德斯·G·梅拉约 , 曼努埃尔·努涅斯 :
应用形式化被动测试研究流控制传输协议的时间特性。 SEFM公司 2009 : 73-82 [第18条] 塞萨尔·安德烈斯 , 梅赛德斯·G·梅拉约 , 曼努埃尔·努涅斯 :
使用挖掘频率模式模型自动化实时系统的被动测试。 瑞典克朗 2009 : 426-431 [电子1] 曼努埃尔·努涅斯 , 保罗·贝克 , 梅赛德斯·G·梅拉约 :
软件和通信系统测试,第21届IFIP WG 6.1国际会议,TESTCOM 2009和第9届国际研讨会,FATES 2009,荷兰埃因霍温,2009年11月2-4日。 诉讼程序。 计算机科学课堂讲稿 5826, 施普林格 2009 ,国际标准图书编号 978-3-642-05030-5 [目录] 2008 [j3] 梅赛德斯·G·梅拉约 , 曼努埃尔·努涅斯 , 伊斯梅尔·罗德里格斯 :
来自定时有限状态机的正式测试。 计算。 网络 52 ( 2 ) : 432-460 ( 2008 ) [注2] 伊斯梅尔·罗德里格斯 , 梅赛德斯·G·梅拉约 , 曼努埃尔·努涅斯 :
HOTL:假设和观察测试逻辑。 J.日志。 代数方法课程。 74 ( 2 ) : 57-93 ( 2008 ) [j1] 梅赛德斯·G·梅拉约 , 曼努埃尔·努涅斯 , 伊斯梅尔·罗德里格斯 :
扩展EFSM以指定和测试具有操作持续时间和超时的定时系统。 IEEE传输。 计算机 57 ( 6 ) : 835-844 ( 2008 ) [第17条] 罗伯特·海恩斯 , 梅赛德斯·G·梅拉约 , 曼努埃尔·努涅斯 :
分布式测试体系结构的可控测试用例。 ATVA公司 2008 : 201-215 [第16条] 塞萨尔·安德烈斯 , 梅赛德斯·G·梅拉约 , 曼努埃尔·努涅斯 :
定时系统的被动测试。 ATVA公司 2008 : 418-427 [第15条] 梅赛德斯·G·梅拉约 , 曼努埃尔·努涅斯 :
根据不同的覆盖标准从定时规范中导出测试。 图标 2008 : 97-102 [第14条] 塞萨尔·安德烈斯 , 梅赛德斯·G·梅拉约 , 曼努埃尔·努涅斯 :
复杂信息系统的正式开发。 图标 2008 : 118-123 [第13条] 梅赛德斯·G·梅拉约 , 曼努埃尔·努涅斯 , 伊斯梅尔·罗德里格斯 :
THOTL:酒店的定时延期。 测试通信/命运 2008 : 86-102 [第12条] 罗伯特·海伦斯 , 梅赛德斯·G·梅拉约 , 曼努埃尔·努涅斯 :
分布式测试体系结构的实现关系。 测试通信/命运 2008 : 200-215 [第11条] 梅赛德斯·G·梅拉约 , 罗伯特·海伦斯 , 曼努埃尔·努涅斯 :
扩展流X机器以指定和测试具有超时的系统。 SEFM公司 2008 : 201-210 2007 [第10条] 梅赛德斯·G·梅拉约 , 曼努埃尔·努涅斯 , 伊斯梅尔·罗德里格斯 :
简介 THOTL公司 . ATVA公司 2007 : 501-510 【c9】 梅赛德斯·G·梅拉约 , 曼努埃尔·努涅斯 , 伊斯梅尔·罗德里格斯 :
测试呈现随机时间和超时的有限状态机。 EPEW公司 2007 : 97-111 【c8】 梅赛德斯·G·梅拉约 , 曼努埃尔·努涅斯 , 伊斯梅尔·罗德里格斯 :
呈现软期限和硬期限的系统的正式测试。 FSEN公司 2007 : 160-174 【c7】 梅赛德斯·G·梅拉约 , 曼努埃尔·努涅斯 , 伊斯梅尔·罗德里格斯 :
使用EUSM的多代理系统的形式化规范。 FSEN公司 2007 : 318-333 【c6】 梅赛德斯·G·梅拉约 , 曼努埃尔·努涅斯 :
在随机流X机器上测试一致性。 塞夫姆 2007 : 227-236 【c5】 梅赛德斯·G·梅拉约 , 曼努埃尔·努涅斯 , 伊斯梅尔·罗德里格斯 :
为定时系统生成最佳有限测试套件。 TASE公司 2007 : 149-158 2006 【c4】 梅赛德斯·G·梅拉约 , 曼努埃尔·努涅斯 , 伊斯梅尔·罗德里格斯 :
随机有限状态机的实现关系。 EPEW公司 2006 : 123-137 【c3】 梅赛德斯·G·梅拉约 , 曼努埃尔·努涅斯 , 伊斯梅尔·罗德里格斯 :
扩展EFSM以指定和测试具有操作持续时间和超时的定时系统。 复地 2006 : 372-387 【c2】 伊斯梅尔·罗德里格斯 , 梅赛德斯·G·梅拉约 , 曼努埃尔·努涅斯 :
评估异质测试假设集的逻辑。 测试通信 2006 : 39-54 2005 【c1】 费尔南多·佩莱奥 , 费尔南多·库亚特罗 , 瓦伦特·瓦莱罗 , 玛丽亚·佩莱奥 , 梅赛德斯·G·梅拉约 :
记忆是如何工作的? 通过时间弧Petri网。 IEEE ICCI标准 2005 : 128-135
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)