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: 3948
49 Team MembersFilters -> Year: 2024
1141
TITLE: Self-adaptive Cobots in Cyber-Physical Production Systems
AUTHORS: Roberto Nogueira; Joao Reis; Rui Pinto ; Gil Gonçalves ;
PUBLISHED: 2019, SOURCE: 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) in 2019 24TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), VOLUME: 2019-September, PAGES: 521-528
AUTHORS: Roberto Nogueira; Joao Reis; Rui Pinto ; Gil Gonçalves ;
PUBLISHED: 2019, SOURCE: 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) in 2019 24TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), VOLUME: 2019-September, PAGES: 521-528
INDEXED IN: 
Scopus 
WOS
Scopus WOS1142
TITLE: Self-adaptive Cobots in Cyber-Physical Production Systems
AUTHORS: Roberto Nogueira; João Reis; Rui Pinto ; Gil Gonçalves ;
PUBLISHED: 2019, SOURCE: 24th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2019, Zaragoza, Spain, September 10-13, 2019, PAGES: 521-528
AUTHORS: Roberto Nogueira; João Reis; Rui Pinto ; Gil Gonçalves ;
PUBLISHED: 2019, SOURCE: 24th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2019, Zaragoza, Spain, September 10-13, 2019, PAGES: 521-528
1143
TITLE: Semantics-aware Virtual Machine Image Management in IaaS Clouds
AUTHORS: Saurabh, N; Remmers, J; Kimovski, D; Prodan, R; Barbosa, JG ;
PUBLISHED: 2019, SOURCE: 33rd IEEE International Parallel and Distributed Processing Symposium (IPDPS) in 2019 IEEE 33RD INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM (IPDPS 2019), PAGES: 418-427
AUTHORS: Saurabh, N; Remmers, J; Kimovski, D; Prodan, R; Barbosa, JG ;
PUBLISHED: 2019, SOURCE: 33rd IEEE International Parallel and Distributed Processing Symposium (IPDPS) in 2019 IEEE 33RD INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM (IPDPS 2019), PAGES: 418-427
INDEXED IN: WOS 
DBLP
WOS DBLP1144
TITLE: Semantics-aware Virtual Machine Image Management in IaaS Clouds PDF
AUTHORS: Nishant Saurabh; Julian Remmers; Dragi Kimovski; Radu Prodan; Jorge G Barbosa ;
PUBLISHED: 2019, SOURCE: 33rd IEEE International Parallel and Distributed Processing Symposium, IPDPS 2019 in CoRR, VOLUME: abs/1906.09122, PAGES: 418-427
AUTHORS: Nishant Saurabh; Julian Remmers; Dragi Kimovski; Radu Prodan; Jorge G Barbosa ;
PUBLISHED: 2019, SOURCE: 33rd IEEE International Parallel and Distributed Processing Symposium, IPDPS 2019 in CoRR, VOLUME: abs/1906.09122, PAGES: 418-427
1145
TITLE: Serious games for ageing: a pilot interventional study in a cohort of heterogeneous cognitive impairment
AUTHORS: Marco Simões; Rui Abreu ; Hélio Gonçalves; Ana Rodrigues; Inês Bernardino; Miguel Castelo Branco;
PUBLISHED: 2019, SOURCE: 7th IEEE International Conference on Serious Games and Applications for Health, SeGAH 2019, Kyoto, Japan, August 5-7, 2019, PAGES: 1-8
AUTHORS: Marco Simões; Rui Abreu ; Hélio Gonçalves; Ana Rodrigues; Inês Bernardino; Miguel Castelo Branco;
PUBLISHED: 2019, SOURCE: 7th IEEE International Conference on Serious Games and Applications for Health, SeGAH 2019, Kyoto, Japan, August 5-7, 2019, PAGES: 1-8
INDEXED IN: DBLP
DBLP1146
TITLE: Sharing and Learning Alloy on the Web PDF
AUTHORS: Nuno Macedo ; Alcino Cunha ; José Pereira ; Renato Carvalho; Ricardo Silva; Ana C R Paiva ; Miguel S Ramalho; Daniel Castro Silva;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1907.02275
AUTHORS: Nuno Macedo ; Alcino Cunha ; José Pereira ; Renato Carvalho; Ricardo Silva; Ana C R Paiva ; Miguel S Ramalho; Daniel Castro Silva;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1907.02275
INDEXED IN: DBLP 
arXiv
DBLP arXiv1147
TITLE: Simplifying the Analysis of Software Design Variants with a Colorful Alloy
AUTHORS: Chong Liu ; Nuno Macedo ; Alcino Cunha ;
PUBLISHED: 2019, SOURCE: 5th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2019 in Dependable Software Engineering. Theories, Tools, and Applications - 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings, VOLUME: 11951, PAGES: 38-55
AUTHORS: Chong Liu ; Nuno Macedo ; Alcino Cunha ;
PUBLISHED: 2019, SOURCE: 5th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2019 in Dependable Software Engineering. Theories, Tools, and Applications - 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings, VOLUME: 11951, PAGES: 38-55
1148
TITLE: Simulation under Arbitrary Temporal Logic Constraints PDF Full Text
AUTHORS: Julien Brunel; David Chemouil; Alcino Cunha ; Nuno Macedo ;
PUBLISHED: 2019, SOURCE: 5th Workshop on Formal Integrated Development Environment, F-IDE 2019 in Proceedings Fifth Workshop on Formal Integrated Development Environment, F-IDE@FM 2019, Porto, Portugal, 7th October 2019., VOLUME: 310, PAGES: 63-69
AUTHORS: Julien Brunel; David Chemouil; Alcino Cunha ; Nuno Macedo ;
PUBLISHED: 2019, SOURCE: 5th Workshop on Formal Integrated Development Environment, F-IDE 2019 in Proceedings Fifth Workshop on Formal Integrated Development Environment, F-IDE@FM 2019, Porto, Portugal, 7th October 2019., VOLUME: 310, PAGES: 63-69
1149
TITLE: Static-time Extraction and Analysis of the ROS Computation Graph
AUTHORS: Andre Santos ; Alcino Cunha ; Nuno Macedo ;
PUBLISHED: 2019, SOURCE: 3rd IEEE International Conference on Robotic Computing (IRC) in 2019 THIRD IEEE INTERNATIONAL CONFERENCE ON ROBOTIC COMPUTING (IRC 2019), PAGES: 62-69
AUTHORS: Andre Santos ; Alcino Cunha ; Nuno Macedo ;
PUBLISHED: 2019, SOURCE: 3rd IEEE International Conference on Robotic Computing (IRC) in 2019 THIRD IEEE INTERNATIONAL CONFERENCE ON ROBOTIC COMPUTING (IRC 2019), PAGES: 62-69
1150
TITLE: Stop PropagHate at SemEval-2019 Tasks 5 and 6: Are abusive language classification results reproducible?
AUTHORS: Paula Fortuna; Juan Soler Company; Sérgio Nunes ;
PUBLISHED: 2019, SOURCE: Proceedings of the 13th International Workshop on Semantic Evaluation, SemEval@NAACL-HLT 2019, Minneapolis, MN, USA, June 6-7, 2019, PAGES: 745-752
AUTHORS: Paula Fortuna; Juan Soler Company; Sérgio Nunes ;
PUBLISHED: 2019, SOURCE: Proceedings of the 13th International Workshop on Semantic Evaluation, SemEval@NAACL-HLT 2019, Minneapolis, MN, USA, June 6-7, 2019, PAGES: 745-752
INDEXED IN: DBLP
DBLP1151
TITLE: Supporting the Scale-up of High Performance Application to Pre-Exascale Systems: The ANTAREX Approach
AUTHORS: Silvano, C; Agosta, G; Bartolini, A; Beccari, AR; Benini, L; Besnard, L; Bispo, J ; Cmar, R; Cardoso, JMP ; Cavazzoni, C; Cesarini, D; Cherubin, S; Ficarelli, F; Gadioli, D; Golasowski, M; Lasri, I; Libri, A; Manelfi, C; Martinovic, J; Palermo, G; ...More
PUBLISHED: 2019, SOURCE: 27th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP) in 2019 27TH EUROMICRO INTERNATIONAL CONFERENCE ON PARALLEL, DISTRIBUTED AND NETWORK-BASED PROCESSING (PDP), PAGES: 116-123
AUTHORS: Silvano, C; Agosta, G; Bartolini, A; Beccari, AR; Benini, L; Besnard, L; Bispo, J ; Cmar, R; Cardoso, JMP ; Cavazzoni, C; Cesarini, D; Cherubin, S; Ficarelli, F; Gadioli, D; Golasowski, M; Lasri, I; Libri, A; Manelfi, C; Martinovic, J; Palermo, G; ...More
PUBLISHED: 2019, SOURCE: 27th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP) in 2019 27TH EUROMICRO INTERNATIONAL CONFERENCE ON PARALLEL, DISTRIBUTED AND NETWORK-BASED PROCESSING (PDP), PAGES: 116-123
1152
TITLE: Tactical Level Decision-Making for Platoons of Autonomous Vehicles Using Auction Mechanisms
AUTHORS: Zafeiris Kokkinogenis ; Miguel Teixeira; Pedro M d'Orey ; Rosaldo J F Rossetti ;
PUBLISHED: 2019, SOURCE: 30th IEEE Intelligent Vehicles Symposium (IV) in 2019 30TH IEEE INTELLIGENT VEHICLES SYMPOSIUM (IV19), VOLUME: 2019-June, PAGES: 1632-1638
AUTHORS: Zafeiris Kokkinogenis ; Miguel Teixeira; Pedro M d'Orey ; Rosaldo J F Rossetti ;
PUBLISHED: 2019, SOURCE: 30th IEEE Intelligent Vehicles Symposium (IV) in 2019 30TH IEEE INTELLIGENT VEHICLES SYMPOSIUM (IV19), VOLUME: 2019-June, PAGES: 1632-1638
1153
TITLE: Techniques and Analysis for Mixed-criticality Scheduling with Mode-dependent Server Execution Budgets Full Text
AUTHORS: Awan, MA; Bletsas, KN; Souto, PF ; Akesson, B; Tovar, E ;
PUBLISHED: 2019, SOURCE: Embedded Systems Week / Int Conf on Compilers, Architecture, and Synthesis for Embedded Systems (CASES) / International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS) / Int Conf on Embedded Software (EMSOFT) in ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, VOLUME: 18, ISSUE: 5, PAGES: 109:1-109:23
AUTHORS: Awan, MA; Bletsas, KN; Souto, PF ; Akesson, B; Tovar, E ;
PUBLISHED: 2019, SOURCE: Embedded Systems Week / Int Conf on Compilers, Architecture, and Synthesis for Embedded Systems (CASES) / International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS) / Int Conf on Embedded Software (EMSOFT) in ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, VOLUME: 18, ISSUE: 5, PAGES: 109:1-109:23
1154
TITLE: Testing and Deployment Patterns for the Internet-of-Things
AUTHORS: Joao Pedro Dias ; Hugo Sereno Ferreira ; Tiago Boldt Sousa;
PUBLISHED: 2019, SOURCE: 24th European Conference on Pattern Languages of Programs (EuroPLoP) in PROCEEDINGS OF THE 24TH EUROPEAN CONFERENCE ON PATTERN LANGUAGES OF PROGRAMS (EUROPLOP 2019), PAGES: 16:1-16:8
AUTHORS: Joao Pedro Dias ; Hugo Sereno Ferreira ; Tiago Boldt Sousa;
PUBLISHED: 2019, SOURCE: 24th European Conference on Pattern Languages of Programs (EuroPLoP) in PROCEEDINGS OF THE 24TH EUROPEAN CONFERENCE ON PATTERN LANGUAGES OF PROGRAMS (EUROPLOP 2019), PAGES: 16:1-16:8
1155
TITLE: Testing Android Incoming Calls
AUTHORS: Ana C R Paiva ; Marco A Goncalves; Andre R Barros;
PUBLISHED: 2019, SOURCE: 12th IEEE International Conference on Software Testing, Verification and Validation (ICST) in 2019 IEEE 12TH CONFERENCE ON SOFTWARE TESTING, VALIDATION AND VERIFICATION (ICST 2019), PAGES: 441-448
AUTHORS: Ana C R Paiva ; Marco A Goncalves; Andre R Barros;
PUBLISHED: 2019, SOURCE: 12th IEEE International Conference on Software Testing, Verification and Validation (ICST) in 2019 IEEE 12TH CONFERENCE ON SOFTWARE TESTING, VALIDATION AND VERIFICATION (ICST 2019), PAGES: 441-448
1156
TITLE: Testing When Mobile Apps Go to Background and Come Back to Foreground
AUTHORS: Ana C R Paiva ; Joao M E P Gouveia; Jean David Elizabeth; Marcio E Delamaro;
PUBLISHED: 2019, SOURCE: 12th IEEE International Conference on Software Testing, Verification and Validation (ICST) in 2019 IEEE 12TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW 2019), PAGES: 102-111
AUTHORS: Ana C R Paiva ; Joao M E P Gouveia; Jean David Elizabeth; Marcio E Delamaro;
PUBLISHED: 2019, SOURCE: 12th IEEE International Conference on Software Testing, Verification and Validation (ICST) in 2019 IEEE 12TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW 2019), PAGES: 102-111
1157
TITLE: Text mining applications to facilitate economic and food safety law enforcement
AUTHORS: Magalhães, G; Faria, BM ; Reis, LP ; Cardoso, HL ;
PUBLISHED: 2019, SOURCE: 4th International Conference on Big Data Analytics, Data Mining and Computational Intelligence 2019, BigDaCI 2019 and the 8th International Conference on Theory and Practice in Modern Computing 2019, TPMC 2019 in Multi Conference on Computer Science and Information Systems, MCCSIS 2019 - Proceedings of the International Conferences on Big Data Analytics, Data Mining and Computational Intelligence 2019 and Theory and Practice in Modern Computing 2019, PAGES: 199-203
AUTHORS: Magalhães, G; Faria, BM ; Reis, LP ; Cardoso, HL ;
PUBLISHED: 2019, SOURCE: 4th International Conference on Big Data Analytics, Data Mining and Computational Intelligence 2019, BigDaCI 2019 and the 8th International Conference on Theory and Practice in Modern Computing 2019, TPMC 2019 in Multi Conference on Computer Science and Information Systems, MCCSIS 2019 - Proceedings of the International Conferences on Big Data Analytics, Data Mining and Computational Intelligence 2019 and Theory and Practice in Modern Computing 2019, PAGES: 199-203
1158
TITLE: The ANTAREX domain specific language for high performance computing PDF Full Text
AUTHORS: Silvano, C; Agosta, G; Bartolini, A; Beccari, AR; Benini, L; Besnard, L; Bispo, J ; Cmar, R; Cardoso, JMP ; Cavazzoni, C; Cesarini, D; Cherubin, S; Ficarelli, F; Gadioli, D; Golasowski, M; Libri, A; Martinovic, J; Palermo, G; Pinto, P; Rohou, E; ...More
PUBLISHED: 2019, SOURCE: MICROPROCESSORS AND MICROSYSTEMS, VOLUME: 68, PAGES: 58-73
AUTHORS: Silvano, C; Agosta, G; Bartolini, A; Beccari, AR; Benini, L; Besnard, L; Bispo, J ; Cmar, R; Cardoso, JMP ; Cavazzoni, C; Cesarini, D; Cherubin, S; Ficarelli, F; Gadioli, D; Golasowski, M; Libri, A; Martinovic, J; Palermo, G; Pinto, P; Rohou, E; ...More
PUBLISHED: 2019, SOURCE: MICROPROCESSORS AND MICROSYSTEMS, VOLUME: 68, PAGES: 58-73
1159
TITLE: The Challenges of European Public Health Surveillance Systems - An Overview of the HIV-AIDS Surveillance
AUTHORS: Alexandra Oliveira ; Luís Paulo Reis ; Rita Gaio ;
PUBLISHED: 2019, SOURCE: World Conference on Information Systems and Technologies, WorldCIST 2019 in New Knowledge in Information Systems and Technologies - Volume 3, VOLUME: 932, PAGES: 513-523
AUTHORS: Alexandra Oliveira ; Luís Paulo Reis ; Rita Gaio ;
PUBLISHED: 2019, SOURCE: World Conference on Information Systems and Technologies, WorldCIST 2019 in New Knowledge in Information Systems and Technologies - Volume 3, VOLUME: 932, PAGES: 513-523
1160
TITLE: The Feeling of Presence: An Immersive Perspective. An Immersive Perspective
AUTHORS: Rodrigo Assaf; Rui Rodrigues ;
PUBLISHED: 2019, SOURCE: 9th International Conference on Digital and Interactive Arts: Digital Media Art Ecosystems, ARTECH 2019 in ARTECH 2019: 9th International Conference on Digital and Interactive Arts, Braga, Portugal, October 23-25, 2019, PAGES: 40:1-40:6
AUTHORS: Rodrigo Assaf; Rui Rodrigues ;
PUBLISHED: 2019, SOURCE: 9th International Conference on Digital and Interactive Arts: Digital Media Art Ecosystems, ARTECH 2019 in ARTECH 2019: 9th International Conference on Digital and Interactive Arts, Braga, Portugal, October 23-25, 2019, PAGES: 40:1-40:6
