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

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: 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
5
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
6
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
7
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
8
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
9
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
10
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
11
TITLE: A Backend Platform for Supporting the Reproducibility of Computational Experiments
AUTHORS: Lázaro Costa; Susana Barbosa; Jácome Cunha ;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2308.00703
INDEXED IN: DBLP
12
TITLE: A Case for Partitioned Bloom Filters
AUTHORS: Almeida, Paulo Sergio ;
PUBLISHED: 2023, SOURCE: IEEE TRANSACTIONS ON COMPUTERS, VOLUME: 72, ISSUE: 6, PAGES: 1681-1691
INDEXED IN: WOS DBLP
13
TITLE: A Complete V-Equational System for Graded lambda-Calculus
AUTHORS: Fredrik Dahlqvist; Renato Neves ;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2304.02082
INDEXED IN: DBLP
14
TITLE: A methodology for refactoring ORM-based monolithic web applications into microservices
AUTHORS: Freitas, Francisco; Ferreira, Andre; Cunha, Jacome ;
PUBLISHED: 2023, SOURCE: JOURNAL OF COMPUTER LANGUAGES, VOLUME: 75, PAGES: 101205
INDEXED IN: Scopus WOS DBLP
15
TITLE: A verified VCGen based on dynamic logic: An exercise in meta-verification with Why3
AUTHORS: Frade, Maria Joao ; Pinto, Jorge Sousa ;
PUBLISHED: 2023, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 133, PAGES: 100871
INDEXED IN: Scopus WOS DBLP CrossRef
16
TITLE: A Year Embedded in the Crypto-NFT Space  Full Text
AUTHORS: Baquero, Carlos ;
PUBLISHED: 2023, SOURCE: COMMUNICATIONS OF THE ACM, VOLUME: 66, ISSUE: 9, PAGES: 8-9
INDEXED IN: Scopus WOS DBLP
17
TITLE: Adding Records to Alloy
AUTHORS: Julien Brunel; David Chemouil; Alcino Cunha ; Nuno Macedo ;
PUBLISHED: 2023, SOURCE: 9th International Conference on Rigorous State-Based Methods, ABZ 2023 in Rigorous State-Based Methods - 9th International Conference, ABZ 2023, Nancy, France, May 30 - June 2, 2023, Proceedings, VOLUME: 14010, PAGES: 212-219
INDEXED IN: Scopus DBLP CrossRef
18
TITLE: AGE: Automatic Performance Evaluation of API Gateways
AUTHORS: Pedro Moreira ; Antonio Ribeiro; Joao Marco Silva ;
PUBLISHED: 2023, SOURCE: 28th IEEE Symposium on Computers and Communications, ISCC 2023 in Proceedings - IEEE Symposium on Computers and Communications, VOLUME: 2023-July, PAGES: 405-410
INDEXED IN: Scopus CrossRef Unpaywall
19
TITLE: AMAN Case Study
AUTHORS: Philippe A Palanque; José Creissac Campos ;
PUBLISHED: 2023, SOURCE: 9th International Conference on Rigorous State-Based Methods, ABZ 2023 in Rigorous State-Based Methods - 9th International Conference, ABZ 2023, Nancy, France, May 30 - June 2, 2023, Proceedings, VOLUME: 14010, PAGES: 265-283
INDEXED IN: Scopus DBLP CrossRef
20
TITLE: An Experimental Evaluation of Tools for Grading Concurrent Programming Exercises
AUTHORS: Manuel Barros ; Maria Ramos ; Alexandre Gomes; Alcino Cunha ; José Pereira ; Paulo Sérgio Almeida ;
PUBLISHED: 2023, SOURCE: 43rd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2023, held as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023 in Formal Techniques for Distributed Objects, Components, and Systems - 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings, VOLUME: 13910, PAGES: 3-20
INDEXED IN: Scopus DBLP CrossRef Unpaywall

Results per Page: 20.
Page 1 of 77. Total results: 1538.