David Miguel Ramalho Pereira
AuthID: R-000-45D
11
TITLE: Work-In-Progress: a DSL for the safe deployment of Runtime Monitors in Cyber-Physical Systems Full Text
AUTHORS: Nandi, GS; Pereira, D; Proenca, J ; Tovar, E ;
PUBLISHED: 2020, SOURCE: 41st IEEE Real-Time Systems Symposium (RTSS) in 2020 IEEE 41ST REAL-TIME SYSTEMS SYMPOSIUM (RTSS), VOLUME: 2020-December
AUTHORS: Nandi, GS; Pereira, D; Proenca, J ; Tovar, E ;
PUBLISHED: 2020, SOURCE: 41st IEEE Real-Time Systems Symposium (RTSS) in 2020 IEEE 41ST REAL-TIME SYSTEMS SYMPOSIUM (RTSS), VOLUME: 2020-December
12
TITLE: Real-time MTL with durations as SMT with applications to schedulability analysis
AUTHORS: de Matos, A; Leucker, M; Pereira, D; Pinto, JS ;
PUBLISHED: 2020, SOURCE: 14th International Symposium on Theoretical Aspects of Software Engineering (TASE) in 2020 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2020)
AUTHORS: de Matos, A; Leucker, M; Pereira, D; Pinto, JS ;
PUBLISHED: 2020, SOURCE: 14th International Symposium on Theoretical Aspects of Software Engineering (TASE) in 2020 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2020)
13
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
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
14
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
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
15
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
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
16
TITLE: FRASIS - Respiratory function monitoring in asthma using embedded smartphone sensors [FRASIS - Monitorização da função respiratória na asma utilizando os sensores integrados do smartphone]
AUTHORS: Couto, M; Almeida, R ; Jácome, C; Conceição, L; Ferreira, A; Marques, P ; Almeida, A; Amaral, R ; Sá Sousa, A; Martins, C; Jacinto, T ; Pereira, M; Pinho, B; Rodrigues, PP; Freitas, A ; Marreiros, G ; Pereira, AC; Fonseca, SC ;
PUBLISHED: 2018, SOURCE: Revista Portuguesa de Imunoalergologia, VOLUME: 26, ISSUE: 4
AUTHORS: Couto, M; Almeida, R ; Jácome, C; Conceição, L; Ferreira, A; Marques, P ; Almeida, A; Amaral, R ; Sá Sousa, A; Martins, C; Jacinto, T ; Pereira, M; Pinho, B; Rodrigues, PP; Freitas, A ; Marreiros, G ; Pereira, AC; Fonseca, SC ;
PUBLISHED: 2018, SOURCE: Revista Portuguesa de Imunoalergologia, VOLUME: 26, ISSUE: 4
INDEXED IN: 
Scopus
Scopus17
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
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
18
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)
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)
19
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
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
20
TITLE: SMT-based schedulability analysis using RMTL-∫ Full Text
AUTHORS: André de Matos Pedro; David Pereira; Luís Miguel Pinho ; Jorge Sousa Pinto ;
PUBLISHED: 2017, SOURCE: SIGBED Review, VOLUME: 14, ISSUE: 3
AUTHORS: André de Matos Pedro; David Pereira; Luís Miguel Pinho ; Jorge Sousa Pinto ;
PUBLISHED: 2017, SOURCE: SIGBED Review, VOLUME: 14, ISSUE: 3
