Departamento de Engenharia Informática (DEI)
Department of Informatics Engineering
AuthID: I-000-0K9 
Publications Count: 4451
56 Team MembersFilters -> Year: 2025
1201
TÃTULO: Live Software Development Environment Using Virtual Reality: A Prototype and Experiment
AUTORES: Amaral, D; Domingues, G; Dias, JP ; Ferreira, HS ; Aguiar, A ; Nobrega, R ; Correia, FF ;
PUBLICAÇÃO: 2020, FONTE: 14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) in EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, VOLUME: 1172, PÁGINAS: 83-107
AUTORES: Amaral, D; Domingues, G; Dias, JP ; Ferreira, HS ; Aguiar, A ; Nobrega, R ; Correia, FF ;
PUBLICAÇÃO: 2020, FONTE: 14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) in EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, VOLUME: 1172, PÁGINAS: 83-107
1202
TÃTULO: Live software inspection and refactoring
AUTORES: Fernandes, S ; Aguiar, A ; André Restivo ;
PUBLICAÇÃO: 2020, FONTE: 8th SEDES Software Engineering Doctoral Symposium Workshop, SEDES 2020 in CEUR Workshop Proceedings, VOLUME: 2822, PÁGINAS: 1-10
AUTORES: Fernandes, S ; Aguiar, A ; André Restivo ;
PUBLICAÇÃO: 2020, FONTE: 8th SEDES Software Engineering Doctoral Symposium Workshop, SEDES 2020 in CEUR Workshop Proceedings, VOLUME: 2822, PÁGINAS: 1-10
1203
TÃTULO: Local Observability and Controllability Analysis and Enforcement in Distributed Testing With Time Constraints
AUTORES: Lima, B ; Faria, JP ; Hierons, R;
PUBLICAÇÃO: 2020, FONTE: IEEE ACCESS, VOLUME: 8, PÁGINAS: 167172-167191
AUTORES: Lima, B ; Faria, JP ; Hierons, R;
PUBLICAÇÃO: 2020, FONTE: IEEE ACCESS, VOLUME: 8, PÁGINAS: 167172-167191
1204
TÃTULO: Loggi: Treinamento Localizado em Automatização de Teste de Software em Ambiente Empresarial
AUTORES: VINCENZI, AURI M. R. ; Ana P S Barbosa; Cássio Dos Santos Sousa; Cauê Polimanti; Felipe Oliveira; Gustavo De Paula; José C Maldonado;
PUBLICAÇÃO: 2020, FONTE: Anais Estendidos do XI Congresso Brasileiro de Software: Teoria e Prática (CBSoft 2020), PÁGINAS: 123-126
AUTORES: VINCENZI, AURI M. R. ; Ana P S Barbosa; Cássio Dos Santos Sousa; Cauê Polimanti; Felipe Oliveira; Gustavo De Paula; José C Maldonado;
PUBLICAÇÃO: 2020, FONTE: Anais Estendidos do XI Congresso Brasileiro de Software: Teoria e Prática (CBSoft 2020), PÁGINAS: 123-126
1205
TÃTULO: Management of Research Data in Image Format: An Exploratory Study on Current Practices
AUTORES: Miguel Fernandes; Joana Rodrigues; Carla Teixeira Lopes ;
PUBLICAÇÃO: 2020, FONTE: 24th International Conference on Theory and Practice of Digital Libraries, TPDL 2020 in Digital Libraries for Open Knowledge - 24th International Conference on Theory and Practice of Digital Libraries, TPDL 2020, Lyon, France, August 25-27, 2020, Proceedings, VOLUME: 12246, PÁGINAS: 212-226
AUTORES: Miguel Fernandes; Joana Rodrigues; Carla Teixeira Lopes ;
PUBLICAÇÃO: 2020, FONTE: 24th International Conference on Theory and Practice of Digital Libraries, TPDL 2020 in Digital Libraries for Open Knowledge - 24th International Conference on Theory and Practice of Digital Libraries, TPDL 2020, Lyon, France, August 25-27, 2020, Proceedings, VOLUME: 12246, PÁGINAS: 212-226
1206
TÃTULO: Measuring Icebergs: Using Different Methods to Estimate the Number of COVID-19 Cases in Portugal and Spain
AUTORES: Carlos Baquero ; Paolo Casari; Antonio Fernández Anta; Davide Frey; Augusto Garcia-Agundez; Chryssis Georgiou; Raquel Menezes; Nicolas Nicolaou; Oluwasegun Ojo; Paul Patras;
PUBLICAÇÃO: 2020
AUTORES: Carlos Baquero ; Paolo Casari; Antonio Fernández Anta; Davide Frey; Augusto Garcia-Agundez; Chryssis Georgiou; Raquel Menezes; Nicolas Nicolaou; Oluwasegun Ojo; Paul Patras;
PUBLICAÇÃO: 2020
1207
TÃTULO: Merging Cloned Alloy Models with Colorful Refactorings
AUTORES: Chong Liu; Nuno Macedo ; Alcino Cunha ;
PUBLICAÇÃO: 2020, FONTE: Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings, VOLUME: 12475, PÁGINAS: 173-191
AUTORES: Chong Liu; Nuno Macedo ; Alcino Cunha ;
PUBLICAÇÃO: 2020, FONTE: Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings, VOLUME: 12475, PÁGINAS: 173-191
1208
TÃTULO: Message from TAIC PART Chairs
AUTORES: Abreu, R ; Amorim, M; Yang, G;
PUBLICAÇÃO: 2020, FONTE: 13th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2020 in Proceedings - 2020 IEEE 13th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2020
AUTORES: Abreu, R ; Amorim, M; Yang, G;
PUBLICAÇÃO: 2020, FONTE: 13th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2020 in Proceedings - 2020 IEEE 13th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2020
1209
TÃTULO: Message from the General Chairs
AUTORES: Abreu, R ; Faria, JP;
PUBLICAÇÃO: 2020, FONTE: 13th IEEE International Conference on Software Testing, Verification and Validation, ICST 2020 in Proceedings - 2020 IEEE 13th International Conference on Software Testing, Verification and Validation, ICST 2020
AUTORES: Abreu, R ; Faria, JP;
PUBLICAÇÃO: 2020, FONTE: 13th IEEE International Conference on Software Testing, Verification and Validation, ICST 2020 in Proceedings - 2020 IEEE 13th International Conference on Software Testing, Verification and Validation, ICST 2020
1210
TÃTULO: Message from the General Chairs: SBAC-PAD 2020
AUTORES: Miguel Areias ; Barbosa, J ; Dutra, I ;
PUBLICAÇÃO: 2020, FONTE: 32nd IEEE International Symposium on Computer Architecture and High Performance Computing, SBAC-PAD 2020 in Proceedings - Symposium on Computer Architecture and High Performance Computing, VOLUME: 2020-September
AUTORES: Miguel Areias ; Barbosa, J ; Dutra, I ;
PUBLICAÇÃO: 2020, FONTE: 32nd IEEE International Symposium on Computer Architecture and High Performance Computing, SBAC-PAD 2020 in Proceedings - Symposium on Computer Architecture and High Performance Computing, VOLUME: 2020-September
1211
TÃTULO: Metamodel Quality Requirements and Evaluation (MQuaRE)
AUTORES: Taciana Novo Kudo; Renato de Freitas Bulcão Neto; VINCENZI, AURI M. R. ;
PUBLICAÇÃO: 2020, FONTE: CoRR, VOLUME: abs/2008.09459
AUTORES: Taciana Novo Kudo; Renato de Freitas Bulcão Neto; VINCENZI, AURI M. R. ;
PUBLICAÇÃO: 2020, FONTE: CoRR, VOLUME: abs/2008.09459
1212
TÃTULO: Mining Human Mobility Data to Discover Locations and Habits
AUTORES: Andrade, T ; Cancela, B ; Gama, J ;
PUBLICAÇÃO: 2020, FONTE: European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML PKDD) in MACHINE LEARNING AND KNOWLEDGE DISCOVERY IN DATABASES, ECML PKDD 2019, PT II, VOLUME: 1168, PÁGINAS: 390-401
AUTORES: Andrade, T ; Cancela, B ; Gama, J ;
PUBLICAÇÃO: 2020, FONTE: European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML PKDD) in MACHINE LEARNING AND KNOWLEDGE DISCOVERY IN DATABASES, ECML PKDD 2019, PT II, VOLUME: 1168, PÁGINAS: 390-401
1213
TÃTULO: Modelling Smart Cities Through Socio-Technical Systems
AUTORES: Maria Eduarda Santos Cunha; Rosaldo J F Rossetti ; Pedro J R M Campos ;
PUBLICAÇÃO: 2020, FONTE: 2020 IEEE International Smart Cities Conference, ISC2 2020 in IEEE International Smart Cities Conference, ISC2 2020, Piscataway, NJ, USA, September 28 - October 1, 2020, PÁGINAS: 1-8
AUTORES: Maria Eduarda Santos Cunha; Rosaldo J F Rossetti ; Pedro J R M Campos ;
PUBLICAÇÃO: 2020, FONTE: 2020 IEEE International Smart Cities Conference, ISC2 2020 in IEEE International Smart Cities Conference, ISC2 2020, Piscataway, NJ, USA, September 28 - October 1, 2020, PÁGINAS: 1-8
1214
TÃTULO: MULTI AGENT DEEP LEARNING WITH COOPERATIVE COMMUNICATION
AUTORES: Simoes, D; Lau, N ; Reis, LP ;
PUBLICAÇÃO: 2020, FONTE: JOURNAL OF ARTIFICIAL INTELLIGENCE AND SOFT COMPUTING RESEARCH, VOLUME: 10, NÚMERO: 3, PÁGINAS: 189-207
AUTORES: Simoes, D; Lau, N ; Reis, LP ;
PUBLICAÇÃO: 2020, FONTE: JOURNAL OF ARTIFICIAL INTELLIGENCE AND SOFT COMPUTING RESEARCH, VOLUME: 10, NÚMERO: 3, PÁGINAS: 189-207
1215
TÃTULO: Multi-agent actor centralized-critic with communication
AUTORES: Simoes, D; Lau, N ; Reis, LP ;
PUBLICAÇÃO: 2020, FONTE: NEUROCOMPUTING, VOLUME: 390, PÁGINAS: 40-56
AUTORES: Simoes, D; Lau, N ; Reis, LP ;
PUBLICAÇÃO: 2020, FONTE: NEUROCOMPUTING, VOLUME: 390, PÁGINAS: 40-56
1216
TÃTULO: Multimodal Intelligent Wheelchair Interface
AUTORES: Filipe Coelho; Luís Paulo Reis ; Brígida Mónica Faria ; Alexandra Oliveira ; Victor Carvalho;
PUBLICAÇÃO: 2020, FONTE: 8th World Conference on Information Systems and Technologies, WorldCIST 2020 in Trends and Innovations in Information Systems and Technologies - Volume 2, WorldCIST 2020, Budva, Montenegro, 7-10 April 2020., VOLUME: 1160, PÁGINAS: 679-689
AUTORES: Filipe Coelho; Luís Paulo Reis ; Brígida Mónica Faria ; Alexandra Oliveira ; Victor Carvalho;
PUBLICAÇÃO: 2020, FONTE: 8th World Conference on Information Systems and Technologies, WorldCIST 2020 in Trends and Innovations in Information Systems and Technologies - Volume 2, WorldCIST 2020, Budva, Montenegro, 7-10 April 2020., VOLUME: 1160, PÁGINAS: 679-689
1217
TÃTULO: Multiple fault localization of software programs: A systematic literature review
AUTORES: Zakari, A; Lee, SP; Abreu, R ; Ahmed, BH; Rasheed, RA;
PUBLICAÇÃO: 2020, FONTE: INFORMATION AND SOFTWARE TECHNOLOGY, VOLUME: 124, PÁGINAS: 106312
AUTORES: Zakari, A; Lee, SP; Abreu, R ; Ahmed, BH; Rasheed, RA;
PUBLICAÇÃO: 2020, FONTE: INFORMATION AND SOFTWARE TECHNOLOGY, VOLUME: 124, PÁGINAS: 106312
1218
TÃTULO: MVP and experimentation in software startups: a qualitative survey
AUTORES: Jorge Melegati ; Rafael Chanin; Afonso Sales; Rafael Prikladnicki; Xiaofeng Wang;
PUBLICAÇÃO: 2020, FONTE: 46th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2020, Portoroz, Slovenia, August 26-28, 2020, PÁGINAS: 322-325
AUTORES: Jorge Melegati ; Rafael Chanin; Afonso Sales; Rafael Prikladnicki; Xiaofeng Wang;
PUBLICAÇÃO: 2020, FONTE: 46th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2020, Portoroz, Slovenia, August 26-28, 2020, PÁGINAS: 322-325
1219
TÃTULO: Objective Evaluation of Tonal Fitness for Chord Progressions Using the Tonal Interval Space
AUTORES: María Navarro Cáceres; Marcelo F Caetano ; Gilberto Bernardes ;
PUBLICAÇÃO: 2020, FONTE: 9th European Conference on Artificial Intelligence in Music, Sound, Art and Design, EvoMUSART 2020, held as part of EvoStar 2020 in Artificial Intelligence in Music, Sound, Art and Design - 9th International Conference, EvoMUSART 2020, Held as Part of EvoStar 2020, Seville, Spain, April 15-17, 2020, Proceedings, VOLUME: 12103, PÁGINAS: 150-164
AUTORES: María Navarro Cáceres; Marcelo F Caetano ; Gilberto Bernardes ;
PUBLICAÇÃO: 2020, FONTE: 9th European Conference on Artificial Intelligence in Music, Sound, Art and Design, EvoMUSART 2020, held as part of EvoStar 2020 in Artificial Intelligence in Music, Sound, Art and Design - 9th International Conference, EvoMUSART 2020, Held as Part of EvoStar 2020, Seville, Spain, April 15-17, 2020, Proceedings, VOLUME: 12103, PÁGINAS: 150-164
1220
TÃTULO: Off-the-shelf Components for Quantum Programming and Testing
AUTORES: Cláudio Gomes; Daniel Fortunato; João Paulo Fernandes ; Rui Abreu ;
PUBLICAÇÃO: 2020, FONTE: 1st International Workshop on Software Engineering and Technology, Q-SET 2020 in Short Papers Proceedings of the 1st International Workshop on Software Engineering & Technology (Q-SET'20) co-located with IEEE International Conference on Quantum Computing and Engineering (IEEE Quantum Week 2020), (Online Conference) Denver ─ Broomfield, Colorado, USA, October, 2020., VOLUME: 2705, PÁGINAS: 14-19
AUTORES: Cláudio Gomes; Daniel Fortunato; João Paulo Fernandes ; Rui Abreu ;
PUBLICAÇÃO: 2020, FONTE: 1st International Workshop on Software Engineering and Technology, Q-SET 2020 in Short Papers Proceedings of the 1st International Workshop on Software Engineering & Technology (Q-SET'20) co-located with IEEE International Conference on Quantum Computing and Engineering (IEEE Quantum Week 2020), (Online Conference) Denver ─ Broomfield, Colorado, USA, October, 2020., VOLUME: 2705, PÁGINAS: 14-19