Departamento de Engenharia Informática (DEI)
Department of Informatics Engineering
AuthID: I-000-0K9 
Publications Count: 3922
48 Team MembersFilters -> Year: 2025
1421
TÃTULO: Validating the Hybrid ERTMS/ETCS Level 3 Concept with Electrum
AUTORES: Alcino Cunha ; Nuno Macedo ;
PUBLICAÇÃO: 2018, FONTE: 6th International Conference on ABZ Conference on ASM, Alloy, B, TLA, VDM, and Z, ABZ 2018 in Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings, VOLUME: 10817, PÁGINAS: 307-321
AUTORES: Alcino Cunha ; Nuno Macedo ;
PUBLICAÇÃO: 2018, FONTE: 6th International Conference on ABZ Conference on ASM, Alloy, B, TLA, VDM, and Z, ABZ 2018 in Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings, VOLUME: 10817, PÁGINAS: 307-321
1422
TÃTULO: Validation of a metadata application profile domain model
AUTORES: Malta, MC ; Baptista, AA; Bermúdez Sabel, H; González Blanco, E;
PUBLICAÇÃO: 2018, FONTE: 2018 International Conference on Dublin Core and Metadata Applications, DCMI 2018 in Proceedings of the International Conference on Dublin Core and Metadata Applications, VOLUME: 2018-September, PÁGINAS: 65-75
AUTORES: Malta, MC ; Baptista, AA; Bermúdez Sabel, H; González Blanco, E;
PUBLICAÇÃO: 2018, FONTE: 2018 International Conference on Dublin Core and Metadata Applications, DCMI 2018 in Proceedings of the International Conference on Dublin Core and Metadata Applications, VOLUME: 2018-September, PÁGINAS: 65-75
1423
TÃTULO: Variações sobre espaço #6
AUTORES: Filipe Lopes; Gilberto Bernardes ; Clara Cardoso;
PUBLICAÇÃO: 2018, FONTE: 4th International Conference on Live Interfaces: Inspiration, Performance, Emancipation
AUTORES: Filipe Lopes; Gilberto Bernardes ; Clara Cardoso;
PUBLICAÇÃO: 2018, FONTE: 4th International Conference on Live Interfaces: Inspiration, Performance, Emancipation
1424
TÃTULO: VIRTUAL REALITY AND JOURNALISM A gateway to conceptualizing immersive journalism. A gateway to conceptualizing immersive journalism
AUTORES: Reis, AB; Coelho, AFVCC ;
PUBLICAÇÃO: 2018, FONTE: 6th Biennial Future of Journalism Conference in DIGITAL JOURNALISM, VOLUME: 6, NÚMERO: 8, PÁGINAS: 1090-1100
AUTORES: Reis, AB; Coelho, AFVCC ;
PUBLICAÇÃO: 2018, FONTE: 6th Biennial Future of Journalism Conference in DIGITAL JOURNALISM, VOLUME: 6, NÚMERO: 8, PÁGINAS: 1090-1100
1425
TÃTULO: Welcome to Engineering: Gender Equality in Learning and Integration among First Year Students
AUTORES: Manuel Torres ; Sara Ferreira; Sousa, A. ; Luciano Moreira ; Raquel Torres;
PUBLICAÇÃO: 2018, FONTE: INTERNATIONAL JOURNAL OF ENGINEERING EDUCATION, VOLUME: 34, NÚMERO: 1, PÁGINAS: 45-55
AUTORES: Manuel Torres ; Sara Ferreira; Sousa, A. ; Luciano Moreira ; Raquel Torres;
PUBLICAÇÃO: 2018, FONTE: INTERNATIONAL JOURNAL OF ENGINEERING EDUCATION, VOLUME: 34, NÚMERO: 1, PÁGINAS: 45-55
1426
TÃTULO: Why does the orientation change mess up my Android application? From GUI failures to code faults. Why does the orientation change mess up my Android application? From GUI failures to code faults
AUTORES: Domenico Amalfitano; Vincenzo Riccio; Ana C R Paiva ; Anna Rita Fasolino;
PUBLICAÇÃO: 2018, FONTE: SOFTWARE TESTING VERIFICATION & RELIABILITY, VOLUME: 28, NÚMERO: 1
AUTORES: Domenico Amalfitano; Vincenzo Riccio; Ana C R Paiva ; Anna Rita Fasolino;
PUBLICAÇÃO: 2018, FONTE: SOFTWARE TESTING VERIFICATION & RELIABILITY, VOLUME: 28, NÚMERO: 1
1427
TÃTULO: Worst-case Stall Analysis for Multicore Architectures with Two Memory Controllers
AUTORES: Muhammad Ali Awan; Pedro F Souto ; Konstantinos Bletsas; Benny Akesson; Eduardo Tovar ;
PUBLICAÇÃO: 2018, FONTE: 30th Euromicro Conference on Real-Time Systems, ECRTS 2018 in 30th Euromicro Conference on Real-Time Systems, ECRTS 2018, July 3-6, 2018, Barcelona, Spain, VOLUME: 106, PÁGINAS: 2:1-2:22
AUTORES: Muhammad Ali Awan; Pedro F Souto ; Konstantinos Bletsas; Benny Akesson; Eduardo Tovar ;
PUBLICAÇÃO: 2018, FONTE: 30th Euromicro Conference on Real-Time Systems, ECRTS 2018 in 30th Euromicro Conference on Real-Time Systems, ECRTS 2018, July 3-6, 2018, Barcelona, Spain, VOLUME: 106, PÁGINAS: 2:1-2:22
1428
TÃTULO: Worst-case Stall Analysis for Multicore Architectures with Two Memory Controllers (Artifact)
AUTORES: Muhammad Ali Awan; Pedro F Souto ; Konstantinos Bletsas; Benny Akesson; Eduardo Tovar ;
PUBLICAÇÃO: 2018, FONTE: DARTS, VOLUME: 4, NÚMERO: 2, PÁGINAS: 05:1-05:3
AUTORES: Muhammad Ali Awan; Pedro F Souto ; Konstantinos Bletsas; Benny Akesson; Eduardo Tovar ;
PUBLICAÇÃO: 2018, FONTE: DARTS, VOLUME: 4, NÚMERO: 2, PÁGINAS: 05:1-05:3
1429
TÃTULO: A Comparative Cost Study of Fault-Tolerant Techniques for Availability on the Cloud
AUTORES: Altino M Sampaio ; Jorge G Barbosa ;
PUBLICAÇÃO: 2017, FONTE: 8th International Symposium on Ambient Intelligence (ISAmI) in AMBIENT INTELLIGENCE- SOFTWARE AND APPLICATIONS- 8TH INTERNATIONAL SYMPOSIUM ON AMBIENT INTELLIGENCE (ISAMI 2017), VOLUME: 615, PÁGINAS: 263-268
AUTORES: Altino M Sampaio ; Jorge G Barbosa ;
PUBLICAÇÃO: 2017, FONTE: 8th International Symposium on Ambient Intelligence (ISAmI) in AMBIENT INTELLIGENCE- SOFTWARE AND APPLICATIONS- 8TH INTERNATIONAL SYMPOSIUM ON AMBIENT INTELLIGENCE (ISAMI 2017), VOLUME: 615, PÁGINAS: 263-268
1430
TÃTULO: A comparison of research data management platforms: architecture, flexible metadata and interoperability
AUTORES: Ricardo Carvalho Amorim ; Joao Aguiar Castro ; Joao Rocha da Silva ; Cristina Ribeiro ;
PUBLICAÇÃO: 2017, FONTE: UNIVERSAL ACCESS IN THE INFORMATION SOCIETY, VOLUME: 16, NÚMERO: 4, PÁGINAS: 851-862
AUTORES: Ricardo Carvalho Amorim ; Joao Aguiar Castro ; Joao Rocha da Silva ; Cristina Ribeiro ;
PUBLICAÇÃO: 2017, FONTE: UNIVERSAL ACCESS IN THE INFORMATION SOCIETY, VOLUME: 16, NÚMERO: 4, PÁGINAS: 851-862
1431
TÃTULO: A Database of Existing Vulnerabilities to Enable Controlled Testing Studies
AUTORES: Sofia Rei; Rui Abreu ;
PUBLICAÇÃO: 2017, FONTE: International Journal of Secure Software Engineering, VOLUME: 8, NÚMERO: 3, PÁGINAS: 1-23
AUTORES: Sofia Rei; Rui Abreu ;
PUBLICAÇÃO: 2017, FONTE: International Journal of Secure Software Engineering, VOLUME: 8, NÚMERO: 3, PÁGINAS: 1-23
1432
TÃTULO: A Database of Existing Vulnerabilities to Enable Controlled Testing Studies
AUTORES: Sofia Reis; Rui Abreu ;
PUBLICAÇÃO: 2017, FONTE: IJSSE, VOLUME: 8, NÚMERO: 3, PÁGINAS: 1-23
AUTORES: Sofia Reis; Rui Abreu ;
PUBLICAÇÃO: 2017, FONTE: IJSSE, VOLUME: 8, NÚMERO: 3, PÁGINAS: 1-23
1433
TÃTULO: A Feature-Based Classification of Model Repair Approaches
AUTORES: Nuno Macedo ; Jorge Tiago; Alcino Cunha ;
PUBLICAÇÃO: 2017, FONTE: IEEE Trans. Software Eng., VOLUME: 43, NÚMERO: 7, PÁGINAS: 615-640
AUTORES: Nuno Macedo ; Jorge Tiago; Alcino Cunha ;
PUBLICAÇÃO: 2017, FONTE: IEEE Trans. Software Eng., VOLUME: 43, NÚMERO: 7, PÁGINAS: 615-640
1434
TÃTULO: A Generic Agent Architecture for Cooperative Multi-agent Games
AUTORES: Joao Marinheiro; Henrique Lopes Cardoso ;
PUBLICAÇÃO: 2017, FONTE: 9th International Conference on Agents and Artificial Intelligence (ICAART) in ICAART: PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE, VOL 1, VOLUME: 1, PÁGINAS: 107-118
AUTORES: Joao Marinheiro; Henrique Lopes Cardoso ;
PUBLICAÇÃO: 2017, FONTE: 9th International Conference on Agents and Artificial Intelligence (ICAART) in ICAART: PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE, VOL 1, VOLUME: 1, PÁGINAS: 107-118
1435
TÃTULO: A guidance of data stream characterization for meta-learning
AUTORES: Andre Luis D Debiaso Rossi; Bruno Feres de Souza; Carlos Soares ; Andre Carlos Ponce D F de Leon Ferreira de Carvalho;
PUBLICAÇÃO: 2017, FONTE: INTELLIGENT DATA ANALYSIS, VOLUME: 21, NÚMERO: 4, PÁGINAS: 1015-1035
AUTORES: Andre Luis D Debiaso Rossi; Bruno Feres de Souza; Carlos Soares ; Andre Carlos Ponce D F de Leon Ferreira de Carvalho;
PUBLICAÇÃO: 2017, FONTE: INTELLIGENT DATA ANALYSIS, VOLUME: 21, NÚMERO: 4, PÁGINAS: 1015-1035
1436
TÃTULO: A Hands-on Approach on Botnets for Behavior Exploration
AUTORES: João Pedro Dias ; José Pedro Pinto; José Magalhães Cruz ;
PUBLICAÇÃO: 2017, FONTE: 2nd International Conference on Internet of Things, Big Data and Security, IoTBDS 2017 in Proceedings of the 2nd International Conference on Internet of Things, Big Data and Security, IoTBDS 2017, Porto, Portugal, April 24-26, 2017, PÁGINAS: 463-469
AUTORES: João Pedro Dias ; José Pedro Pinto; José Magalhães Cruz ;
PUBLICAÇÃO: 2017, FONTE: 2nd International Conference on Internet of Things, Big Data and Security, IoTBDS 2017 in Proceedings of the 2nd International Conference on Internet of Things, Big Data and Security, IoTBDS 2017, Porto, Portugal, April 24-26, 2017, PÁGINAS: 463-469
1437
TÃTULO: A Hierarchical Harmonic Mixing Method
AUTORES: Gilberto Bernardes ; Matthew E P Davies ; Carlos Guedes ;
PUBLICAÇÃO: 2017, FONTE: 13th international Symposium on Computer Music Multidisciplinary Research, CMMR 2017 in Music Technology with Swing - 13th International Symposium, CMMR 2017, Matosinhos, Portugal, September 25-28, 2017, Revised Selected Papers, VOLUME: 11265, PÁGINAS: 151-170
AUTORES: Gilberto Bernardes ; Matthew E P Davies ; Carlos Guedes ;
PUBLICAÇÃO: 2017, FONTE: 13th international Symposium on Computer Music Multidisciplinary Research, CMMR 2017 in Music Technology with Swing - 13th International Symposium, CMMR 2017, Matosinhos, Portugal, September 25-28, 2017, Revised Selected Papers, VOLUME: 11265, PÁGINAS: 151-170
1438
TÃTULO: A MATLAB subset to C compiler targeting embedded systems. A MATLAB Subset to C Compiler Targeting Embedded Systems
AUTORES: Joao Bispo ; Joao M P Cardoso ;
PUBLICAÇÃO: 2017, FONTE: SOFTWARE-PRACTICE & EXPERIENCE, VOLUME: 47, NÚMERO: 2, PÁGINAS: 249-272
AUTORES: Joao Bispo ; Joao M P Cardoso ;
PUBLICAÇÃO: 2017, FONTE: SOFTWARE-PRACTICE & EXPERIENCE, VOLUME: 47, NÚMERO: 2, PÁGINAS: 249-272
1439
TÃTULO: A nanocommunication system for endocrine diseases
AUTORES: Diogo Caldeira Ferreira; Luis Paulo Reis ; Nuno Vasco Lopes;
PUBLICAÇÃO: 2017, FONTE: CLUSTER COMPUTING-THE JOURNAL OF NETWORKS SOFTWARE TOOLS AND APPLICATIONS, VOLUME: 20, NÚMERO: 1, PÁGINAS: 689-706
AUTORES: Diogo Caldeira Ferreira; Luis Paulo Reis ; Nuno Vasco Lopes;
PUBLICAÇÃO: 2017, FONTE: CLUSTER COMPUTING-THE JOURNAL OF NETWORKS SOFTWARE TOOLS AND APPLICATIONS, VOLUME: 20, NÚMERO: 1, PÁGINAS: 689-706
1440
TÃTULO: A PLM Vision for Circular Economy
AUTORES: de Oliveira, SF; Soares, AL ;
PUBLICAÇÃO: 2017, FONTE: 18th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2017 in COLLABORATION IN A DATA-RICH WORLD, VOLUME: 506, PÁGINAS: 591-602
AUTORES: de Oliveira, SF; Soares, AL ;
PUBLICAÇÃO: 2017, FONTE: 18th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2017 in COLLABORATION IN A DATA-RICH WORLD, VOLUME: 506, PÁGINAS: 591-602