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: 1544
150 Team MembersFilters -> Year: 2025
81
TITLE: Leveraging Large Language Models to Boost Dafny's Developers Productivity
AUTHORS: Silva, Alvaro; Mendes, Alexandra ; Ferreira, Joao F. ;
PUBLISHED: 2024, SOURCE: IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE) in PROCEEDINGS OF THE 2024 IEEE/ACM 12TH INTERNATIONAL CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING, FORMALISE 2024, PAGES: 138-142
AUTHORS: Silva, Alvaro; Mendes, Alexandra ; Ferreira, Joao F. ;
PUBLISHED: 2024, SOURCE: IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE) in PROCEEDINGS OF THE 2024 IEEE/ACM 12TH INTERNATIONAL CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING, FORMALISE 2024, PAGES: 138-142
82
TITLE: MAC: An Artifact Correction Framework for Brain MRI based on Deep Neural Networks
AUTHORS: Alícia Oliveira; Beatriz Cepa ; Cláudia Brito ; António Sousa;
PUBLISHED: 2024
AUTHORS: Alícia Oliveira; Beatriz Cepa ; Cláudia Brito ; António Sousa;
PUBLISHED: 2024
INDEXED IN:
CrossRef

83
TITLE: Mastering Artifact Correction in Neuroimaging Analysis: A Retrospective Approach
AUTHORS: Alícia Oliveira; Beatriz Cepa; Cláudia Brito ; António Sousa;
PUBLISHED: 2024
AUTHORS: Alícia Oliveira; Beatriz Cepa; Cláudia Brito ; António Sousa;
PUBLISHED: 2024
INDEXED IN:
CrossRef

84
TITLE: Mastering Artifact Correction in Neuroimaging Analysis: A Retrospective Approach
AUTHORS: Alícia Oliveira; Beatriz Cepa; Cláudia Brito ; António Sousa;
PUBLISHED: 2024
AUTHORS: Alícia Oliveira; Beatriz Cepa; Cláudia Brito ; António Sousa;
PUBLISHED: 2024
INDEXED IN:
CrossRef

85
TITLE: On Quantum Natural Policy Gradients
AUTHORS: Sequeira, Andre; Santos, Luis Paulo ; Barbosa, Luis Soares ;
PUBLISHED: 2024, SOURCE: IEEE TRANSACTIONS ON QUANTUM ENGINEERING, VOLUME: 5, PAGES: 1-11
AUTHORS: Sequeira, Andre; Santos, Luis Paulo ; Barbosa, Luis Soares ;
PUBLISHED: 2024, SOURCE: IEEE TRANSACTIONS ON QUANTUM ENGINEERING, VOLUME: 5, PAGES: 1-11
86
TITLE: On the Impact of PowerCap in Haskell, Java, and Python PDF
AUTHORS: Luís Maia; Marta Sá; Inês Ferreira; Simão Cunha; Luís Silva; Paulo Azevedo; João Saraiva ;
PUBLISHED: 2024, SOURCE: 3rd International Workshop on Resource AWareness of Systems and Society, RAW 2024 in Proceedings of the 3rd International Workshop on Resource AWareness of Systems and Society, Maribor, Slovenia, July 2nd - 5th, 2024., VOLUME: 3867, PAGES: 34-43
AUTHORS: Luís Maia; Marta Sá; Inês Ferreira; Simão Cunha; Luís Silva; Paulo Azevedo; João Saraiva ;
PUBLISHED: 2024, SOURCE: 3rd International Workshop on Resource AWareness of Systems and Society, RAW 2024 in Proceedings of the 3rd International Workshop on Resource AWareness of Systems and Society, Maribor, Slovenia, July 2nd - 5th, 2024., VOLUME: 3867, PAGES: 34-43
INDEXED IN:
Scopus
DBLP


87
TITLE: On the Relational Basis of Early R/G Work
AUTHORS: José Oliveira ;
PUBLISHED: 2024, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: LNCS 14781, PAGES: 56-76
AUTHORS: José Oliveira ;
PUBLISHED: 2024, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: LNCS 14781, PAGES: 56-76
INDEXED IN:
Scopus
CrossRef


