David Miguel Ramalho Pereira
AuthID: R-000-45D
11
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)
12
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
13
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
14
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
15
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
Scopus16
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
17
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)
18
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
19
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
20
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
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
