莱安德罗·迪亚斯·达席尔瓦
人员信息
优化列表
2020年-今天
2024 [公元10年] 何塞·伊里纽·费雷拉·朱尼尔 , 阿尔瓦罗·索布利尼奥 , 莱安德罗·迪亚斯·达席尔瓦 , 保罗库尼亚 , 蒂亚戈·D·科代罗 , 安吉洛·佩尔库西奇 , 安东尼奥·马库斯·诺盖拉·德利马 :
一种基于彩色Petri网的生物医学信号采集设备验证系统。 J.超级计算机。 80 ( 10 ) : 14242-14271 ( 2024 ) [公元29年] 尤里·雷森德·马蒂亚斯·德·奥利维拉 , 阿尔瓦罗·索布利尼奥 , 莱安德罗·迪亚斯·达席尔瓦 , 达尼洛·桑托斯 , 凯勒·科斯塔·戈戈尼奥 , 安吉洛·佩尔库西奇 :
彩色Petri网建模多层感知器神经网络。 ICCE公司 2024 : 1-4 2023 [公元9年] 阿尔瓦罗·索布里尼奥 , 艾莉·阿尔梅达 , 莱安德罗·迪亚斯·达席尔瓦 , 莱纳多·查夫斯·席尔瓦 , 阿德里亚诺·阿劳约 , 塔西奥·费尔南德斯·科斯塔 , 安吉洛·佩尔库西奇 :
软件工程中抽象测试生成的彩色Petri网。 柔和。 测试。 验证可靠性。 33 ( 2 ) ( 2023 ) 2022 [j8] 马修斯·苏亚雷斯(Matheus Soares de Araujo) , 莱安德罗·迪亚斯·达席尔瓦 , 阿尔瓦罗·索布利尼奥 , 保罗库尼亚 , 莱昂纳多·蒙特奇 :
重症监护室多参数监测系统的可靠性分析。 Reliab公司。 工程系统。 安全。 226 : 108638 ( 2022 ) 2021 [j7] 莱安德罗·迪亚斯·达席尔瓦 , 保罗·洛里尼 , 蒙氏Diamantea Mongelli , 安德烈亚·邦达瓦利 , 吉安卢卡·曼多 :
具有虚拟标签和本地定位的电车系统交通分析的随机建模方法。 J.布拉兹。 计算。 Soc公司。 27 ( 1 ) : 2 ( 2021 ) [j6] 穆罕默德·加里布 , 莱安德罗·迪亚斯·达席尔瓦 , 安德烈亚·塞卡雷利 :
网络物理系统中学科自主性的模型及其应用。 J.软件。 进化。 过程。 33 ( 9 ) ( 2021 ) 2020 [j5] 阿尔瓦罗·索布利尼奥 , 安德烈萨·C·M·达·S·奎罗斯 , 莱安德罗·迪亚斯·达席尔瓦 , 埃文德罗·德·巴罗斯·科斯塔 , 玛丽亚·埃利埃特·皮涅罗 , 安吉洛·佩尔库西奇 :
发展中国家慢性肾脏疾病的计算机辅助诊断:机器学习技术的比较分析。 IEEE接入 8 : 25407-25419 ( 2020 )
2010 – 2019
2019 【j4】 罗德里戈·若泽·萨门托·佩克索托 , 莱安德罗·迪亚斯·达席尔瓦 , 安吉洛·佩尔库西奇 :
使用启发式和覆盖标准对自动化系统软件进行基于模型的测试。 柔和。 系统。 模型。 18 ( 2 ) : 797-823 ( 2019 ) [j3] 阿尔瓦罗·索布利尼奥 , 莱安德罗·迪亚斯·达席尔瓦 , 安吉洛·佩尔库西奇 , 保罗库尼亚 , 蒂亚戈·D·科尔德罗 , 安东尼奥·马库斯·诺盖拉·德利马 :
生物医学信号采集系统的形式化建模:认证的证据来源。 柔和。 系统。 模型。 18 ( 2 ) : 1467-1485 ( 2019 ) [公元28年] 爱德华多·莫拉埃斯·德·米兰达·瓦斯科尼特斯 , 蒂亚戈·D·科代罗 , 阿尔瓦罗·索布利尼奥 , 莱安德罗·迪亚斯·达席尔瓦 , 安吉洛·佩尔库西奇 , 安东尼奥·马库斯·诺盖拉·德利马 :
基于Petri网的混合半径FFT算法实现,用于协助生物医疗系统的认证。 IECON公司 2019 : 2761-2766 [公元27年] 塔西奥·费尔南德斯·科斯塔 , 阿尔瓦罗·索布里尼奥 , 莱纳多·查夫斯·席尔瓦 , 莱安德罗·迪亚斯·达席尔瓦 , 安吉洛·佩尔库西奇 :
胰岛素输注泵控制系统的彩色Petri网参考模型:协助认证过程。 IECON公司 2019 : 2871-2876 [公元26年] 莱安德罗·迪亚斯·达席尔瓦 , 蒙氏Diamantea Mongelli , 保罗·洛里尼 , 安德烈亚·邦达瓦利 , 吉安卢卡·曼多 :
带有虚拟标签和局部定位的有轨电车系统的性能分析。 拉丁美洲发展中心 2019 : 1-10 2018 [注2] 阿尔瓦罗·索布利尼奥 , 莱安德罗·迪亚斯·达席尔瓦 , 安吉洛·佩尔库西奇 , 玛丽亚·埃利埃特·皮涅罗 , 保罗库尼亚 :
设计和评估一个移动应用程序,以帮助发展中国家对慢性肾脏疾病进行自我监测。 BMC医学信息学决策。 制造商。 18 ( 1 ) : 7:1-7:14 ( 2018 ) [公元25年] 塔戈·塔洛·佩德罗萨 , 菲利佩·F·瓦斯康塞洛斯 , 莱昂纳多·梅德罗斯 , 莱安德罗·迪亚斯·达席尔瓦 :
机器学习应用于量化帕金森病患者的震颤水平。 CENTERIS/ProjMAN/HCist公司 2018 : 215-220 [公元24年] 穆罕默德·加里布 , 莱安德罗·迪亚斯·达席尔瓦 , 汉娜·卡瓦利奥纳克 , 安德烈亚·塞卡雷利 :
一种基于模型的方法,用于分析网络物理系统的自治级别。 拉丁美洲发展中心 2018 : 135-144 【c23】 莱安德罗·迪亚斯·达席尔瓦 , 爱德华多·贡萨尔维斯(Eduardo Gonçalves de Lima) :
一种应用于无线通信峰值因子降低技术的新型限制器。 SBCCI公司 2018 : 1-6 2016 [公元22年] 莱昂纳多·梅德罗斯 , 阿尔梅达Hyggo Oliveira de Almeida , 莱安德罗·迪亚斯·达席尔瓦 , 米尔科·巴博萨(Mirko Barbosa Perkusich) , 罗伯特·费舍尔 :
使用主成分分析跟踪帕金森病演变的步态分析方法。 哥伦比亚广播公司 2016 : 48-53 【c21】 莱昂纳多·梅德罗斯 , 阿尔梅达Hyggo Oliveira de Almeida , 莱安德罗·迪亚斯·达席尔瓦 , 米尔科·巴博萨(Mirko Barbosa Perkusich) , 罗伯特·费舍尔 :
基于游戏的帕金森病监测方法:Bradykinesia症状分类。 哥伦比亚广播公司 2016 : 337-342 [公元20年] 阿尔瓦罗·索布利尼奥 , 保罗库尼亚 , 莱安德罗·迪亚斯·达席尔瓦 , 安吉洛·佩尔库西奇 , 蒂亚戈·D·科尔德罗 , 雅巴斯·塞贡多 :
使用彩色Petri网模型和GSN中的保证案例论证生物医学信号采集设备的有效性:心电图案例研究。 欧洲工商管理委员会 2016 : 2488-2491 [第19条] 玛丽亚·冈萨雷斯·维达尔 , 埃文德罗·德·巴罗斯·科斯塔 , 莱安德罗·迪亚斯·达席尔瓦 , Fabrísia Ferreira de Araújo公司 , 拉斐尔·费雷拉 :
基于超媒体的适应性教育系统,用于帮助系统和信息技术领域的学生实现问责制。 WorldCIST(2) 2016 : 277-286 2015 [第18条] 阿尔瓦罗·索布利尼奥 , 保罗库尼亚 , 莱安德罗·迪亚斯·达席尔瓦 , 安吉洛·佩尔库西奇 , 蒂亚戈·D·科尔德罗 , 乔尔森·雷戈 :
验证心电图设备的模拟方法。 健康通信 2015 : 86-90 [第17条] 阿尔瓦罗·索布利尼奥 , 保罗库尼亚 , 莱安德罗·迪亚斯·达席尔瓦 , 安吉洛·佩尔库西奇 , 蒂亚戈·D·科尔德罗 , 乔尔森·雷戈 :
生物医学信号采集设备的建模和仿真方法。 HealthCom公司 2015 : 227-231 [第16条] 阿尔瓦罗·索布利尼奥 , 何塞·内托 , 保罗库尼亚 , 莱安德罗·迪亚斯·达席尔瓦 , 安吉洛·佩尔库西奇 :
基于ISO 14971标准的风险管理过程的彩色Petri网模型。 IECON公司 2015 : 475-480 2014 [第15条] 阿尔瓦罗·索布利尼奥 , 安吉洛·佩尔库西奇 , 莱安德罗·迪亚斯·达席尔瓦 , 蒂亚戈·D·科代罗 , 乔尔森·雷戈 , 保罗库尼亚 :
面向医疗设备认证:表面心电图设备的彩色Petri网模型。 IECON公司 2014 : 2645-2651 [第14条] 阿尔瓦罗·索布利尼奥 , 安吉洛·佩尔库西奇 , 莱安德罗·迪亚斯·达席尔瓦 , 保罗库尼亚 :
将彩色Petri网用于表面胃电描记系统的需求工程。 印度 2014 : 221-226 2013 [第13条] 凯齐亚·德·瓦康塞洛斯·奥利维拉 , 安吉洛·佩尔库西奇 , 凯勒·科斯塔·戈戈尼奥 , 莱安德罗·迪亚斯·达席尔瓦 , 奥尔登·法尔考·马丁斯 :
使用等效类测试安全仪表系统的程序。 ETFA公司 2013 : 1-7 2012 [第12条] 埃尔顿·A·S·奥利维拉 , 莱安德罗·迪亚斯·达席尔瓦 , 阿尔梅达Hyggo Oliveira de Almeida , 安吉洛·佩尔库西奇 :
基于模型的生理学控制解决方案。 FHIES公司 2012 : 167-175 2011 [第11条] 阿尔瓦罗·阿尔瓦雷斯·德·卡瓦略·塞萨尔·索布利尼奥 , 莱安德罗·迪亚斯·达席尔瓦 , 莱昂纳多·梅洛·德·梅德罗斯 :
一种以用户为中心的方法,用于开发用于医疗保健的通用移动工具。 中心(3) 2011 : 384-391
2000 – 2009
2009 [第2页] 莱安德罗·迪亚斯·达席尔瓦 , 埃尔顿·阿列克斯·达席尔瓦·奥利维拉 , 阿尔梅达Hyggo Oliveira de Almeida , 安吉洛·佩尔库西奇 :
一种基于Agent的集成智能信息系统建模和验证的形式化方法。 信息系统建模的创新 2009 : 254-268 2008 [第10条] 洛雷诺·奥利维拉 , Kyller Costa Gorgônio公司 , 安吉洛·佩尔库西奇 , 莱安德罗·迪亚斯·达席尔瓦 :
实时应用中基于蓝牙的WPAN在处理切换管理方面的缺陷和权衡。 ISCC公司 2008 : 631-636 【c9】 索洛·奥利维拉·多内拉斯·路易斯 , Genildo de Moura Vasconcelos公司 , 莱安德罗·迪亚斯·达席尔瓦 :
OMAP平台处理器内核之间数据传输的DSP网关的正式规范。 囊 2008 : 1545-1549 【c8】 弗雷德里科·布利茨 , 阿尔梅达Hyggo Oliveira de Almeida , 安吉洛·佩尔库西奇 , 埃默森·劳雷罗 , 埃文德罗·德·巴罗斯·科斯塔 , 莱安德罗·迪亚斯·达席尔瓦 :
在普及环境中开发上下文感知应用程序的基础设施。 囊 2008 : 1958-1959 2007 【c7】 路易斯·保罗·德·阿西斯·巴博萨 , Kyller Costa Gorgônio公司 , 莱安德罗·迪亚斯·达席尔瓦 , 安东尼奥·马库斯·诺盖拉·德利马 , 安吉洛·佩尔库西奇 :
从ISA 5.2图自动生成时间自动机模型。 ETFA公司 2007 : 406-412 【c6】 埃尔顿·A·S·奥利维拉 , 阿尔梅达Hyggo Oliveira de Almeida , 莱安德罗·迪亚斯·达席尔瓦 :
使用有色petri网和模型检查对组件模型进行形式化建模和验证。 囊 2007 : 1427-1431 2006 【c5】 B.托马斯·阿德勒 , 卢卡·德·阿尔法罗 , 莱安德罗·迪亚斯·达席尔瓦 , 马可·费拉 , Axel Legay公司 , 维什瓦纳斯·拉曼 , 普里塔姆·罗伊 :
Ticc:界面兼容性和组合工具。 CAV汽车 2006 : 59-62 2005 [j1] 莱安德罗·迪亚斯·达席尔瓦 , 安吉洛·佩尔库西奇 :
使用有色Petri网建模的软件工件的组成。 科学。 计算。 程序。 56 ( 1-2 ) : 171-189 ( 2005 ) 【c4】 卢卡·德·阿尔法罗 , 莱安德罗·迪亚斯·达席尔瓦 , 马可·费拉 , Axel Legay公司 , 普里塔姆·罗伊 , 玛丽亚·索里亚 :
社交界面。 FroCoS公司 2005 : 81-105 【c3】 希戈·O·阿尔梅达 , 埃尔顿·A·S·奥利维拉 , 纳迪亚·巴博萨 , 弗雷德里科·布利茨 , 莱安德罗·迪亚斯·达席尔瓦 , 安吉洛·佩尔库西奇 :
Baseados em Componentes信息系统模型验证。 SBSI公司 2005 : 272-279 [第1页] 莱安德罗·迪亚斯·达席尔瓦 , 安吉洛·佩尔库西奇 :
基于模型的方法,使用有色Petri网对嵌入式系统进行形式化描述和验证。 基于组件的嵌入式系统软件开发 2005 : 35-58 2004 【c2】 阿尔梅达Hyggo Oliveira de Almeida , 莱安德罗·迪亚斯·达席尔瓦 , 安吉洛·佩尔库西奇 , 埃文德罗·德·巴罗斯·科斯塔 :
一种基于模型检查和Petri网的多智能体计划建模和验证的形式化方法。 塞尔马斯 2004 : 162-179 2003 【c1】 莱安德罗·迪亚斯·达席尔瓦 , 安吉洛·佩尔库西奇 :
基于组件的软件系统的形式验证。 NDDL/VVEIS 2003 : 113-124