David Miguel Ramalho Pereira


AuthID: R-000-45D

Publicações Confirmadas: 31



1
TÍTULO: Secure integration of extremely resource-constrained nodes on distributed ROS2 applications
AUTORES: Giann Spilere Nandi; David Pereira ; José Proença ; Eduardo Tovar; Antonio Rodriguez; Pablo Garrido;
PUBLICAÇÃO: 2023, FONTE: Open Research Europe, VOLUME: 3
INDEXADO EM: CrossRef: 2
NO MEU: ORCID | CIÊNCIAVITAE
2
TÍTULO: Verification of Multiple Models of a Safety-Critical Motor Controller in Railway Systems
AUTORES: José Proença; Sina Borrami; Jorge Sanchez de Nova; David Pereira ; Giann Spilere Nandi;
PUBLICAÇÃO: 2022, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 13294 LNCS
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
3
TÍTULO: Design and Implementation of Secret Key Agreement for Platoon-based Vehicular Cyber-physical Systems
AUTORES: Li, K; Ni, W; Emami, Y; Shen, Y; Severino, R ; Pereira, D ; Tovar, E ;
PUBLICAÇÃO: 2020, FONTE: ACM TRANSACTIONS ON CYBER-PHYSICAL SYSTEMS, VOLUME: 4, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 19 Handle
NO MEU: ORCID | CIÊNCIAVITAE
4
TÍTULO: Security in Wireless Sensor Networks: A formal verification of protocols
AUTORES: Nandi, GS; Pereira, D ; Vigil, M; Moraes, R; Morales, AS; Araujo, G;
PUBLICAÇÃO: 2019, FONTE: 17th IEEE International Conference on Industrial Informatics (INDIN) in 2019 IEEE 17TH INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), VOLUME: 2019-July
INDEXADO EM: Scopus WOS CrossRef: 1
NO MEU: ORCID | CIÊNCIAVITAE
5
TÍTULO: Validation of automated farming
AUTORES: Rooker, M; López, JF; Horstrand, P; Pusenius, M; Leppälampi, T; Lattarulo, R; Pérez, J; Slavik, Z; Sáez, S; Andreu, L; Ruiz, A; Pereira, D ; Zhao, L;
PUBLICAÇÃO: 2019, FONTE: Validation and Verification of Automated Systems: Results of the ENABLE-S3 Project
INDEXADO EM: Scopus CrossRef: 1
NO MEU: ORCID | CIÊNCIAVITAE
6
TÍTULO: Runtime verification of autopilot systems using a fragment of MTL-  Full Text
AUTORES: Pedro, AD; Pinto, JS ; Pereira, D ; Pinho, LM ;
PUBLICAÇÃO: 2018, FONTE: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems (FMICS) / 16th International Workshop on Automated Verification of Critical Systems (AVoCS) in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, VOLUME: 20, NÚMERO: 4
INDEXADO EM: Scopus WOS DBLP CrossRef: 4 Handle
NO MEU: ORCID | CIÊNCIAVITAE
7
TÍTULO: Contract based verification of IEC 61499  Full Text
AUTORES: Lindgren, P; Lindner, M; Pereira, D ; Pinho, LM ;
PUBLICAÇÃO: 2017, FONTE: 14th IEEE International Conference on Industrial Informatics, INDIN 2016 in IEEE International Conference on Industrial Informatics (INDIN)
INDEXADO EM: Scopus CrossRef: 3 Handle
NO MEU: ORCID | CIÊNCIAVITAE
8
TÍTULO: End-to-End Response Time of IEC 61499 Distributed Applications Over Switched Ethernet
AUTORES: Lindgren, P; Eriksson, J; Lindner, M; Lindner, A; Pereira, D ; Pinho, LM ;
PUBLICAÇÃO: 2017, FONTE: IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, VOLUME: 13, NÚMERO: 1
INDEXADO EM: Scopus WOS CrossRef: 11
NO MEU: ORCID | CIÊNCIAVITAE
9
TÍTULO: Formal Verification of AADL Models Using UPPAAL
AUTORES: Goncalves, FS; Pereira, D ; Tovar, E ; Becker, LB;
PUBLICAÇÃO: 2017, FONTE: 7th Brazilian Symposium on Computing Systems Engineering (SBESC) in 2017 VII BRAZILIAN SYMPOSIUM ON COMPUTING SYSTEMS ENGINEERING (SBESC), VOLUME: 2017-November
INDEXADO EM: Scopus WOS DBLP CrossRef: 10 Handle
NO MEU: ORCID | CIÊNCIAVITAE
10
TÍTULO: REVERT: Runtime Verification for Real-Time Systems  Full Text
AUTORES: Kochanthara, S; Nelissen, G; Pereira, D ; Purandare, R;
PUBLICAÇÃO: 2017, FONTE: 2016 IEEE Real-Time Systems Symposium, RTSS 2016 in Proceedings - Real-Time Systems Symposium
INDEXADO EM: Scopus CrossRef: 4
NO MEU: ORCID | CIÊNCIAVITAE
Página 1 de 4. Total de resultados: 31.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service