High-Assurance Software Laboratory (HASLab)
Laboratório de Software Confiável
Inesc Technology and Science (INESC TEC) :: CS: Computer Science
AuthID: I-000-AY4
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: 1571
149 Team MembersFilters -> Year: 2025
41
TITLE: Keigo: Co-designing Log-Structured Merge Key-Value Stores with a Non-Volatile, Concurrency-aware Storage Hierarchy PDF Full Text
AUTHORS: Rúben Adão; Zhongjie Wu; Changjun Zhou; Oana Balmau; João Paulo ; Ricardo Macedo;
PUBLISHED: 2025, SOURCE: 51st International Conference on Very Large Data Bases, VLDB 2025 in Proc. VLDB Endow., VOLUME: 18, ISSUE: 9, PAGES: 2872-2885
AUTHORS: Rúben Adão; Zhongjie Wu; Changjun Zhou; Oana Balmau; João Paulo ; Ricardo Macedo;
PUBLISHED: 2025, SOURCE: 51st International Conference on Very Large Data Bases, VLDB 2025 in Proc. VLDB Endow., VOLUME: 18, ISSUE: 9, PAGES: 2872-2885
INDEXED IN: 
Scopus 
DBLP 
DataCite
Scopus DBLP DataCite42
TITLE: Leakage-Free Probabilistic Jasmin Programs
AUTHORS: Almeida, Jose Bacelar ; Firsov, Denis; Oliveira, Tiago; Unruh, Dominique;
PUBLISHED: 2025, SOURCE: 14th Conference on Certified Programs and Proofs in PROCEEDINGS OF THE 14TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2025, PAGES: 3-16
AUTHORS: Almeida, Jose Bacelar ; Firsov, Denis; Oliveira, Tiago; Unruh, Dominique;
PUBLISHED: 2025, SOURCE: 14th Conference on Certified Programs and Proofs in PROCEEDINGS OF THE 14TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2025, PAGES: 3-16
43
TITLE: Let's Talk About It: Making Scientific Computational Reproducibility Easy
AUTHORS: Lázaro Costa; Susana Barbosa; Jácome Cunha ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2504.10134
AUTHORS: Lázaro Costa; Susana Barbosa; Jácome Cunha ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2504.10134
INDEXED IN: DBLP
DBLP44
TITLE: Logic and Calculi for All on the occasion of Luis Barbosa's 60th birthday
AUTHORS: Madeira, Alexandre; Oliveira, Jose Nuno ; Proenca, Jose ; Neves, Renato ;
PUBLISHED: 2025, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 143, PAGES: 101023
AUTHORS: Madeira, Alexandre; Oliveira, Jose Nuno ; Proenca, Jose ; Neves, Renato ;
PUBLISHED: 2025, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 143, PAGES: 101023
INDEXED IN: Scopus 
WOS DBLP
Scopus WOS DBLP45
TITLE: Machine Learning Regression-Based Prediction for Improving Performance and Energy Consumption in HPC Platforms
AUTHORS: Coelho, Micaella; Ocana, Kary; Pereira, Andre ; Porto, Alexandre; Cardoso, Douglas O.; Lorenzon, Arthur; Oliveira, Rui; Navaux, Philippe O. A.; Osthoff, Carla;
PUBLISHED: 2025, SOURCE: 11th Latin American Conference on High Performance Computing in HIGH PERFORMANCE COMPUTING, CARLA 2024, VOLUME: 2270, PAGES: 186-200
AUTHORS: Coelho, Micaella; Ocana, Kary; Pereira, Andre ; Porto, Alexandre; Cardoso, Douglas O.; Lorenzon, Arthur; Oliveira, Rui; Navaux, Philippe O. A.; Osthoff, Carla;
PUBLISHED: 2025, SOURCE: 11th Latin American Conference on High Performance Computing in HIGH PERFORMANCE COMPUTING, CARLA 2024, VOLUME: 2270, PAGES: 186-200
46
TITLE: MedLink: Retrieval and Ranking of Case Reports to Assist Clinical Decision Making
AUTHORS: Luís Filipe Cunha ; Nuno Guimarães ; Alexandra Mendes ; Ricardo Campos ; Alípio Jorge ;
PUBLISHED: 2025, SOURCE: 47th European Conference on Information Retrieval, ECIR 2025 in Advances in Information Retrieval - 47th European Conference on Information Retrieval, ECIR 2025, Lucca, Italy, April 6-10, 2025, Proceedings, Part V, VOLUME: 15576, PAGES: 72-77
AUTHORS: Luís Filipe Cunha ; Nuno Guimarães ; Alexandra Mendes ; Ricardo Campos ; Alípio Jorge ;
PUBLISHED: 2025, SOURCE: 47th European Conference on Information Retrieval, ECIR 2025 in Advances in Information Retrieval - 47th European Conference on Information Retrieval, ECIR 2025, Lucca, Italy, April 6-10, 2025, Proceedings, Part V, VOLUME: 15576, PAGES: 72-77
47
TITLE: Mind the gap: The missing features of the tools to support user studies in software engineering
AUTHORS: Costa, Lazaro ; Barbosa, Susana ; Cunha, Jacome ;
PUBLISHED: 2025, SOURCE: JOURNAL OF COMPUTER LANGUAGES, VOLUME: 84, PAGES: 101345
AUTHORS: Costa, Lazaro ; Barbosa, Susana ; Cunha, Jacome ;
PUBLISHED: 2025, SOURCE: JOURNAL OF COMPUTER LANGUAGES, VOLUME: 84, PAGES: 101345
48
TITLE: Modelling sustainability in cyber-physical systems: A systematic mapping study Full Text
AUTHORS: Barisic, Ankica; Cunha, Jacome ; Ruchkin, Ivan; Moreira, Ana; Araujo, Joao; Challenger, Moharram; Savic, Dusan; Amaral, Vasco;
PUBLISHED: 2025, SOURCE: SUSTAINABLE COMPUTING-INFORMATICS & SYSTEMS, VOLUME: 45, PAGES: 101051
AUTHORS: Barisic, Ankica; Cunha, Jacome ; Ruchkin, Ivan; Moreira, Ana; Araujo, Joao; Challenger, Moharram; Savic, Dusan; Amaral, Vasco;
PUBLISHED: 2025, SOURCE: SUSTAINABLE COMPUTING-INFORMATICS & SYSTEMS, VOLUME: 45, PAGES: 101051
49
TITLE: Multi-Partner Project: Green.Dat.AI: A Data Spaces Architecture for enhancing Green AI Services Full Text
AUTHORS: Chrysakis, Ioannis; Agorogiannis, Evangelos; Tsampanaki, Nikoleta; Vourtzoumis, Michalis; Chondrodima, Eva; Theodoridis, Yannis; Mongus, Domen; Capper, Ben; Wagner, Martin; Sotiropoulos, Aris; Coelho, Fabio Andre; Brito, Claudia Vanessa ; Protopapas, Panos; Brasinika, Despina; Fergadiotou, Ioanna; Doulkeridis, Christos;
PUBLISHED: 2025, SOURCE: 2025 Design, Automation & Test in Europe Conference-DATE in 2025 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE, DATE, PAGES: 1-7
AUTHORS: Chrysakis, Ioannis; Agorogiannis, Evangelos; Tsampanaki, Nikoleta; Vourtzoumis, Michalis; Chondrodima, Eva; Theodoridis, Yannis; Mongus, Domen; Capper, Ben; Wagner, Martin; Sotiropoulos, Aris; Coelho, Fabio Andre; Brito, Claudia Vanessa ; Protopapas, Panos; Brasinika, Despina; Fergadiotou, Ioanna; Doulkeridis, Christos;
PUBLISHED: 2025, SOURCE: 2025 Design, Automation & Test in Europe Conference-DATE in 2025 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE, DATE, PAGES: 1-7
50
TITLE: No Two Snowflakes Are Alike: Studying eBPF Libraries' Performance, Fidelity and Resource Usage
AUTHORS: , C; Bruno Gião ; Sebastiao Amaro; Miguel Matos; Paulo, JT; Tânia Esteves ;
PUBLISHED: 2025, SOURCE: 3rd Workshop on eBPF and Kernel Extensions, eBPF 2025, Part of SIGCOMM 2025 in Proceedings of the 3rd Workshop on eBPF and Kernel Extensions, PAGES: 31-37
AUTHORS: , C; Bruno Gião ; Sebastiao Amaro; Miguel Matos; Paulo, JT; Tânia Esteves ;
PUBLISHED: 2025, SOURCE: 3rd Workshop on eBPF and Kernel Extensions, eBPF 2025, Part of SIGCOMM 2025 in Proceedings of the 3rd Workshop on eBPF and Kernel Extensions, PAGES: 31-37
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef51
TITLE: NoIC: PAKE from KEM without Ideal Ciphers
AUTHORS: Afonso Arriaga; Manuel Barbosa ; Stanislaw Jarecki;
PUBLISHED: 2025, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2025, PAGES: 231
AUTHORS: Afonso Arriaga; Manuel Barbosa ; Stanislaw Jarecki;
PUBLISHED: 2025, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2025, PAGES: 231
INDEXED IN: DBLP
DBLP52
TITLE: oCANada: A Generation-Based Fuzzer for ECUs over CAN
AUTHORS: Santos, Thales; Gruemer, Patrick; Parsamehr, Reza; Pacheco, Hugo ;
PUBLISHED: 2025, SOURCE: 16th Vehicular Networking Conference-VNC-Annual in 2025 IEEE VEHICULAR NETWORKING CONFERENCE, VNC, PAGES: 1-8
AUTHORS: Santos, Thales; Gruemer, Patrick; Parsamehr, Reza; Pacheco, Hugo ;
PUBLISHED: 2025, SOURCE: 16th Vehicular Networking Conference-VNC-Annual in 2025 IEEE VEHICULAR NETWORKING CONFERENCE, VNC, PAGES: 1-8
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP53
TITLE: Paraconsistency for the Working Software Engineer (Extended Abstract)
AUTHORS: Barbosa, Luis Soares ;
PUBLISHED: 2025, SOURCE: 22nd International Conference on Software Engineering and Formal Methods-SEFM-Annual in SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2024, VOLUME: 15280, PAGES: 22-30
AUTHORS: Barbosa, Luis Soares ;
PUBLISHED: 2025, SOURCE: 22nd International Conference on Software Engineering and Formal Methods-SEFM-Annual in SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2024, VOLUME: 15280, PAGES: 22-30
54
TITLE: Paraconsistent Relations as a Variant of Kleene Algebras Full Text
AUTHORS: Cunha, Juliana; Madeira, Alexandre; Barbosa, Luis S. ;
PUBLISHED: 2025, SOURCE: 19th International Workshop on Logical and Semantic Frameworks, with Applications (LSFA) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: abs/2506.05840, ISSUE: 421, PAGES: 130-147
AUTHORS: Cunha, Juliana; Madeira, Alexandre; Barbosa, Luis S. ;
PUBLISHED: 2025, SOURCE: 19th International Workshop on Logical and Semantic Frameworks, with Applications (LSFA) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: abs/2506.05840, ISSUE: 421, PAGES: 130-147
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP55
TITLE: Privacy and Security of FIDO2 Revisited
AUTHORS: Manuel Barbosa ; Alexandra Boldyreva; Shan Chen; Kaishuo Cheng; Luís Esquível;
PUBLISHED: 2025, SOURCE: Proc. Priv. Enhancing Technol., VOLUME: 2025, ISSUE: 3, PAGES: 304-332
AUTHORS: Manuel Barbosa ; Alexandra Boldyreva; Shan Chen; Kaishuo Cheng; Luís Esquível;
PUBLISHED: 2025, SOURCE: Proc. Priv. Enhancing Technol., VOLUME: 2025, ISSUE: 3, PAGES: 304-332
INDEXED IN: DBLP
DBLP56
TITLE: Private Computation of Boolean Functions Using Single Qubits
AUTHORS: Rahmani, Zeinab; Pinto, Armando N. ; Barbosa, Luis S. ;
PUBLISHED: 2025, SOURCE: 15th International Conference on Parallel Processing and Applied Mathematics-PPAM-Biennial in PARALLEL PROCESSING AND APPLIED MATHEMATICS, PPAM 2024, PT II, VOLUME: 15580, PAGES: 301-312
AUTHORS: Rahmani, Zeinab; Pinto, Armando N. ; Barbosa, Luis S. ;
PUBLISHED: 2025, SOURCE: 15th International Conference on Parallel Processing and Applied Mathematics-PPAM-Biennial in PARALLEL PROCESSING AND APPLIED MATHEMATICS, PPAM 2024, PT II, VOLUME: 15580, PAGES: 301-312
57
TITLE: Promoting sustainable and personalized travel behaviors while preserving data privacy
AUTHORS: Cláudia Brito ; Noela Pina; Tânia Esteves ; Ricardo Vitorino; Inês Cunha; João Paulo ;
PUBLISHED: 2025, SOURCE: Transportation Engineering, VOLUME: 19, PAGES: 100237
AUTHORS: Cláudia Brito ; Noela Pina; Tânia Esteves ; Ricardo Vitorino; Inês Cunha; João Paulo ;
PUBLISHED: 2025, SOURCE: Transportation Engineering, VOLUME: 19, PAGES: 100237
58
TITLE: Property-based Testing of Attribute Grammars
AUTHORS: Macedo, Jose Nuno ; Viera, Marcos; Saraiva, Joao ;
PUBLISHED: 2025, SOURCE: 18th International Conference on Software Language Engineering-SLE-Annual in PROCEEDINGS OF SLE 2025 18TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON SOFTWARE LANGUAGE ENGINEERING, SLE 2025, PAGES: 16-29
AUTHORS: Macedo, Jose Nuno ; Viera, Marcos; Saraiva, Joao ;
PUBLISHED: 2025, SOURCE: 18th International Conference on Software Language Engineering-SLE-Annual in PROCEEDINGS OF SLE 2025 18TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON SOFTWARE LANGUAGE ENGINEERING, SLE 2025, PAGES: 16-29
59
TITLE: Reducing measurement costs by recycling the Hessian in adaptive variational quantum algorithms
AUTHORS: Ramoa, Mafalda ; Santos, Luis Paulo ; Mayhall, Nicholas J.; Barnes, Edwin; Economou, Sophia E.;
PUBLISHED: 2025, SOURCE: QUANTUM SCIENCE AND TECHNOLOGY, VOLUME: 10, ISSUE: 1, PAGES: 015031
AUTHORS: Ramoa, Mafalda ; Santos, Luis Paulo ; Mayhall, Nicholas J.; Barnes, Edwin; Economou, Sophia E.;
PUBLISHED: 2025, SOURCE: QUANTUM SCIENCE AND TECHNOLOGY, VOLUME: 10, ISSUE: 1, PAGES: 015031
60
TITLE: Reducing the resources required by ADAPT-VQE using coupled exchange operators and improved subroutines
AUTHORS: Ramoa, Mafalda ; Anastasiou, Panagiotis G.; Santos, Luis Paulo ; Mayhall, Nicholas J.; Barnes, Edwin; Economou, Sophia E.;
PUBLISHED: 2025, SOURCE: NPJ QUANTUM INFORMATION, VOLUME: 11, ISSUE: 1
AUTHORS: Ramoa, Mafalda ; Anastasiou, Panagiotis G.; Santos, Luis Paulo ; Mayhall, Nicholas J.; Barnes, Edwin; Economou, Sophia E.;
PUBLISHED: 2025, SOURCE: NPJ QUANTUM INFORMATION, VOLUME: 11, ISSUE: 1
