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: 1685
149 Team MembersFilters -> Year: 2026
41
TITLE: Exploiting Trusted Execution Environments and Distributed Computation for Genomic Association Tests Full Text
AUTHORS: Claudia V Brito ; Pedro G Ferreira ; Joao T Paulo ;
PUBLISHED: 2025, SOURCE: IEEE Journal of Biomedical and Health Informatics, PAGES: 1-8
AUTHORS: Claudia V Brito ; Pedro G Ferreira ; Joao T Paulo ;
PUBLISHED: 2025, SOURCE: IEEE Journal of Biomedical and Health Informatics, PAGES: 1-8
42
TITLE: Exploring a Quantum Programming Language with Concurrency
AUTHORS: Manisha Jain; Vitor Fernandes; Alexandre Madeira; Luís Soares Barbosa ;
PUBLISHED: 2025, SOURCE: Companion Proceedings of the 9th International Conference on the Art, Science, and Engineering of Programming, Programming 2025, June 2-6, 2025, Prague 1, Czechia, VOLUME: 134, PAGES: 16:1-16:9
AUTHORS: Manisha Jain; Vitor Fernandes; Alexandre Madeira; Luís Soares Barbosa ;
PUBLISHED: 2025, SOURCE: Companion Proceedings of the 9th International Conference on the Art, Science, and Engineering of Programming, Programming 2025, June 2-6, 2025, Prague 1, Czechia, VOLUME: 134, PAGES: 16:1-16:9
INDEXED IN: 
DBLP
DBLP43
TITLE: Faster Verification of Faster Implementations: Combining Deductive and Circuit-Based Reasoning in EasyCrypt
AUTHORS: Almeida, Jose Bacelar ; Alves, Gustavo Xavier Delerue Marinho; Barbosa, Manuel ; Barthe, Gilles; Esquivel, Luis; Hwang, Vincent; Oliveira, Tiago; Pacheco, Hugo ; Schwabe, Peter; Strub, Pierre Yves;
PUBLISHED: 2025, SOURCE: 2025 Symposium on Security and Privacy-SP in 2025 IEEE SYMPOSIUM ON SECURITY AND PRIVACY, SP, PAGES: 3820-3838
AUTHORS: Almeida, Jose Bacelar ; Alves, Gustavo Xavier Delerue Marinho; Barbosa, Manuel ; Barthe, Gilles; Esquivel, Luis; Hwang, Vincent; Oliveira, Tiago; Pacheco, Hugo ; Schwabe, Peter; Strub, Pierre Yves;
PUBLISHED: 2025, SOURCE: 2025 Symposium on Security and Privacy-SP in 2025 IEEE SYMPOSIUM ON SECURITY AND PRIVACY, SP, PAGES: 3820-3838
INDEXED IN: 
Scopus 
WOS DBLP
Scopus WOS DBLP44
TITLE: Foreword to the special section on recent advances in graphics and interaction (RAGI 2024)
AUTHORS: Marto, Anabela; Campos, Jose Creissac ; Johnsen, Kyle;
PUBLISHED: 2025, SOURCE: COMPUTERS & GRAPHICS-UK, VOLUME: 130, PAGES: 104263
AUTHORS: Marto, Anabela; Campos, Jose Creissac ; Johnsen, Kyle;
PUBLISHED: 2025, SOURCE: COMPUTERS & GRAPHICS-UK, VOLUME: 130, PAGES: 104263
45
TITLE: Formal Approaches for Interactive Systems
AUTHORS: José Creissac Campos ; Michael D Harrison;
PUBLISHED: 2025, SOURCE: Handbook of Human Computer Interaction, PAGES: 1-28
AUTHORS: José Creissac Campos ; Michael D Harrison;
PUBLISHED: 2025, SOURCE: Handbook of Human Computer Interaction, PAGES: 1-28
INDEXED IN: 
CrossRef
CrossRef46
TITLE: Formally Verified Correctness Bounds for Lattice-Based Cryptography
AUTHORS: Manuel Barbosa ; Matthias J Kannwischer; Thing Han Lim; Peter Schwabe; Pierre Yves Strub;
PUBLISHED: 2025, SOURCE: 32nd ACM SIGSAC Conference on Computer and Communications Security, CCS 2025 in CCS, PAGES: 156-169
AUTHORS: Manuel Barbosa ; Matthias J Kannwischer; Thing Han Lim; Peter Schwabe; Pierre Yves Strub;
PUBLISHED: 2025, SOURCE: 32nd ACM SIGSAC Conference on Computer and Communications Security, CCS 2025 in CCS, PAGES: 156-169
INDEXED IN: Scopus DBLP
Scopus DBLP47
TITLE: From "Worse is Better" to Better: Lessons from a Mixed Methods Study of Ansible's Challenges
AUTHORS: Carolina Carreira; Nuno Saavedra; Alexandra Mendes ; João F Ferreira;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2504.08678
AUTHORS: Carolina Carreira; Nuno Saavedra; Alexandra Mendes ; João F Ferreira;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2504.08678
INDEXED IN: DBLP
DBLP48
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
49
TITLE: Greening AI-enabled Systems with Software Engineering: A Research Agenda for Environmentally Sustainable AI Practices
AUTHORS: Luis Cruz; João Paulo Fernandes; Maja H Kirkeby; Silverio Martínez Fernández; June Sallou; Hina Anwar; Enrique Barba Roque; Justus Bogner; Joel Castaño; Fernando Castor; Aadil Chasmawala; Simão Cunha; Daniel Feitosa; Alexandra González; Andreas Jedlitschka; Patricia Lago; Henry Muccini; Ana Oprescu; Pooja Rani; João Saraiva ; ...More
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2506.01774
AUTHORS: Luis Cruz; João Paulo Fernandes; Maja H Kirkeby; Silverio Martínez Fernández; June Sallou; Hina Anwar; Enrique Barba Roque; Justus Bogner; Joel Castaño; Fernando Castor; Aadil Chasmawala; Simão Cunha; Daniel Feitosa; Alexandra González; Andreas Jedlitschka; Patricia Lago; Henry Muccini; Ana Oprescu; Pooja Rani; João Saraiva ; ...More
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2506.01774
INDEXED IN: DBLP
DBLP50
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
51
TITLE: Hybrid quantum-classical algorithm for near-optimal planning in POMDPs
AUTHORS: Gilberto Cunha; Alexandra Ramôa; André Sequeira; Michael de Oliveira; Luís Soares Barbosa ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2507.18606
AUTHORS: Gilberto Cunha; Alexandra Ramôa; André Sequeira; Michael de Oliveira; Luís Soares Barbosa ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2507.18606
INDEXED IN: DBLP
DBLP52
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 CrossRef53
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
54
TITLE: Is There Hypothesis for Attribute Grammars?
AUTHORS: Emanuel Rodrigues; José Nuno Macedo; João Saraiva ;
PUBLISHED: 2025, SOURCE: Companion Proceedings of the 9th International Conference on the Art, Science, and Engineering of Programming, Programming 2025, June 2-6, 2025, Prague 1, Czechia, VOLUME: 134, PAGES: 19:1-19:15
AUTHORS: Emanuel Rodrigues; José Nuno Macedo; João Saraiva ;
PUBLISHED: 2025, SOURCE: Companion Proceedings of the 9th International Conference on the Art, Science, and Engineering of Programming, Programming 2025, June 2-6, 2025, Prague 1, Czechia, VOLUME: 134, PAGES: 19:1-19:15
INDEXED IN: DBLP
DBLP55
TITLE: Jazzline: Composable CryptoLine Functional Correctness Proofs for Jasmin Programs
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe; Lionel Blatter; Gustavo Xavier Delerue Marinho Alves; João Diogo Duarte; Benjamin Grégoire; Tiago Oliveira; Miguel Quaresma; Pierre Yves Strub; Ming Hsien Tsai; Bow Yaw Wang; Bo Yin Yang;
PUBLISHED: 2025, SOURCE: CCS, PAGES: 1409-1423
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe; Lionel Blatter; Gustavo Xavier Delerue Marinho Alves; João Diogo Duarte; Benjamin Grégoire; Tiago Oliveira; Miguel Quaresma; Pierre Yves Strub; Ming Hsien Tsai; Bow Yaw Wang; Bo Yin Yang;
PUBLISHED: 2025, SOURCE: CCS, PAGES: 1409-1423
INDEXED IN: DBLP
DBLP56
TITLE: KEIGO: Co-designing Log-Structured Merge Key-Value Stores with a Non-Volatile, Concurrency-aware Storage Hierarchy PDF Full Text
AUTHORS: Adao, Ruben; Wu, Zhongjie; Zhou, Changjun; Balmau, Oana; Paulo, Joao ; Macedo, Ricardo;
PUBLISHED: 2025, SOURCE: 51st International Conference on Very Large Data Bases, VLDB 2025 in PROCEEDINGS OF THE VLDB ENDOWMENT, VOLUME: 18, ISSUE: 9, PAGES: 2872-2885
AUTHORS: Adao, Ruben; Wu, Zhongjie; Zhou, Changjun; Balmau, Oana; Paulo, Joao ; Macedo, Ricardo;
PUBLISHED: 2025, SOURCE: 51st International Conference on Very Large Data Bases, VLDB 2025 in PROCEEDINGS OF THE VLDB ENDOWMENT, VOLUME: 18, ISSUE: 9, PAGES: 2872-2885
INDEXED IN: Scopus WOS DBLP 
DataCite
Scopus WOS DBLP DataCite57
TITLE: Keigo: Co-designing Log-Structured Merge Key-Value Stores with a Non-Volatile, Concurrency-aware Storage Hierarchy (Extended Version)
AUTHORS: Rúben Adão; Zhongjie Wu; Changjun Zhou; Oana Balmau; João Paulo ; Ricardo Macedo;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2506.14630
AUTHORS: Rúben Adão; Zhongjie Wu; Changjun Zhou; Oana Balmau; João Paulo ; Ricardo Macedo;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2506.14630
INDEXED IN: DBLP
DBLP58
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
59
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
DBLP60
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 DBLP