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

Inesc Tecnologia e Ciência (INESC TEC) :: CS: Computer Science

Publications Actions
Publicações no Perfil Institucional do Authenticus

Uma Instituição (Grupo) no Authenticus é uma organização que engloba um conjunto de Investigadores (equipa da Instituição ou do Grupo). O conjunto de Investigadores depende da estrutura organizacional da instituição em cada ano e pode ser definido no perfil da Instituição, na secção “Investigadores”. Com base na equipa definida, o Authenticus produz listas de publicações, estatísticas e relatórios institucionais.

As publicações listadas no perfil da Instituição no Authenticus dependem de dois parâmetros:

  • Investigadores associados à equipa da Instituição em cada ano.
  • Origem das Publicações.

As publicações associadas à Instituição podem ter três origens:

  • Publicações validadas pelos membros da equipa - Inclui todas as publicações validadas pelos membros da equipa; é necessário que a equipa da Instituição esteja definida.
  • Todas as Publicadas pelos membros da equipa - Inclui todas as anteriores mais aquelas em que um dos autores foi identificado com um membro da equipa, ainda que não tenha sido validada; é necessário que a equipa da Instituição esteja definida.
  • Com Base na Afiliação - inclui todas as publicações que têm a Instituição ou o Grupo mencionado na afiliação; não é necessário que a equipa da Instituição esteja definida mas, por outro lado, não é garantido que todas as publicações da Instituição sejam listadas.
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: 1551

150 Team Members
Filters -> Year: 2024
21
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
22
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
23
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
24
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
25
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
26
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
27
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
28
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
INDEXED IN: Scopus DBLP CrossRef Unpaywall
29
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
30
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
31
TITLE: Analysis of Flexibility-centric Energy and Cross-sector Business Models
AUTHORS: Rodrigues, Luis ; Faria, Diogo; Coelho, Fabio ; Mello, Joao ; Saraiva, Joao T.; Villar, Jose ; Bessa, Ricardo J. ;
PUBLISHED: 2023, SOURCE: 19th International Conference on the European Energy Market (EEM) in 2023 19TH INTERNATIONAL CONFERENCE ON THE EUROPEAN ENERGY MARKET, EEM, VOLUME: 2023-June
INDEXED IN: Scopus WOS CrossRef Unpaywall
32
TITLE: Approaches to Conflict-free Replicated Data Types
AUTHORS: Paulo Sérgio Almeida ;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2310.18220
INDEXED IN: DBLP
33
TITLE: Attacking DoH and ECH: Does Server Name Encryption Protect Users' Privacy?  Full Text
AUTHORS: Trevisan, Martino; Soro, Francesca; Mellia, Marco; Drago, Idilio; Morla, Ricardo ;
PUBLISHED: 2023, SOURCE: ACM TRANSACTIONS ON INTERNET TECHNOLOGY, VOLUME: 23, ISSUE: 1, PAGES: 1-22
INDEXED IN: Scopus WOS CrossRef
34
TITLE: Beyond Code Generation: The Need for Type-Aware Language Models
AUTHORS: Ribeiro, Francisco ; Macedo, Jose Nuno ; Tsushima, Kanae;
PUBLISHED: 2023, SOURCE: 3rd IEEE/ACM International Workshop on Automated Program Repair (APR) in 2023 IEEE/ACM INTERNATIONAL WORKSHOP ON AUTOMATED PROGRAM REPAIR, APR, PAGES: 21-22
INDEXED IN: Scopus WOS CrossRef
35
TITLE: bGSL: An imperative language for specification and refinement of backtracking programs
AUTHORS: Dunne, Steve; Ferreira, Joao F.; Mendes, Alexandra ; Ritchie, Campbell; Stoddart, Bill; Zeyda, Frank;
PUBLISHED: 2023, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 130, PAGES: 100811
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
36
TITLE: Can We Communicate? Using Dynamic Logic to Verify Team Automata
AUTHORS: ter Beek, Maurice H.; Cledou, Guillermina ; Hennicker, Rolf; Proenca, Jose ;
PUBLISHED: 2023, SOURCE: 25th International Symposium on Formal Methods (FM) in FORMAL METHODS, FM 2023, VOLUME: 14000, PAGES: 122-141
INDEXED IN: WOS DBLP CrossRef: 2
37
TITLE: Caos: A Reusable Scala Web Animator of Operational Semantics
AUTHORS: José Proença ; Luc Edixhoven;
PUBLISHED: 2023, SOURCE: 25th IFIP WG 6.1 International Conference on Coordination Models and Language, COORDINATION 2023, held as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023 in Coordination Models and Languages - 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings, VOLUME: 13908, PAGES: 163-171
INDEXED IN: Scopus DBLP CrossRef: 1
38
TITLE: Caos: A Reusable Scala Web Animator of Operational Semantics (Extended With Hands-On Tutorial)
AUTHORS: José Proença ; Luc Edixhoven;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2304.14901
INDEXED IN: DBLP
39
TITLE: Capturing Qubit Decoherence through Paraconsistent Transition Systems
AUTHORS: Barbosa, Luis Soares ; Madeira, Alexandre ;
PUBLISHED: 2023, SOURCE: 7th International Conference on the Art, Science, and Engineering of Programming (Programming) in COMPANION PROCEEDINGS OF THE 7TH INTERNATIONAL CONFERENCE ON THE ART, SCIENCE, AND ENGINEERING OF PROGRAMMING, PROGRAMMING 2023, PAGES: 109-110
INDEXED IN: Scopus WOS DBLP CrossRef
40
TITLE: CI/CD Meets Block-Based Languages
AUTHORS: da Giao, Hugo; Pereira, Rui ; Cunha, Jacome ;
PUBLISHED: 2023, SOURCE: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) in 2023 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING, VL/HCC, PAGES: 232-234
INDEXED IN: Scopus WOS DBLP

Results per Page: 20.
Página 2 de 78. Total de resultados: 1551.