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

AuthID: I-000-0K9


Publications Count: 4625

61 Team Members
Filters -> Year: 2026
1461
TITLE: Validating the Hybrid ERTMS/ETCS Level 3 concept with Electrum
AUTHORS: Alcino Cunha ; Nuno Macedo ;
PUBLISHED: 2020, SOURCE: Int. J. Softw. Tools Technol. Transf., VOLUME: 22, ISSUE: 3, PAGES: 281-296
1462
TITLE: Verification of system-wide safety properties of ROS applications
AUTHORS: Carvalho, R; Cunha, A ; Macedo, N ; Santos, A ;
PUBLISHED: 2020, SOURCE: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) in 2020 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), PAGES: 7249-7254
1463
TITLE: Visual Self-healing Modelling for Reliable Internet-of-Things Systems
AUTHORS: João Pedro Dias ; Bruno Lima ; João Pascoal Faria ; André Restivo ; Hugo Sereno Ferreira ;
PUBLISHED: 2020, SOURCE: ICCS (5), VOLUME: 12141 LNCS, PAGES: 357-370
1464
TITLE: Visual sketching. from image sketches to code
AUTHORS: Marcelo d'Amorim; Rui Abreu ; Carlos Mello;
PUBLISHED: 2020, SOURCE: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: New Ideas and Emerging Results
1465
TITLE: Visual Sketching: From Image Sketches to Code
AUTHORS: d'Amorim, M; Abreu, R ; Mello, C;
PUBLISHED: 2020, SOURCE: 42nd IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER) in 2020 IEEE/ACM 42ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: NEW IDEAS AND EMERGING RESULTS (ICSE-NIER 2020), PAGES: 101-104
1466
TITLE: Visual sketching: From image sketches to code
AUTHORS: D'Amorim, M; Abreu, R ; Mello, C;
PUBLISHED: 2020, SOURCE: 42nd ACM/IEEE International Conference on Software Engineering: New Ideas and Emerging Results, ICSE-NIER 2020 in Proceedings - International Conference on Software Engineering, PAGES: 101-104
1467
TITLE: WarningsFIX: a Recommendation System for Prioritizing Warnings Generated by Automated Static Analyzers
AUTHORS: Luiz Cavamura Júnior; Anderson Belgamo; Vinícius Rafael Lobo de Mendonça; VINCENZI, AURI M. R. ;
PUBLISHED: 2020, SOURCE: 19th Brazilian Symposium on Software Quality, SBQS 2020, São Luís, Brazil, December, 2020, PAGES: 26
1468
TITLE: Welcome Message
AUTHORS: Nuno Lau; Manuel F Silva ; Luís Paulo Reis ; José Cascalho ;
PUBLISHED: 2020, SOURCE: 2020 IEEE International Conference on Autonomous Robot Systems and Competitions, ICARSC 2020
1469
TITLE: Workflow scheduling with Amazon EC2 spot instances: Building reliable compute environments
AUTHORS: Sampaio, AM ; Barbosa, JG ;
PUBLISHED: 2020, SOURCE: International Journal of Machine Learning and Computing, VOLUME: 10, ISSUE: 1, PAGES: 140-147
1470
TITLE: Workshop on Machine Learning in Smart Mobility
AUTHORS: Sara Ferreira ; Henrique Lopes Cardoso ; Rosaldo J F Rossetti ;
PUBLISHED: 2020, SOURCE: IDEAL (2), VOLUME: 12490 LNCS, PAGES: 573-574
1471
TITLE: "This Is Nice but That Is Childish": Teenagers Evaluate Museum-Based Digital Experiences Developed by Cultural Heritage Professionals. Teenagers Evaluate Museum-Based Digital Experiences Developed by Cultural Heritage Professionals
AUTHORS: Cesario, V; Coelho, A ; Nisi, V;
PUBLISHED: 2019, SOURCE: 6th ACM SIGCHI Annual Symposium on Computer-Human Interaction in Play (CHI PLAY) in CHI PLAY'19: EXTENDED ABSTRACTS OF THE ANNUAL SYMPOSIUM ON COMPUTER-HUMAN INTERACTION IN PLAY, PAGES: 159-169
1472
1473
TITLE: A Board Game to Teach Team Composition in Software Startups
AUTHORS: Jorge Melegati ; Eduardo Guerra; Igor Knop; Xiaofeng Wang;
PUBLISHED: 2019, SOURCE: ICSOB, PAGES: 321-335
1474
TITLE: A classification scheme for analyses of messages exchanged in online health forums
AUTHORS: Lopes, CT ; Da Silva, BG;
PUBLISHED: 2019, SOURCE: ISIC Information Behaviour Conference in INFORMATION RESEARCH-AN INTERNATIONAL ELECTRONIC JOURNAL, VOLUME: 24, ISSUE: 1
1475
TITLE: A Comparative Analysis of Unsupervised Language Adaptation Methods
AUTHORS: Gil Rocha ; Henrique Lopes Cardoso ;
PUBLISHED: 2019, SOURCE: DeepLo@EMNLP-IJCNLP, PAGES: 11-21
1476
TITLE: A Conceptual Metamodel to Bridging Requirement Patterns to Test Patterns
AUTHORS: Taciana Novo Kudo; Renato de Freitas Bulcão Neto; VINCENZI, AURI M. R. ;
PUBLISHED: 2019, SOURCE: Proceedings of the XXXIII Brazilian Symposium on Software Engineering, SBES 2019, Salvador, Brazil, September 23-27, 2019., PAGES: 155-160
1477
TITLE: A Digital Platform Architecture to Support Multi-dimensional Surplus Capacity Sharing
AUTHORS: Henrique Diogo Silva ; Antonio Lucas Soares ; Andrea Bettoni; Andrea Barni Francesco; Serena Albertario;
PUBLISHED: 2019, SOURCE: 20th IFIP WG 5.5 Working Conference on Virtual Enterprises (PRO-VE) in COLLABORATIVE NETWORKS AND DIGITAL TRANSFORMATION, VOLUME: 568, PAGES: 323-334
1478
TITLE: A Domain Model for Transparency in Portuguese Cooperatives. The Governance Structure and Accountability Dimensions
AUTHORS: Mariana Curado Malta ; Deolinda Aparício Meira; Ana Maria Bandeira; Melanie Santos;
PUBLISHED: 2019, SOURCE: Modernization and Accountability in the Social Economy Sector - Advances in Finance, Accounting, and Economics, PAGES: 43-56
1479
TITLE: A framework for automatic and parameterizable memoization
AUTHORS: Besnard, L; Pinto, P; Lasri, I; Bispo, J ; Rohou, E; Cardoso, JMP ;
PUBLISHED: 2019, SOURCE: SOFTWAREX, VOLUME: 10, PAGES: 100322
1480
TITLE: A Hierarchically-Labeled Portuguese Hate Speech Dataset
AUTHORS: Paula Fortuna; Joao R Rocha da Silva ; Juan Soler Company; Leo Wanner; Sergio Nunes ;
PUBLISHED: 2019, SOURCE: 3rd Workshop on Abusive Language Online in THIRD WORKSHOP ON ABUSIVE LANGUAGE ONLINE, PAGES: 94-104

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