Departamento de Engenharia Informática (DEI)
Department of Informatics Engineering
AuthID: I-000-0K9 
Publications Count: 4461
56 Team MembersFilters -> Year: 2025
1541
TÃTULO: Simulation under Arbitrary Temporal Logic Constraints
AUTORES: Julien Brunel; David Chemouil; Alcino Cunha ; Nuno Macedo ;
PUBLICAÇÃO: 2019, FONTE: 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, PÁGINAS: 63-69
AUTORES: Julien Brunel; David Chemouil; Alcino Cunha ; Nuno Macedo ;
PUBLICAÇÃO: 2019, FONTE: 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, PÁGINAS: 63-69
1542
TÃTULO: Software Operational Profile <i>vi</i>s. Test Profile
AUTORES: Cavamura, L Jr; Morimoto, R; Fabbri, S; VINCENZI, AURI M. R. ;
PUBLICAÇÃO: 2019, FONTE: SBQS: PROCEEDINGS OF THE 18TH BRAZILIAN SYMPOSIUM ON SOFTWARE QUALITY, PÁGINAS: 139-148
AUTORES: Cavamura, L Jr; Morimoto, R; Fabbri, S; VINCENZI, AURI M. R. ;
PUBLICAÇÃO: 2019, FONTE: SBQS: PROCEEDINGS OF THE 18TH BRAZILIAN SYMPOSIUM ON SOFTWARE QUALITY, PÁGINAS: 139-148
1543
TÃTULO: Software Operational Profile vs. Test Profile
AUTORES: Luiz Cavamura Júnior; Ricardo Morimoto; Sandra C P F Fabbri; VINCENZI, AURI M. R. ;
PUBLICAÇÃO: 2019, FONTE: Proceedings of the XVIII Brazilian Symposium on Software Quality, SBQS 2019, Fortaleza, Brazil, October 28 - November 1, 2019., PÁGINAS: 139-148
AUTORES: Luiz Cavamura Júnior; Ricardo Morimoto; Sandra C P F Fabbri; VINCENZI, AURI M. R. ;
PUBLICAÇÃO: 2019, FONTE: Proceedings of the XVIII Brazilian Symposium on Software Quality, SBQS 2019, Fortaleza, Brazil, October 28 - November 1, 2019., PÁGINAS: 139-148
1544
TÃTULO: Static-time Extraction and Analysis of the ROS Computation Graph
AUTORES: Andre Santos ; Alcino Cunha ; Nuno Macedo ;
PUBLICAÇÃO: 2019, FONTE: 3rd IEEE International Conference on Robotic Computing (IRC) in 2019 THIRD IEEE INTERNATIONAL CONFERENCE ON ROBOTIC COMPUTING (IRC 2019), PÁGINAS: 62-69
AUTORES: Andre Santos ; Alcino Cunha ; Nuno Macedo ;
PUBLICAÇÃO: 2019, FONTE: 3rd IEEE International Conference on Robotic Computing (IRC) in 2019 THIRD IEEE INTERNATIONAL CONFERENCE ON ROBOTIC COMPUTING (IRC 2019), PÁGINAS: 62-69
1545
TÃTULO: Stop PropagHate at SemEval-2019 Tasks 5 and 6: Are abusive language classification results reproducible?
AUTORES: Paula Fortuna; Juan Soler Company; Sérgio Nunes ;
PUBLICAÇÃO: 2019, FONTE: Proceedings of the 13th International Workshop on Semantic Evaluation, SemEval@NAACL-HLT 2019, Minneapolis, MN, USA, June 6-7, 2019, PÁGINAS: 745-752
AUTORES: Paula Fortuna; Juan Soler Company; Sérgio Nunes ;
PUBLICAÇÃO: 2019, FONTE: Proceedings of the 13th International Workshop on Semantic Evaluation, SemEval@NAACL-HLT 2019, Minneapolis, MN, USA, June 6-7, 2019, PÁGINAS: 745-752
1546
TÃTULO: Supporting the Scale-up of High Performance Application to Pre-Exascale Systems: The ANTAREX Approach
AUTORES: 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; Pinto, P; Rohou, E; Sanna, N; Slaninova, K; Vitali, E; ...Mais
PUBLICAÇÃO: 2019, FONTE: 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), PÁGINAS: 116-123
AUTORES: 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; Pinto, P; Rohou, E; Sanna, N; Slaninova, K; Vitali, E; ...Mais
PUBLICAÇÃO: 2019, FONTE: 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), PÁGINAS: 116-123
1547
TÃTULO: Tactical Level Decision-Making for Platoons of Autonomous Vehicles Using Auction Mechanisms
AUTORES: Zafeiris Kokkinogenis ; Miguel Teixeira; Pedro M d'Orey ; Rosaldo J F Rossetti ;
PUBLICAÇÃO: 2019, FONTE: 30th IEEE Intelligent Vehicles Symposium (IV) in 2019 30TH IEEE INTELLIGENT VEHICLES SYMPOSIUM (IV19), VOLUME: 2019-June, PÁGINAS: 1632-1638
AUTORES: Zafeiris Kokkinogenis ; Miguel Teixeira; Pedro M d'Orey ; Rosaldo J F Rossetti ;
PUBLICAÇÃO: 2019, FONTE: 30th IEEE Intelligent Vehicles Symposium (IV) in 2019 30TH IEEE INTELLIGENT VEHICLES SYMPOSIUM (IV19), VOLUME: 2019-June, PÁGINAS: 1632-1638
1548
TÃTULO: Team Fernando-Pessa at SemEval-2019 Task 4: Back to Basics in Hyperpartisan News Detection
AUTORES: André Ferreira Cruz; Gil Rocha ; Rui Sousa Silva; Henrique Lopes Cardoso ;
PUBLICAÇÃO: 2019, FONTE: Proceedings of the 13th International Workshop on Semantic Evaluation, SemEval@NAACL-HLT 2019, Minneapolis, MN, USA, June 6-7, 2019, PÁGINAS: 999-1003
AUTORES: André Ferreira Cruz; Gil Rocha ; Rui Sousa Silva; Henrique Lopes Cardoso ;
PUBLICAÇÃO: 2019, FONTE: Proceedings of the 13th International Workshop on Semantic Evaluation, SemEval@NAACL-HLT 2019, Minneapolis, MN, USA, June 6-7, 2019, PÁGINAS: 999-1003
1549
TÃTULO: Team Fernando-Pessa at SemEval-2019 Task 4: Back to Basics in Hyperpartisan News Detection
AUTORES: André Cruz; Gil Rocha; Rui Sousa-Silva ; Henrique Lopes Cardoso ;
PUBLICAÇÃO: 2019, FONTE: Proceedings of the 13th International Workshop on Semantic Evaluation
AUTORES: André Cruz; Gil Rocha; Rui Sousa-Silva ; Henrique Lopes Cardoso ;
PUBLICAÇÃO: 2019, FONTE: Proceedings of the 13th International Workshop on Semantic Evaluation
1550
TÃTULO: Techniques and Analysis for Mixed-criticality Scheduling with Mode-dependent Server Execution Budgets
AUTORES: Awan, MA; Bletsas, KN; Souto, PF ; Akesson, B; Tovar, E ;
PUBLICAÇÃO: 2019, FONTE: 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, NÚMERO: 5, PÁGINAS: 109:1-109:23
AUTORES: Awan, MA; Bletsas, KN; Souto, PF ; Akesson, B; Tovar, E ;
PUBLICAÇÃO: 2019, FONTE: 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, NÚMERO: 5, PÁGINAS: 109:1-109:23
1551
TÃTULO: Testing Android Incoming Calls
AUTORES: Ana C R Paiva ; Marco A Goncalves; Andre R Barros;
PUBLICAÇÃO: 2019, FONTE: 12th IEEE International Conference on Software Testing, Verification and Validation (ICST) in 2019 IEEE 12TH CONFERENCE ON SOFTWARE TESTING, VALIDATION AND VERIFICATION (ICST 2019), PÁGINAS: 441-448
AUTORES: Ana C R Paiva ; Marco A Goncalves; Andre R Barros;
PUBLICAÇÃO: 2019, FONTE: 12th IEEE International Conference on Software Testing, Verification and Validation (ICST) in 2019 IEEE 12TH CONFERENCE ON SOFTWARE TESTING, VALIDATION AND VERIFICATION (ICST 2019), PÁGINAS: 441-448
1552
TÃTULO: Testing When Mobile Apps Go to Background and Come Back to Foreground
AUTORES: Ana C R Paiva ; Joao M E P Gouveia; Jean David Elizabeth; Marcio E Delamaro;
PUBLICAÇÃO: 2019, FONTE: 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), PÁGINAS: 102-111
AUTORES: Ana C R Paiva ; Joao M E P Gouveia; Jean David Elizabeth; Marcio E Delamaro;
PUBLICAÇÃO: 2019, FONTE: 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), PÁGINAS: 102-111
1553
TÃTULO: Text mining applications to facilitate economic and food safety law enforcement
AUTORES: Magalhães, G; Faria, BM ; Reis, LP ; Cardoso, HL ;
PUBLICAÇÃO: 2019, FONTE: 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, PÁGINAS: 199-203
AUTORES: Magalhães, G; Faria, BM ; Reis, LP ; Cardoso, HL ;
PUBLICAÇÃO: 2019, FONTE: 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, PÁGINAS: 199-203
1554
TÃTULO: The ANTAREX domain specific language for high performance computing
AUTORES: 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; Slaninova, K; Vitali, E; ...Mais
PUBLICAÇÃO: 2019, FONTE: MICROPROCESSORS AND MICROSYSTEMS, VOLUME: 68, PÁGINAS: 58-73
AUTORES: 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; Slaninova, K; Vitali, E; ...Mais
PUBLICAÇÃO: 2019, FONTE: MICROPROCESSORS AND MICROSYSTEMS, VOLUME: 68, PÁGINAS: 58-73
1555
TÃTULO: The Challenges of European Public Health Surveillance Systems - An Overview of the HIV-AIDS Surveillance
AUTORES: Alexandra Oliveira ; Luís Paulo Reis ; Rita Gaio ;
PUBLICAÇÃO: 2019, FONTE: World Conference on Information Systems and Technologies, WorldCIST 2019 in New Knowledge in Information Systems and Technologies - Volume 3, VOLUME: 932, PÁGINAS: 513-523
AUTORES: Alexandra Oliveira ; Luís Paulo Reis ; Rita Gaio ;
PUBLICAÇÃO: 2019, FONTE: World Conference on Information Systems and Technologies, WorldCIST 2019 in New Knowledge in Information Systems and Technologies - Volume 3, VOLUME: 932, PÁGINAS: 513-523
1556
TÃTULO: The Feeling of Presence: An Immersive Perspective. An Immersive Perspective
AUTORES: Rodrigo Assaf; Rui Rodrigues ;
PUBLICAÇÃO: 2019, FONTE: 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, PÁGINAS: 40:1-40:6
AUTORES: Rodrigo Assaf; Rui Rodrigues ;
PUBLICAÇÃO: 2019, FONTE: 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, PÁGINAS: 40:1-40:6
1557
TÃTULO: The iMPAcT Tool for Android Testing
AUTORES: Ines Coimbra Morgado; Ana C R Paiva ;
PUBLICAÇÃO: 2019, FONTE: Proc. ACM Hum. Comput. Interact., VOLUME: 3, NÚMERO: EICS, PÁGINAS: 4:1-4:23
AUTORES: Ines Coimbra Morgado; Ana C R Paiva ;
PUBLICAÇÃO: 2019, FONTE: Proc. ACM Hum. Comput. Interact., VOLUME: 3, NÚMERO: EICS, PÁGINAS: 4:1-4:23
1558
TÃTULO: The Perdigao: Peering into Microscale Details of Mountain Winds
AUTORES: 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; Creegan, ED; Dimitrova, R; Gomes, S; Hagen, M; Hyde, JO; Kigle, S; Krishnamurthy, R; Lopes, JC ; Mazzaro, L; Neher, JMT; Menke, R; Murphy, P; Oswald, L; Otarola Bustos, S; Pattantyus, AK; Veiga Rodrigues, CV; Schady, A; Sirin, N; Spuler, S; Svensson, E; Tomaszewski, J; Turner, DD; van Veen, L; Vasiljevic, N; Vassallo, D; Voss, S; Wildmann, N; Wang, Y; ...Mais
PUBLICAÇÃO: 2019, FONTE: BULLETIN OF THE AMERICAN METEOROLOGICAL SOCIETY, VOLUME: 100, NÚMERO: 5, PÁGINAS: 799-820
AUTORES: 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; Creegan, ED; Dimitrova, R; Gomes, S; Hagen, M; Hyde, JO; Kigle, S; Krishnamurthy, R; Lopes, JC ; Mazzaro, L; Neher, JMT; Menke, R; Murphy, P; Oswald, L; Otarola Bustos, S; Pattantyus, AK; Veiga Rodrigues, CV; Schady, A; Sirin, N; Spuler, S; Svensson, E; Tomaszewski, J; Turner, DD; van Veen, L; Vasiljevic, N; Vassallo, D; Voss, S; Wildmann, N; Wang, Y; ...Mais
PUBLICAÇÃO: 2019, FONTE: BULLETIN OF THE AMERICAN METEOROLOGICAL SOCIETY, VOLUME: 100, NÚMERO: 5, PÁGINAS: 799-820
1559
TÃTULO: The prediction of traffic flow with regression analysis
AUTORES: Alam, I; Md. Farid, D; Rossetti, RJF ;
PUBLICAÇÃO: 2019, FONTE: International Conference on Emerging Technologies in Data Mining and Information Security, IEMIS 2018 in Advances in Intelligent Systems and Computing, VOLUME: 813, PÁGINAS: 661-671
AUTORES: Alam, I; Md. Farid, D; Rossetti, RJF ;
PUBLICAÇÃO: 2019, FONTE: International Conference on Emerging Technologies in Data Mining and Information Security, IEMIS 2018 in Advances in Intelligent Systems and Computing, VOLUME: 813, PÁGINAS: 661-671
1560
TÃTULO: The Quest for Beneficial AI
AUTORES: Eugénio Oliveira ;
PUBLICAÇÃO: 2019, FONTE: 23rd IEEE International Conference on Computer Supported Cooperative Work in Design, CSCWD 2019, Porto, Portugal, May 6-8, 2019, PÁGINAS: 2
AUTORES: Eugénio Oliveira ;
PUBLICAÇÃO: 2019, FONTE: 23rd IEEE International Conference on Computer Supported Cooperative Work in Design, CSCWD 2019, Porto, Portugal, May 6-8, 2019, PÁGINAS: 2