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: 1541
150 Team MembersFilters -> Year: 2025
101
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
AUTHORS: Paulo Sérgio Almeida ; Ehud Shapiro;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2402.08068
INDEXED IN:
DBLP

102
TITLE: To FID or not to FID: Applying GANs for MRI Image Generation in HPC
AUTHORS: Beatriz Cepa ; Cláudia Brito ; António Sousa ;
PUBLISHED: 2024
AUTHORS: Beatriz Cepa ; Cláudia Brito ; António Sousa ;
PUBLISHED: 2024
INDEXED IN:
CrossRef

103
TITLE: Trading Runtime for Energy Efficiency Leveraging Power Caps to Save Energy across Programming Languages
AUTHORS: Cunha, Simao; Silva, Luis; Saraiva, Joao ; Fernandes, Joao Paulo ;
PUBLISHED: 2024, SOURCE: 17th ACM SIGPLAN International Conference on Software Language Engineering (SLE) in PROCEEDINGS OF THE 17TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON SOFTWARE LANGUAGE ENGINEERING, SLE 2024, VOLUME: 3, PAGES: 130-142
AUTHORS: Cunha, Simao; Silva, Luis; Saraiva, Joao ; Fernandes, Joao Paulo ;
PUBLISHED: 2024, SOURCE: 17th ACM SIGPLAN International Conference on Software Language Engineering (SLE) in PROCEEDINGS OF THE 17TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON SOFTWARE LANGUAGE ENGINEERING, SLE 2024, VOLUME: 3, PAGES: 130-142
104
TITLE: Trainability issues in quantum policy gradients
AUTHORS: Sequeira, Andre; Santos, Luis Paulo ; Barbosa, Luis Soares ;
PUBLISHED: 2024, SOURCE: MACHINE LEARNING-SCIENCE AND TECHNOLOGY, VOLUME: 5, ISSUE: 3, PAGES: 35037
AUTHORS: Sequeira, Andre; Santos, Luis Paulo ; Barbosa, Luis Soares ;
PUBLISHED: 2024, SOURCE: MACHINE LEARNING-SCIENCE AND TECHNOLOGY, VOLUME: 5, ISSUE: 3, PAGES: 35037
105
TITLE: Trainability issues in quantum policy gradients with softmax activations
AUTHORS: Sequeira, Andre; Santos, Luis Paulo; Barbosa, Luis Soares ;
PUBLISHED: 2024, SOURCE: 2024 International Conference on Quantum Computing and Engineering in 2024 IEEE INTERNATIONAL CONFERENCE ON QUANTUM COMPUTING AND ENGINEERING, QCE, VOL 2, VOLUME: 2, PAGES: 335-340
AUTHORS: Sequeira, Andre; Santos, Luis Paulo; Barbosa, Luis Soares ;
PUBLISHED: 2024, SOURCE: 2024 International Conference on Quantum Computing and Engineering in 2024 IEEE INTERNATIONAL CONFERENCE ON QUANTUM COMPUTING AND ENGINEERING, QCE, VOL 2, VOLUME: 2, PAGES: 335-340
106
TITLE: Validating multiple variants of an automotive light system with Alloy 6 Full Text
AUTHORS: Cunha, Alcino ; Macedo, Nuno ; Liu, Chong;
PUBLISHED: 2024, SOURCE: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, VOLUME: 26, ISSUE: 3, PAGES: 365-377
AUTHORS: Cunha, Alcino ; Macedo, Nuno ; Liu, Chong;
PUBLISHED: 2024, SOURCE: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, VOLUME: 26, ISSUE: 3, PAGES: 365-377
107
TITLE: Volatilomics of interactions between native yeasts and grapevine cultivars reveals terroir specificities in wines from Douro region Full Text
AUTHORS: Martins, Viviana; Teixeira, Antonio; Breia, Richard; Nobrega, Marcio; Macedo, Ricardo; Barbosa, Catarina; Geros, Hernani ; Lopez, Ricardo;
PUBLISHED: 2024, SOURCE: FOOD BIOSCIENCE, VOLUME: 62, PAGES: 105463
AUTHORS: Martins, Viviana; Teixeira, Antonio; Breia, Richard; Nobrega, Marcio; Macedo, Ricardo; Barbosa, Catarina; Geros, Hernani ; Lopez, Ricardo;
PUBLISHED: 2024, SOURCE: FOOD BIOSCIENCE, VOLUME: 62, PAGES: 105463
108
TITLE: VQC-based reinforcement learning with data re-uploading: performance and trainability
AUTHORS: Coelho, Rodrigo; Sequeira, Andre ; Santos, Luis Paulo ;
PUBLISHED: 2024, SOURCE: QUANTUM MACHINE INTELLIGENCE, VOLUME: 6, ISSUE: 2
AUTHORS: Coelho, Rodrigo; Sequeira, Andre ; Santos, Luis Paulo ;
PUBLISHED: 2024, SOURCE: QUANTUM MACHINE INTELLIGENCE, VOLUME: 6, ISSUE: 2
109
TITLE: When Amnesia Strikes: Understanding and Reproducing Data Loss Bugs with Fault Injection PDF Full Text
AUTHORS: Ramos, Maria; Azevedo, Joao; Kingsbury, Kyle; Pereira, Jose ; Esteves, Tania ; Macedo, Ricardo ; Paulo, Joao ;
PUBLISHED: 2024, SOURCE: PROCEEDINGS OF THE VLDB ENDOWMENT, VOLUME: 17, ISSUE: 11, PAGES: 3017-3030
AUTHORS: Ramos, Maria; Azevedo, Joao; Kingsbury, Kyle; Pereira, Jose ; Esteves, Tania ; Macedo, Ricardo ; Paulo, Joao ;
PUBLISHED: 2024, SOURCE: PROCEEDINGS OF THE VLDB ENDOWMENT, VOLUME: 17, ISSUE: 11, PAGES: 3017-3030
110
TITLE: X-Wing
AUTHORS: Manuel Barbosa ; Deirdre Connolly; João Diogo Duarte ; Aaron Kaiser; Peter Schwabe; Karoline Varner; Bas Westerbaan;
PUBLISHED: 2024, SOURCE: IACR Commun. Cryptol., VOLUME: 1, ISSUE: 1, PAGES: 21
AUTHORS: Manuel Barbosa ; Deirdre Connolly; João Diogo Duarte ; Aaron Kaiser; Peter Schwabe; Karoline Varner; Bas Westerbaan;
PUBLISHED: 2024, SOURCE: IACR Commun. Cryptol., VOLUME: 1, ISSUE: 1, PAGES: 21
111
TITLE: X-Wing: The Hybrid KEM You've Been Looking For
AUTHORS: Manuel Barbosa ; Deirdre Connolly; João Diogo Duarte; Aaron Kaiser; Peter Schwabe; Karoline Varner; Bas Westerbaan;
PUBLISHED: 2024, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2024, PAGES: 39
AUTHORS: Manuel Barbosa ; Deirdre Connolly; João Diogo Duarte; Aaron Kaiser; Peter Schwabe; Karoline Varner; Bas Westerbaan;
PUBLISHED: 2024, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2024, PAGES: 39
INDEXED IN:
DBLP

