Artificial Intelligence and Computer Science Laboratory (LIACC)
Laboratório de Inteligência Artificial e Ciência de Computadores
AuthID: I-000-18J
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: 2681
84 Team MembersFilters -> Year: 2024
461
TITLE: DCO analyzer. local controllability and observability analysis and enforcement of distributed test scenarios
AUTHORS: Bruno Lima ; João Pascoal Faria ;
PUBLISHED: 2020, SOURCE: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: Companion Proceedings
AUTHORS: Bruno Lima ; João Pascoal Faria ;
PUBLISHED: 2020, SOURCE: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: Companion Proceedings
INDEXED IN: 
CrossRef
CrossRef462
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
INDEXED IN: 
DBLP
DBLP463
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
INDEXED IN: 
Scopus 
WOS DBLP
Scopus WOS DBLP464
TITLE: Deployment of a Smart and Predictive Maintenance System in an Industrial Case Study
AUTHORS: Alves, F; Badikyan, H; Moreira, AHJ; Azevedo, J; Moreira, PM ; Romero, L; Leitao, P;
PUBLISHED: 2020, SOURCE: IEEE 29th International Symposium on Industrial Electronics (ISIE) in 2020 IEEE 29TH INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS (ISIE), PAGES: 493-498
AUTHORS: Alves, F; Badikyan, H; Moreira, AHJ; Azevedo, J; Moreira, PM ; Romero, L; Leitao, P;
PUBLISHED: 2020, SOURCE: IEEE 29th International Symposium on Industrial Electronics (ISIE) in 2020 IEEE 29TH INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS (ISIE), PAGES: 493-498
INDEXED IN: WOS DBLP
WOS DBLP465
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
466
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
467
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
468
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
469
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
470
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
471
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
472
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 arXiv473
TITLE: Empowering Users Through a Privacy Middleware Watchdog
AUTHORS: Sousa, PR ; Rolando Martins ; Antunes, L ;
PUBLISHED: 2020, SOURCE: 17th International Conference on Trust, Privacy and Security in Digital Business (TrustBus) in TRUST, PRIVACY AND SECURITY IN DIGITAL BUSINESS, TRUSTBUS 2020, VOLUME: 12395, PAGES: 156-170
AUTHORS: Sousa, PR ; Rolando Martins ; Antunes, L ;
PUBLISHED: 2020, SOURCE: 17th International Conference on Trust, Privacy and Security in Digital Business (TrustBus) in TRUST, PRIVACY AND SECURITY IN DIGITAL BUSINESS, TRUSTBUS 2020, VOLUME: 12395, PAGES: 156-170
474
TITLE: End User Involvement in the Big Data Based Service Development Process
AUTHORS: Carreira, R ;
PUBLISHED: 2020, SOURCE: International Conference on Marketing and Technologies, ICMarkTech 2019 in Smart Innovation, Systems and Technologies, VOLUME: 167, PAGES: 321-329
AUTHORS: Carreira, R ;
PUBLISHED: 2020, SOURCE: International Conference on Marketing and Technologies, ICMarkTech 2019 in Smart Innovation, Systems and Technologies, VOLUME: 167, PAGES: 321-329
INDEXED IN: Scopus CrossRef
Scopus CrossRef475
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
476
TITLE: EVL: A Typed Higher-order Functional Language for Events
AUTHORS: Alves, S ; Fernandez, M; Ramos, M ;
PUBLISHED: 2020, SOURCE: 15th International Workshop on Logical and Semantic Frameworks, with Applications (LSFA) in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 351, PAGES: 3-23
AUTHORS: Alves, S ; Fernandez, M; Ramos, M ;
PUBLISHED: 2020, SOURCE: 15th International Workshop on Logical and Semantic Frameworks, with Applications (LSFA) in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 351, PAGES: 3-23
477
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
478
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
479
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
480
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
