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: Reducing the gap between theory and practice in real-time systems with MARS
AUTORES: Nandi, Giann Spilere; Pereira, David; Proenca, Jose; Tovar, Eduardo; Nogueira, Luis;
PUBLICAÇÃO: 2024, FONTE: 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) in 2024 54TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS-SUPPLEMENTAL VOLUME, DSN-S 2024
AUTORES: Nandi, Giann Spilere; Pereira, David; Proenca, Jose; Tovar, Eduardo; Nogueira, Luis;
PUBLICAÇÃO: 2024, FONTE: 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) in 2024 54TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS-SUPPLEMENTAL VOLUME, DSN-S 2024
3
TÃTULO: Secure integration of extremely resource-constrained nodes on distributed ROS2 applications
AUTORES: Giann Spilere Nandi; David Pereira; José Proença ; Eduardo Tovar; Antonio Rodriguez; Pablo Garrido;
PUBLICAÇÃO: 2023, FONTE: Open Research Europe, VOLUME: 3
AUTORES: Giann Spilere Nandi; David Pereira; José Proença ; Eduardo Tovar; Antonio Rodriguez; Pablo Garrido;
PUBLICAÇÃO: 2023, FONTE: Open Research Europe, VOLUME: 3
4
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
5
TÃTULO: Spreadsheet-based Configuration of Families of Real-Time Specifications
AUTORES: José Proença ; David Pereira; Giann Spilere Nandi; Sina Borrami; Jonas Melchert;
PUBLICAÇÃO: 2023, FONTE: 1st Workshop on Trends in Configurable Systems Analysis, TiCSA 2023 in Proceedings of the First Workshop on Trends in Configurable Systems Analysis, TiCSA@ETAPS 2023, Paris, France, 23rd April 2023., VOLUME: 392
AUTORES: José Proença ; David Pereira; Giann Spilere Nandi; Sina Borrami; Jonas Melchert;
PUBLICAÇÃO: 2023, FONTE: 1st Workshop on Trends in Configurable Systems Analysis, TiCSA 2023 in Proceedings of the First Workshop on Trends in Configurable Systems Analysis, TiCSA@ETAPS 2023, Paris, France, 23rd April 2023., VOLUME: 392
INDEXADO EM: 
Scopus 
DBLP
Scopus DBLP6
TÃTULO: Cross-domain Modelling of Verification and Validation Workflows in the Large Scale European Research Project VALU3S Invited Paper. Invited Paper
AUTORES: Bauer, Thomas; Agirre, Joseba A.; Fuercho, David; Herzner, Wolfgang; Hruska, Bob; Karaca, Mustafa; Pereira, David; Proenca, Jose ; Schlick, Rupert; Sicher, Robert; Smrcka, Ales; Yayan, Ugur; Sangchoolie, Behrooz;
PUBLICAÇÃO: 2022, FONTE: 21st International Conference on Embedded Computer Systems - Architectures, Modeling, and Simulation (SAMOS) in EMBEDDED COMPUTER SYSTEMS: ARCHITECTURES, MODELING, AND SIMULATION, SAMOS 2021, VOLUME: 13227
AUTORES: Bauer, Thomas; Agirre, Joseba A.; Fuercho, David; Herzner, Wolfgang; Hruska, Bob; Karaca, Mustafa; Pereira, David; Proenca, Jose ; Schlick, Rupert; Sicher, Robert; Smrcka, Ales; Yayan, Ugur; Sangchoolie, Behrooz;
PUBLICAÇÃO: 2022, FONTE: 21st International Conference on Embedded Computer Systems - Architectures, Modeling, and Simulation (SAMOS) in EMBEDDED COMPUTER SYSTEMS: ARCHITECTURES, MODELING, AND SIMULATION, SAMOS 2021, VOLUME: 13227
7
TÃTULO: Verification of Multiple Models of a Safety-Critical Motor Controller in Railway Systems
AUTORES: José Proença; Sina Borrami; Jorge Sanchez de Nova; David Pereira; Giann Spilere Nandi;
PUBLICAÇÃO: 2022, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 13294 LNCS
AUTORES: José Proença; Sina Borrami; Jorge Sanchez de Nova; David Pereira; Giann Spilere Nandi;
PUBLICAÇÃO: 2022, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 13294 LNCS
8
TÃTULO: Experiences on teaching alloy with an automated assessment platform Full Text
AUTORES: Macedo, N ; Cunha, A ; Pereira, J; Carvalho, R; Silva, R; Paiva, ACR ; Ramalho, MS; Silva, D;
PUBLICAÇÃO: 2021, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 211
AUTORES: Macedo, N ; Cunha, A ; Pereira, J; Carvalho, R; Silva, R; Paiva, ACR ; Ramalho, MS; Silva, D;
PUBLICAÇÃO: 2021, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 211
9
TÃTULO: Teaching Cardiopulmonary Auscultation to Medical Students using a Virtual Patient Simulation Technology Full Text
AUTORES: Daniel Pereira; Pedro Gomes; Sofia Faria; Ricardo Cruz Correia ; Miguel T Coimbra ;
PUBLICAÇÃO: 2020, FONTE: 42nd Annual International Conference of the IEEE-Engineering-in-Medicine-and-Biology-Society (EMBC) in 42ND ANNUAL INTERNATIONAL CONFERENCES OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY: ENABLING INNOVATIVE TECHNOLOGIES FOR GLOBAL HEALTHCARE EMBC'20, VOLUME: 2016-October
AUTORES: Daniel Pereira; Pedro Gomes; Sofia Faria; Ricardo Cruz Correia ; Miguel T Coimbra ;
PUBLICAÇÃO: 2020, FONTE: 42nd Annual International Conference of the IEEE-Engineering-in-Medicine-and-Biology-Society (EMBC) in 42ND ANNUAL INTERNATIONAL CONFERENCES OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY: ENABLING INNOVATIVE TECHNOLOGIES FOR GLOBAL HEALTHCARE EMBC'20, VOLUME: 2016-October
10
TÃTULO: Design and Implementation of Secret Key Agreement for Platoon-based Vehicular Cyber-physical Systems
AUTORES: Li, K; Ni, W; Emami, Y; Shen, Y; Severino, R ; Pereira, D; Tovar, E ;
PUBLICAÇÃO: 2020, FONTE: ACM TRANSACTIONS ON CYBER-PHYSICAL SYSTEMS, VOLUME: 4, NÚMERO: 2
AUTORES: Li, K; Ni, W; Emami, Y; Shen, Y; Severino, R ; Pereira, D; Tovar, E ;
PUBLICAÇÃO: 2020, FONTE: ACM TRANSACTIONS ON CYBER-PHYSICAL SYSTEMS, VOLUME: 4, NÚMERO: 2