112
TITLE: Zipper-based embedding of strategic attribute grammars Full Text
AUTHORS: Macedo, Jose Nuno ; Rodrigues, Emanuel; Viera, Marcos; Saraiva, Joao ;
PUBLISHED: 2024, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 211, PAGES: 111975
AUTHORS: Macedo, Jose Nuno ; Rodrigues, Emanuel; Viera, Marcos; Saraiva, Joao ;
PUBLISHED: 2024, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 211, PAGES: 111975
113
TITLE: A Case for Partitioned Bloom Filters PDF
AUTHORS: Almeida, Paulo Sergio ;
PUBLISHED: 2023, SOURCE: IEEE TRANSACTIONS ON COMPUTERS, VOLUME: 72, ISSUE: 6, PAGES: 1681-1691
AUTHORS: Almeida, Paulo Sergio ;
PUBLISHED: 2023, SOURCE: IEEE TRANSACTIONS ON COMPUTERS, VOLUME: 72, ISSUE: 6, PAGES: 1681-1691
114
TITLE: A Complete V-Equational System for Graded lambda-Calculus
AUTHORS: Fredrik Dahlqvist; Renato Neves ;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2304.02082
AUTHORS: Fredrik Dahlqvist; Renato Neves ;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2304.02082
INDEXED IN:
DBLP

115
TITLE: A congestion-based local search for transmission expansion planning problems
AUTHORS: Phillipe V Gomes; Luiz Eduardo de Oliveira; João Saraiva ;
PUBLISHED: 2023, SOURCE: Swarm Evol. Comput., VOLUME: 83, PAGES: 101422
AUTHORS: Phillipe V Gomes; Luiz Eduardo de Oliveira; João Saraiva ;
PUBLISHED: 2023, SOURCE: Swarm Evol. Comput., VOLUME: 83, PAGES: 101422
INDEXED IN:
DBLP

116
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
AUTHORS: Freitas, Francisco; Ferreira, Andre; Cunha, Jacome ;
PUBLISHED: 2023, SOURCE: JOURNAL OF COMPUTER LANGUAGES, VOLUME: 75, PAGES: 101205
117
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
AUTHORS: Frade, Maria Joao ; Pinto, Jorge Sousa ;
PUBLISHED: 2023, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 133, PAGES: 100871
118
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
AUTHORS: Baquero, Carlos ;
PUBLISHED: 2023, SOURCE: COMMUNICATIONS OF THE ACM, VOLUME: 66, ISSUE: 9, PAGES: 8-9
INDEXED IN:
Scopus
WOS
DBLP



119
TITLE: Adding Records to Alloy
AUTHORS: Brunel, Julien; Chemouil, David; Cunha, Alcino ; Macedo, Nuno ;
PUBLISHED: 2023, SOURCE: 9th International Conference on Rigorous State-Based Methods (ABZ) in RIGOROUS STATE-BASED METHODS, ABZ 2023, VOLUME: 14010, PAGES: 212-219
AUTHORS: Brunel, Julien; Chemouil, David; Cunha, Alcino ; Macedo, Nuno ;
PUBLISHED: 2023, SOURCE: 9th International Conference on Rigorous State-Based Methods (ABZ) in RIGOROUS STATE-BASED METHODS, ABZ 2023, VOLUME: 14010, PAGES: 212-219
120
TITLE: AGE: Automatic Performance Evaluation of API Gateways
AUTHORS: Pedro Moreira ; António Ribeiro; João Marco C Silva ;
PUBLISHED: 2023, SOURCE: 28th IEEE Symposium on Computers and Communications, ISCC 2023 in IEEE Symposium on Computers and Communications, ISCC 2023, Gammarth, Tunisia, July 9-12, 2023, VOLUME: 2023-July, PAGES: 405-410
AUTHORS: Pedro Moreira ; António Ribeiro; João Marco C Silva ;
PUBLISHED: 2023, SOURCE: 28th IEEE Symposium on Computers and Communications, ISCC 2023 in IEEE Symposium on Computers and Communications, ISCC 2023, Gammarth, Tunisia, July 9-12, 2023, VOLUME: 2023-July, PAGES: 405-410