Departamento de Engenharia Informática (DEI)
Department of Informatics Engineering
AuthID: I-000-0K9 Publications Count: 4483
56 Team MembersFilters -> Year: 2025
1161
TÃTULO: DCO analyzer. local controllability and observability analysis and enforcement of distributed test scenarios
AUTORES: Bruno Lima ; João Pascoal Faria ;
PUBLICAÇÃO: 2020, FONTE: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: Companion Proceedings
AUTORES: Bruno Lima ; João Pascoal Faria ;
PUBLICAÇÃO: 2020, FONTE: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: Companion Proceedings
1162
TÃTULO: DCO Analyzer: Local Controllability and Observability Analysis and Enforcement of Distributed Test Scenarios
AUTORES: Bruno Lima ; João Pascoal Faria ;
PUBLICAÇÃO: 2020, FONTE: CoRR, VOLUME: abs/2004.04616
AUTORES: Bruno Lima ; João Pascoal Faria ;
PUBLICAÇÃO: 2020, FONTE: CoRR, VOLUME: abs/2004.04616
1163
TÃTULO: DCO Analyzer: Local Controllability and Observability Analysis and Enforcement of Distributed Test Scenarios
AUTORES: Lima, B ; Faria, JP ;
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: COMPANION PROCEEDINGS (ICSE-COMPANION 2020), PÁGINAS: 97-100
AUTORES: Lima, B ; Faria, JP ;
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: COMPANION PROCEEDINGS (ICSE-COMPANION 2020), PÁGINAS: 97-100
1164
TÃTULO: Deep Hashing with Hash-Consistent Large Margin Proxy Embeddings
AUTORES: Pedro Morgado; Yunsheng Li; Jose Costa Pereira ; Mohammad J Saberian; Nuno Vasconcelos;
PUBLICAÇÃO: 2020, FONTE: CoRR, VOLUME: abs/2007.13912
AUTORES: Pedro Morgado; Yunsheng Li; Jose Costa Pereira ; Mohammad J Saberian; Nuno Vasconcelos;
PUBLICAÇÃO: 2020, FONTE: CoRR, VOLUME: abs/2007.13912
1165
TÃTULO: Deep Learning for Interictal Epileptiform Discharge Detection from Scalp EEG Recordings
AUTORES: Catarina Lourenco; Marleen C Tjepkema Cloostermans; Luis F Teixeira ; Michel J A M van Putten;
PUBLICAÇÃO: 2020, FONTE: 15th Mediterranean Conference on Medical and Biological Engineering and Computing (MEDICON) in XV MEDITERRANEAN CONFERENCE ON MEDICAL AND BIOLOGICAL ENGINEERING AND COMPUTING - MEDICON 2019, VOLUME: 76, PÁGINAS: 1984-1997
AUTORES: Catarina Lourenco; Marleen C Tjepkema Cloostermans; Luis F Teixeira ; Michel J A M van Putten;
PUBLICAÇÃO: 2020, FONTE: 15th Mediterranean Conference on Medical and Biological Engineering and Computing (MEDICON) in XV MEDITERRANEAN CONFERENCE ON MEDICAL AND BIOLOGICAL ENGINEERING AND COMPUTING - MEDICON 2019, VOLUME: 76, PÁGINAS: 1984-1997
1166
TÃTULO: Deep Learning Models for Segmentation of Mobile-Acquired Dermatological Images
AUTORES: Catarina Andrade; Luís F Teixeira ; Maria João M Vasconcelos; Luís Rosado;
PUBLICAÇÃO: 2020, FONTE: 17th International Conference on Image Analysis and Recognition, ICIAR 2020 in Image Analysis and Recognition - 17th International Conference, ICIAR 2020, Póvoa de Varzim, Portugal, June 24-26, 2020, Proceedings, Part II, VOLUME: 12132, PÁGINAS: 228-237
AUTORES: Catarina Andrade; Luís F Teixeira ; Maria João M Vasconcelos; Luís Rosado;
PUBLICAÇÃO: 2020, FONTE: 17th International Conference on Image Analysis and Recognition, ICIAR 2020 in Image Analysis and Recognition - 17th International Conference, ICIAR 2020, Póvoa de Varzim, Portugal, June 24-26, 2020, Proceedings, Part II, VOLUME: 12132, PÁGINAS: 228-237
1167
TÃTULO: Determining Microservice Boundaries: A Case Study Using Static and Dynamic Software Analysis
AUTORES: Matias, T; Correia, FF ; Fritzsch, J; Bogner, J; Ferreira, HS ; André Restivo ;
PUBLICAÇÃO: 2020, FONTE: 14th European Conference on Software Architecture (ECSA) in SOFTWARE ARCHITECTURE (ECSA 2020), VOLUME: 12292, PÁGINAS: 315-332
AUTORES: Matias, T; Correia, FF ; Fritzsch, J; Bogner, J; Ferreira, HS ; André Restivo ;
PUBLICAÇÃO: 2020, FONTE: 14th European Conference on Software Architecture (ECSA) in SOFTWARE ARCHITECTURE (ECSA 2020), VOLUME: 12292, PÁGINAS: 315-332
1168
TÃTULO: Development of an AlphaBot2 Simulator for RPi Camera and Infrared Sensors
AUTORES: Rafael, A; Santos, C; Duque, D; Fernandes, S ; Sousa, A ; Reis, LP ;
PUBLICAÇÃO: 2020, FONTE: 4th Iberian Robotics Conference (Robot) - Advances in Robotics in FOURTH IBERIAN ROBOTICS CONFERENCE: ADVANCES IN ROBOTICS, ROBOT 2019, VOL 1, VOLUME: 1092, PÁGINAS: 502-514
AUTORES: Rafael, A; Santos, C; Duque, D; Fernandes, S ; Sousa, A ; Reis, LP ;
PUBLICAÇÃO: 2020, FONTE: 4th Iberian Robotics Conference (Robot) - Advances in Robotics in FOURTH IBERIAN ROBOTICS CONFERENCE: ADVANCES IN ROBOTICS, ROBOT 2019, VOL 1, VOLUME: 1092, PÁGINAS: 502-514
1169
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
1170
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
1171
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
1172
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
1173
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
1174
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
1175
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
1176
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
1177
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
1178
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
1179
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
1180
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