88
TITLE: Paraconsistency for the Working Software Engineer (Extended Abstract)
AUTHORS: Luís Soares Barbosa ;
PUBLISHED: 2024, SOURCE: 22nd International Conference on Software Engineering and Formal Methods, SEFM 2024 in Software Engineering and Formal Methods - 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings, VOLUME: 15280, PAGES: 22-30
AUTHORS: Luís Soares Barbosa ;
PUBLISHED: 2024, SOURCE: 22nd International Conference on Software Engineering and Formal Methods, SEFM 2024 in Software Engineering and Formal Methods - 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings, VOLUME: 15280, PAGES: 22-30
89
TITLE: Patient-Centric Health Data Sovereignty: An Approach Using Proxy Re-Encryption
AUTHORS: Rodrigues, Bruno; Amorim, Ivone ; Silva, Ivan; Mendes, Alexandra ;
PUBLISHED: 2024, SOURCE: 28th European Symposium on Research in Computer Security (ESORICS) in COMPUTER SECURITY. ESORICS 2023 INTERNATIONAL WORKSHOPS, PT I, VOLUME: 14398, PAGES: 199-215
AUTHORS: Rodrigues, Bruno; Amorim, Ivone ; Silva, Ivan; Mendes, Alexandra ;
PUBLISHED: 2024, SOURCE: 28th European Symposium on Research in Computer Security (ESORICS) in COMPUTER SECURITY. ESORICS 2023 INTERNATIONAL WORKSHOPS, PT I, VOLUME: 14398, PAGES: 199-215
90
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
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
91
TITLE: Pondering the Ugly Underbelly, and Whether Images Are Real Full Text
AUTHORS: Robin K Hill; Carlos Baquero ;
PUBLISHED: 2024, SOURCE: Commun. ACM, VOLUME: 67, ISSUE: 3, PAGES: 8-10
AUTHORS: Robin K Hill; Carlos Baquero ;
PUBLISHED: 2024, SOURCE: Commun. ACM, VOLUME: 67, ISSUE: 3, PAGES: 8-10
INDEXED IN:
Scopus
DBLP


92
TITLE: Private Computation of Boolean Functions Using Single Qubits
AUTHORS: Zeinab Rahmani; Armando N Pinto ; Luís Soares Barbosa;
PUBLISHED: 2024, SOURCE: 15th International Conference on Parallel Processing and Applied Mathematics, PPAM 2024 in Parallel Processing and Applied Mathematics - 15th International Conference, PPAM 2024, Ostrava, Czech Republic, September 8-11, 2024, Revised Selected Papers, Part II, VOLUME: 15580, PAGES: 301-312
AUTHORS: Zeinab Rahmani; Armando N Pinto ; Luís Soares Barbosa;
PUBLISHED: 2024, SOURCE: 15th International Conference on Parallel Processing and Applied Mathematics, PPAM 2024 in Parallel Processing and Applied Mathematics - 15th International Conference, PPAM 2024, Ostrava, Czech Republic, September 8-11, 2024, Revised Selected Papers, Part II, VOLUME: 15580, PAGES: 301-312
93
TITLE: Programmer User Studies: Supporting Tools & Features
AUTHORS: Costa, Lazaro; Barbosa, Susana; Cunha, Jacome ;
PUBLISHED: 2024, SOURCE: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) in 2024 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING, VL/HCC 2024, PAGES: 163-167
AUTHORS: Costa, Lazaro; Barbosa, Susana; Cunha, Jacome ;
PUBLISHED: 2024, SOURCE: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) in 2024 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING, VL/HCC 2024, PAGES: 163-167
INDEXED IN:
WOS
DBLP


