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

AuthID: I-000-0K9


Publications Count: 4456

56 Team Members
Filters -> Year: 2025
1141
TITLE: Diagnosing Software Faults Using Multiverse Analysis
AUTHORS: Prantik Chatterjee; Abhijit Chatterjee; José Campos ; Rui Abreu ; Subhajit Roy;
PUBLISHED: 2020, SOURCE: 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, PAGES: 1629-1635
1142
TITLE: DINASORE: A Dynamic Intelligent Reconfiguration Tool for Cyber-Physical Production Systems
AUTHORS: Eliseu Moura Pereira ; João Pedro Correia dos Reis; Gil Gonçalves ;
PUBLISHED: 2020, SOURCE: 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, PAGES: 63-71
1143
TITLE: Discovering locations and habits from human mobility data
AUTHORS: Andrade, T ; Cancela, B ; Gama, J ;
PUBLISHED: 2020, SOURCE: ANNALS OF TELECOMMUNICATIONS, VOLUME: 75, ISSUE: 9-10, PAGES: 505-521
1144
TITLE: Drill-Down Dashboard for Chairing of Online Master Programs in Engineering
AUTHORS: Anabela Costa e Silva; Leonel Morgado ; António Coelho ;
PUBLISHED: 2020, SOURCE: 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, PAGES: 203-209
1145
TITLE: Early-Stage Software Startups: Main Challenges and Possible Answers
AUTHORS: Jorge Melegati ; Fabio Kon;
PUBLISHED: 2020, SOURCE: Fundamentals of Software Startups - Essential Engineering and Business Aspects, PAGES: 129-143
1146
TITLE: ECIR 2020 workshops: assessing the impact of going online
AUTHORS: 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;
PUBLISHED: 2020, SOURCE: SIGIR Forum, VOLUME: 54, ISSUE: 1, PAGES: 7:1-7:11
1147
TITLE: Editorial: Special issue on Simulation in Transportation
AUTHORS: Harrison, G; Bivona, E; Rossetti, R ;
PUBLISHED: 2020, SOURCE: JOURNAL OF SIMULATION, VOLUME: 14, ISSUE: 4, PAGES: 239-241
1148
TITLE: Emotional Contagion Modeled Through the Empathy Quotient: an Epidemiological Analogy Towards Social Sustainability
AUTHORS: Filipa Ivars Silva; Rosaldo J F Rossetti ;
PUBLISHED: 2020, SOURCE: 2020 IEEE International Smart Cities Conference, ISC2 2020 in IEEE International Smart Cities Conference, ISC2 2020, Piscataway, NJ, USA, September 28 - October 1, 2020, PAGES: 1-8
1149
TITLE: Empirical review of automated analysis tools on 47, 587 Ethereum smart contracts
AUTHORS: Thomas Durieux; João F Ferreira; Rui Abreu ; Pedro Cruz;
PUBLISHED: 2020, SOURCE: ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June - 19 July, 2020, PAGES: 530-541
1150
TITLE: Empirical Review of Automated Analysis Tools on 47,587 Ethereum Smart Contracts
AUTHORS: Durieux, T; Ferreira, JF; Abreu, R ; Cruz, P;
PUBLISHED: 2020, SOURCE: 42nd ACM/IEEE International Conference on Software Engineering - Companion Proceedings (ICSE-Companion) in 2020 ACM/IEEE 42ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2020), PAGES: 530-541
1151
TITLE: Empirical Study of Restarted and Flaky Builds on Travis CI
AUTHORS: Thomas Durieux; Claire Le Goues; Michael Hilton; Rui Abreu ;
PUBLISHED: 2020, SOURCE: 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, PAGES: 254-264
1152
TITLE: Evaluating Animated Transitions between Contiguous Visualizations for Streaming Big Data
AUTHORS: Pereira, T; Moreira, J; Mendes, D ; Goncalves, D;
PUBLISHED: 2020, SOURCE: IEEE Visualization Conference (VIS) in 2020 IEEE VISUALIZATION CONFERENCE - SHORT PAPERS (VIS 2020), PAGES: 161-165
1153
TITLE: Evaluating the Accuracy of Password Strength Meters using Off-The-Shelf Guessing Attacks
AUTHORS: David Pereira; João F Ferreira ; Alexandra Mendes ;
PUBLISHED: 2020, SOURCE: 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, PAGES: 237-242
1154
TITLE: Evaluating the quality of an online course in information literacy applied to engineering students
AUTHORS: Oliveira Ramos, Teresa ; Morais, C ; Ribeiro, C ;
PUBLISHED: 2020, SOURCE: Handbook of Research on Determining the Reliability of Online Assessment and Distance Learning, PAGES: 79-117
1155
TITLE: EvoSuite at the SBST 2020 Tool Competition
AUTHORS: Panichella, A; Campos, J ; Fraser, G;
PUBLISHED: 2020, SOURCE: 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, PAGES: 549-552
1156
TITLE: Examining Temporal Trends and Design Goals of Digital Music Instruments for Education in NIME: A Proposed Taxonomy
AUTHORS: Margarida Pessoa; Cláudio Parauta; Pedro Luís; Isabela Almeida; Gilberto Bernardes ;
PUBLISHED: 2020
1157
TITLE: Executing ARMv8 Loop Traces on Reconfigurable Accelerator via Binary Translation Framework
AUTHORS: Paulino, N ; Ferreira, JC ; Bispo, J ; Cardoso, JMP ;
PUBLISHED: 2020, SOURCE: 30th International Conference on Field-Programmable Logic and Applications (FPL) in 2020 30TH INTERNATIONAL CONFERENCE ON FIELD-PROGRAMMABLE LOGIC AND APPLICATIONS (FPL), PAGES: 367-367
1158
TITLE: Expelliarmus: Semantic-centric virtual machine image management in IaaS Clouds
AUTHORS: Saurabh, N; Benedict, S; Barbosa, JG ; Prodan, R;
PUBLISHED: 2020, SOURCE: JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, VOLUME: 146, PAGES: 107-121
1159
TITLE: Experiences on Teaching Alloy with an Automated Assessment Platform
AUTHORS: Nuno Macedo ; Alcino Cunha ; José Pereira ; Renato Carvalho; Ricardo Silva; Ana C R Paiva ; Miguel Sozinho Ramalho; Daniel Castro Silva;
PUBLISHED: 2020, SOURCE: 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, PAGES: 61-77
1160
TITLE: Experimenting with Liveness in Cloud Infrastructure Management
AUTHORS: Lourenco, P; Dias, JP ; Aguiar, A ; Ferreira, HS ; André Restivo ;
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: 58-82

Results per Page: 20.
Page 58 of 223. Total results: 4456.