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: 1490
150 Team MembersFilters -> Year: 2024
1
TITLE: Alloy Repair Hint Generation Based on Historical Data
AUTHORS: Barros, Ana; Neto, Henrique; Cunha, Alcino ; Macedo, Nuno ; Paiva, Ana C. R. ;
PUBLISHED: 2025, SOURCE: 26th International Symposium on Formal Methods (FM) in FORMAL METHODS, PT II, FM 2024, VOLUME: 14934, PAGES: 104-121
AUTHORS: Barros, Ana; Neto, Henrique; Cunha, Alcino ; Macedo, Nuno ; Paiva, Ana C. R. ;
PUBLISHED: 2025, SOURCE: 26th International Symposium on Formal Methods (FM) in FORMAL METHODS, PT II, FM 2024, VOLUME: 14934, PAGES: 104-121
2
TITLE: Approaches to Conflict-free Replicated Data Types
AUTHORS: Almeida, Paulo sergio ;
PUBLISHED: 2025, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 57, ISSUE: 2, PAGES: 1-36
AUTHORS: Almeida, Paulo sergio ;
PUBLISHED: 2025, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 57, ISSUE: 2, PAGES: 1-36
3
TITLE: Specification of paraconsistent transition systems, revisited
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
INDEXED IN: Scopus WOS DBLP
4
TITLE: 50 years of Research in Engineering Interactive Computing Systems: the CCL 1974 to EICS 2024 journey
AUTHORS: Campos, Jose Creissac ; Luyten, Kris; Nigay, Laurence; Palanque, Philippe; Paterno, Fabio; Spano, Lucio Davide; Vanderdonckt, Jean;
PUBLISHED: 2024, SOURCE: ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS) in COMPANION OF THE 2024 ACM SIGCHI SYMPOSIUM ON ENGINEERING INTERACTIVE COMPUTING SYSTEMS, EICS 2024, PAGES: 92-96
AUTHORS: Campos, Jose Creissac ; Luyten, Kris; Nigay, Laurence; Palanque, Philippe; Paterno, Fabio; Spano, Lucio Davide; Vanderdonckt, Jean;
PUBLISHED: 2024, SOURCE: ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS) in COMPANION OF THE 2024 ACM SIGCHI SYMPOSIUM ON ENGINEERING INTERACTIVE COMPUTING SYSTEMS, EICS 2024, PAGES: 92-96
5
TITLE: A Distributed Computing Solution for Privacy-Preserving Genome-Wide Association Studies
AUTHORS: Cláudia Brito ; Pedro Ferreira ; João Paulo;
PUBLISHED: 2024
AUTHORS: Cláudia Brito ; Pedro Ferreira ; João Paulo;
PUBLISHED: 2024
INDEXED IN: CrossRef
6
TITLE: A large-scale empirical study on mobile performance: energy, run-time and memory
AUTHORS: Rua, Rui; Saraiva, Joao ;
PUBLISHED: 2024, SOURCE: EMPIRICAL SOFTWARE ENGINEERING, VOLUME: 29, ISSUE: 1, PAGES: 31
AUTHORS: Rua, Rui; Saraiva, Joao ;
PUBLISHED: 2024, SOURCE: EMPIRICAL SOFTWARE ENGINEERING, VOLUME: 29, ISSUE: 1, PAGES: 31
7
TITLE: A review on the decarbonization of high-performance computing centers
AUTHORS: Silva, C. A. ; Vilaca, R. ; Pereira, A. ; Bessa, R. J. ;
PUBLISHED: 2024, SOURCE: RENEWABLE & SUSTAINABLE ENERGY REVIEWS, VOLUME: 189, PAGES: 114019
AUTHORS: Silva, C. A. ; Vilaca, R. ; Pereira, A. ; Bessa, R. J. ;
PUBLISHED: 2024, SOURCE: RENEWABLE & SUSTAINABLE ENERGY REVIEWS, VOLUME: 189, PAGES: 114019
8
TITLE: A Tight Security Proof for $\mathrm{SPHINCS^{+}}$, Formally Verified
AUTHORS: Manuel Barbosa ; François Dupressoir; Andreas Hülsing; Matthias Meijers; Pierre Yves Strub;
PUBLISHED: 2024, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2024, PAGES: 910
AUTHORS: Manuel Barbosa ; François Dupressoir; Andreas Hülsing; Matthias Meijers; Pierre Yves Strub;
PUBLISHED: 2024, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2024, PAGES: 910
INDEXED IN: DBLP
9
TITLE: A worldwide overview on the information security posture of online public services
AUTHORS: João Marco Silva ; Diogo Ribeiro ; Luis Felipe M Ramos; Victor Fonte ;
PUBLISHED: 2024, SOURCE: 57th Annual Hawaii International Conference on System Sciences, HICSS 2024 in 57th Hawaii International Conference on System Sciences, HICSS 2024, Hilton Hawaiian Village Waikiki Beach Resort, Hawaii, USA, January 3-6, 2024, PAGES: 1881-1890
AUTHORS: João Marco Silva ; Diogo Ribeiro ; Luis Felipe M Ramos; Victor Fonte ;
PUBLISHED: 2024, SOURCE: 57th Annual Hawaii International Conference on System Sciences, HICSS 2024 in 57th Hawaii International Conference on System Sciences, HICSS 2024, Hilton Hawaiian Village Waikiki Beach Resort, Hawaii, USA, January 3-6, 2024, PAGES: 1881-1890
10
TITLE: Alloy Goes Fuzzy
AUTHORS: Silva, Pedro; Cunha, Alcino ; Macedo, Nuno ; Oliveira, Jose N.;
PUBLISHED: 2024, SOURCE: 10th International Conference on Rigorous State-Based Methods (ABZ) in RIGOROUS STATE-BASED METHODS, ABZ 2024, VOLUME: 14759, PAGES: 61-79
AUTHORS: Silva, Pedro; Cunha, Alcino ; Macedo, Nuno ; Oliveira, Jose N.;
PUBLISHED: 2024, SOURCE: 10th International Conference on Rigorous State-Based Methods (ABZ) in RIGOROUS STATE-BASED METHODS, ABZ 2024, VOLUME: 14759, PAGES: 61-79
11
TITLE: An adequacy theorem between mixed powerdomains and probabilistic concurrency
AUTHORS: Renato Neves ;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2409.15920
AUTHORS: Renato Neves ;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2409.15920
INDEXED IN: DBLP
12
TITLE: An Online Repository for Educational Resources in HCI-Engineering
AUTHORS: Spano, Lucio Davide; Campos, Jose Creissac ; Dittmar, Anke; Forbrig, Peter;
PUBLISHED: 2024, SOURCE: 19th International-Federation-for-Information-Processing-Technical-Committee-13 (IFIP TC13) International Conference on Human-Computer Interaction (INTERACT) in DESIGN FOR EQUALITY AND JUSTICE, INTERACT 2023, PT I, VOLUME: 14535, PAGES: 183-200
AUTHORS: Spano, Lucio Davide; Campos, Jose Creissac ; Dittmar, Anke; Forbrig, Peter;
PUBLISHED: 2024, SOURCE: 19th International-Federation-for-Information-Processing-Technical-Committee-13 (IFIP TC13) International Conference on Human-Computer Interaction (INTERACT) in DESIGN FOR EQUALITY AND JUSTICE, INTERACT 2023, PT I, VOLUME: 14535, PAGES: 183-200
INDEXED IN: WOS CrossRef
13
TITLE: Assessing the impact of hints in learning formal specification
AUTHORS: Cunha, Alcino ; Macedo, Nuno ; Campos, Jose Creissac ; Margolis, Iara; Sousa, Emanuel;
PUBLISHED: 2024, SOURCE: ACM/IEEE 44th International Conference on Software Engineering: Software Engineering Education and Training (ICSE-SEET) in 2024 ACM/IEEE 44TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: SOFTWARE ENGINEERING EDUCATION AND TRAINING, ICSE-SEET 2024, PAGES: 151-161
AUTHORS: Cunha, Alcino ; Macedo, Nuno ; Campos, Jose Creissac ; Margolis, Iara; Sousa, Emanuel;
PUBLISHED: 2024, SOURCE: ACM/IEEE 44th International Conference on Software Engineering: Software Engineering Education and Training (ICSE-SEET) in 2024 ACM/IEEE 44TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: SOFTWARE ENGINEERING EDUCATION AND TRAINING, ICSE-SEET 2024, PAGES: 151-161
14
TITLE: Author Correction: Contactless doping characterization of Ga2O3 using acceptor Cd probes(Scientific Reports, 10.1038/s41598-022-18121-y) Full Text
AUTHORS: Marcelo Barbosa; João Guilherme Correia; Katharina Lorenz; Armandina L Lopes ; G. N. P. Oliveira ; Abel Fenta; Juliana Schell; Ricardo Teixeira; Emilio Nogales; Bianchi Méndez; Alessandro Stroppa; João Pedro Araújo;
PUBLISHED: 2024, SOURCE: Scientific Reports, VOLUME: 14, ISSUE: 1
AUTHORS: Marcelo Barbosa; João Guilherme Correia; Katharina Lorenz; Armandina L Lopes ; G. N. P. Oliveira ; Abel Fenta; Juliana Schell; Ricardo Teixeira; Emilio Nogales; Bianchi Méndez; Alessandro Stroppa; João Pedro Araújo;
PUBLISHED: 2024, SOURCE: Scientific Reports, VOLUME: 14, ISSUE: 1
INDEXED IN: Scopus CrossRef
15
TITLE: Bare PAKE: Universally Composable Key Exchange from Just Passwords
AUTHORS: Barbosa, Manuel ; Gellert, Kai; Hesse, Julia; Jarecki, Stanislaw;
PUBLISHED: 2024, SOURCE: 44th Annual International Cryptology Conference on Advances in Cryptology (CRYPTO) in ADVANCES IN CRYPTOLOGY - CRYPTO 2024, PT II, VOLUME: 14921, PAGES: 183-217
AUTHORS: Barbosa, Manuel ; Gellert, Kai; Hesse, Julia; Jarecki, Stanislaw;
PUBLISHED: 2024, SOURCE: 44th Annual International Cryptology Conference on Advances in Cryptology (CRYPTO) in ADVANCES IN CRYPTOLOGY - CRYPTO 2024, PT II, VOLUME: 14921, PAGES: 183-217
INDEXED IN: Scopus WOS DBLP
16
TITLE: Berry: A code for the differentiation of Bloch wavefunctions from DFT calculations Full Text
AUTHORS: Reascos, Leander; Carneiro, Fabio; Pereira, Andre ; Castro, Nuno Filipe; Ribeiro, Ricardo Mendes;
PUBLISHED: 2024, SOURCE: COMPUTER PHYSICS COMMUNICATIONS, VOLUME: 295, PAGES: 108972
AUTHORS: Reascos, Leander; Carneiro, Fabio; Pereira, Andre ; Castro, Nuno Filipe; Ribeiro, Ricardo Mendes;
PUBLISHED: 2024, SOURCE: COMPUTER PHYSICS COMMUNICATIONS, VOLUME: 295, PAGES: 108972
17
TITLE: C'est très CHIC: A compact password-authenticated key exchange from lattice-based KEM
AUTHORS: Afonso Arriaga; Manuel Barbosa ; Stanislaw Jarecki; Marjan Skrobot;
PUBLISHED: 2024, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2024, PAGES: 308
AUTHORS: Afonso Arriaga; Manuel Barbosa ; Stanislaw Jarecki; Marjan Skrobot;
PUBLISHED: 2024, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2024, PAGES: 308
INDEXED IN: DBLP
18
TITLE: Chronicles of CI/CD: A Deep Dive into its Usage Over Time
AUTHORS: Hugo Da Gião; André Flores; Rui Pereira; Jácome Cunha ;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2402.17588
AUTHORS: Hugo Da Gião; André Flores; Rui Pereira; Jácome Cunha ;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2402.17588
INDEXED IN: DBLP
19
TITLE: Companion Proceedings of the 16th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS Companion 2024, Cagliari, Italy, June 24-28, 2024
AUTHORS: Michael Nebeling; Lucio Davide Spano; José Creissac Campos ;
PUBLISHED: 2024, SOURCE: EICS (Companion)
AUTHORS: Michael Nebeling; Lucio Davide Spano; José Creissac Campos ;
PUBLISHED: 2024, SOURCE: EICS (Companion)
INDEXED IN: DBLP
20
TITLE: Contract Usage and Evolution in Android Mobile Applications
AUTHORS: David R Ferreira; Alexandra Mendes ; João F Ferreira;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2401.14244
AUTHORS: David R Ferreira; Alexandra Mendes ; João F Ferreira;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2401.14244
INDEXED IN: DBLP