94
TITLE: Programming languages ranking based on energy measurements Full Text
AUTHORS: Gordillo, Alberto; Calero, Coral; Moraga, M. angeles; Garcia, Felix; Fernandes, Joao Paulo; Abreu, Rui ; Saraiva, Joao ;
PUBLISHED: 2024, SOURCE: SOFTWARE QUALITY JOURNAL, VOLUME: 32, ISSUE: 4, PAGES: 1539-1580
AUTHORS: Gordillo, Alberto; Calero, Coral; Moraga, M. angeles; Garcia, Felix; Fernandes, Joao Paulo; Abreu, Rui ; Saraiva, Joao ;
PUBLISHED: 2024, SOURCE: SOFTWARE QUALITY JOURNAL, VOLUME: 32, ISSUE: 4, PAGES: 1539-1580
95
TITLE: pyZtrategic: A Zipper-Based Embedding of Strategies and Attribute Grammars in Python
AUTHORS: Emanuel Rodrigues ; José Nuno Macedo ; Marcos Viera; João Saraiva ;
PUBLISHED: 2024, SOURCE: 19th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2024 in Proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2024, Angers, France, April 28-29, 2024., PAGES: 615-624
AUTHORS: Emanuel Rodrigues ; José Nuno Macedo ; Marcos Viera; João Saraiva ;
PUBLISHED: 2024, SOURCE: 19th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2024 in Proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2024, Angers, France, April 28-29, 2024., PAGES: 615-624
96
TITLE: Quantum advantage in temporally flat measurement-based quantum computation
AUTHORS: de Oliveira, Michael; Barbosa, Luis Soares ; Galvao, Ernesto F.;
PUBLISHED: 2024, SOURCE: QUANTUM, VOLUME: 8, PAGES: 1-62
AUTHORS: de Oliveira, Michael; Barbosa, Luis Soares ; Galvao, Ernesto F.;
PUBLISHED: 2024, SOURCE: QUANTUM, VOLUME: 8, PAGES: 1-62
INDEXED IN:
Scopus
WOS
DBLP



97
TITLE: Review of commercial flexibility products and market platforms
AUTHORS: Rodrigues, Luis ; Ganesan, Kamalanathan; Retorta, Fabio; Coelho, Fabio ; Mello, Joao ; Villar, Jose ; Bessa, Ricardo ;
PUBLISHED: 2024, SOURCE: 20th International Conference on the European Energy Market (EEM) in 2024 20TH INTERNATIONAL CONFERENCE ON THE EUROPEAN ENERGY MARKET, EEM 2024, VOLUME: 30, PAGES: 1-6
AUTHORS: Rodrigues, Luis ; Ganesan, Kamalanathan; Retorta, Fabio; Coelho, Fabio ; Mello, Joao ; Villar, Jose ; Bessa, Ricardo ;
PUBLISHED: 2024, SOURCE: 20th International Conference on the European Energy Market (EEM) in 2024 20TH INTERNATIONAL CONFERENCE ON THE EUROPEAN ENERGY MARKET, EEM 2024, VOLUME: 30, PAGES: 1-6
98
TITLE: Secure two-party computation via measurement-based quantum computing Full Text
AUTHORS: Rahmani, Zeinab; Pinto, Armando Humberto Moreira Nolasco ; Barbosa, Luis Manuel Dias Coelho Soares ;
PUBLISHED: 2024, SOURCE: QUANTUM INFORMATION PROCESSING, VOLUME: 23, ISSUE: 6, PAGES: 221
AUTHORS: Rahmani, Zeinab; Pinto, Armando Humberto Moreira Nolasco ; Barbosa, Luis Manuel Dias Coelho Soares ;
PUBLISHED: 2024, SOURCE: QUANTUM INFORMATION PROCESSING, VOLUME: 23, ISSUE: 6, PAGES: 221
99
TITLE: SHORT: Evaluating Tools for Enhancing Reproducibility in Computational Scientific Experiments
AUTHORS: Costa, Lazaro; Barbosa, Susana ; Cunha, Jacome ;
PUBLISHED: 2024, SOURCE: 2nd ACM Conference on Reproducibility and Replicability (ACM REP) in PROCEEDINGS OF THE 2ND ACM CONFERENCE ON REPRODUCIBILITY AND REPLICABILITY, ACM REP 2024, PAGES: 46-51
AUTHORS: Costa, Lazaro; Barbosa, Susana ; Cunha, Jacome ;
PUBLISHED: 2024, SOURCE: 2nd ACM Conference on Reproducibility and Replicability (ACM REP) in PROCEEDINGS OF THE 2ND ACM CONFERENCE ON REPRODUCIBILITY AND REPLICABILITY, ACM REP 2024, PAGES: 46-51
100
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
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

