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: 1576
149 Team MembersFilters -> Year: 2025
21
TITLE: CRDT-Based Game State Synchronization in Peer-to-Peer VR
AUTHORS: Dantas, Abel; Baquero, Carlos ;
PUBLISHED: 2025, SOURCE: 12th Workshop on Principles and Practice of Consistency for Distributed Data-PaPoC in PROCEEDINGS OF THE 12TH WORKSHOP ON PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA, PAPOC 2025, VOLUME: abs/2503.17826, PAGES: 45-55
AUTHORS: Dantas, Abel; Baquero, Carlos ;
PUBLISHED: 2025, SOURCE: 12th Workshop on Principles and Practice of Consistency for Distributed Data-PaPoC in PROCEEDINGS OF THE 12TH WORKSHOP ON PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA, PAPOC 2025, VOLUME: abs/2503.17826, PAGES: 45-55
22
TITLE: CRDV: Conflict-free Replicated Data Views
AUTHORS: Nuno Faria ; José Pereira ;
PUBLISHED: 2025, SOURCE: Proc. ACM Manag. Data, VOLUME: 3, ISSUE: 1, PAGES: 25:1-25:27
AUTHORS: Nuno Faria ; José Pereira ;
PUBLISHED: 2025, SOURCE: Proc. ACM Manag. Data, VOLUME: 3, ISSUE: 1, PAGES: 25:1-25:27
INDEXED IN: 
DBLP 
CrossRef
DBLP CrossRef23
TITLE: Detecting Resource Leaks on Android with Alpakka
AUTHORS: Santos, Gustavo; Bispo, Joao ; Mendes, Alexandra ;
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: 199-211
AUTHORS: Santos, Gustavo; Bispo, Joao ; Mendes, Alexandra ;
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: 199-211
24
TITLE: Distributed Generalized Linear Models: A Privacy-Preserving Approach
AUTHORS: Tinoco, Daniel; Menezes, Raquel; Baquero, Carlos ;
PUBLISHED: 2025, SOURCE: COMPUTATIONAL STATISTICS, VOLUME: abs/2503.15287
AUTHORS: Tinoco, Daniel; Menezes, Raquel; Baquero, Carlos ;
PUBLISHED: 2025, SOURCE: COMPUTATIONAL STATISTICS, VOLUME: abs/2503.15287
INDEXED IN: 
Scopus 
WOS DBLP
Scopus WOS DBLP25
TITLE: Does Every Computer Scientist Need to Know Formal Methods? Full Text
AUTHORS: Broy, Manfred; Brucker, Achim D.; Fantechi, Alessandro; Gleirscher, Mario; Havelund, Klaus; Kuppe, Markus Alexander; Mendes, Alexandra ; Platzer, Andre; Ringert, Jan Oliver; Sullivan, Allison;
PUBLISHED: 2025, SOURCE: FORMAL ASPECTS OF COMPUTING, VOLUME: 37, ISSUE: 1, PAGES: 6:1-6:17
AUTHORS: Broy, Manfred; Brucker, Achim D.; Fantechi, Alessandro; Gleirscher, Mario; Havelund, Klaus; Kuppe, Markus Alexander; Mendes, Alexandra ; Platzer, Andre; Ringert, Jan Oliver; Sullivan, Allison;
PUBLISHED: 2025, SOURCE: FORMAL ASPECTS OF COMPUTING, VOLUME: 37, ISSUE: 1, PAGES: 6:1-6:17
26
TITLE: Engineering Interactive Computer Systems. EICS 2024 International Workshops - Cagliari, Sardinia, Italy, June 24-26, 2024, Revised Selected Papers
AUTHORS: Luciana A M Zaina; José Creissac Campos ; Lucio Davide Spano; Kris Luyten; Philippe A Palanque; Gerrit van v der Veer; Achim Ebert; Shah Rukh Humayoun; Vera Marie Memmesheimer;
PUBLISHED: 2025, SOURCE: EICS (Workshops), VOLUME: 15518
AUTHORS: Luciana A M Zaina; José Creissac Campos ; Lucio Davide Spano; Kris Luyten; Philippe A Palanque; Gerrit van v der Veer; Achim Ebert; Shah Rukh Humayoun; Vera Marie Memmesheimer;
PUBLISHED: 2025, SOURCE: EICS (Workshops), VOLUME: 15518
INDEXED IN: DBLP
DBLP27
TITLE: Engineering Interactive Systems Embedding AI Technologies (3rd workshop on)
AUTHORS: Barricelli, Barbara Rita; Campos, Jose Creissac ; Luyten, Kris; Mayer, Sven; Palanque, Philippe; Panizzi, Emanuele; Spano, Lucio Davide; Stumpf, Simone;
PUBLISHED: 2025, SOURCE: 2025 Symposium on Engineering Interactive Computing Systems-EICS-Annual in COMPANION OF THE 2025 ACM SIGCHI SYMPOSIUM ON ENGINEERING INTERACTIVE COMPUTING SYSTEMS, EICS 2025 COMPANION, PAGES: 71-75
AUTHORS: Barricelli, Barbara Rita; Campos, Jose Creissac ; Luyten, Kris; Mayer, Sven; Palanque, Philippe; Panizzi, Emanuele; Spano, Lucio Davide; Stumpf, Simone;
PUBLISHED: 2025, SOURCE: 2025 Symposium on Engineering Interactive Computing Systems-EICS-Annual in COMPANION OF THE 2025 ACM SIGCHI SYMPOSIUM ON ENGINEERING INTERACTIVE COMPUTING SYSTEMS, EICS 2025 COMPANION, PAGES: 71-75
28
TITLE: Exon: An Oblivious Exactly-Once Messaging Protocol With Reliable Delegation
AUTHORS: Ziad Kassam; Paulo Sérgio Almeida ; Ali Shoker;
PUBLISHED: 2025, SOURCE: IEEE Access, VOLUME: 13, PAGES: 68290-68310
AUTHORS: Ziad Kassam; Paulo Sérgio Almeida ; Ali Shoker;
PUBLISHED: 2025, SOURCE: IEEE Access, VOLUME: 13, PAGES: 68290-68310
29
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
30
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
DBLP31
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 DBLP32
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
CrossRef33
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: IACR Cryptol. ePrint Arch., VOLUME: 2025, PAGES: 1562
AUTHORS: Manuel Barbosa ; Matthias J Kannwischer; Thing Han Lim; Peter Schwabe; Pierre Yves Strub;
PUBLISHED: 2025, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2025, PAGES: 1562
INDEXED IN: DBLP
DBLP34
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
DBLP35
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
36
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
DBLP37
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
38
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
DBLP39
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 CrossRef40
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
