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