David Miguel Ramalho Pereira


AuthID: R-000-45D

Confirmed Publications: 31



1
TITLE: Secure integration of extremely resource-constrained nodes on distributed ROS2 applications
AUTHORS: Giann Spilere Nandi; David Pereira ; José Proença ; Eduardo Tovar; Antonio Rodriguez; Pablo Garrido;
PUBLISHED: 2023, SOURCE: Open Research Europe, VOLUME: 3
INDEXED IN: CrossRef: 2
IN MY: ORCID | CIÊNCIAVITAE
2
TITLE: Verification of Multiple Models of a Safety-Critical Motor Controller in Railway Systems
AUTHORS: José Proença; Sina Borrami; Jorge Sanchez de Nova; David Pereira ; Giann Spilere Nandi;
PUBLISHED: 2022, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 13294 LNCS
INDEXED IN: Scopus CrossRef
IN MY: ORCID | CIÊNCIAVITAE
3
TITLE: Design and Implementation of Secret Key Agreement for Platoon-based Vehicular Cyber-physical Systems
AUTHORS: Li, K; Ni, W; Emami, Y; Shen, Y; Severino, R ; Pereira, D ; Tovar, E ;
PUBLISHED: 2020, SOURCE: ACM TRANSACTIONS ON CYBER-PHYSICAL SYSTEMS, VOLUME: 4, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef: 19 Handle
IN MY: ORCID | CIÊNCIAVITAE
4
TITLE: Security in Wireless Sensor Networks: A formal verification of protocols
AUTHORS: Nandi, GS; Pereira, D ; Vigil, M; Moraes, R; Morales, AS; Araujo, G;
PUBLISHED: 2019, SOURCE: 17th IEEE International Conference on Industrial Informatics (INDIN) in 2019 IEEE 17TH INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), VOLUME: 2019-July
INDEXED IN: Scopus WOS CrossRef: 1
IN MY: ORCID | CIÊNCIAVITAE
5
TITLE: Validation of automated farming
AUTHORS: 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;
PUBLISHED: 2019, SOURCE: Validation and Verification of Automated Systems: Results of the ENABLE-S3 Project
INDEXED IN: Scopus CrossRef: 1
IN MY: ORCID | CIÊNCIAVITAE
6
TITLE: Runtime verification of autopilot systems using a fragment of MTL-  Full Text
AUTHORS: Pedro, AD; Pinto, JS ; Pereira, D ; Pinho, LM ;
PUBLISHED: 2018, SOURCE: 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, ISSUE: 4
INDEXED IN: Scopus WOS DBLP CrossRef: 4 Handle
IN MY: ORCID | CIÊNCIAVITAE
7
TITLE: Contract based verification of IEC 61499  Full Text
AUTHORS: Lindgren, P; Lindner, M; Pereira, D ; Pinho, LM ;
PUBLISHED: 2017, SOURCE: 14th IEEE International Conference on Industrial Informatics, INDIN 2016 in IEEE International Conference on Industrial Informatics (INDIN)
INDEXED IN: Scopus CrossRef: 3 Handle
IN MY: ORCID | CIÊNCIAVITAE
8
TITLE: End-to-End Response Time of IEC 61499 Distributed Applications Over Switched Ethernet
AUTHORS: Lindgren, P; Eriksson, J; Lindner, M; Lindner, A; Pereira, D ; Pinho, LM ;
PUBLISHED: 2017, SOURCE: IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, VOLUME: 13, ISSUE: 1
INDEXED IN: Scopus WOS CrossRef: 11
IN MY: ORCID | CIÊNCIAVITAE
9
TITLE: Formal Verification of AADL Models Using UPPAAL
AUTHORS: Goncalves, FS; Pereira, D ; Tovar, E ; Becker, LB;
PUBLISHED: 2017, SOURCE: 7th Brazilian Symposium on Computing Systems Engineering (SBESC) in 2017 VII BRAZILIAN SYMPOSIUM ON COMPUTING SYSTEMS ENGINEERING (SBESC), VOLUME: 2017-November
INDEXED IN: Scopus WOS DBLP CrossRef: 10 Handle
IN MY: ORCID | CIÊNCIAVITAE
10
TITLE: REVERT: Runtime Verification for Real-Time Systems  Full Text
AUTHORS: Kochanthara, S; Nelissen, G; Pereira, D ; Purandare, R;
PUBLISHED: 2017, SOURCE: 2016 IEEE Real-Time Systems Symposium, RTSS 2016 in Proceedings - Real-Time Systems Symposium
INDEXED IN: Scopus CrossRef: 4
IN MY: ORCID | CIÊNCIAVITAE
Page 1 of 4. Total results: 31.

footer slogan

Useful Links

Get Help

© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service