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: 1500
150 Team MembersFilters -> Year: 2025
21
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
22
TITLE: A Tight Security Proof for SPHINCS+, Formally Verified
AUTHORS: Manuel Barbosa ; François Dupressoir; Andreas Hülsing; Matthias Meijers; Pierre Yves Strub;
PUBLISHED: 2024, SOURCE: Advances in Cryptology - ASIACRYPT 2024 - 30th International Conference on the Theory and Application of Cryptology and Information Security, Kolkata, India, December 9-13, 2024, Proceedings, Part IV, VOLUME: 15487, PAGES: 35-67
AUTHORS: Manuel Barbosa ; François Dupressoir; Andreas Hülsing; Matthias Meijers; Pierre Yves Strub;
PUBLISHED: 2024, SOURCE: Advances in Cryptology - ASIACRYPT 2024 - 30th International Conference on the Theory and Application of Cryptology and Information Security, Kolkata, India, December 9-13, 2024, Proceedings, Part IV, VOLUME: 15487, PAGES: 35-67
INDEXED IN:
DBLP

23
TITLE: A worldwide overview on the information security posture of online public services Full Text
AUTHORS: João Marco Silva ; Diogo Ribeiro ; Luis Felipe M Ramos; Victor Fonte ;
PUBLISHED: 2024, SOURCE: 57th Hawaii International Conference on System Sciences (HICSS) in PROCEEDINGS OF THE 57TH ANNUAL HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, PAGES: 1881-1890
AUTHORS: João Marco Silva ; Diogo Ribeiro ; Luis Felipe M Ramos; Victor Fonte ;
PUBLISHED: 2024, SOURCE: 57th Hawaii International Conference on System Sciences (HICSS) in PROCEEDINGS OF THE 57TH ANNUAL HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, PAGES: 1881-1890
24
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
25
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

26
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
27
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
28
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
29
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
30
TITLE: Can Current SDS Controllers Scale To Modern HPC Infrastructures?
AUTHORS: Mariana Miranda; Yusuke Tanimura; Jason Haga; Amit Ruhela; Stephen Lien Harrell; John Cazes; Ricardo Macedo ; José Pereira; João Paulo ;
PUBLISHED: 2024, SOURCE: 2024 Workshops of the International Conference for High Performance Computing, Networking, Storage and Analysis, SC Workshops 2024 in SC24-W: Workshops of the International Conference for High Performance Computing, Networking, Storage and Analysis, Atlanta, GA, USA, November 17-22, 2024, PAGES: 861-868
AUTHORS: Mariana Miranda; Yusuke Tanimura; Jason Haga; Amit Ruhela; Stephen Lien Harrell; John Cazes; Ricardo Macedo ; José Pereira; João Paulo ;
PUBLISHED: 2024, SOURCE: 2024 Workshops of the International Conference for High Performance Computing, Networking, Storage and Analysis, SC Workshops 2024 in SC24-W: Workshops of the International Conference for High Performance Computing, Networking, Storage and Analysis, Atlanta, GA, USA, November 17-22, 2024, PAGES: 861-868
31
TITLE: Characterizing Data Scientists in the Real World
AUTHORS: Paula Pereira; Jácome Cunha ; João Paulo Fernandes;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2411.12225
AUTHORS: Paula Pereira; Jácome Cunha ; João Paulo Fernandes;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2411.12225
INDEXED IN:
DBLP

32
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

33
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

34
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

35
TITLE: Course mapping dataset for the paper "State of the Practice in Software Testing Teaching in Four European Countries"
AUTHORS: Porfirio Tramontana; Beatriz Marín; Ana C R Paiva ; Alexandra Mendes; Tanja E J Vos; Domenico Amalfitano; Felix Cammaerts; Monique Snoeck; Anna Rita Fasolino;
PUBLISHED: 2024
AUTHORS: Porfirio Tramontana; Beatriz Marín; Ana C R Paiva ; Alexandra Mendes; Tanja E J Vos; Domenico Amalfitano; Felix Cammaerts; Monique Snoeck; Anna Rita Fasolino;
PUBLISHED: 2024
INDEXED IN:
DBLP

36
TITLE: Databases in Edge and Fog Environments: A Survey Full Text
AUTHORS: Meruje Ferreira, Luis Manuel ; Coelho, Fabio ; Pereira, Jose ;
PUBLISHED: 2024, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 56, ISSUE: 11, PAGES: 285:1-285:40
AUTHORS: Meruje Ferreira, Luis Manuel ; Coelho, Fabio ; Pereira, Jose ;
PUBLISHED: 2024, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 56, ISSUE: 11, PAGES: 285:1-285:40
37
TITLE: Designing Software with Complex Configurations
AUTHORS: Alcino Cunha ;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2407.13633
AUTHORS: Alcino Cunha ;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2407.13633
INDEXED IN:
DBLP

38
TITLE: DifFuzzAR: automatic repair of timing side-channel vulnerabilities via refactoring
AUTHORS: Lima, Rui; Ferreira, Joao F.; Mendes, Alexandra ; Carreira, Carolina;
PUBLISHED: 2024, SOURCE: AUTOMATED SOFTWARE ENGINEERING, VOLUME: 31, ISSUE: 1, PAGES: 1
AUTHORS: Lima, Rui; Ferreira, Joao F.; Mendes, Alexandra ; Carreira, Carolina;
PUBLISHED: 2024, SOURCE: AUTOMATED SOFTWARE ENGINEERING, VOLUME: 31, ISSUE: 1, PAGES: 1
39
TITLE: Digital quantum simulation of non-perturbative dynamics of open systems with orthogonal polynomials
AUTHORS: Guimaraes, Jose D.; Vasilevskiy, Mikhail I.; Barbosa, Luis S. ;
PUBLISHED: 2024, SOURCE: QUANTUM, VOLUME: 8, PAGES: 1242
AUTHORS: Guimaraes, Jose D.; Vasilevskiy, Mikhail I.; Barbosa, Luis S. ;
PUBLISHED: 2024, SOURCE: QUANTUM, VOLUME: 8, PAGES: 1242
INDEXED IN:
Scopus
WOS
DBLP



40
TITLE: Editorial to the Second IFIP WG 2.7/13.4 Workshop on HCI Engineering Education
AUTHORS: Spano, Lucio Davide; Campos, Jose Creissac ; Dittmar, Anke;
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: 177-182
AUTHORS: Spano, Lucio Davide; Campos, Jose Creissac ; Dittmar, Anke;
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: 177-182