Department of Informatics Engineering (DEI)
Departamento de Engenharia Informática
AuthID: I-000-0K9
Publications Actions
Publications at Authenticus Institutional Profile
An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports.
Publications displayed at an Authenticus institutional profile depend on two parameters:
- Researchers team associated with the institution per year.
- Publications source type.
We define 3 types of publication sources:
- Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team.
- All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team.
- Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed.
External
Internal
No data about last update.
Rules:
This actions updates publications citations of every team member.
Only validated by team members publications are included.
Only the current year team is included in this action.>
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a month!
Only validated by team members publications are included.
Only the current year team is included in this action.>
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a month!
No data about last update.
Rules:
This actions updates all pre print publications of the group/institution.
Only validated by current year team members publications are included.
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a day!
Only validated by current year team members publications are included.
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a day!
Publications Count: 3943
49 Team MembersFilters -> Year: 2024
801
TITLE: DINASORE: A dynamic intelligent reconfiguration tool for cyber-physical production systems
AUTHORS: Pereira, E; Reis, J; 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 CEUR Workshop Proceedings, VOLUME: 2739, PAGES: 63-71
AUTHORS: Pereira, E; Reis, J; 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 CEUR Workshop Proceedings, VOLUME: 2739, PAGES: 63-71
INDEXED IN: 
Scopus
Scopus802
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
803
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
INDEXED IN: 
DBLP
DBLP804
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
805
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
806
TITLE: Empirical review of automated analysis tools on 47, 587 Ethereum smart contracts PDF
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
INDEXED IN: DBLP 
arXiv
DBLP arXiv807
TITLE: Empirical Review of Automated Analysis Tools on 47,587 Ethereum Smart Contracts PDF
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
808
TITLE: Empirical Study of Restarted and Flaky Builds on Travis CI PDF
AUTHORS: Durieux, T; Le Goues, C; Hilton, M; Abreu, R ;
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 Proceedings - 2020 IEEE/ACM 17th International Conference on Mining Software Repositories, MSR 2020, PAGES: 254-264
AUTHORS: Durieux, T; Le Goues, C; Hilton, M; Abreu, R ;
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 Proceedings - 2020 IEEE/ACM 17th International Conference on Mining Software Repositories, MSR 2020, PAGES: 254-264
809
TITLE: Empirical Study of Restarted and Flaky Builds on Travis CI PDF
AUTHORS: Thomas Durieux; Claire Le Goues; Michael Hilton; Rui Abreu ;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2003.11772
AUTHORS: Thomas Durieux; Claire Le Goues; Michael Hilton; Rui Abreu ;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2003.11772
INDEXED IN: DBLP arXiv
DBLP arXiv810
TITLE: Energy Refactorings for Android in the Large and in the Wild
AUTHORS: Marco Couto ; Joao Saraiva ; Joao Paulo Fernandes ;
PUBLISHED: 2020, SOURCE: 27th IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER) in PROCEEDINGS OF THE 2020 IEEE 27TH INTERNATIONAL CONFERENCE ON SOFTWARE ANALYSIS, EVOLUTION, AND REENGINEERING (SANER '20), PAGES: 217-228
AUTHORS: Marco Couto ; Joao Saraiva ; Joao Paulo Fernandes ;
PUBLISHED: 2020, SOURCE: 27th IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER) in PROCEEDINGS OF THE 2020 IEEE 27TH INTERNATIONAL CONFERENCE ON SOFTWARE ANALYSIS, EVOLUTION, AND REENGINEERING (SANER '20), PAGES: 217-228
811
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
812
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
813
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
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
814
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
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
815
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
AUTHORS: Margarida Pessoa; Cláudio Parauta; Pedro Luís; Isabela Almeida; Gilberto Bernardes ;
PUBLISHED: 2020
INDEXED IN: 
Handle
Handle816
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
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
817
TITLE: Expelliarmus: Semantic-centric virtual machine image management in IaaS Clouds Full Text
AUTHORS: Saurabh, N; Benedict, S; Barbosa, JG ; Prodan, R;
PUBLISHED: 2020, SOURCE: JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, VOLUME: 146, PAGES: 107-121
AUTHORS: Saurabh, N; Benedict, S; Barbosa, JG ; Prodan, R;
PUBLISHED: 2020, SOURCE: JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, VOLUME: 146, PAGES: 107-121
818
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
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
819
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
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
820
TITLE: Exploration of FPGA-Based Hardware Designs for QR Decomposition for Solving Stiff ODE Numerical Methods Using the HARP Hybrid Architecture Full Text
AUTHORS: de Souza, CAO; Bispo, J ; Cardoso, JMP ; Diniz, PC ; Marques, E;
PUBLISHED: 2020, SOURCE: ELECTRONICS, VOLUME: 9, ISSUE: 5, PAGES: 843
AUTHORS: de Souza, CAO; Bispo, J ; Cardoso, JMP ; Diniz, PC ; Marques, E;
PUBLISHED: 2020, SOURCE: ELECTRONICS, VOLUME: 9, ISSUE: 5, PAGES: 843
