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: 3958
49 Team MembersFilters -> Year: 2024
1161
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
1162
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
1163
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
1164
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
DBLP1165
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
1166
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
1167
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
1168
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
1169
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
1170
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
1171
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
1172
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
1173
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
1174
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
1175
TITLE: The iMPAcT Tool for Android Testing
AUTHORS: Ines Coimbra Morgado; Ana C R Paiva ;
PUBLISHED: 2019, SOURCE: Proc. ACM Hum. Comput. Interact., VOLUME: 3, ISSUE: EICS, PAGES: 4:1-4:23
AUTHORS: Ines Coimbra Morgado; Ana C R Paiva ;
PUBLISHED: 2019, SOURCE: Proc. ACM Hum. Comput. Interact., VOLUME: 3, ISSUE: EICS, PAGES: 4:1-4:23
1176
TITLE: The Perdigao: Peering into Microscale Details of Mountain Winds Full Text
AUTHORS: Fernando, HJS; Mann, J; Palma, JMLM ; Lundquist, JK; Barthelmie, RJ; Belo Pereira, M; Brown, WOJ; Chow, FK; Gerz, T; Hocut, CM; Klein, PM; Leo, LS; Matos, JC; Oncley, SP; Pryor, SC; Bariteau, L; Bell, TM; Bodini, N; Carney, MB; Courtney, MS; ...More
PUBLISHED: 2019, SOURCE: BULLETIN OF THE AMERICAN METEOROLOGICAL SOCIETY, VOLUME: 100, ISSUE: 5, PAGES: 799-820
AUTHORS: Fernando, HJS; Mann, J; Palma, JMLM ; Lundquist, JK; Barthelmie, RJ; Belo Pereira, M; Brown, WOJ; Chow, FK; Gerz, T; Hocut, CM; Klein, PM; Leo, LS; Matos, JC; Oncley, SP; Pryor, SC; Bariteau, L; Bell, TM; Bodini, N; Carney, MB; Courtney, MS; ...More
PUBLISHED: 2019, SOURCE: BULLETIN OF THE AMERICAN METEOROLOGICAL SOCIETY, VOLUME: 100, ISSUE: 5, PAGES: 799-820
1177
TITLE: The prediction of traffic flow with regression analysis
AUTHORS: Alam, I; Md. Farid, D; Rossetti, RJF ;
PUBLISHED: 2019, SOURCE: International Conference on Emerging Technologies in Data Mining and Information Security, IEMIS 2018 in Advances in Intelligent Systems and Computing, VOLUME: 813, PAGES: 661-671
AUTHORS: Alam, I; Md. Farid, D; Rossetti, RJF ;
PUBLISHED: 2019, SOURCE: International Conference on Emerging Technologies in Data Mining and Information Security, IEMIS 2018 in Advances in Intelligent Systems and Computing, VOLUME: 813, PAGES: 661-671
1178
TITLE: The Quest for Beneficial AI
AUTHORS: Eugénio Oliveira ;
PUBLISHED: 2019, SOURCE: 23rd IEEE International Conference on Computer Supported Cooperative Work in Design, CSCWD 2019, Porto, Portugal, May 6-8, 2019, PAGES: 2
AUTHORS: Eugénio Oliveira ;
PUBLISHED: 2019, SOURCE: 23rd IEEE International Conference on Computer Supported Cooperative Work in Design, CSCWD 2019, Porto, Portugal, May 6-8, 2019, PAGES: 2
INDEXED IN: DBLP
DBLP1179
TITLE: The User and the Automated Driving: A State-of-the-Art
AUTHORS: Anabela Simões; Liliana Cunha; Sara Ferreira; José Carvalhais; José Pedro Tavares; António Lobo; António Couto ; Daniel Castro Silva;
PUBLISHED: 2019, SOURCE: Advances in Human Factors of Transportation - Proceedings of the AHFE 2019 International Conference on Human Factors in Transportation, Washington, DC, USA, July 24-28, 2019, VOLUME: 964, PAGES: 190-201
AUTHORS: Anabela Simões; Liliana Cunha; Sara Ferreira; José Carvalhais; José Pedro Tavares; António Lobo; António Couto ; Daniel Castro Silva;
PUBLISHED: 2019, SOURCE: Advances in Human Factors of Transportation - Proceedings of the AHFE 2019 International Conference on Human Factors in Transportation, Washington, DC, USA, July 24-28, 2019, VOLUME: 964, PAGES: 190-201
INDEXED IN: DBLP 
CrossRef
DBLP CrossRef