Department of Informatics Engineering (DEI)
Departamento de Engenharia Informática

AuthID: I-000-0K9


Publications Count: 4625

61 Team Members
Filters -> Year: 2026
1681
TITLE: Simulation under Arbitrary Temporal Logic Constraints
AUTHORS: Julien Brunel; David Chemouil; Alcino Cunha ; Nuno Macedo ;
PUBLISHED: 2019, SOURCE: F-IDE@FM, VOLUME: 310, PAGES: 63-69
1682
TITLE: Software Operational Profile <i>vi</i>s. Test Profile
AUTHORS: Cavamura, L Jr; Morimoto, R; Fabbri, S; VINCENZI, AURI M. R. ;
PUBLISHED: 2019, SOURCE: SBQS: PROCEEDINGS OF THE 18TH BRAZILIAN SYMPOSIUM ON SOFTWARE QUALITY, PAGES: 139-148
1683
TITLE: Static-time Extraction and Analysis of the ROS Computation Graph
AUTHORS: Santos, A ; Cunha, A ; Macedo, N ;
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
1684
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
1685
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; Pinto, P; Rohou, E; Sanna, N; Slaninová, K; Vitali, E; ...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
1686
TITLE: Tactical Level Decision-Making for Platoons of Autonomous Vehicles Using Auction Mechanisms
AUTHORS: Kokkinogenis, Z ; Teixeira, M; d'Orey, PM ; Rossetti, RJF ;
PUBLISHED: 2019, SOURCE: 30th IEEE Intelligent Vehicles Symposium (IV) in 2019 30TH IEEE INTELLIGENT VEHICLES SYMPOSIUM (IV19), VOLUME: 2019-June, PAGES: 1632-1638
1687
TITLE: Team Fernando-Pessa at SemEval-2019 Task 4: Back to Basics in Hyperpartisan News Detection
AUTHORS: André Ferreira Cruz; Gil Rocha ; Rui Sousa Silva ; Henrique Lopes Cardoso ;
PUBLISHED: 2019, SOURCE: SemEval@NAACL-HLT, PAGES: 999-1003
1688
TITLE: Techniques and Analysis for Mixed-criticality Scheduling with Mode-dependent Server Execution Budgets
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
1689
TITLE: Testing Android Incoming Calls
AUTHORS: Paiva, ACR ; Gonçalves, MA; Barros, AR;
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
1690
TITLE: Testing When Mobile Apps Go to Background and Come Back to Foreground
AUTHORS: Paiva, ACR ; Gouveia, JMEP; Elizabeth, JD; Delamaro, ME;
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
1691
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
1692
TITLE: The ANTAREX domain specific language for high performance computing
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; Slaninová, K; Vitali, E; ...More
PUBLISHED: 2019, SOURCE: MICROPROCESSORS AND MICROSYSTEMS, VOLUME: 68, PAGES: 58-73
1693
1694
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
1695
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
1696
TITLE: The Perdigao: Peering into Microscale Details of Mountain Winds
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; 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; ...More
PUBLISHED: 2019, SOURCE: BULLETIN OF THE AMERICAN METEOROLOGICAL SOCIETY, VOLUME: 100, ISSUE: 5, PAGES: 799-820
1697
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
1698
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
1699
TITLE: To the attention of mobile software developers: guess what, test your app!
AUTHORS: Cruz, L; Abreu, R ; Lo, D;
PUBLISHED: 2019, SOURCE: EMPIRICAL SOFTWARE ENGINEERING, VOLUME: 24, ISSUE: 4, PAGES: 2438-2468
1700
TITLE: Towards a Pattern Language for the Masters Student
AUTHORS: Ferreira, HS ; André Restivo ; Sousa, TB ;
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: 34:1-34:12

Results per Page: 20.
Page 85 of 232. Total results: 4625.