David Miguel Ramalho Pereira
AuthID: R-000-45D
11
TÃTULO: Real-time MTL with durations as SMT with applications to schedulability analysis
AUTORES: de Matos, A; Leucker, M; Pereira, D; Pinto, JS ;
PUBLICAÇÃO: 2020, FONTE: 14th International Symposium on Theoretical Aspects of Software Engineering (TASE) in 2020 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2020)
AUTORES: de Matos, A; Leucker, M; Pereira, D; Pinto, JS ;
PUBLICAÇÃO: 2020, FONTE: 14th International Symposium on Theoretical Aspects of Software Engineering (TASE) in 2020 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2020)
12
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
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
13
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
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
14
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
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
15
TÃTULO: 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]
AUTORES: 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 ;
PUBLICAÇÃO: 2018, FONTE: Revista Portuguesa de Imunoalergologia, VOLUME: 26, NÚMERO: 4
AUTORES: 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 ;
PUBLICAÇÃO: 2018, FONTE: Revista Portuguesa de Imunoalergologia, VOLUME: 26, NÚMERO: 4
INDEXADO EM: 
Scopus
Scopus16
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
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
17
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)
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)
18
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
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
19
TÃTULO: SMT-based schedulability analysis using RMTL-∫ Full Text
AUTORES: André de Matos Pedro; David Pereira; Luís Miguel Pinho ; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2017, FONTE: SIGBED Review, VOLUME: 14, NÚMERO: 3
AUTORES: André de Matos Pedro; David Pereira; Luís Miguel Pinho ; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2017, FONTE: SIGBED Review, VOLUME: 14, NÚMERO: 3
20
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
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
