David Miguel Ramalho Pereira
AuthID: R-000-45D
1
TITLE: Exploiting Anytime Algorithms for Collaborative Service Execution in Edge Computing
AUTHORS: Nogueira, Luis ; Coelho, Jorge ; Pereira, David;
PUBLISHED: 2024, SOURCE: COMPUTERS, VOLUME: 13, ISSUE: 6
AUTHORS: Nogueira, Luis ; Coelho, Jorge ; Pereira, David;
PUBLISHED: 2024, SOURCE: COMPUTERS, VOLUME: 13, ISSUE: 6
2
TITLE: Reagent-less spectroscopy towards NPK sensing for hydroponics nutrient solutions Full Text
AUTHORS: Silva, F. M. ; Queiros, C. ; Pinho, T. ; Boaventura, J. ; Santos, F. ; Barroso, T. G. ; Pereira, M. R.; Cunha, M. ; Martins, R. C. ;
PUBLISHED: 2023, SOURCE: SENSORS AND ACTUATORS B-CHEMICAL, VOLUME: 395
AUTHORS: Silva, F. M. ; Queiros, C. ; Pinho, T. ; Boaventura, J. ; Santos, F. ; Barroso, T. G. ; Pereira, M. R.; Cunha, M. ; Martins, R. C. ;
PUBLISHED: 2023, SOURCE: SENSORS AND ACTUATORS B-CHEMICAL, VOLUME: 395
3
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
Scopus4
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
WOS5
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
WOS6
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
WOS7
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
WOS8
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
Handle9
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