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: End-to-End Response Time of IEC 61499 Distributed Applications Over Switched Ethernet
AUTHORS: Per Lindgren; Johan Eriksson; Marcus Lindner; Andreas Lindner; David Pereira; Lus Miguel Pinho;
PUBLISHED: 2017, SOURCE: IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, VOLUME: 13, ISSUE: 1
AUTHORS: Per Lindgren; Johan Eriksson; Marcus Lindner; Andreas Lindner; David Pereira; Lus Miguel Pinho;
PUBLISHED: 2017, SOURCE: IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, VOLUME: 13, ISSUE: 1
INDEXED IN: 
WOS
WOS13
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
INDEXED IN: 
DBLP 
CrossRef
DBLP CrossRef14
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
15
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
WOS16
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)
17
TITLE: Towards Certified Compilation of RTFM-core Applications
AUTHORS: Per Lindgren; Marcus Lindner; David Pereira; Luis Miguel Pinho;
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: Per Lindgren; Marcus Lindner; David Pereira; Luis Miguel Pinho;
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
WOS18
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
WOS19
TITLE: A Formal Perspective on IEC 61499 Execution Control Chart Semantics
AUTHORS: Per Lindgren; Marcus Lindner; David Pereira; Luis Miguel Pinho ;
PUBLISHED: 2015, SOURCE: 13th IEEE International Symposium on Parallel and Distributed Processing with Applications in 2015 IEEE TRUSTCOM/BIGDATASE/ISPA, VOL 3, VOLUME: 3
AUTHORS: Per Lindgren; Marcus Lindner; David Pereira; Luis Miguel Pinho ;
PUBLISHED: 2015, SOURCE: 13th IEEE International Symposium on Parallel and Distributed Processing with Applications in 2015 IEEE TRUSTCOM/BIGDATASE/ISPA, VOL 3, VOLUME: 3
20
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
WOS