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: 1544
150 Team MembersFilters -> Year: 2025
21
TITLE: GAMFLEW: serious game to teach white-box testing
AUTHORS: Silva, Mateus; Paiva, Ana C. R. ; Mendes, Alexandra ;
PUBLISHED: 2025, SOURCE: SOFTWARE QUALITY JOURNAL, VOLUME: 33, ISSUE: 1, PAGES: 5
AUTHORS: Silva, Mateus; Paiva, Ana C. R. ; Mendes, Alexandra ;
PUBLISHED: 2025, SOURCE: SOFTWARE QUALITY JOURNAL, VOLUME: 33, ISSUE: 1, PAGES: 5
22
TITLE: How much is in a square? Calculating functional programs with squares
AUTHORS: Oliveira, Jose nuno ;
PUBLISHED: 2025, SOURCE: JOURNAL OF FUNCTIONAL PROGRAMMING, VOLUME: 35
AUTHORS: Oliveira, Jose nuno ;
PUBLISHED: 2025, SOURCE: JOURNAL OF FUNCTIONAL PROGRAMMING, VOLUME: 35
23
TITLE: InfraFix: Technology-Agnostic Repair of Infrastructure as Code
AUTHORS: Nuno Saavedra; João F Ferreira; Alexandra Mendes ;
PUBLISHED: 2025, SOURCE: Proceedings of the 34th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA Companion 2025, Clarion Hotel Trondheim, Trondheim, Norway, June 25-28, 2025, PAGES: 41-45
AUTHORS: Nuno Saavedra; João F Ferreira; Alexandra Mendes ;
PUBLISHED: 2025, SOURCE: Proceedings of the 34th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA Companion 2025, Clarion Hotel Trondheim, Trondheim, Norway, June 25-28, 2025, PAGES: 41-45
INDEXED IN: 
DBLP 
CrossRef
DBLP CrossRef24
TITLE: Introduction to the Special Collection from FACS 2022 Full Text
AUTHORS: Tarifa, Silvia Lizeth Tapia; Proenca, Jose; Oliveira, Jose ;
PUBLISHED: 2025, SOURCE: FORMAL ASPECTS OF COMPUTING, VOLUME: 37, ISSUE: 2, PAGES: 10:1-10:2
AUTHORS: Tarifa, Silvia Lizeth Tapia; Proenca, Jose; Oliveira, Jose ;
PUBLISHED: 2025, SOURCE: FORMAL ASPECTS OF COMPUTING, VOLUME: 37, ISSUE: 2, PAGES: 10:1-10:2
25
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
26
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
DBLP27
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 DBLP28
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
29
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
30
TITLE: Mind the Gap: The Missing Features of the Tools to Support User Studies in Software Engineering
AUTHORS: Lázaro Costa; Susana Barbosa; Jácome Cunha ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2504.08647
AUTHORS: Lázaro Costa; Susana Barbosa; Jácome Cunha ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2504.08647
INDEXED IN: DBLP
DBLP31
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
32
TITLE: Multi-Partner Project: Green.Dat.AI: A Data Spaces Architecture for Enhancing Green AI Services
AUTHORS: Ioannis Chrysakis; Evangelos Agorogiannis; Nikoleta Tsampanaki; Michalis Vourtzoumis; Eva Chondrodima; Yannis Theodoridis; Domen Mongus; Ben Capper; Martin Wagner; Aris Sotiropoulos; Fábio André Coelho; Cláudia Vanessa Brito ; Panos Protopapas; Despina Brasinika; Ioanna Fergadiotou; Christos Doulkeridis;
PUBLISHED: 2025, SOURCE: Proceedings Design Automation and Test in Europe Date, PAGES: 1-7
AUTHORS: Ioannis Chrysakis; Evangelos Agorogiannis; Nikoleta Tsampanaki; Michalis Vourtzoumis; Eva Chondrodima; Yannis Theodoridis; Domen Mongus; Ben Capper; Martin Wagner; Aris Sotiropoulos; Fábio André Coelho; Cláudia Vanessa Brito ; Panos Protopapas; Despina Brasinika; Ioanna Fergadiotou; Christos Doulkeridis;
PUBLISHED: 2025, SOURCE: Proceedings Design Automation and Test in Europe Date, PAGES: 1-7
INDEXED IN: Scopus CrossRef
Scopus CrossRef33
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
DBLP34
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
35
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
36
TITLE: Revisiting the Security and Privacy of FIDO2
AUTHORS: Manuel Barbosa ; Alexandra Boldyreva; Shan Chen; Kaishuo Cheng; Luís Esquível;
PUBLISHED: 2025, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2025, PAGES: 459
AUTHORS: Manuel Barbosa ; Alexandra Boldyreva; Shan Chen; Kaishuo Cheng; Luís Esquível;
PUBLISHED: 2025, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2025, PAGES: 459
INDEXED IN: DBLP
DBLP37
TITLE: Risk Assessment Profiles for Caregiver Burden in Family Caregivers of Persons Living with Alzheimer's Disease: An Exploratory Study with Machine Learning
AUTHORS: Brito, Laura; Cepa, Beatriz ; Brito, Claudia ; Leite, Angela; Pereira, M. Graca;
PUBLISHED: 2025, SOURCE: EUROPEAN JOURNAL OF INVESTIGATION IN HEALTH PSYCHOLOGY AND EDUCATION, VOLUME: 15, ISSUE: 3, PAGES: 41
AUTHORS: Brito, Laura; Cepa, Beatriz ; Brito, Claudia ; Leite, Angela; Pereira, M. Graca;
PUBLISHED: 2025, SOURCE: EUROPEAN JOURNAL OF INVESTIGATION IN HEALTH PSYCHOLOGY AND EDUCATION, VOLUME: 15, ISSUE: 3, PAGES: 41
38
TITLE: Social Compliance with NPIs, Mobility Patterns, and Reproduction Number: Lessons from COVID-19 in Europe
AUTHORS: Daniele Baccega; Jose Aguilar; Carlos Baquero ; Antonio Fernández Anta; Juan Marcos Ramirez;
PUBLISHED: 2025
AUTHORS: Daniele Baccega; Jose Aguilar; Carlos Baquero ; Antonio Fernández Anta; Juan Marcos Ramirez;
PUBLISHED: 2025
INDEXED IN: CrossRef
CrossRef39
TITLE: Specification of paraconsistent transition systems, revisited Full Text
AUTHORS: Cunha, Juliana; Madeira, Alexandre; Barbosa, Luis Soares ;
PUBLISHED: 2025, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 240, PAGES: 103196
AUTHORS: Cunha, Juliana; Madeira, Alexandre; Barbosa, Luis Soares ;
PUBLISHED: 2025, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 240, PAGES: 103196
40
TITLE: Towards Adaptive Transactional Consistency for Georeplicated Datastores
AUTHORS: Braga, Rui; Pereira, Jose ; Coelho, Fabio ;
PUBLISHED: 2025, SOURCE: 40th Symposium on Applied Computing-SAC in 40TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, PAGES: 300-307
AUTHORS: Braga, Rui; Pereira, Jose ; Coelho, Fabio ;
PUBLISHED: 2025, SOURCE: 40th Symposium on Applied Computing-SAC in 40TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, PAGES: 300-307
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP