High-Assurance Software Laboratory (HASLab)
Laboratório de Software Confiável

Inesc Technology and Science (INESC TEC) :: CS: Computer Science

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

Update Citation

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!

Update PrePrints

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!

Publications Count: 1500

150 Team Members
Filters -> 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
INDEXED IN: Scopus WOS CrossRef
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
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
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
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
INDEXED IN: Scopus WOS DBLP CrossRef
25
TITLE: An adequacy theorem between mixed powerdomains and probabilistic concurrency
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
INDEXED IN: Scopus WOS CrossRef
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
INDEXED IN: Scopus WOS DBLP CrossRef
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
INDEXED IN: Scopus WOS DBLP CrossRef
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
INDEXED IN: Scopus WOS CrossRef
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
INDEXED IN: Scopus DBLP CrossRef Unpaywall
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
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
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
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
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
INDEXED IN: WOS DBLP CrossRef Unpaywall
37
TITLE: Designing Software with Complex Configurations
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
INDEXED IN: Scopus WOS DBLP CrossRef
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
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
INDEXED IN: Scopus WOS CrossRef

Results per Page: 20.
Page 2 of 75. Total results: 1500.