Department of Informatics Engineering (DEI)
Departamento de Engenharia Informática
AuthID: I-000-0K9 Publications Count: 4442
56 Team MembersFilters -> Year: 2025
1121
TITLE: DCO Analyzer: Local Controllability and Observability Analysis and Enforcement of Distributed Test Scenarios
AUTHORS: Bruno Lima ; João Pascoal Faria ;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2004.04616
AUTHORS: Bruno Lima ; João Pascoal Faria ;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2004.04616
1122
TITLE: DCO Analyzer: Local Controllability and Observability Analysis and Enforcement of Distributed Test Scenarios
AUTHORS: Lima, B ; Faria, JP ;
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: COMPANION PROCEEDINGS (ICSE-COMPANION 2020), PAGES: 97-100
AUTHORS: Lima, B ; Faria, JP ;
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: COMPANION PROCEEDINGS (ICSE-COMPANION 2020), PAGES: 97-100
1123
TITLE: Deep Hashing with Hash-Consistent Large Margin Proxy Embeddings
AUTHORS: Pedro Morgado; Yunsheng Li; Jose Costa Pereira ; Mohammad J Saberian; Nuno Vasconcelos;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2007.13912
AUTHORS: Pedro Morgado; Yunsheng Li; Jose Costa Pereira ; Mohammad J Saberian; Nuno Vasconcelos;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2007.13912
1124
TITLE: Deep Learning for Interictal Epileptiform Discharge Detection from Scalp EEG Recordings
AUTHORS: Catarina Lourenco; Marleen C Tjepkema Cloostermans; Luis F Teixeira ; Michel J A M van Putten;
PUBLISHED: 2020, SOURCE: 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, PAGES: 1984-1997
AUTHORS: Catarina Lourenco; Marleen C Tjepkema Cloostermans; Luis F Teixeira ; Michel J A M van Putten;
PUBLISHED: 2020, SOURCE: 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, PAGES: 1984-1997
1125
TITLE: Deep Learning Models for Segmentation of Mobile-Acquired Dermatological Images
AUTHORS: Catarina Andrade; Luís F Teixeira ; Maria João M Vasconcelos; Luís Rosado;
PUBLISHED: 2020, SOURCE: 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, PAGES: 228-237
AUTHORS: Catarina Andrade; Luís F Teixeira ; Maria João M Vasconcelos; Luís Rosado;
PUBLISHED: 2020, SOURCE: 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, PAGES: 228-237
1126
TITLE: Determining Microservice Boundaries: A Case Study Using Static and Dynamic Software Analysis
AUTHORS: Matias, T; Correia, FF ; Fritzsch, J; Bogner, J; Ferreira, HS ; André Restivo ;
PUBLISHED: 2020, SOURCE: 14th European Conference on Software Architecture (ECSA) in SOFTWARE ARCHITECTURE (ECSA 2020), VOLUME: 12292, PAGES: 315-332
AUTHORS: Matias, T; Correia, FF ; Fritzsch, J; Bogner, J; Ferreira, HS ; André Restivo ;
PUBLISHED: 2020, SOURCE: 14th European Conference on Software Architecture (ECSA) in SOFTWARE ARCHITECTURE (ECSA 2020), VOLUME: 12292, PAGES: 315-332
1127
TITLE: Development of an AlphaBot2 Simulator for RPi Camera and Infrared Sensors
AUTHORS: Rafael, A; Santos, C; Duque, D; Fernandes, S ; Sousa, A ; Reis, LP ;
PUBLISHED: 2020, SOURCE: 4th Iberian Robotics Conference (Robot) - Advances in Robotics in FOURTH IBERIAN ROBOTICS CONFERENCE: ADVANCES IN ROBOTICS, ROBOT 2019, VOL 1, VOLUME: 1092, PAGES: 502-514
AUTHORS: Rafael, A; Santos, C; Duque, D; Fernandes, S ; Sousa, A ; Reis, LP ;
PUBLISHED: 2020, SOURCE: 4th Iberian Robotics Conference (Robot) - Advances in Robotics in FOURTH IBERIAN ROBOTICS CONFERENCE: ADVANCES IN ROBOTICS, ROBOT 2019, VOL 1, VOLUME: 1092, PAGES: 502-514
1128
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
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
1129
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
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
1130
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
AUTHORS: Andrade, T ; Cancela, B ; Gama, J ;
PUBLISHED: 2020, SOURCE: ANNALS OF TELECOMMUNICATIONS, VOLUME: 75, ISSUE: 9-10, PAGES: 505-521
1131
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
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
1132
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
AUTHORS: Jorge Melegati ; Fabio Kon;
PUBLISHED: 2020, SOURCE: Fundamentals of Software Startups - Essential Engineering and Business Aspects, PAGES: 129-143
1133
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
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
1134
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
AUTHORS: Harrison, G; Bivona, E; Rossetti, R ;
PUBLISHED: 2020, SOURCE: JOURNAL OF SIMULATION, VOLUME: 14, ISSUE: 4, PAGES: 239-241
1135
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
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
1136
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
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
1137
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
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
1138
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
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
1139
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
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
1140
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
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