Departamento de Engenharia Informática (DEI)
Department of Informatics Engineering
AuthID: I-000-0K9 Publications Count: 4456
56 Team MembersFilters -> Year: 2025
1141
TÃTULO: Diagnosing Software Faults Using Multiverse Analysis
AUTORES: Prantik Chatterjee; Abhijit Chatterjee; José Campos ; Rui Abreu ; Subhajit Roy;
PUBLICAÇÃO: 2020, FONTE: 29th International Joint Conference on Artificial Intelligence, IJCAI 2020 in Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020 [scheduled for July 2020, Yokohama, Japan, postponed due to the Corona pandemic]., VOLUME: 2021-January, PÁGINAS: 1629-1635
AUTORES: Prantik Chatterjee; Abhijit Chatterjee; José Campos ; Rui Abreu ; Subhajit Roy;
PUBLICAÇÃO: 2020, FONTE: 29th International Joint Conference on Artificial Intelligence, IJCAI 2020 in Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020 [scheduled for July 2020, Yokohama, Japan, postponed due to the Corona pandemic]., VOLUME: 2021-January, PÁGINAS: 1629-1635
1142
TÃTULO: DINASORE: A Dynamic Intelligent Reconfiguration Tool for Cyber-Physical Production Systems
AUTORES: Eliseu Moura Pereira ; João Pedro Correia dos Reis; Gil Gonçalves ;
PUBLICAÇÃO: 2020, FONTE: 1st Eclipse Research International Conference on Security, Artificial Intelligence and Modeling for the Next Generation Internet of Things, SAM IoT 2020 in Proceedings of the 1st Eclipse Research International Conference on Security, Artificial Intelligence and Modeling for the next generation Internet of Things, Virtual Event, September 17th - to - 18th, 2020., VOLUME: 2739, PÁGINAS: 63-71
AUTORES: Eliseu Moura Pereira ; João Pedro Correia dos Reis; Gil Gonçalves ;
PUBLICAÇÃO: 2020, FONTE: 1st Eclipse Research International Conference on Security, Artificial Intelligence and Modeling for the Next Generation Internet of Things, SAM IoT 2020 in Proceedings of the 1st Eclipse Research International Conference on Security, Artificial Intelligence and Modeling for the next generation Internet of Things, Virtual Event, September 17th - to - 18th, 2020., VOLUME: 2739, PÁGINAS: 63-71
1143
TÃTULO: Discovering locations and habits from human mobility data
AUTORES: Andrade, T ; Cancela, B ; Gama, J ;
PUBLICAÇÃO: 2020, FONTE: ANNALS OF TELECOMMUNICATIONS, VOLUME: 75, NÚMERO: 9-10, PÁGINAS: 505-521
AUTORES: Andrade, T ; Cancela, B ; Gama, J ;
PUBLICAÇÃO: 2020, FONTE: ANNALS OF TELECOMMUNICATIONS, VOLUME: 75, NÚMERO: 9-10, PÁGINAS: 505-521
1144
TÃTULO: Drill-Down Dashboard for Chairing of Online Master Programs in Engineering
AUTORES: Anabela Costa e Silva; Leonel Morgado ; António Coelho ;
PUBLICAÇÃO: 2020, FONTE: 2nd International Conference on Technology and Innovation in Learning, Teaching and Education, TECH-EDU 2020 in Technology and Innovation in Learning, Teaching and Education - Second International Conference, TECH-EDU 2020, Vila Real, Portugal, December 2-4, 2020, Proceedings, 3, VOLUME: 1384, PÁGINAS: 203-209
AUTORES: Anabela Costa e Silva; Leonel Morgado ; António Coelho ;
PUBLICAÇÃO: 2020, FONTE: 2nd International Conference on Technology and Innovation in Learning, Teaching and Education, TECH-EDU 2020 in Technology and Innovation in Learning, Teaching and Education - Second International Conference, TECH-EDU 2020, Vila Real, Portugal, December 2-4, 2020, Proceedings, 3, VOLUME: 1384, PÁGINAS: 203-209
1145
TÃTULO: Early-Stage Software Startups: Main Challenges and Possible Answers
AUTORES: Jorge Melegati ; Fabio Kon;
PUBLICAÇÃO: 2020, FONTE: Fundamentals of Software Startups - Essential Engineering and Business Aspects, PÁGINAS: 129-143
AUTORES: Jorge Melegati ; Fabio Kon;
PUBLICAÇÃO: 2020, FONTE: Fundamentals of Software Startups - Essential Engineering and Business Aspects, PÁGINAS: 129-143
1146
TÃTULO: ECIR 2020 workshops: assessing the impact of going online
AUTORES: Sérgio Nunes ; Suzanne Little; Sumit Bhatia; Ludovico Boratto; Guillaume Cabanac; Ricardo Campos ; Francisco M Couto; Stefano Faralli; Ingo Frommholz; Adam Jatowt; Alípio Jorge ; Mirko Marras; Philipp Mayr; Giovanni Stilo;
PUBLICAÇÃO: 2020, FONTE: SIGIR Forum, VOLUME: 54, NÚMERO: 1, PÁGINAS: 7:1-7:11
AUTORES: Sérgio Nunes ; Suzanne Little; Sumit Bhatia; Ludovico Boratto; Guillaume Cabanac; Ricardo Campos ; Francisco M Couto; Stefano Faralli; Ingo Frommholz; Adam Jatowt; Alípio Jorge ; Mirko Marras; Philipp Mayr; Giovanni Stilo;
PUBLICAÇÃO: 2020, FONTE: SIGIR Forum, VOLUME: 54, NÚMERO: 1, PÁGINAS: 7:1-7:11
1147
TÃTULO: Editorial: Special issue on Simulation in Transportation
AUTORES: Harrison, G; Bivona, E; Rossetti, R ;
PUBLICAÇÃO: 2020, FONTE: JOURNAL OF SIMULATION, VOLUME: 14, NÚMERO: 4, PÁGINAS: 239-241
AUTORES: Harrison, G; Bivona, E; Rossetti, R ;
PUBLICAÇÃO: 2020, FONTE: JOURNAL OF SIMULATION, VOLUME: 14, NÚMERO: 4, PÁGINAS: 239-241
1148
TÃTULO: Emotional Contagion Modeled Through the Empathy Quotient: an Epidemiological Analogy Towards Social Sustainability
AUTORES: Filipa Ivars Silva; Rosaldo J F Rossetti ;
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: Filipa Ivars Silva; Rosaldo J F Rossetti ;
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
1149
TÃTULO: Empirical review of automated analysis tools on 47, 587 Ethereum smart contracts
AUTORES: Thomas Durieux; João F Ferreira; Rui Abreu ; Pedro Cruz;
PUBLICAÇÃO: 2020, FONTE: ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June - 19 July, 2020, PÁGINAS: 530-541
AUTORES: Thomas Durieux; João F Ferreira; Rui Abreu ; Pedro Cruz;
PUBLICAÇÃO: 2020, FONTE: ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June - 19 July, 2020, PÁGINAS: 530-541
1150
TÃTULO: Empirical Review of Automated Analysis Tools on 47,587 Ethereum Smart Contracts
AUTORES: Durieux, T; Ferreira, JF; Abreu, R ; Cruz, P;
PUBLICAÇÃO: 2020, FONTE: 42nd ACM/IEEE International Conference on Software Engineering - Companion Proceedings (ICSE-Companion) in 2020 ACM/IEEE 42ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2020), PÁGINAS: 530-541
AUTORES: Durieux, T; Ferreira, JF; Abreu, R ; Cruz, P;
PUBLICAÇÃO: 2020, FONTE: 42nd ACM/IEEE International Conference on Software Engineering - Companion Proceedings (ICSE-Companion) in 2020 ACM/IEEE 42ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2020), PÁGINAS: 530-541
1151
TÃTULO: Empirical Study of Restarted and Flaky Builds on Travis CI
AUTORES: Thomas Durieux; Claire Le Goues; Michael Hilton; Rui Abreu ;
PUBLICAÇÃO: 2020, FONTE: 17th IEEE/ACM International Conference on Mining Software Repositories, MSR 2020, co-located with the 42nd International Conference on Software Engineering. ICSE 2020 in CoRR, VOLUME: abs/2003.11772, PÁGINAS: 254-264
AUTORES: Thomas Durieux; Claire Le Goues; Michael Hilton; Rui Abreu ;
PUBLICAÇÃO: 2020, FONTE: 17th IEEE/ACM International Conference on Mining Software Repositories, MSR 2020, co-located with the 42nd International Conference on Software Engineering. ICSE 2020 in CoRR, VOLUME: abs/2003.11772, PÁGINAS: 254-264
1152
TÃTULO: Evaluating Animated Transitions between Contiguous Visualizations for Streaming Big Data
AUTORES: Pereira, T; Moreira, J; Mendes, D ; Goncalves, D;
PUBLICAÇÃO: 2020, FONTE: IEEE Visualization Conference (VIS) in 2020 IEEE VISUALIZATION CONFERENCE - SHORT PAPERS (VIS 2020), PÁGINAS: 161-165
AUTORES: Pereira, T; Moreira, J; Mendes, D ; Goncalves, D;
PUBLICAÇÃO: 2020, FONTE: IEEE Visualization Conference (VIS) in 2020 IEEE VISUALIZATION CONFERENCE - SHORT PAPERS (VIS 2020), PÁGINAS: 161-165
1153
TÃTULO: Evaluating the Accuracy of Password Strength Meters using Off-The-Shelf Guessing Attacks
AUTORES: David Pereira; João F Ferreira ; Alexandra Mendes ;
PUBLICAÇÃO: 2020, FONTE: 31st IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2020 in 2020 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Coimbra, Portugal, October 12-15, 2020, PÁGINAS: 237-242
AUTORES: David Pereira; João F Ferreira ; Alexandra Mendes ;
PUBLICAÇÃO: 2020, FONTE: 31st IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2020 in 2020 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Coimbra, Portugal, October 12-15, 2020, PÁGINAS: 237-242
1154
TÃTULO: Evaluating the quality of an online course in information literacy applied to engineering students
AUTORES: Oliveira Ramos, Teresa ; Morais, C ; Ribeiro, C ;
PUBLICAÇÃO: 2020, FONTE: Handbook of Research on Determining the Reliability of Online Assessment and Distance Learning, PÁGINAS: 79-117
AUTORES: Oliveira Ramos, Teresa ; Morais, C ; Ribeiro, C ;
PUBLICAÇÃO: 2020, FONTE: Handbook of Research on Determining the Reliability of Online Assessment and Distance Learning, PÁGINAS: 79-117
1155
TÃTULO: EvoSuite at the SBST 2020 Tool Competition
AUTORES: Panichella, A; Campos, J ; Fraser, G;
PUBLICAÇÃO: 2020, FONTE: 42nd IEEE/ACM International Conference on Software Engineering Workshops, ICSEW 2020 in Proceedings - 2020 IEEE/ACM 42nd International Conference on Software Engineering Workshops, ICSEW 2020, PÁGINAS: 549-552
AUTORES: Panichella, A; Campos, J ; Fraser, G;
PUBLICAÇÃO: 2020, FONTE: 42nd IEEE/ACM International Conference on Software Engineering Workshops, ICSEW 2020 in Proceedings - 2020 IEEE/ACM 42nd International Conference on Software Engineering Workshops, ICSEW 2020, PÁGINAS: 549-552
1156
TÃTULO: Examining Temporal Trends and Design Goals of Digital Music Instruments for Education in NIME: A Proposed Taxonomy
AUTORES: Margarida Pessoa; Cláudio Parauta; Pedro Luís; Isabela Almeida; Gilberto Bernardes ;
PUBLICAÇÃO: 2020
AUTORES: Margarida Pessoa; Cláudio Parauta; Pedro Luís; Isabela Almeida; Gilberto Bernardes ;
PUBLICAÇÃO: 2020
1157
TÃTULO: Executing ARMv8 Loop Traces on Reconfigurable Accelerator via Binary Translation Framework
AUTORES: Paulino, N ; Ferreira, JC ; Bispo, J ; Cardoso, JMP ;
PUBLICAÇÃO: 2020, FONTE: 30th International Conference on Field-Programmable Logic and Applications (FPL) in 2020 30TH INTERNATIONAL CONFERENCE ON FIELD-PROGRAMMABLE LOGIC AND APPLICATIONS (FPL), PÁGINAS: 367-367
AUTORES: Paulino, N ; Ferreira, JC ; Bispo, J ; Cardoso, JMP ;
PUBLICAÇÃO: 2020, FONTE: 30th International Conference on Field-Programmable Logic and Applications (FPL) in 2020 30TH INTERNATIONAL CONFERENCE ON FIELD-PROGRAMMABLE LOGIC AND APPLICATIONS (FPL), PÁGINAS: 367-367
1158
TÃTULO: Expelliarmus: Semantic-centric virtual machine image management in IaaS Clouds
AUTORES: Saurabh, N; Benedict, S; Barbosa, JG ; Prodan, R;
PUBLICAÇÃO: 2020, FONTE: JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, VOLUME: 146, PÁGINAS: 107-121
AUTORES: Saurabh, N; Benedict, S; Barbosa, JG ; Prodan, R;
PUBLICAÇÃO: 2020, FONTE: JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, VOLUME: 146, PÁGINAS: 107-121
1159
TÃTULO: Experiences on Teaching Alloy with an Automated Assessment Platform
AUTORES: Nuno Macedo ; Alcino Cunha ; José Pereira ; Renato Carvalho; Ricardo Silva; Ana C R Paiva ; Miguel Sozinho Ramalho; Daniel Castro Silva;
PUBLICAÇÃO: 2020, FONTE: 7th International Conference on Rigorous State-Based Methods, ABZ 2020 in Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings, VOLUME: 12071, PÁGINAS: 61-77
AUTORES: Nuno Macedo ; Alcino Cunha ; José Pereira ; Renato Carvalho; Ricardo Silva; Ana C R Paiva ; Miguel Sozinho Ramalho; Daniel Castro Silva;
PUBLICAÇÃO: 2020, FONTE: 7th International Conference on Rigorous State-Based Methods, ABZ 2020 in Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings, VOLUME: 12071, PÁGINAS: 61-77
1160
TÃTULO: Experimenting with Liveness in Cloud Infrastructure Management
AUTORES: Lourenco, P; Dias, JP ; Aguiar, A ; Ferreira, HS ; André Restivo ;
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: 58-82
AUTORES: Lourenco, P; Dias, JP ; Aguiar, A ; Ferreira, HS ; André Restivo ;
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: 58-82
