Department of Informatics Engineering (DEI)
Departamento de Engenharia Informática

AuthID: I-000-0K9


Publications Count: 4625

61 Team Members
Filters -> Year: 2026
561
TITLE: Are security commit messages informative? Not enough!
AUTHORS: Reis, Sofia; Abreu, Rui ; Pasareanu, Corina;
PUBLISHED: 2023, SOURCE: 27th International Conference on Evaluation and Assessment in Software Engineering (EASE) in 27TH INTERNATIONAL CONFERENCE ON EVALUATION AND ASSESSMENT IN SOFTWARE ENGINEERING, EASE 2023, PAGES: 196-199
562
563
564
TITLE: Argumentation models and their use in corpus annotation: Practice, prospects, and challenges
AUTHORS: Cardoso, Henrique Lopes ; Sousa Silva, Rui ; Carvalho, Paula; Martins, Bruno;
PUBLISHED: 2023, SOURCE: NATURAL LANGUAGE ENGINEERING, VOLUME: 29, ISSUE: 4, PAGES: 1150-1187
565
566
TITLE: Attention-Based Regularisation for Improved Generalisability in Medical Multi-Centre Data
AUTHORS: Daniel Silva ; Georgios Agrotis; Regina Beets Tan; Luís F Teixeira ; Wilson Silva ;
PUBLISHED: 2023, SOURCE: ICMLA, PAGES: 1412-1417
567
TITLE: Augmenting Automated Spectrum Based Fault Localization for Multiple Faults
AUTHORS: Chatterjee, Prantik; Campos, Jose ; Abreu, Rui ; Roy, Subhajit;
PUBLISHED: 2023, SOURCE: 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, PAGES: 3140-3148
568
TITLE: Automatic Difficulty Balance in Two-Player Games with Deep Reinforcement Learning
AUTHORS: Simão Reis; Rita Novais; Luís Paulo Reis ; Nuno Lau;
PUBLISHED: 2023, SOURCE: CoG, PAGES: 1-8
569
TITLE: Automatic Generation of Smell-free Unit Tests
AUTHORS: Afonso, Joao; Campos, Jose ;
PUBLISHED: 2023, SOURCE: 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, PAGES: 9-16
570
TITLE: Automatic Test-Based Assessment of Assembly Programs
AUTHORS: Luís Tavares; Bruno Lima ; António Araújo ;
PUBLISHED: 2023, SOURCE: Proceedings of the 18th International Conference on Software Technologies
571
TITLE: Avoiding resource wastage
AUTHORS: Altino Sampaio; Jorge Barbosa ;
PUBLISHED: 2023, SOURCE: High Performance Computing in Clouds: Moving HPC Applications to a Scalable and Cost-Effective Environment, PAGES: 213-236
572
TITLE: BEYOND FRONT AND BACK OFFICE: VISUALIZATIONS, REPRESENTATIONS AND ACCESS THROUGH POSTCOLONIAL LENSES BETWEEN A RESEARCH PLATFORM AND AN ARTS EDUCATION ARCHIVE
AUTHORS: Tiago Assis; Cat Martins; Alexandre Valle ; António Santos; José Castro; Luís Osório; Pedro Silva;
PUBLISHED: 2023, SOURCE: ICERI2023 Proceedings - ICERI Proceedings
573
TITLE: Beyond Tradition: Evaluating Agile feasibility in DO-178C for Aerospace Software Development
AUTHORS: Eduardo E Ferreira Ribeiro; João Gabriel Silva; Ademar Aguiar ;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2311.04344
574
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
575
TITLE: Brain Waves Classification Using a Single-Channel Dry EEG Headset: An Application for Controlling an Intelligent Wheelchair
AUTHORS: Patricia Almeida; Brígida Mónica Faria; Luís Paulo Reis ;
PUBLISHED: 2023, SOURCE: PAAMS, VOLUME: 13955 LNAI, PAGES: 3-14
576
TITLE: CADV: A software visualization approach for code annotations distribution
AUTHORS: Phyllipe Lima; Jorge Melegati ; Everaldo Gomes; Nathalya Stefhany Pereira; Eduardo Guerra; Paulo Meirelles;
PUBLISHED: 2023, SOURCE: Inf. Softw. Technol., VOLUME: 154, PAGES: 107089
577
TITLE: Case Studies of Development of Verified Programs with Dafny for Accessibility Assessment
AUTHORS: João Pascoal Faria ; Rui Abreu ;
PUBLISHED: 2023, SOURCE: 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, PAGES: 25-39
578
TITLE: Challenges and Opportunities in C/C++ Source-To-Source Compilation (Invited Paper)
AUTHORS: João Bispo ; Nuno Paulino ; Luís Miguel Sousa;
PUBLISHED: 2023, SOURCE: PARMA-DITAM, VOLUME: 107, PAGES: 2:1-2:15
579
TITLE: CharM - Evaluating a model for characterizing service-based architectures
AUTHORS: Rosa, Thatiane de Oliveira; Guerra, Eduardo Martins; Correia, Filipe Figueiredo ; Goldman, Alfredo;
PUBLISHED: 2023, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 206, PAGES: 111826
580
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

Results per Page: 20.
Page 29 of 232. Total results: 4625.