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: 1553

150 Team Members
Filters -> Year: 2024
1
TITLE: A large-scale empirical study on mobile performance: energy, run-time and memory  Full Text
AUTHORS: Rua, Rui; Saraiva, Joao ;
PUBLISHED: 2024, SOURCE: EMPIRICAL SOFTWARE ENGINEERING, VOLUME: 29, ISSUE: 1, PAGES: 31
INDEXED IN: Scopus WOS DBLP
2
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
3
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 Hawaii International Conference on System Sciences, HICSS 2024, Hilton Hawaiian Village Waikiki Beach Resort, Hawaii, USA, January 3-6, 2024, PAGES: 1881-1890
INDEXED IN: DBLP CrossRef Unpaywall
4
TITLE: Assessing the impact of hints in learning formal specification
AUTHORS: Alcino Cunha; Nuno Macedo ; José Creissac Campos; Iara Margolis; Emanuel Sousa;
PUBLISHED: 2024, SOURCE: Proceedings of the 46th International Conference on Software Engineering: Software Engineering Education and Training, SEET@ICSE 2024, Lisbon, Portugal, April 14-20, 2024, PAGES: 151-161
INDEXED IN: DBLP
5
TITLE: Bare PAKE: Universally Composable Key Exchange from just Passwords
AUTHORS: Manuel Barbosa ; Kai Gellert; Julia Hesse; Stanislaw Jarecki;
PUBLISHED: 2024, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2024, PAGES: 234
INDEXED IN: DBLP
6
TITLE: Berry: A code for the differentiation of Bloch wavefunctions from DFT calculations
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
7
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
INDEXED IN: Scopus WOS DBLP
8
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
INDEXED IN: DBLP
9
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
10
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
11
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
12
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
13
TITLE: How are Contracts Used in Android Mobile Applications?
AUTHORS: David R Ferreira; Alexandra Mendes ; João F Ferreira;
PUBLISHED: 2024, SOURCE: Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, ICSE Companion 2024, Lisbon, Portugal, April 14-20, 2024, PAGES: 400-401
INDEXED IN: DBLP
14
TITLE: Leveraging Large Language Models to Boost Dafny's Developers Productivity
AUTHORS: Álvaro Silva; Alexandra Mendes ; João F Ferreira;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2401.00963
INDEXED IN: DBLP
15
TITLE: On Quantum Natural Policy Gradients
AUTHORS: André Sequeira; Luís Paulo Santos; Luís Soares Barbosa ;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2401.08307
INDEXED IN: DBLP
16
TITLE: Overview on Constrained Multiparty Synchronisation in Team Automata
AUTHORS: Proença, J ;
PUBLISHED: 2024, SOURCE: 19th International Conference on Formal Aspects of Component Software (FACS) in FORMAL ASPECTS OF COMPONENT SOFTWARE, FACS 2023, VOLUME: 14485, PAGES: 194-205
INDEXED IN: Scopus WOS
17
TITLE: Patient-Centric Health Data Sovereignty: An Approach Using Proxy Re-Encryption
AUTHORS: Rodrigues, Bruno; Amorim, Ivone; Silva, Ivan; Mendes, Alexandra ;
PUBLISHED: 2024, SOURCE: 28th European Symposium on Research in Computer Security (ESORICS) in COMPUTER SECURITY. ESORICS 2023 INTERNATIONAL WORKSHOPS, PT I, VOLUME: 14398, PAGES: 199-215
INDEXED IN: Scopus WOS DBLP
18
TITLE: Performance and explainability of feature selection-boosted tree-based classifiers for COVID-19 detection
AUTHORS: Rufino, Jesus; Ramirez, Juan Marcos; Aguilar, Jose; Baquero, Carlos ; Champati, Jaya; Frey, Davide; Lillo, Rosa Elvira; Fernandez Anta, Antonio;
PUBLISHED: 2024, SOURCE: HELIYON, VOLUME: 10, ISSUE: 1
INDEXED IN: Scopus WOS CrossRef
19
TITLE: Pondering the Ugly Underbelly, and Whether Images Are Real  Full Text
AUTHORS: Robin K Hill; Carlos Baquero ;
PUBLISHED: 2024, SOURCE: Commun. ACM, VOLUME: 67, ISSUE: 3, PAGES: 8-10
INDEXED IN: Scopus DBLP
20
TITLE: The Blocklace: A Universal, Byzantine Fault-Tolerant, Conflict-free Replicated Data Type
AUTHORS: Paulo Sérgio Almeida ; Ehud Shapiro;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2402.08068
INDEXED IN: DBLP

Results per Page: 20.
Page 1 of 78. Total results: 1553.