大卫·佩雷拉
人员信息
优化列表
2020年–今天
2023 [c30] 何塞·普伦萨 , 大卫·佩雷拉 , 吉安·斯皮勒·南迪 , 新浪博拉米 , 乔纳斯·梅尔切特 :
实时规范系列的基于电子表格的配置。 TiCSA@ETAPS 2023 : 27-39 2022 [公元29年] 何塞·普伦萨 , 新浪博拉米 , 豪尔赫·桑切斯·德诺瓦 , 大卫·佩雷拉 , 吉安·斯皮勒·南迪 :
铁路系统中安全临界电机控制器的多模型验证。 RSS邮件 2022 : 83-94 2021 [公元9年] Joseba Andoni阿吉雷 , Leire Etxeberria公司 , 劳尔·巴博萨 , Stylianos Basagiannis公司 , 乔治·吉安塔米迪斯 , 托马斯·鲍尔 , Enrico Ferrari公司 , 米凯尔·拉巴恩·埃斯纳奥拉 , 瓦妮莎·奥拉尼 , 约翰尼·伯格 , 大卫·佩雷拉 , 何塞·普伦萨 , 鲁珀特·施利克 , 亚历斯·斯姆卡 , 沃尔特·蒂贝蒂 , 斯特凡诺·托内塔 , 马可·波扎诺 , 艾哈迈特·亚齐奇 , 贝罗斯·桑切利(Behrooz Sangchoolie) :
VALU3S ECSEL项目:自动化系统安全和安保的验证和确认。 微加工。 微系统 87 : 104349 ( 2021 ) [公元28年] 何塞·路易斯·德拉瓦拉 , 托马斯·鲍尔 , 伯恩哈德·菲舍尔 , 穆斯塔法·卡拉卡 , 亨利克·马德拉 , 马丁·马施尼格 , 西尔维娅·马齐尼 , 吉安·斯皮勒·南迪 , 法比奥·帕特龙 , 大卫·佩雷拉 , 何塞·普伦萨 , 鲁珀特·施利克 , 斯特凡诺·托内塔 , 乌古尔·亚扬 , 贝罗斯·桑切利(Behrooz Sangchoolie) :
自动化系统安全、网络安全和隐私的验证和确认方法分类提案。 QUATIC公司 2021 : 325-340 [公元27年] 托马斯·鲍尔 , Joseba Andoni阿吉雷 , 大卫·Fürcho , 沃尔夫冈·赫兹纳 , 鲍勃·赫鲁斯卡 , 穆斯塔法·卡拉卡 , 大卫·佩雷拉 , 何塞·普伦萨 , 鲁珀特·施利克 , 罗伯特·西彻 , 亚历斯·斯姆卡 , 乌古尔·亚扬 , 贝鲁兹·桑乔利 :
欧洲大规模研究项目VALU3S中验证和确认工作流的跨域建模-邀请论文。 SAMOS公司 2021 : 368-382 2020 [j8] 李凯(Kai Li) , 魏妮 , 优素福·艾米 , 沈怡然 , 里卡多·塞韦里诺 , 大卫·佩雷拉 , 爱德华多·托瓦尔 :
基于排的车载网络物理系统密钥协议的设计与实现。 ACM事务处理。 网络物理。 系统。 4 ( 2 ) : 22:1-22:20 ( 2020 ) [公元26年] 劳尔·巴博萨 , Stylianos Basagiannis公司 , 乔治·吉安塔米迪斯 , H.贝克尔 , Enrico Ferrari公司 , J.贾希克 , A.卡纳克 , 米凯尔·拉巴恩·埃斯纳奥拉 , 瓦妮莎·奥拉尼 , 大卫·佩雷拉 , 路易吉·波曼特 , 鲁珀特·施利克 , 亚历斯·斯姆卡 , 艾哈迈特·亚齐奇 , 彼得·福克森 , 贝罗斯·桑切利(Behrooz Sangchoolie) :
VALU3S ECSEL项目:自动化系统安全与安保的验证与确认。 DSD公司 2020 : 352-359 [公元25年] 大卫·佩雷拉 , 若昂·费雷拉 , 亚历山大·门德斯 :
使用非自助猜测攻击评估密码强度计的准确性。 ISSRE研讨会 2020 : 237-242 [c24] 吉安·斯皮勒·南迪 , 大卫·佩雷拉 , 何塞·普伦萨 , 爱德华多·托瓦尔 :
正在进行的工作:用于在网络物理系统中安全部署运行时监控器的DSL。 RTSS系统 2020 : 395-398 【c23】 安德烈·德·马托斯·佩德罗 , 马丁·勒克 , 大卫·佩雷拉 , 豪尔赫·索萨·平托 :
具有持续时间的实时MTL作为SMT,应用于可调度性分析。 TASE公司 2020 : 第49页至第56页
2010 – 2019
2019 [公元22年] 雷纳托·奥利维拉 , 大卫·佩雷拉 , Cláudio Maia公司 , 佩德罗·桑托斯 :
汽车系统集成的领域特定语言。 IECON公司 2019 : 4483-4488 【c21】 吉安·斯皮勒·南迪 , 大卫·佩雷拉 , 马汀守夜 , 里卡多·德莫莱斯 , Anaücia Schiaffo Morales公司 , 古斯塔沃·梅德罗斯(Gustavo Medeiros de Araújo) :
无线传感器网络中的安全:协议的正式验证。 印度 2019 : 425-431 [i1] 李凯(Kai Li) , 魏妮 , 优素福·艾米 , 沈怡然 , 里卡多·塞韦里诺 , 大卫·佩雷拉 , 爱德华多·托瓦尔 :
基于排的车载网络物理系统密钥协议的设计与实现。 CoRR公司 abs/1911.07617 ( 2019 ) 2018 [j7] 安德烈·德·马托斯·佩德罗 , 豪尔赫·索萨·平托 , 大卫·佩雷拉 , 路易斯·米格尔·皮尼奥 :
使用MTL-$${\int}$$б片段对自动驾驶系统进行运行时验证。 国际期刊软件。 技术工具。 Transf公司。 20 ( 4 ) : 379-395 ( 2018 ) 2017 [j6] 安德烈·德·马托斯·佩德罗 , 大卫·佩雷拉 , 路易斯·米格尔·皮尼奥 , 豪尔赫·索萨·平托 :
基于SMT的可调度性分析,使用RMTL-í。 SIGBED版本。 14 ( 三 ) : 40-42 ( 2017 ) [j5] 佩尔·林格伦 , 艾里克森 , 马库斯·林德纳 , 安德烈亚斯·林德纳 , 大卫·佩雷拉 , 路易斯·米格尔·皮尼奥 :
IEC 61499分布式应用程序在交换以太网上的端到端响应时间。 IEEE传输。 工业信息学 13 ( 1 ) : 287-297 ( 2017 ) [c20] 大卫·佩雷拉 , 阿列克桑达尔·伊利奇 , 莱昂内尔·索萨 :
通过博弈论提高异构嵌入式系统的能效。 帕玛·迪塔姆@HiPEAC 2017 : 19-24 [第19条] 费尔南多·西尔瓦诺·贡卡尔维斯 , 大卫·佩雷拉 , 爱德华多·托瓦尔 , 莱安德罗·巴斯·贝克尔 :
使用UPPAAL对AADL模型进行形式验证。 SBESC公司 2017 : 117-124 2016 【j4】 佩尔·林格伦 , 埃米尔·弗雷斯克 , 马库斯·林德纳 , 安德烈亚斯·林德纳 , 大卫·佩雷拉 , 路易斯·米格尔·皮尼奥 :
抽象计时器及其在ARM Cortex-M系列MCU上的实现。 SIGBED版本。 13 ( 1 ) : 48-53 ( 2016 ) [第18条] Jan Olaf漂白剂 , 佩尔·林格伦 , 大卫·佩雷拉 , 瓦莱里·维亚特金 , 阿洛伊斯·佐伊特 :
IEC 61499形式验证方法的比较。 ETFA公司 2016 : 1-4 [第17条] Per Lindgren公司 , 马库斯·林德纳 , 大卫·佩雷拉 , 路易斯·米格尔·皮尼奥 :
面向RTFM核心应用程序的认证编译。 ETFA公司 2016 : 1-6 [第16条] 佩尔·林德格伦 , 马库斯·林德纳 , 大卫·佩雷拉 , 路易斯·米格尔·皮尼奥 :
基于合同的IEC 61499验证。 印度 2016 : 132-141 [第15条] 杰弗里·内里森 , 亨贝托·卡瓦略 , 大卫·佩雷拉 , 爱德华多·托瓦尔 :
演示摘要:实时和安全关键系统的运行时监控环境。 RTAS公司 2016 : 67 [第14条] Sangeeth Kochanthra公司 , 杰弗里·内利森 , 大卫·佩雷拉 , Rahul Purandare公司 :
REVERT:实时系统的运行时验证。 RTSS系统 2016 : 365 2015 [j3] 内尔马·莫雷拉 , 大卫·佩雷拉 , 索萨圣歌 :
Coq中Kleene代数项等价性的判定。 J.日志。 代数方法课程。 84 ( 三 ) : 377-401 ( 2015 ) [注2] 安德烈·德·马托斯·佩德罗 , 大卫·佩雷拉 , 路易斯·米格尔·皮尼奥 , 豪尔赫·索萨·平托 :
组合硬实时嵌入式系统的基于逻辑的可调度性分析。 SIGBED版本。 12 ( 1 ) : 56-64 ( 2015 ) [第13条] 杰弗里·内里森 , 大卫·佩雷拉 , 路易斯·米格尔·皮尼奥 :
一种用于安全高效在线监测的新型运行时监测体系结构。 阿达·欧罗普 2015 : 66-82 [第12条] 佩尔·林格伦 , 马库斯·林德纳 , 安德烈亚斯·林德纳 , 瓦莱里·维亚特金 , 大卫·佩雷拉 , 路易斯·米格尔·皮尼奥 :
IEC 61499标准的实时语义。 ETFA公司 2015 : 1-6 [第11条] 佩尔·林格伦 , 马库斯·林德纳 , 安德烈亚斯·林德纳 , 埃米尔·弗雷斯克 , 大卫·佩雷拉 , 路易斯·米格尔·皮尼奥 :
抽象计时器及其在ARM Cortex-M系列MCU上的实现。 EWiLi公司 2015 [第10条] 佩尔·林格伦 , 艾里克森 , 马库斯·林德纳 , 安德烈亚斯·林德纳 , 大卫·佩雷拉 , 路易斯·米格尔·皮尼奥 :
以太网上IEC 61499的响应时间。 印度 2015 : 1206-1212 【c9】 佩尔·林格伦 , 马库斯·林德纳 , 安德烈亚斯·林德纳 , 大卫·佩雷拉 , 路易斯·米格尔·皮尼奥 :
RTFM-堆芯关键段的井型控制流。 印度 2015 : 1438-1445 【c8】 安德烈·德·马托斯·佩德罗 , 大卫·佩雷拉 , 路易斯·米格尔·皮尼奥 , 豪尔赫·索萨·平托 :
监测MTL-í的可决定片段。 RV汽车 2015 : 169-184 【c7】 佩尔·林德格伦 , 马库斯·林德纳 , 大卫·佩雷拉 , 路易斯·米格尔·皮尼奥 :
IEC 61499执行控制图语义的形式化观点。 TrustCom/BigDataSE/ISPA(3) 2015 : 293-300 2014 【c6】 安德烈·德·马托斯·佩德罗 , 大卫·佩雷拉 , 路易斯·米格尔·皮尼奥 , 豪尔赫·索萨·平托 :
Ada编程语言的运行时验证框架。 阿达·欧罗普 2014 : 58-73 【c5】 安德烈·德·马托斯·佩德罗 , 大卫·佩雷拉 , 路易斯·米格尔·皮尼奥 , 豪尔赫·索萨·平托 :
硬实时系统的组合监控框架。 NASA形式方法 2014 : 16-30 2013 【b1】 大卫·佩雷拉 :
面向验证命令式程序的认证程序逻辑。 葡萄牙波尔图大学, 2013 2012 【c4】 内尔马·莫雷拉 , 大卫·佩雷拉 , 索萨圣歌 :
Coq中正则表达式(In-)等价性的判定。 RAMiCS公司 2012 : 98-113 2010 [c3] 何塞·巴塞拉·阿尔梅达 , 内尔马·莫雷拉 , 大卫·佩雷拉 , Simão Melo de Sousa公司 :
Coq中形式化的偏导数自动机。 CIAA公司 2010 : 59-68
2000 – 2009
2009 【c2】 大卫·佩雷拉 , Inés Lync公司 , 史蒂文·普雷斯特维奇 :
改进局部搜索的不满足性。 LSCS公司 2009 : 41-53 2008 [j1] 大卫·佩雷拉 , 内尔马·莫雷拉 :
合同中的KAT和PHL。 计算。 科学。 信息系统。 5 ( 2 ) : 137-160 ( 2008 ) 2007 【c1】 大卫·佩雷拉 , 尤格尼奥·奥利维拉 , 内尔马·莫雷拉 :
BDI代理中情绪的形式化建模。 CLIMA公司 2007 : 62-81