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

149 Team Members
Filters -> Year: 2026
181
TITLE: State of the Practice in Software Testing Teaching in Four European Countries
AUTHORS: Tramontana, Porfirio; Marin, Beatriz; Paiva, Ana C. R. ; Mendes, Alexandra ; Vos, Tanja E. J.; Amalfitano, Domenico; Cammaerts, Felix; Snoeck, Monique; Fasolino, Anna Rita;
PUBLISHED: 2024, SOURCE: 17th IEEE International Conference on Software Testing, Verification, and Validation (ICST) in 2024 IEEE CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION, ICST 2024, PAGES: 59-69
INDEXED IN: WOS DBLP
182
TITLE: Tabulation with Zippers
AUTHORS: Viera, Marcos; Pardo, Alberto; Saraiva, Joao ;
PUBLISHED: 2024, SOURCE: 17th International Symposium on Functional and Logic Programming (FLOPS) in FUNCTIONAL AND LOGIC PROGRAMMING, FLOPS 2024, VOLUME: 14659, PAGES: 83-98
INDEXED IN: Scopus WOS DBLP CrossRef
183
TITLE: TADA: A Toolkit for Approximate Distributed Agreement
AUTHORS: da Conceicao, Eduardo Lourenco; Alonso, Ana Nunes ; Oliveira, Rui Carlos; Pereira, Jose ;
PUBLISHED: 2024, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 238, PAGES: 103175
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
184
TITLE: Team Automata: Overview and Roadmap
AUTHORS: ter Beek, Maurice H.; Hennicker, Rolf; Proenca, Jose ;
PUBLISHED: 2024, SOURCE: 26th International Conference on Coordination Models and Language (COORDINATION) in COORDINATION MODELS AND LANGUAGES, COORDINATION 2024, VOLUME: 14676, PAGES: 161-198
INDEXED IN: WOS DBLP CrossRef: 4
185
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
187
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, PAGES: 130-142
INDEXED IN: Scopus WOS DBLP CrossRef: 3 Unpaywall
188
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
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
189
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
INDEXED IN: Scopus WOS DBLP CrossRef
190
TITLE: Validating multiple variants of an automotive light system with Alloy 6
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
INDEXED IN: Scopus WOS DBLP CrossRef: 1
191
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
INDEXED IN: Scopus WOS CrossRef: 6 Unpaywall
192
TITLE: When Amnesia Strikes: Understanding and Reproducing Data Loss Bugs with Fault Injection
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
INDEXED IN: Scopus WOS DBLP CrossRef: 2
193
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
INDEXED IN: DBLP CrossRef: 13
194
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
INDEXED IN: DBLP
195
TITLE: Zipper-based embedding of strategic attribute grammars
AUTHORS: Macedo, Jose Nuno ; Rodrigues, Emanuel; Viera, Marcos; Saraiva, Joao ;
PUBLISHED: 2024, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 211, PAGES: 111975
INDEXED IN: Scopus WOS DBLP CrossRef: 2
196
TITLE: <i>PyAnaDroid</i>: A fully-customizable execution pipeline for benchmarking Android Applications
AUTHORS: Rua, Rui ; Saraiva, Joao ;
PUBLISHED: 2023, SOURCE: 39th IEEE International Conference on Software Maintenance and Evolution (ICSME) in 2023 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE AND EVOLUTION, ICSME, PAGES: 586-591
INDEXED IN: Scopus WOS DBLP CrossRef: 1
197
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
INDEXED IN: WOS DBLP arXiv CrossRef: 4
198
TITLE: A Complete V-Equational System for Graded lambda-Calculus
AUTHORS: Fredrik Dahlqvist; Renato Neves ;
PUBLISHED: 2023, SOURCE: MFPS
INDEXED IN: DBLP
199
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
INDEXED IN: DBLP
200
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 CrossRef: 9

Results per Page: 20.
Page 10 of 83. Total results: 1659.