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: Reducing the gap between theory and practice in real-time systems with MARS
AUTHORS: Nandi, Giann Spilere; Pereira, David; Proenca, Jose ; Tovar, Eduardo ; Nogueira, Luis ;
PUBLISHED: 2024, SOURCE: 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
AUTHORS: Nandi, Giann Spilere; Pereira, David; Proenca, Jose ; Tovar, Eduardo ; Nogueira, Luis ;
PUBLISHED: 2024, SOURCE: 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
TITLE: MARS: Safely Instrumenting Runtime Monitors in Real-Time Resource-Constrained Distributed Systems
AUTHORS: Giann Spilere Nandi; David Pereira; José Proença ; Eduardo Tovar ;
PUBLISHED: 2024, SOURCE: 22nd IEEE International Conference on Industrial Informatics, INDIN 2024 in 22nd IEEE International Conference on Industrial Informatics, INDIN 2024, Beijing, China, August 18-20, 2024
AUTHORS: Giann Spilere Nandi; David Pereira; José Proença ; Eduardo Tovar ;
PUBLISHED: 2024, SOURCE: 22nd IEEE International Conference on Industrial Informatics, INDIN 2024 in 22nd IEEE International Conference on Industrial Informatics, INDIN 2024, Beijing, China, August 18-20, 2024
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP4
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
5
TITLE: Spreadsheet-based Configuration of Families of Real-Time Specifications
AUTHORS: José Proença ; David Pereira; Giann Spilere Nandi; Sina Borrami; Jonas Melchert;
PUBLISHED: 2023, SOURCE: 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
AUTHORS: José Proença ; David Pereira; Giann Spilere Nandi; Sina Borrami; Jonas Melchert;
PUBLISHED: 2023, SOURCE: 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
INDEXED IN: Scopus DBLP
Scopus DBLP6
TITLE: Cross-domain Modelling of Verification and Validation Workflows in the Large Scale European Research Project VALU3S Invited Paper. Invited Paper
AUTHORS: 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;
PUBLISHED: 2022, SOURCE: 21st International Conference on Embedded Computer Systems - Architectures, Modeling, and Simulation (SAMOS) in EMBEDDED COMPUTER SYSTEMS: ARCHITECTURES, MODELING, AND SIMULATION, SAMOS 2021, VOLUME: 13227
AUTHORS: 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;
PUBLISHED: 2022, SOURCE: 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
TITLE: Experiences on teaching alloy with an automated assessment platform Full Text
AUTHORS: Macedo, N ; Cunha, A ; Pereira, J; Carvalho, R; Silva, R; Paiva, ACR ; Ramalho, MS; Silva, D;
PUBLISHED: 2021, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 211
AUTHORS: Macedo, N ; Cunha, A ; Pereira, J; Carvalho, R; Silva, R; Paiva, ACR ; Ramalho, MS; Silva, D;
PUBLISHED: 2021, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 211
8
TITLE: Teaching Cardiopulmonary Auscultation to Medical Students using a Virtual Patient Simulation Technology Full Text
AUTHORS: Daniel Pereira; Pedro Gomes; Sofia Faria; Ricardo Cruz Correia ; Miguel T Coimbra ;
PUBLISHED: 2020, SOURCE: 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
AUTHORS: Daniel Pereira; Pedro Gomes; Sofia Faria; Ricardo Cruz Correia ; Miguel T Coimbra ;
PUBLISHED: 2020, SOURCE: 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
9
TITLE: Work-In-Progress: a DSL for the safe deployment of Runtime Monitors in Cyber-Physical Systems Full Text
AUTHORS: Nandi, GS; Pereira, D; Proenca, J ; Tovar, E ;
PUBLISHED: 2020, SOURCE: 41st IEEE Real-Time Systems Symposium (RTSS) in 2020 IEEE 41ST REAL-TIME SYSTEMS SYMPOSIUM (RTSS), VOLUME: 2020-December
AUTHORS: Nandi, GS; Pereira, D; Proenca, J ; Tovar, E ;
PUBLISHED: 2020, SOURCE: 41st IEEE Real-Time Systems Symposium (RTSS) in 2020 IEEE 41ST REAL-TIME SYSTEMS SYMPOSIUM (RTSS), VOLUME: 2020-December
10
TITLE: Real-time MTL with durations as SMT with applications to schedulability analysis
AUTHORS: de Matos, A; Leucker, M; Pereira, D; Pinto, JS ;
PUBLISHED: 2020, SOURCE: 14th International Symposium on Theoretical Aspects of Software Engineering (TASE) in 2020 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2020)
AUTHORS: de Matos, A; Leucker, M; Pereira, D; Pinto, JS ;
PUBLISHED: 2020, SOURCE: 14th International Symposium on Theoretical Aspects of Software Engineering (TASE) in 2020 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2020)
