Department of Informatics Engineering (DEI)
Departamento de Engenharia Informática
AuthID: I-000-0K9 Publications Count: 4677
62 Team MembersFilters -> Year: 2026
1401
TITLE: Live Software Development Environment Using Virtual Reality: A Prototype and Experiment
AUTHORS: Amaral, D; Domingues, G; Dias, JP ; Ferreira, HS ; Aguiar, A ; Nóbrega, R ; Correia, FF ;
PUBLISHED: 2020, SOURCE: 14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) in EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, VOLUME: 1172, PAGES: 83-107
AUTHORS: Amaral, D; Domingues, G; Dias, JP ; Ferreira, HS ; Aguiar, A ; Nóbrega, R ; Correia, FF ;
PUBLISHED: 2020, SOURCE: 14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) in EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, VOLUME: 1172, PAGES: 83-107
1402
TITLE: Live software inspection and refactoring
AUTHORS: Fernandes, S ; Aguiar, A ; André Restivo ;
PUBLISHED: 2020, SOURCE: 8th SEDES Software Engineering Doctoral Symposium Workshop, SEDES 2020 in CEUR Workshop Proceedings, VOLUME: 2822, PAGES: 1-10
AUTHORS: Fernandes, S ; Aguiar, A ; André Restivo ;
PUBLISHED: 2020, SOURCE: 8th SEDES Software Engineering Doctoral Symposium Workshop, SEDES 2020 in CEUR Workshop Proceedings, VOLUME: 2822, PAGES: 1-10
1403
TITLE: Local Observability and Controllability Analysis and Enforcement in Distributed Testing With Time Constraints
AUTHORS: Lima, B ; Faria, JP ; Hierons, R;
PUBLISHED: 2020, SOURCE: IEEE ACCESS, VOLUME: 8, PAGES: 167172-167191
AUTHORS: Lima, B ; Faria, JP ; Hierons, R;
PUBLISHED: 2020, SOURCE: IEEE ACCESS, VOLUME: 8, PAGES: 167172-167191
1404
TITLE: Loggi: Treinamento Localizado em Automatização de Teste de Software em Ambiente Empresarial
AUTHORS: VINCENZI, AURI M. R. ; Ana P S Barbosa; Cássio Dos Santos Sousa; Cauê Polimanti; Felipe Oliveira; Gustavo De Paula; José C Maldonado;
PUBLISHED: 2020, SOURCE: Anais Estendidos do XI Congresso Brasileiro de Software: Teoria e Prática (CBSoft 2020), PAGES: 123-126
AUTHORS: VINCENZI, AURI M. R. ; Ana P S Barbosa; Cássio Dos Santos Sousa; Cauê Polimanti; Felipe Oliveira; Gustavo De Paula; José C Maldonado;
PUBLISHED: 2020, SOURCE: Anais Estendidos do XI Congresso Brasileiro de Software: Teoria e Prática (CBSoft 2020), PAGES: 123-126
1405
1406
TITLE: Management of Research Data in Image Format: An Exploratory Study on Current Practices
AUTHORS: Miguel Fernandes; Joana Rodrigues ; Carla Teixeira Lopes ;
PUBLISHED: 2020, SOURCE: TPDL, VOLUME: 12246 LNCS, PAGES: 212-226
AUTHORS: Miguel Fernandes; Joana Rodrigues ; Carla Teixeira Lopes ;
PUBLISHED: 2020, SOURCE: TPDL, VOLUME: 12246 LNCS, PAGES: 212-226
1407
TITLE: Measuring Icebergs: Using Different Methods to Estimate the Number of COVID-19 Cases in Portugal and Spain
AUTHORS: Carlos Baquero ; Paolo Casari; Antonio Fernández Anta; Davide Frey; Augusto Garcia-Agundez; Chryssis Georgiou; Raquel Menezes; Nicolas Nicolaou; Oluwasegun Ojo; Paul Patras;
PUBLISHED: 2020
AUTHORS: Carlos Baquero ; Paolo Casari; Antonio Fernández Anta; Davide Frey; Augusto Garcia-Agundez; Chryssis Georgiou; Raquel Menezes; Nicolas Nicolaou; Oluwasegun Ojo; Paul Patras;
PUBLISHED: 2020
1408
TITLE: Merging Cloned Alloy Models with Colorful Refactorings
AUTHORS: Liu, C; Macedo, N ; Cunha, A ;
PUBLISHED: 2020, SOURCE: FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2020, VOLUME: 12475, PAGES: 173-191
AUTHORS: Liu, C; Macedo, N ; Cunha, A ;
PUBLISHED: 2020, SOURCE: FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2020, VOLUME: 12475, PAGES: 173-191
1409
TITLE: Message from TAIC PART Chairs
AUTHORS: Abreu, R ; Amorim, M; Yang, G;
PUBLISHED: 2020, SOURCE: 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
AUTHORS: Abreu, R ; Amorim, M; Yang, G;
PUBLISHED: 2020, SOURCE: 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
1410
TITLE: Message from the General Chairs
AUTHORS: Abreu, R ; Faria, JP;
PUBLISHED: 2020, SOURCE: 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
AUTHORS: Abreu, R ; Faria, JP;
PUBLISHED: 2020, SOURCE: 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
1411
TITLE: Message from the General Chairs: SBAC-PAD 2020
AUTHORS: Miguel Areias ; Barbosa, J ; Dutra, I ;
PUBLISHED: 2020, SOURCE: 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
AUTHORS: Miguel Areias ; Barbosa, J ; Dutra, I ;
PUBLISHED: 2020, SOURCE: 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
1412
TITLE: Metamodel Quality Requirements and Evaluation (MQuaRE)
AUTHORS: Taciana Novo Kudo; Renato de Freitas Bulcão Neto; VINCENZI, AURI M. R. ;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2008.09459
AUTHORS: Taciana Novo Kudo; Renato de Freitas Bulcão Neto; VINCENZI, AURI M. R. ;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2008.09459
1413
TITLE: Mining Human Mobility Data to Discover Locations and Habits
AUTHORS: Andrade, T ; Cancela, B ; Gama, J ;
PUBLISHED: 2020, SOURCE: 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, PAGES: 390-401
AUTHORS: Andrade, T ; Cancela, B ; Gama, J ;
PUBLISHED: 2020, SOURCE: 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, PAGES: 390-401
1414
TITLE: Modelling Smart Cities Through Socio-Technical Systems
AUTHORS: Maria Eduarda Santos Cunha; Rosaldo J F Rossetti ; Pedro J R M Campos ;
PUBLISHED: 2020, SOURCE: ISC2, PAGES: 1-8
AUTHORS: Maria Eduarda Santos Cunha; Rosaldo J F Rossetti ; Pedro J R M Campos ;
PUBLISHED: 2020, SOURCE: ISC2, PAGES: 1-8
1415
TITLE: MULTI AGENT DEEP LEARNING WITH COOPERATIVE COMMUNICATION
AUTHORS: Simoes, D; Lau, N ; Reis, LP ;
PUBLISHED: 2020, SOURCE: JOURNAL OF ARTIFICIAL INTELLIGENCE AND SOFT COMPUTING RESEARCH, VOLUME: 10, ISSUE: 3, PAGES: 189-207
AUTHORS: Simoes, D; Lau, N ; Reis, LP ;
PUBLISHED: 2020, SOURCE: JOURNAL OF ARTIFICIAL INTELLIGENCE AND SOFT COMPUTING RESEARCH, VOLUME: 10, ISSUE: 3, PAGES: 189-207
1416
TITLE: Multi-agent actor centralized-critic with communication
AUTHORS: Simoes, D; Lau, N ; Reis, LP ;
PUBLISHED: 2020, SOURCE: NEUROCOMPUTING, VOLUME: 390, PAGES: 40-56
AUTHORS: Simoes, D; Lau, N ; Reis, LP ;
PUBLISHED: 2020, SOURCE: NEUROCOMPUTING, VOLUME: 390, PAGES: 40-56
1417
TITLE: Multimodal Intelligent Wheelchair Interface
AUTHORS: Filipe Coelho; Luís Paulo Reis ; Brígida Mónica Faria ; Alexandra Oliveira ; Victor Carvalho;
PUBLISHED: 2020, SOURCE: WorldCIST (2), VOLUME: 1160 AISC, PAGES: 679-689
AUTHORS: Filipe Coelho; Luís Paulo Reis ; Brígida Mónica Faria ; Alexandra Oliveira ; Victor Carvalho;
PUBLISHED: 2020, SOURCE: WorldCIST (2), VOLUME: 1160 AISC, PAGES: 679-689
1418
TITLE: Multiple fault localization of software programs: A systematic literature review
AUTHORS: Zakari, A; Lee, SP; Abreu, R ; Ahmed, BH; Rasheed, RA;
PUBLISHED: 2020, SOURCE: INFORMATION AND SOFTWARE TECHNOLOGY, VOLUME: 124, PAGES: 106312
AUTHORS: Zakari, A; Lee, SP; Abreu, R ; Ahmed, BH; Rasheed, RA;
PUBLISHED: 2020, SOURCE: INFORMATION AND SOFTWARE TECHNOLOGY, VOLUME: 124, PAGES: 106312
1419
TITLE: MVP and experimentation in software startups: a qualitative survey
AUTHORS: Jorge Melegati ; Rafael Chanin; Afonso Sales; Rafael Prikladnicki; Xiaofeng Wang;
PUBLISHED: 2020, SOURCE: SEAA, PAGES: 322-325
AUTHORS: Jorge Melegati ; Rafael Chanin; Afonso Sales; Rafael Prikladnicki; Xiaofeng Wang;
PUBLISHED: 2020, SOURCE: SEAA, PAGES: 322-325
1420
TITLE: Objective Evaluation of Tonal Fitness for Chord Progressions Using the Tonal Interval Space
AUTHORS: María Navarro Cáceres; Marcelo F Caetano ; Gilberto Bernardes ;
PUBLISHED: 2020, SOURCE: EvoMUSART, VOLUME: 12103 LNCS, PAGES: 150-164
AUTHORS: María Navarro Cáceres; Marcelo F Caetano ; Gilberto Bernardes ;
PUBLISHED: 2020, SOURCE: EvoMUSART, VOLUME: 12103 LNCS, PAGES: 150-164
