David Miguel Ramalho Pereira
AuthID: R-000-45D
11
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
Scopus12
TÃTULO: DEMO ABSTRACT - Run-Time Monitoring Environments for Real-Time and Safety Critical Systems
AUTORES: Geoffrey Nelissen; Humberto Carvalho; David Pereira; Eduardo Tovar ;
PUBLICAÇÃO: 2016, FONTE: 22nd IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) in 2016 IEEE REAL-TIME AND EMBEDDED TECHNOLOGY AND APPLICATIONS SYMPOSIUM (RTAS)
AUTORES: Geoffrey Nelissen; Humberto Carvalho; David Pereira; Eduardo Tovar ;
PUBLICAÇÃO: 2016, FONTE: 22nd IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) in 2016 IEEE REAL-TIME AND EMBEDDED TECHNOLOGY AND APPLICATIONS SYMPOSIUM (RTAS)
INDEXADO EM: 
WOS
WOS13
TÃTULO: Measuring the intuitive response of users when faced with different interactive paradigms to control a gastroenterology CAD system
AUTORES: Abrantes, D; Gomes, P; Pereira, D; Coimbra, M ;
PUBLICAÇÃO: 2016, FONTE: 38th Annual International Conference of the IEEE-Engineering-in-Medicine-and-Biology-Society (EMBC) in 2016 38TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC)
AUTORES: Abrantes, D; Gomes, P; Pereira, D; Coimbra, M ;
PUBLICAÇÃO: 2016, FONTE: 38th Annual International Conference of the IEEE-Engineering-in-Medicine-and-Biology-Society (EMBC) in 2016 38TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC)
14
TÃTULO: Towards Certified Compilation of RTFM-core Applications
AUTORES: Lindgren, P; Lindner, M; Pereira, D; Pinho, LM ;
PUBLICAÇÃO: 2016, FONTE: 21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) in 2016 IEEE 21ST INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA)
AUTORES: Lindgren, P; Lindner, M; Pereira, D; Pinho, LM ;
PUBLICAÇÃO: 2016, FONTE: 21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) in 2016 IEEE 21ST INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA)
INDEXADO EM: WOS
WOS15
TÃTULO: Poster Abstract: REVERT: Runtime Verification for Real-Time Systems
AUTORES: Sangeeth Kochanthara; Geoffrey Nelissen; David Pereira; Rahul Purandare;
PUBLICAÇÃO: 2016, FONTE: 37th IEEE Real-Time Systems Symposium (RTSS) in PROCEEDINGS OF 2016 IEEE REAL-TIME SYSTEMS SYMPOSIUM (RTSS)
AUTORES: Sangeeth Kochanthara; Geoffrey Nelissen; David Pereira; Rahul Purandare;
PUBLICAÇÃO: 2016, FONTE: 37th IEEE Real-Time Systems Symposium (RTSS) in PROCEEDINGS OF 2016 IEEE REAL-TIME SYSTEMS SYMPOSIUM (RTSS)
INDEXADO EM: WOS
WOS16
TÃTULO: Response Time for IEC 61499 over Ethernet
AUTORES: Per Lindgren; Johan Eriksson; Marcus Lindner; Andreas Lindner; David Pereira; Luis Miguel Pinho;
PUBLICAÇÃO: 2015, FONTE: 13th IEEE International Conference on Industrial Informatics (INDIN) in PROCEEDINGS 2015 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN)
AUTORES: Per Lindgren; Johan Eriksson; Marcus Lindner; Andreas Lindner; David Pereira; Luis Miguel Pinho;
PUBLICAÇÃO: 2015, FONTE: 13th IEEE International Conference on Industrial Informatics (INDIN) in PROCEEDINGS 2015 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN)
INDEXADO EM: WOS
WOS17
TÃTULO: Well-formed Control Flow for Critical Sections in RTFM-core
AUTORES: Per Lindgren; Marcus Lindner; Andreas Lindner; David Pereira; Luis Miguel Pinho;
PUBLICAÇÃO: 2015, FONTE: 13th IEEE International Conference on Industrial Informatics (INDIN) in PROCEEDINGS 2015 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN)
AUTORES: Per Lindgren; Marcus Lindner; Andreas Lindner; David Pereira; Luis Miguel Pinho;
PUBLICAÇÃO: 2015, FONTE: 13th IEEE International Conference on Industrial Informatics (INDIN) in PROCEEDINGS 2015 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN)
INDEXADO EM: WOS
WOS18
TÃTULO: Run-time Monitoring Architecture for RealTime Systems
AUTORES: Geoffrey Nelissen; David Pereira; Luís M Pinho;
PUBLICAÇÃO: 2015, FONTE: INForum - Simpósio de Informática (INFORUM 2015).
AUTORES: Geoffrey Nelissen; David Pereira; Luís M Pinho;
PUBLICAÇÃO: 2015, FONTE: INForum - Simpósio de Informática (INFORUM 2015).
INDEXADO EM: 
Handle
Handle19
TÃTULO: Towards certified program logics for the verification of imperative programs
AUTORES: David M Ramalho Pereira;
PUBLICAÇÃO: 2013
AUTORES: David M Ramalho Pereira;
PUBLICAÇÃO: 2013
INDEXADO EM: Handle
Handle