埃米利亚·维拉尼
人员信息
优化列表
![笔记](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
2020年–今天
2024 [公元11年] 阿琳·达勒尼·克莱默 , 埃米利亚·维拉尼 :
离线数据驱动飞机故障诊断框架。 J.航空公司。 信息系统。 21 ( 4 ) : 348-361 ( 2024 ) 2023 [公元10年] 克莱伯·罗伯托·达席尔瓦·桑托斯 , 韦斯利·罗德里格斯(Wesley Rodrigues de Oliveira) , 埃米利亚·维拉尼 , 奥古斯托·德特曼 :
工业密封件自动化检测的三维扫描方法。 计算。 印第安纳州。 147 : 103850 ( 2023 ) [第19条] 凯·费雷拉 , 塞萨尔·席尔瓦 , 卡洛斯·埃古蒂 , 韦斯利·罗德里格斯(Wesley Rodrigues de Oliveira) , 埃米利亚·维拉尼 :
用于验证航空数字摄影测量系统的真实感模拟方法。 案例 2023 : 1-6 2022 [公元9年] 克莱伯·罗伯托·达席尔瓦·桑托斯 , 埃米利亚·维拉尼 , 韦斯利·罗德里格斯(Wesley Rodrigues de Oliveira) , 奥古斯托·德特曼 :
机器人化航空结构装配和检测的视觉伺服技术比较。 机器人计算。 集成。 制造商。 73 : 102237 ( 2022 ) 2021 [j8] Samoel Mirachi公司 , 埃米利亚·维拉尼 , 马塞洛·若泽·鲁夫·莱姆斯 :
使用敏捷方法与分布式团队开发关键航空航天嵌入式系统。 J.航空公司。 信息系统。 18 ( 5 ) : 212-230 ( 2021 ) [第18条] 马里奥·恩里克·德·奥利维拉·库蒂尼奥·达席尔瓦 , Thiago Fontes Macído公司 , 卡瓦略·卢伦索 , 伊万·德苏萨·雷德(Ivan de Souza Rehder) , 安娜·安吉丽卡·达科斯塔·马尔奇奥里 , 马特乌斯·佩雷拉·塞萨尔 , 拉斐尔·戈麦斯·科尔特斯 , 小莫西尔·马查多·卡多佐 , 埃米利亚·维拉尼 :
使用飞行模拟器和生理传感器对军事飞行员进行心理负荷评估。 H-工作负荷 2021 : 99-115 2020 [第17条] A.C.马修斯 , 埃米利亚·维拉尼 , 韦斯利·罗德里格斯(Wesley Rodrigues de Oliveira) :
机器人飞行模拟器的黑盒识别。 ICARCV公司 2020 : 1131-1136 [第16条] 弗朗西斯科·阿泽维多 , 丹妮拉·瓦卡里尼 , 埃米利亚·维拉尼 , 马科斯·R·O·A·马西莫 :
神经网络控制RoboCup小型联赛中的多角度射手。 LARS/SBR/WRE公司 2020 : 1-6
2010 – 2019
2019 [j7] 埃米利亚·维拉尼 , 罗德里戈·帕斯特·蓬茨 , 吉尔赫梅·基塞洛夫·科拉西尼 , 安娜·玛丽亚·安布罗西奥 :
集成工业软件开发的模型检查和基于模型的测试。 计算。 印第安纳州。 104 : 88-102 ( 2019 ) 2018 [j6] 朱莉安娜·加尔瓦尼·格雷吉 , 艾琳·马丁斯 , 阿里亚德内·玛丽亚·布里托·里佐尼·卡瓦略 , 安娜·玛丽亚·安布罗西奥 , 埃米利亚·维拉尼 :
从自然语言标准文档到状态机:优点和缺点。 J.航空公司。 信息系统。 15 ( 5 ) : 271-281 ( 2018 ) 2017 [j5] Samoel Mirachi公司 , 瓦尔迪尔·达科斯塔·格拉 , 阿迪尔森·达库尼亚 , 路易斯·阿尔贝托·维埃拉·迪亚斯 , 埃米利亚·维拉尼 :
将敏捷方法应用于飞机嵌入式软件:实验分析。 柔和。 实际。 支出。 47 ( 11 ) : 1465-1484 ( 2017 ) [第15条] 迭戈·埃尔南德斯·阿乔尼 , 费尔南多·西尔维拉·马达尼 , 池田圭尔默 , 古斯塔沃·德·梅洛·卡瓦略 , Loredana B.Cobianchi公司 , 路易斯·费雷拉(Luiz F.L.R.Ferreira) , 埃米利亚·维拉尼 :
制造设备改造,以便在工业4.0中使用。 CRC公司 2017 : 155-161 [第14条] 米凯尔·阿斯普伦德 , 雅各布·罗瓦尔 , 埃米利亚·维拉尼 :
车辆协调动态组成员的规范、实施和验证。 PRDC公司 2017 : 321-328 2016 【j4】 吉尔赫梅·布鲁霍萨·罗德米兰斯 , 埃米利亚·维拉尼 , 路易斯·冈萨加·特拉巴索 , 韦斯利·罗德里格斯(Wesley Rodrigues de Oliveira) , 里卡多·苏特里奥 :
工业机器人界面的比较:力引导系统和示教器操作。 Ind.机器人 43 ( 5 ) : 552-562 ( 2016 ) [第13条] 保罗·迭戈·巴博萨·达席尔瓦 , 安娜·玛丽亚·安布罗西奥 , 埃米利亚·维拉尼 , 丹尼斯·罗通迪·阿泽夫多 :
卫星模拟器验证方法——进化系统。 拉丁美洲发展中心 2016 : 176-182 2015 [j3] 保罗·C·维拉斯 , 埃米利亚·维拉尼 , 安娜·玛丽亚·安布罗西奥 , 马可·维埃拉 , 亨利克·马德拉 :
评估空间应用软件需求文档的基准过程。 J.系统。 柔和。 100 : 103-116 ( 2015 ) 2014 [注2] 罗德里戈·帕斯特·蓬茨 , 保罗·克劳迪诺·维拉斯 , 安娜·玛丽亚·安布罗西奥 , 埃米利亚·维拉尼 :
模型检查和CoFI方法对空间嵌入式软件开发的贡献。 恩皮尔。 柔和。 工程师。 19 ( 1 ) : 39-68 ( 2014 ) [第12条] 内金·法塔拉赫·内贾德 , 埃米利亚·维拉尼 , 里萨特·巴桑 , 劳尔·巴博萨 , 约翰·卡尔森 :
同步共识协议中分歧的概率分析。 EDCC公司 2014 : 23-34 2013 [j1] 何塞·马科斯·席尔瓦·安霍斯 , 吉尔赫梅·基塞洛夫·科拉西尼 , 埃米利亚·维拉尼 :
基于LabVIEW的多功能机器人末端执行器软件架构的建议和验证。 高级工程师软件。 55 : 32-44 ( 2013 ) [第11条] 内金·法塔拉赫·内贾德 , 埃米利亚·维拉尼 , 里萨特·巴桑 , 劳尔·巴博萨 , 约翰·卡尔森 :
虚拟交通灯领导选举协议的可靠性分析。 DSN研讨会 2013 : 1-12 [第10条] Mafijul马里兰州伊斯兰 , 贝罗斯·桑切利(Behrooz Sangchoolie) , 法特梅赫·阿亚托拉希 , 丹尼尔·斯卡林 , 乔尼·文特 , 弗雷德里克·特纳 , 安德烈亚斯·卡克 , 马蒂亚斯·尼伯格 , 埃米利亚·维拉尼 , 约翰·哈拉尔德森 , 帕特里克·伊萨克森 , 约翰·卡尔森 :
面向汽车行业功能安全基准。 EWDC公司 2013 : 111-125 【c9】 内金·法塔拉赫·内贾德 , 埃米利亚·维拉尼 , 里萨特·巴桑 , 劳尔·巴博萨 , 约翰·卡尔森 :
使用中度悲观决策准则对一种1-of-n选择算法进行概率分析。 PRDC公司 2013 : 68-77 【c8】 埃米利亚·维拉尼 , 内金·法塔拉赫·内贾德 , 里萨特·巴桑 , 劳尔·巴博萨 , 约翰·卡尔森 :
合作运输系统一致性的可靠性分析。 ASCoMS@SAFECOMP公司 2013 2010 【c7】 保罗·C·维拉斯 , 埃米利亚·维拉尼 , 安娜·玛丽亚·安布罗西奥 , 努诺·席尔瓦 , 马可·维埃拉 , 亨利克·马德拉 :
空间软件需求错误:实地研究和应用场景。 ISSRE公司 2010 : 61-70 【c6】 保罗·C·维拉斯 , 埃米利亚·维拉尼 , 安娜·玛丽亚·安布罗西奥 , 罗德里戈·帕斯特·蓬茨 , 马可·维埃拉 , 亨利克·马德拉 :
空间应用软件需求文档基准。 SAFECOMP公司 2010 : 112-125
2000 – 2009
2006 【c5】 埃米利亚·维拉尼 , 保罗·宫城 :
飞机系统安全分析的混合方法。 ADHS公司 2006 : 389-394 【c4】 埃米利亚·维拉尼 , 卡斯特罗 , F.M.马克斯 , 保罗·艾吉·宫城 :
制造系统的远程监控。 BASYS公司 2006 : 369-376 2005 【c3】 法比西奥·容奎拉 , 埃米利亚·维拉尼 , 保罗·艾吉·宫城 :
基于Petri网和面向对象范式的生产系统分布式建模和仿真平台。 ETFA公司 2005 2003 【c2】 埃米利亚·维拉尼 , Jean-Claude帕斯卡 , 保罗·宫城 , 罗伯特·瓦莱特 :
微分谓词转移Petri网和对象,用于证明混合系统中的属性。 ADHS公司 2003 : 87-92 2001 【c1】 保罗·艾吉·宫城 , 埃米利亚·维拉尼 , 牛顿丸山 :
使用UML和Petri网对混合监控系统进行建模。 ETFA(2) 2001 : 149-158
合著者索引
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)