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: 1659
149 Team MembersFilters -> Year: 2026
41
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
42
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
43
TITLE: Distributed Generalized Linear Models: A Privacy-Preserving Approach
AUTHORS: Tinoco, Daniel; Menezes, Raquel; Baquero, Carlos ;
PUBLISHED: 2025, SOURCE: COMPUTATIONAL STATISTICS, VOLUME: 40, ISSUE: 9, PAGES: 5769-5790
AUTHORS: Tinoco, Daniel; Menezes, Raquel; Baquero, Carlos ;
PUBLISHED: 2025, SOURCE: COMPUTATIONAL STATISTICS, VOLUME: 40, ISSUE: 9, PAGES: 5769-5790
44
TITLE: Distributed Generalized Linear Models: A Privacy-Preserving Approach
AUTHORS: Daniel Tinoco; Raquel Menezes; Carlos Baquero ;
PUBLISHED: 2025, SOURCE: Comput. Stat., VOLUME: 40, ISSUE: 9, PAGES: 5769-5790
AUTHORS: Daniel Tinoco; Raquel Menezes; Carlos Baquero ;
PUBLISHED: 2025, SOURCE: Comput. Stat., VOLUME: 40, ISSUE: 9, PAGES: 5769-5790
INDEXED IN: 
DBLP
DBLP45
TITLE: Does Every Computer Scientist Need to Know Formal Methods?
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
46
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
DBLP47
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
48
TITLE: Environmental Impact of CI/CD Pipelines
AUTHORS: Nuno Saavedra; Alexandra Mendes ; João F Ferreira;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2510.26413
AUTHORS: Nuno Saavedra; Alexandra Mendes ; João F Ferreira;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2510.26413
INDEXED IN: DBLP
DBLP49
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
50
TITLE: Exploring a Quantum Programming Language with Concurrency
AUTHORS: Manisha Jain; Vitor Fernandes; Alexandre Madeira; Luís Soares Barbosa ;
PUBLISHED: 2025, SOURCE: Programming, PAGES: 16:1-16:9
AUTHORS: Manisha Jain; Vitor Fernandes; Alexandre Madeira; Luís Soares Barbosa ;
PUBLISHED: 2025, SOURCE: Programming, PAGES: 16:1-16:9
INDEXED IN: DBLP
DBLP51
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 DBLP52
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
53
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
CrossRef54
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 DBLP55
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
DBLP56
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, ISSUE: 3, PAGES: 14-23
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, ISSUE: 3, PAGES: 14-23
57
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
58
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
DBLP59
TITLE: Hyper model checking for high-level relational models
AUTHORS: Nuno Macedo; Hugo Pacheco ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2512.12024
AUTHORS: Nuno Macedo; Hugo Pacheco ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2512.12024
INDEXED IN: DBLP
DBLP60
TITLE: Inferring multiple helper Dafny assertions with LLMs
AUTHORS: Álvaro F Silva; Alexandra Mendes ; Ruben Martins;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2511.00125
AUTHORS: Álvaro F Silva; Alexandra Mendes ; Ruben Martins;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2511.00125
INDEXED IN: DBLP
DBLP