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: 1463
150 Team MembersFilters -> Year: 2024
41
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
42
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
AUTHORS: Lázaro Costa; Susana Barbosa; Jácome Cunha ;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2308.00703
INDEXED IN: 
DBLP
DBLP43
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
AUTHORS: Almeida, Paulo Sergio ;
PUBLISHED: 2023, SOURCE: IEEE TRANSACTIONS ON COMPUTERS, VOLUME: 72, ISSUE: 6, PAGES: 1681-1691
INDEXED IN: 
WOS DBLP
WOS DBLP44
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
DBLP45
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
DBLP46
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
47
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
48
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
Scopus WOS DBLP49
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
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
50
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
51
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
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
52
TITLE: An Experimental Evaluation of Tools for Grading Concurrent Programming Exercises
AUTHORS: Barros, Manuel ; Ramos, Maria ; Gomes, Alexandre; Cunha, Alcino ; Pereira, Jose ; Almeida, Paulo Sergio ;
PUBLISHED: 2023, SOURCE: 43rd International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE) in FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS, FORTE 2023, VOLUME: 13910, PAGES: 3-20
AUTHORS: Barros, Manuel ; Ramos, Maria ; Gomes, Alexandre; Cunha, Alcino ; Pereira, Jose ; Almeida, Paulo Sergio ;
PUBLISHED: 2023, SOURCE: 43rd International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE) in FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS, FORTE 2023, VOLUME: 13910, PAGES: 3-20
53
TITLE: An Expert System as an Awareness Tool to Prevent Social Engineering Attacks in Public Organizations
AUTHORS: Waldson Rodrigues Cardoso; João Marco Silva ; Admilson de Ribamar Lima Ribeiro;
PUBLISHED: 2023, SOURCE: SSRN Electronic Journal
AUTHORS: Waldson Rodrigues Cardoso; João Marco Silva ; Admilson de Ribamar Lima Ribeiro;
PUBLISHED: 2023, SOURCE: SSRN Electronic Journal
INDEXED IN: 
CrossRef
CrossRef54
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
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
55
TITLE: Approaches to Conflict-free Replicated Data Types
AUTHORS: Paulo Sérgio Almeida ;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2310.18220
AUTHORS: Paulo Sérgio Almeida ;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2310.18220
INDEXED IN: DBLP
DBLP56
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
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
57
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
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
58
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
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
59
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
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
60
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
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
