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