Computing Systems Research Lab
AuthID: I-000-BDG
Publications Actions
Publications at Authenticus Institutional Profile
An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports.
Publications displayed at an Authenticus institutional profile depend on two parameters:
- Researchers team associated with the institution per year.
- Publications source type.
We define 3 types of publication sources:
- Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team.
- All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team.
- Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed.
External
Internal
No data about last update.
Rules:
This actions updates publications citations of every team member.
Only validated by team members publications are included.
Only the current year team is included in this action.>
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a month!
Only validated by team members publications are included.
Only the current year team is included in this action.>
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a month!
No data about last update.
Rules:
This actions updates all pre print publications of the group/institution.
Only validated by current year team members publications are included.
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a day!
Only validated by current year team members publications are included.
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a day!
Publications Count: 662
9 Team MembersFilters -> Year: 2025
81
TITLE: Efficient Replication via Timestamp Stability
AUTHORS: Enes, V ; Baquero, C ; Gotsman, A; Sutra, P;
PUBLISHED: 2021, SOURCE: 16th European Conference on Computer Systems (EuroSys) in PROCEEDINGS OF THE SIXTEENTH EUROPEAN CONFERENCE ON COMPUTER SYSTEMS (EUROSYS '21), PAGES: 178-193
AUTHORS: Enes, V ; Baquero, C ; Gotsman, A; Sutra, P;
PUBLISHED: 2021, SOURCE: 16th European Conference on Computer Systems (EuroSys) in PROCEEDINGS OF THE SIXTEENTH EUROPEAN CONFERENCE ON COMPUTER SYSTEMS (EUROSYS '21), PAGES: 178-193
82
TITLE: Efficient Replication via Timestamp Stability (Extended Version)
AUTHORS: Vitor Enes ; Carlos Baquero ; Alexey Gotsman; Pierre Sutra;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2104.01142
AUTHORS: Vitor Enes ; Carlos Baquero ; Alexey Gotsman; Pierre Sutra;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2104.01142
INDEXED IN: 
DBLP
DBLP83
TITLE: Estimating Active Cases of COVID-19 PDF
AUTHORS: Javier Álvarez; Carlos Baquero ; Elisa Cabana; Jaya Prakash Champati; Antonio Fernández Anta; Davide Frey; Augusto García Agundez; Chryssis Georgiou; Mathieu Goessens; Harold Hernández; Rosa E Lillo; Raquel Menezes ; Raúl Moreno; Nicolas Nicolaou; Oluwasegun Ojo; Antonio Ortega; Jesús Rufino; Efstathios Stavrakis; Govind Jeevan; Christin Glorioso;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2108.03284
AUTHORS: Javier Álvarez; Carlos Baquero ; Elisa Cabana; Jaya Prakash Champati; Antonio Fernández Anta; Davide Frey; Augusto García Agundez; Chryssis Georgiou; Mathieu Goessens; Harold Hernández; Rosa E Lillo; Raquel Menezes ; Raúl Moreno; Nicolas Nicolaou; Oluwasegun Ojo; Antonio Ortega; Jesús Rufino; Efstathios Stavrakis; Govind Jeevan; Christin Glorioso;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2108.03284
84
TITLE: Estimating the COVID-19 Prevalence in Spain With Indirect Reporting via Open Surveys
AUTHORS: Garcia Agundez, A; Ojo, O; Hernandez Roig, HA; Baquero, C ; Frey, D; Georgiou, C; Goessens, M; Lillo, RE; Menezes, R ; Nicolaou, N; Ortega, A; Stavrakis, E; Anta, AF;
PUBLISHED: 2021, SOURCE: FRONTIERS IN PUBLIC HEALTH, VOLUME: 9
AUTHORS: Garcia Agundez, A; Ojo, O; Hernandez Roig, HA; Baquero, C ; Frey, D; Georgiou, C; Goessens, M; Lillo, RE; Menezes, R ; Nicolaou, N; Ortega, A; Stavrakis, E; Anta, AF;
PUBLISHED: 2021, SOURCE: FRONTIERS IN PUBLIC HEALTH, VOLUME: 9
85
TITLE: Evaluating a Novel Bluetooth 5.1 AoA Approach for Low-Cost Indoor Vehicle Tracking via Simulation
AUTHORS: Paulino, N ; Pessoa, LM ; Branquinho, A; Goncalves, E;
PUBLISHED: 2021, SOURCE: Joint 30th European Conference on Networks and Communications / 3rd 6G Summit (EuCNC/6G Summit) in 2021 JOINT EUROPEAN CONFERENCE ON NETWORKS AND COMMUNICATIONS & 6G SUMMIT (EUCNC/6G SUMMIT), PAGES: 259-264
AUTHORS: Paulino, N ; Pessoa, LM ; Branquinho, A; Goncalves, E;
PUBLISHED: 2021, SOURCE: Joint 30th European Conference on Networks and Communications / 3rd 6G Summit (EuCNC/6G Summit) in 2021 JOINT EUROPEAN CONFERENCE ON NETWORKS AND COMMUNICATIONS & 6G SUMMIT (EUCNC/6G SUMMIT), PAGES: 259-264
86
TITLE: Formal verification of Matrix based MATLAB models using interactive theorem proving
AUTHORS: Gauhar, A; Rashid, A; Hasan, O; Bispo, J ; Cardoso, JMP ;
PUBLISHED: 2021, SOURCE: PEERJ COMPUTER SCIENCE, VOLUME: 7
AUTHORS: Gauhar, A; Rashid, A; Hasan, O; Bispo, J ; Cardoso, JMP ;
PUBLISHED: 2021, SOURCE: PEERJ COMPUTER SCIENCE, VOLUME: 7
87
TITLE: FPGAs as General-Purpose Accelerators for Non-Experts via HLS: The Graph Analysis Example
AUTHORS: Silva, Pedro Filipe; Bispo, Joao ; Paulino, Nuno ;
PUBLISHED: 2021, SOURCE: 20th International Conference on Field-Programmable Technology (ICFPT) in 2021 INTERNATIONAL CONFERENCE ON FIELD-PROGRAMMABLE TECHNOLOGY (ICFPT), PAGES: 102-105
AUTHORS: Silva, Pedro Filipe; Bispo, Joao ; Paulino, Nuno ;
PUBLISHED: 2021, SOURCE: 20th International Conference on Field-Programmable Technology (ICFPT) in 2021 INTERNATIONAL CONFERENCE ON FIELD-PROGRAMMABLE TECHNOLOGY (ICFPT), PAGES: 102-105
88
TITLE: Guest Editorial: IEEE TC Special Section on Compiler Optimizations for FPGA-Based Systems
AUTHORS: Cardoso, JMP ; DeHon, A; Pozzi, L;
PUBLISHED: 2021, SOURCE: IEEE TRANSACTIONS ON COMPUTERS, VOLUME: 70, ISSUE: 12, PAGES: 2013-2014
AUTHORS: Cardoso, JMP ; DeHon, A; Pozzi, L;
PUBLISHED: 2021, SOURCE: IEEE TRANSACTIONS ON COMPUTERS, VOLUME: 70, ISSUE: 12, PAGES: 2013-2014
INDEXED IN: 
Scopus 
WOS DBLP
Scopus WOS DBLP89
TITLE: Multi-language static code analysis on the LARA framework
AUTHORS: Gil Teixeira; João Bispo ; Filipe F Correia ;
PUBLISHED: 2021, SOURCE: SOAP@PLDI 2021: Proceedings of the 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, Virtual Event, Canada, 22 June, 2021, PAGES: 31-36
AUTHORS: Gil Teixeira; João Bispo ; Filipe F Correia ;
PUBLISHED: 2021, SOURCE: SOAP@PLDI 2021: Proceedings of the 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, Virtual Event, Canada, 22 June, 2021, PAGES: 31-36
90
TITLE: Multiple target tracking with interaction using an MCMC MRF Particle Filter
AUTHORS: Hélder F S Campos; Nuno Paulino ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2111.13184
AUTHORS: Hélder F S Campos; Nuno Paulino ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2111.13184
INDEXED IN: DBLP
DBLP91
TITLE: On Data Parallelism Code Restructuring for HLS Targeting FPGAs
AUTHORS: Campos, R; Cardoso, JMP ;
PUBLISHED: 2021, SOURCE: 35th IEEE International Parallel and Distributed Processing Symposium (IPDPS) in 2021 IEEE INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM WORKSHOPS (IPDPSW), PAGES: 144-151
AUTHORS: Campos, R; Cardoso, JMP ;
PUBLISHED: 2021, SOURCE: 35th IEEE International Parallel and Distributed Processing Symposium (IPDPS) in 2021 IEEE INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM WORKSHOPS (IPDPSW), PAGES: 144-151
92
TITLE: On the Performance Effect of Loop Trace Window Size on Scheduling for Configurable Coarse Grain Loop Accelerators
AUTHORS: Santos, Tiago; Paulino, Nuno ; Bispo, Joao ; Cardoso, Joao M. P. ; Ferreira, Joao C. ;
PUBLISHED: 2021, SOURCE: 20th International Conference on Field-Programmable Technology (ICFPT) in 2021 INTERNATIONAL CONFERENCE ON FIELD-PROGRAMMABLE TECHNOLOGY (ICFPT), PAGES: 65-68
AUTHORS: Santos, Tiago; Paulino, Nuno ; Bispo, Joao ; Cardoso, Joao M. P. ; Ferreira, Joao C. ;
PUBLISHED: 2021, SOURCE: 20th International Conference on Field-Programmable Technology (ICFPT) in 2021 INTERNATIONAL CONFERENCE ON FIELD-PROGRAMMABLE TECHNOLOGY (ICFPT), PAGES: 65-68
93
TITLE: Response time analysis of multiframe mixed-criticality systems with arbitrary deadlines
AUTHORS: Ishfaq Hussain; Muhammad Ali Awan; Pedro F Souto ; Konstantinos Bletsas; Benny Akesson; Eduardo Tovar ;
PUBLISHED: 2021, SOURCE: Real Time Syst., VOLUME: 57, ISSUE: 1, PAGES: 141-189
AUTHORS: Ishfaq Hussain; Muhammad Ali Awan; Pedro F Souto ; Konstantinos Bletsas; Benny Akesson; Eduardo Tovar ;
PUBLISHED: 2021, SOURCE: Real Time Syst., VOLUME: 57, ISSUE: 1, PAGES: 141-189
INDEXED IN: DBLP
DBLP94
TITLE: Seeking Out Camille, and Being Open to Others Full Text
AUTHORS: Hill, RK; Baquero, C ;
PUBLISHED: 2021, SOURCE: COMMUNICATIONS OF THE ACM, VOLUME: 64, ISSUE: 12, PAGES: 14-15
AUTHORS: Hill, RK; Baquero, C ;
PUBLISHED: 2021, SOURCE: COMMUNICATIONS OF THE ACM, VOLUME: 64, ISSUE: 12, PAGES: 14-15
95
TITLE: The CoronaSurveys System for COVID-19 Incidence Data Collection and Processing
AUTHORS: Baquero, C ; Casari, P; Anta, AF; Garcia Garcia, A; Frey, D; Garcia Agundez, A; Georgiou, C; Girault, B; Ortega, A; Goessens, M; Hernandez Roig, HA; Nicolaou, N; Stavrakis, E; Ojo, O; Roberts, JC; Sanchez, I;
PUBLISHED: 2021, SOURCE: FRONTIERS IN COMPUTER SCIENCE, VOLUME: 3, PAGES: 641237
AUTHORS: Baquero, C ; Casari, P; Anta, AF; Garcia Garcia, A; Frey, D; Garcia Agundez, A; Georgiou, C; Girault, B; Ortega, A; Goessens, M; Hernandez Roig, HA; Nicolaou, N; Stavrakis, E; Ojo, O; Roberts, JC; Sanchez, I;
PUBLISHED: 2021, SOURCE: FRONTIERS IN COMPUTER SCIENCE, VOLUME: 3, PAGES: 641237
96
TITLE: Towards a Distributed Learning Architecture for Securing ISP Home Customers
AUTHORS: Pedro M Santos ; Joana Sousa; Ricardo Morla ; Nuno Martins; João Tagaio; João Serra; Carlos Silva; Mário Sousa; Pedro F Souto; Luis Lino Ferreira ; João Ferreira; Luís Almeida ;
PUBLISHED: 2021, SOURCE: Artificial Intelligence Applications and Innovations. AIAI 2021 IFIP WG 12.5 International Workshops - 5G-PINE 2021, AI-BIO 2021, DAAI 2021, DARE 2021, EEAI 2021, and MHDW 2021, Hersonissos, Crete, Greece, June 25-27, 2021, Proceedings, VOLUME: 628, PAGES: 311-322
AUTHORS: Pedro M Santos ; Joana Sousa; Ricardo Morla ; Nuno Martins; João Tagaio; João Serra; Carlos Silva; Mário Sousa; Pedro F Souto; Luis Lino Ferreira ; João Ferreira; Luís Almeida ;
PUBLISHED: 2021, SOURCE: Artificial Intelligence Applications and Innovations. AIAI 2021 IFIP WG 12.5 International Workshops - 5G-PINE 2021, AI-BIO 2021, DAAI 2021, DARE 2021, EEAI 2021, and MHDW 2021, Hersonissos, Crete, Greece, June 25-27, 2021, Proceedings, VOLUME: 628, PAGES: 311-322
97
TITLE: A Study on Hyperparameter Configuration for Human Activity Recognition
AUTHORS: Crarcia, KD; Carvalho, T ; Mendes Moreira, J ; Cardoso, JMP ; de Carvalho, ACPLF;
PUBLISHED: 2020, SOURCE: 14th International Conference on Soft Computing Models in Industrial and Environmental Applications (SOCO) in 14TH INTERNATIONAL CONFERENCE ON SOFT COMPUTING MODELS IN INDUSTRIAL AND ENVIRONMENTAL APPLICATIONS (SOCO 2019), VOLUME: 950, PAGES: 47-56
AUTHORS: Crarcia, KD; Carvalho, T ; Mendes Moreira, J ; Cardoso, JMP ; de Carvalho, ACPLF;
PUBLISHED: 2020, SOURCE: 14th International Conference on Soft Computing Models in Industrial and Environmental Applications (SOCO) in 14TH INTERNATIONAL CONFERENCE ON SOFT COMPUTING MODELS IN INDUSTRIAL AND ENVIRONMENTAL APPLICATIONS (SOCO 2019), VOLUME: 950, PAGES: 47-56
98
TITLE: Adversarial Machine Learning Applied to Intrusion and Malware Scenarios: A Systematic Review
AUTHORS: Martins, N; Cruz, JM; Cruz, T; Abreu, PH ;
PUBLISHED: 2020, SOURCE: IEEE ACCESS, VOLUME: 8, PAGES: 35403-35419
AUTHORS: Martins, N; Cruz, JM; Cruz, T; Abreu, PH ;
PUBLISHED: 2020, SOURCE: IEEE ACCESS, VOLUME: 8, PAGES: 35403-35419
99
TITLE: Age-Partitioned Bloom Filters PDF
AUTHORS: Ariel Shtul; Carlos Baquero ; Paulo Sérgio Almeida ;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2001.03147
AUTHORS: Ariel Shtul; Carlos Baquero ; Paulo Sérgio Almeida ;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2001.03147
INDEXED IN: DBLP 
arXiv
DBLP arXiv100
TITLE: Automatic Selection and Insertion of HLS Directives Via a Source-to-Source Compiler
AUTHORS: Santos, T; Cardoso, JMP ;
PUBLISHED: 2020, SOURCE: 19th International Conference on Field-Programmable Technology (ICFPT) in 2020 INTERNATIONAL CONFERENCE ON FIELD-PROGRAMMABLE TECHNOLOGY (ICFPT 2020), PAGES: 227-232
AUTHORS: Santos, T; Cardoso, JMP ;
PUBLISHED: 2020, SOURCE: 19th International Conference on Field-Programmable Technology (ICFPT) in 2020 INTERNATIONAL CONFERENCE ON FIELD-PROGRAMMABLE TECHNOLOGY (ICFPT 2020), PAGES: 227-232
