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
121
TITLE: <bold>GAMFLEW</bold>: serious game to teach white-box testing
AUTHORS: Silva, Mateus; Paiva, Ana C. R. ; Mendes, Alexandra ;
PUBLISHED: 2024, SOURCE: SOFTWARE QUALITY JOURNAL, VOLUME: 33, ISSUE: 1, PAGES: 5
AUTHORS: Silva, Mateus; Paiva, Ana C. R. ; Mendes, Alexandra ;
PUBLISHED: 2024, SOURCE: SOFTWARE QUALITY JOURNAL, VOLUME: 33, ISSUE: 1, PAGES: 5
122
TITLE: <i>DifFuzzAR</i>: 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
123
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
CrossRef124
TITLE: A Framework for Consistency Models in Distributed Systems
AUTHORS: Paulo Sérgio Almeida ;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2411.16355
AUTHORS: Paulo Sérgio Almeida ;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2411.16355
INDEXED IN:
DBLP
125
TITLE: A Language for Explaining Counterexamples
AUTHORS: Ezequiel José Veloso Ferreira Moreira; José Creissac Campos ;
PUBLISHED: 2024, SOURCE: SLATE, VOLUME: 120, PAGES: 11:1-11:14
AUTHORS: Ezequiel José Veloso Ferreira Moreira; José Creissac Campos ;
PUBLISHED: 2024, SOURCE: SLATE, VOLUME: 120, PAGES: 11:1-11:14
INDEXED IN:
Scopus
DBLP
126
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
127
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
128
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
129
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
130
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
131
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
132
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
133
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
134
TITLE: Branching pomsets: Design, expressiveness and applications to choreographies
AUTHORS: Edixhoven, Luc; Jongmans, Sung Shik; Proenca, Jose ; Castellani, Ilaria;
PUBLISHED: 2024, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 136, PAGES: 100919
AUTHORS: Edixhoven, Luc; Jongmans, Sung Shik; Proenca, Jose ; Castellani, Ilaria;
PUBLISHED: 2024, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 136, PAGES: 100919
135
TITLE: Can Current SDS Controllers Scale To Modern HPC Infrastructures?
AUTHORS: Miranda, Mariana; Tanimura, Yusuke; Haga, Jason; Ruhela, Amit; Harrell, Stephen Lien; Cazes, John; Macedo, Ricardo ; Pereira, Jose ; Paulo, Joao ;
PUBLISHED: 2024, SOURCE: 2024 Workshops of the International Conference for High Performance Computing Networking Storage and Analysis-SC-W in PROCEEDINGS OF SC24-W: WORKSHOPS OF THE INTERNATIONAL CONFERENCE FOR HIGH PERFORMANCE COMPUTING, NETWORKING, STORAGE AND ANALYSIS, PAGES: 861-868
AUTHORS: Miranda, Mariana; Tanimura, Yusuke; Haga, Jason; Ruhela, Amit; Harrell, Stephen Lien; Cazes, John; Macedo, Ricardo ; Pereira, Jose ; Paulo, Joao ;
PUBLISHED: 2024, SOURCE: 2024 Workshops of the International Conference for High Performance Computing Networking Storage and Analysis-SC-W in PROCEEDINGS OF SC24-W: WORKSHOPS OF THE INTERNATIONAL CONFERENCE FOR HIGH PERFORMANCE COMPUTING, NETWORKING, STORAGE AND ANALYSIS, PAGES: 861-868
136
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
137
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
138
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
139
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
140
TITLE: Databases in Edge and Fog Environments: A Survey
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