Departamento de Engenharia Informática (DEI)
Department of Informatics Engineering
AuthID: I-000-0K9 
Publications Count: 4625
61 Team MembersFilters -> Year: 2026
561
TÃTULO: Are security commit messages informative? Not enough!
AUTORES: Reis, Sofia; Abreu, Rui ; Pasareanu, Corina;
PUBLICAÇÃO: 2023, FONTE: 27th International Conference on Evaluation and Assessment in Software Engineering (EASE) in 27TH INTERNATIONAL CONFERENCE ON EVALUATION AND ASSESSMENT IN SOFTWARE ENGINEERING, EASE 2023, PÁGINAS: 196-199
AUTORES: Reis, Sofia; Abreu, Rui ; Pasareanu, Corina;
PUBLICAÇÃO: 2023, FONTE: 27th International Conference on Evaluation and Assessment in Software Engineering (EASE) in 27TH INTERNATIONAL CONFERENCE ON EVALUATION AND ASSESSMENT IN SOFTWARE ENGINEERING, EASE 2023, PÁGINAS: 196-199
562
TÃTULO: Are words enough? On the semantic conditioning of affective music generation
AUTORES: Jorge Forero; Gilberto Bernardes ; Mónica Mendes;
PUBLICAÇÃO: 2023
AUTORES: Jorge Forero; Gilberto Bernardes ; Mónica Mendes;
PUBLICAÇÃO: 2023
563
TÃTULO: Argumentation mining from text using semantic approaches
AUTORES: Gil Rocha ;
PUBLICAÇÃO: 2023
AUTORES: Gil Rocha ;
PUBLICAÇÃO: 2023
564
TÃTULO: Argumentation models and their use in corpus annotation: Practice, prospects, and challenges
AUTORES: Cardoso, Henrique Lopes ; Sousa Silva, Rui ; Carvalho, Paula; Martins, Bruno;
PUBLICAÇÃO: 2023, FONTE: NATURAL LANGUAGE ENGINEERING, VOLUME: 29, NÚMERO: 4, PÁGINAS: 1150-1187
AUTORES: Cardoso, Henrique Lopes ; Sousa Silva, Rui ; Carvalho, Paula; Martins, Bruno;
PUBLICAÇÃO: 2023, FONTE: NATURAL LANGUAGE ENGINEERING, VOLUME: 29, NÚMERO: 4, PÁGINAS: 1150-1187
565
TÃTULO: Assessment of Energy Customer Perception, Willingness, and Acceptance to Participate in Smart Grids-A Portuguese Survey
AUTORES: Gomes, Luis; Coelho, Antonio ; Vale, Zita ;
PUBLICAÇÃO: 2023, FONTE: ENERGIES, VOLUME: 16, NÚMERO: 1, PÁGINAS: 270
AUTORES: Gomes, Luis; Coelho, Antonio ; Vale, Zita ;
PUBLICAÇÃO: 2023, FONTE: ENERGIES, VOLUME: 16, NÚMERO: 1, PÁGINAS: 270
566
TÃTULO: Attention-Based Regularisation for Improved Generalisability in Medical Multi-Centre Data
AUTORES: Daniel Silva ; Georgios Agrotis; Regina Beets Tan; Luís F Teixeira ; Wilson Silva ;
PUBLICAÇÃO: 2023, FONTE: ICMLA, PÁGINAS: 1412-1417
AUTORES: Daniel Silva ; Georgios Agrotis; Regina Beets Tan; Luís F Teixeira ; Wilson Silva ;
PUBLICAÇÃO: 2023, FONTE: ICMLA, PÁGINAS: 1412-1417
567
TÃTULO: Augmenting Automated Spectrum Based Fault Localization for Multiple Faults
AUTORES: Chatterjee, Prantik; Campos, Jose ; Abreu, Rui ; Roy, Subhajit;
PUBLICAÇÃO: 2023, FONTE: 32nd International Joint Conference on Artificial Intelligence (IJCAI) in PROCEEDINGS OF THE THIRTY-SECOND INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, IJCAI 2023, VOLUME: 2023-August, PÁGINAS: 3140-3148
AUTORES: Chatterjee, Prantik; Campos, Jose ; Abreu, Rui ; Roy, Subhajit;
PUBLICAÇÃO: 2023, FONTE: 32nd International Joint Conference on Artificial Intelligence (IJCAI) in PROCEEDINGS OF THE THIRTY-SECOND INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, IJCAI 2023, VOLUME: 2023-August, PÁGINAS: 3140-3148
568
TÃTULO: Automatic Difficulty Balance in Two-Player Games with Deep Reinforcement Learning
AUTORES: Simão Reis; Rita Novais; Luís Paulo Reis ; Nuno Lau;
PUBLICAÇÃO: 2023, FONTE: CoG, PÁGINAS: 1-8
AUTORES: Simão Reis; Rita Novais; Luís Paulo Reis ; Nuno Lau;
PUBLICAÇÃO: 2023, FONTE: CoG, PÁGINAS: 1-8
569
TÃTULO: Automatic Generation of Smell-free Unit Tests
AUTORES: Afonso, Joao; Campos, Jose ;
PUBLICAÇÃO: 2023, FONTE: 16th IEEE/ACM International Workshop on Search-Based and Fuzz Testing (SBFT) in 2023 IEEE/ACM INTERNATIONAL WORKSHOP ON SEARCH-BASED AND FUZZ TESTING, SBFT, PÁGINAS: 9-16
AUTORES: Afonso, Joao; Campos, Jose ;
PUBLICAÇÃO: 2023, FONTE: 16th IEEE/ACM International Workshop on Search-Based and Fuzz Testing (SBFT) in 2023 IEEE/ACM INTERNATIONAL WORKSHOP ON SEARCH-BASED AND FUZZ TESTING, SBFT, PÁGINAS: 9-16
570
TÃTULO: Automatic Test-Based Assessment of Assembly Programs
AUTORES: Luís Tavares; Bruno Lima ; António Araújo ;
PUBLICAÇÃO: 2023, FONTE: Proceedings of the 18th International Conference on Software Technologies
AUTORES: Luís Tavares; Bruno Lima ; António Araújo ;
PUBLICAÇÃO: 2023, FONTE: Proceedings of the 18th International Conference on Software Technologies
571
TÃTULO: Avoiding resource wastage
AUTORES: Altino Sampaio; Jorge Barbosa ;
PUBLICAÇÃO: 2023, FONTE: High Performance Computing in Clouds: Moving HPC Applications to a Scalable and Cost-Effective Environment, PÁGINAS: 213-236
AUTORES: Altino Sampaio; Jorge Barbosa ;
PUBLICAÇÃO: 2023, FONTE: High Performance Computing in Clouds: Moving HPC Applications to a Scalable and Cost-Effective Environment, PÁGINAS: 213-236
572
TÃTULO: BEYOND FRONT AND BACK OFFICE: VISUALIZATIONS, REPRESENTATIONS AND ACCESS THROUGH POSTCOLONIAL LENSES BETWEEN A RESEARCH PLATFORM AND AN ARTS EDUCATION ARCHIVE
AUTORES: Tiago Assis; Cat Martins; Alexandre Valle ; António Santos; José Castro; Luís Osório; Pedro Silva;
PUBLICAÇÃO: 2023, FONTE: ICERI2023 Proceedings - ICERI Proceedings
AUTORES: Tiago Assis; Cat Martins; Alexandre Valle ; António Santos; José Castro; Luís Osório; Pedro Silva;
PUBLICAÇÃO: 2023, FONTE: ICERI2023 Proceedings - ICERI Proceedings
573
TÃTULO: Beyond Tradition: Evaluating Agile feasibility in DO-178C for Aerospace Software Development
AUTORES: Eduardo E Ferreira Ribeiro; João Gabriel Silva; Ademar Aguiar ;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2311.04344
AUTORES: Eduardo E Ferreira Ribeiro; João Gabriel Silva; Ademar Aguiar ;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2311.04344
574
TÃTULO: bGSL: An imperative language for specification and refinement of backtracking programs
AUTORES: Dunne, Steve; Ferreira, Joao F.; Mendes, Alexandra ; Ritchie, Campbell; Stoddart, Bill; Zeyda, Frank;
PUBLICAÇÃO: 2023, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 130, PÁGINAS: 100811
AUTORES: Dunne, Steve; Ferreira, Joao F.; Mendes, Alexandra ; Ritchie, Campbell; Stoddart, Bill; Zeyda, Frank;
PUBLICAÇÃO: 2023, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 130, PÁGINAS: 100811
575
TÃTULO: Brain Waves Classification Using a Single-Channel Dry EEG Headset: An Application for Controlling an Intelligent Wheelchair
AUTORES: Patricia Almeida; Brígida Mónica Faria; Luís Paulo Reis ;
PUBLICAÇÃO: 2023, FONTE: PAAMS, VOLUME: 13955 LNAI, PÁGINAS: 3-14
AUTORES: Patricia Almeida; Brígida Mónica Faria; Luís Paulo Reis ;
PUBLICAÇÃO: 2023, FONTE: PAAMS, VOLUME: 13955 LNAI, PÁGINAS: 3-14
576
TÃTULO: CADV: A software visualization approach for code annotations distribution
AUTORES: Phyllipe Lima; Jorge Melegati ; Everaldo Gomes; Nathalya Stefhany Pereira; Eduardo Guerra; Paulo Meirelles;
PUBLICAÇÃO: 2023, FONTE: Inf. Softw. Technol., VOLUME: 154, PÁGINAS: 107089
AUTORES: Phyllipe Lima; Jorge Melegati ; Everaldo Gomes; Nathalya Stefhany Pereira; Eduardo Guerra; Paulo Meirelles;
PUBLICAÇÃO: 2023, FONTE: Inf. Softw. Technol., VOLUME: 154, PÁGINAS: 107089
577
TÃTULO: Case Studies of Development of Verified Programs with Dafny for Accessibility Assessment
AUTORES: João Pascoal Faria ; Rui Abreu ;
PUBLICAÇÃO: 2023, FONTE: 10th IPM International Conference on Fundamentals of Software Engineering, FSEN 2023 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 14155 LNCS, PÁGINAS: 25-39
AUTORES: João Pascoal Faria ; Rui Abreu ;
PUBLICAÇÃO: 2023, FONTE: 10th IPM International Conference on Fundamentals of Software Engineering, FSEN 2023 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 14155 LNCS, PÁGINAS: 25-39
578
TÃTULO: Challenges and Opportunities in C/C++ Source-To-Source Compilation (Invited Paper)
AUTORES: João Bispo ; Nuno Paulino ; Luís Miguel Sousa;
PUBLICAÇÃO: 2023, FONTE: PARMA-DITAM, VOLUME: 107, PÁGINAS: 2:1-2:15
AUTORES: João Bispo ; Nuno Paulino ; Luís Miguel Sousa;
PUBLICAÇÃO: 2023, FONTE: PARMA-DITAM, VOLUME: 107, PÁGINAS: 2:1-2:15
579
TÃTULO: CharM - Evaluating a model for characterizing service-based architectures
AUTORES: Rosa, Thatiane de Oliveira; Guerra, Eduardo Martins; Correia, Filipe Figueiredo ; Goldman, Alfredo;
PUBLICAÇÃO: 2023, FONTE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 206, PÁGINAS: 111826
AUTORES: Rosa, Thatiane de Oliveira; Guerra, Eduardo Martins; Correia, Filipe Figueiredo ; Goldman, Alfredo;
PUBLICAÇÃO: 2023, FONTE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 206, PÁGINAS: 111826
580
TÃTULO: CI/CD Meets Block-Based Languages
AUTORES: da Giao, Hugo; Pereira, Rui ; Cunha, Jacome ;
PUBLICAÇÃO: 2023, FONTE: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) in 2023 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING, VL/HCC, PÁGINAS: 232-234
AUTORES: da Giao, Hugo; Pereira, Rui ; Cunha, Jacome ;
PUBLICAÇÃO: 2023, FONTE: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) in 2023 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING, VL/HCC, PÁGINAS: 232-234