Departamento de Engenharia Informática (DEI)
Department of Informatics Engineering
AuthID: I-000-0K9 Publications Count: 3922
48 Team MembersFilters -> Year: 2025
1681
TÃTULO: A Framework for Automatic Debugging of Functional and Degradation Failures
AUTORES: Cardoso, N ; Abreu, R ; Feldman, A; de Kleer, J;
PUBLICAÇÃO: 2016, FONTE: 22nd European Conference on Artificial Intelligence (ECAI) in ECAI 2016: 22ND EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLUME: 285, PÁGINAS: 569-576
AUTORES: Cardoso, N ; Abreu, R ; Feldman, A; de Kleer, J;
PUBLICAÇÃO: 2016, FONTE: 22nd European Conference on Artificial Intelligence (ECAI) in ECAI 2016: 22ND EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLUME: 285, PÁGINAS: 569-576
1682
TÃTULO: A Framework for Quality Assessment of ROS Repositories
AUTORES: Andre Santos ; Alcino Cunha ; Nuno Macedo ; Claudio Lourenco ;
PUBLICAÇÃO: 2016, FONTE: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) in 2016 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS 2016), VOLUME: 2016-November, PÁGINAS: 4491-4496
AUTORES: Andre Santos ; Alcino Cunha ; Nuno Macedo ; Claudio Lourenco ;
PUBLICAÇÃO: 2016, FONTE: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) in 2016 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS 2016), VOLUME: 2016-November, PÁGINAS: 4491-4496
1683
TÃTULO: A Framework to Reduce the Cost of Monitoring and Diagnosis Using Game Theory
AUTORES: Rui Abreu ; César Andrés; Ana R Cavalli;
PUBLICAÇÃO: 2016, FONTE: 11th International Conference on Risks and Security of Internet and Systems, CRISIS 2016 in Risks and Security of Internet and Systems - 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers, VOLUME: 10158, PÁGINAS: 169-182
AUTORES: Rui Abreu ; César Andrés; Ana R Cavalli;
PUBLICAÇÃO: 2016, FONTE: 11th International Conference on Risks and Security of Internet and Systems, CRISIS 2016 in Risks and Security of Internet and Systems - 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers, VOLUME: 10158, PÁGINAS: 169-182
1684
TÃTULO: A Graph-Based Iterative Compiler Pass Selection and Phase Ordering Approach
AUTORES: Ricardo Nobre ; Luiz G A Martins; Joao M P Cardoso ;
PUBLICAÇÃO: 2016, FONTE: 17th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems, LCTES 2016 in ACM SIGPLAN NOTICES, VOLUME: 51, NÚMERO: 5, PÁGINAS: 21-30
AUTORES: Ricardo Nobre ; Luiz G A Martins; Joao M P Cardoso ;
PUBLICAÇÃO: 2016, FONTE: 17th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems, LCTES 2016 in ACM SIGPLAN NOTICES, VOLUME: 51, NÚMERO: 5, PÁGINAS: 21-30
1685
TÃTULO: A model for analyzing performance problems and root causes in the personal software process. A MODEL FOR ANALYZING PERFORMANCE PROBLEMS AND ROOT CAUSES IN THE PSP
AUTORES: Raza, M ; Faria, JP ;
PUBLICAÇÃO: 2016, FONTE: JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS, VOLUME: 28, NÚMERO: 4, PÁGINAS: 254-271
AUTORES: Raza, M ; Faria, JP ;
PUBLICAÇÃO: 2016, FONTE: JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS, VOLUME: 28, NÚMERO: 4, PÁGINAS: 254-271
1686
TÃTULO: A Model-Based Approach for Product Testing and Certification in Digital Ecosystems
AUTORES: Bruno Lima ; Joao Pascoal Faria ;
PUBLICAÇÃO: 2016, FONTE: 9th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) in 2016 IEEE NINTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW), PÁGINAS: 199-208
AUTORES: Bruno Lima ; Joao Pascoal Faria ;
PUBLICAÇÃO: 2016, FONTE: 9th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) in 2016 IEEE NINTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW), PÁGINAS: 199-208
1687
TÃTULO: A multi-level tonal interval space for modelling pitch relatedness and musical consonance
AUTORES: Bernardes, G ; Cocharro, D ; Caetano, M ; Guedes, C ; Davies, MEP ;
PUBLICAÇÃO: 2016, FONTE: JOURNAL OF NEW MUSIC RESEARCH, VOLUME: 45, NÚMERO: 4, PÁGINAS: 281-294
AUTORES: Bernardes, G ; Cocharro, D ; Caetano, M ; Guedes, C ; Davies, MEP ;
PUBLICAÇÃO: 2016, FONTE: JOURNAL OF NEW MUSIC RESEARCH, VOLUME: 45, NÚMERO: 4, PÁGINAS: 281-294
1688
TÃTULO: A Pipelined Multi-softcore Approach for the HOG Algorithm
AUTORES: Jose Arnaldo M Mascagni de Holanda; Joao Manuel P Paiva Cardoso ; Eduardo Marques;
PUBLICAÇÃO: 2016, FONTE: Conference on Design and Architectures for Signal and Image Processing (DASIP) in PROCEEDINGS OF THE 2016 CONFERENCE ON DESIGN AND ARCHITECTURES FOR SIGNAL & IMAGE PROCESSING, PÁGINAS: 146-153
AUTORES: Jose Arnaldo M Mascagni de Holanda; Joao Manuel P Paiva Cardoso ; Eduardo Marques;
PUBLICAÇÃO: 2016, FONTE: Conference on Design and Architectures for Signal and Image Processing (DASIP) in PROCEEDINGS OF THE 2016 CONFERENCE ON DESIGN AND ARCHITECTURES FOR SIGNAL & IMAGE PROCESSING, PÁGINAS: 146-153
1689
TÃTULO: A Requirements-to-Implementation Mapping Tool for Requirements Traceability
AUTORES: Jorge Esparteiro Garcia ; Ana C R Paiva ;
PUBLICAÇÃO: 2016, FONTE: JSW, VOLUME: 11, NÚMERO: 2, PÁGINAS: 193-200
AUTORES: Jorge Esparteiro Garcia ; Ana C R Paiva ;
PUBLICAÇÃO: 2016, FONTE: JSW, VOLUME: 11, NÚMERO: 2, PÁGINAS: 193-200
1690
TÃTULO: A review of scalability and topological stability issues in IEEE 802.11s wireless mesh networks deployments. SCALABILITY AND TOPOLOGICAL STABILITY ISSUES IN 802.11S DEPLOYMENTS
AUTORES: Sampaio, S ; Souto, P ; Vasques, F ;
PUBLICAÇÃO: 2016, FONTE: INTERNATIONAL JOURNAL OF COMMUNICATION SYSTEMS, VOLUME: 29, NÚMERO: 4, PÁGINAS: 671-693
AUTORES: Sampaio, S ; Souto, P ; Vasques, F ;
PUBLICAÇÃO: 2016, FONTE: INTERNATIONAL JOURNAL OF COMMUNICATION SYSTEMS, VOLUME: 29, NÚMERO: 4, PÁGINAS: 671-693
1691
TÃTULO: A Special-Purpose Language for Implementing Pipelined FPGA-Based Accelerators
AUTORES: Cristiano B de Oliveira; Ricardo Menotti; Joao M P Cardoso ; Eduardo Marques;
PUBLICAÇÃO: 2016, FONTE: Forum on Specification and Design Languages (FDL) in LANGUAGES, DESIGN METHODS, AND TOOLS FOR ELECTRONIC SYSTEM DESIGN, VOLUME: 385, PÁGINAS: 75-99
AUTORES: Cristiano B de Oliveira; Ricardo Menotti; Joao M P Cardoso ; Eduardo Marques;
PUBLICAÇÃO: 2016, FONTE: Forum on Specification and Design Languages (FDL) in LANGUAGES, DESIGN METHODS, AND TOOLS FOR ELECTRONIC SYSTEM DESIGN, VOLUME: 385, PÁGINAS: 75-99
1692
TÃTULO: A Study on Cloud Cost Efficiency by Exploiting Idle Billing Period Fractions
AUTORES: Altino M Sampaio ; Jorge G Barbosa ;
PUBLICAÇÃO: 2016, FONTE: IEEE International Conference on Cloud Engineering (IC2E) in 2016 IEEE INTERNATIONAL CONFERENCE ON CLOUD ENGINEERING WORKSHOP (IC2EW), PÁGINAS: 138-143
AUTORES: Altino M Sampaio ; Jorge G Barbosa ;
PUBLICAÇÃO: 2016, FONTE: IEEE International Conference on Cloud Engineering (IC2E) in 2016 IEEE INTERNATIONAL CONFERENCE ON CLOUD ENGINEERING WORKSHOP (IC2EW), PÁGINAS: 138-143
1693
TÃTULO: A Study on the Need of Digital Heritage Management Plataforms
AUTORES: Jaime de Oliveira; Luis Amaral ; Luis Paulo Reis ; Brigida Monica Faria ;
PUBLICAÇÃO: 2016, FONTE: 11th Iberian Conference on Information Systems and Technologies (CISTI) in 2016 11TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2016-July
AUTORES: Jaime de Oliveira; Luis Amaral ; Luis Paulo Reis ; Brigida Monica Faria ;
PUBLICAÇÃO: 2016, FONTE: 11th Iberian Conference on Information Systems and Technologies (CISTI) in 2016 11TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2016-July
1694
TÃTULO: A Survey on Clinical Decision Support Systems Concerning Quality of Life
AUTORES: Luis Paulo Reis ; Brigida Monica Faria ; Joaquim Goncalves; Alvaro Rocha ; Victor Carvalho;
PUBLICAÇÃO: 2016, FONTE: 11th Iberian Conference on Information Systems and Technologies (CISTI) in 2016 11TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2016-July
AUTORES: Luis Paulo Reis ; Brigida Monica Faria ; Joaquim Goncalves; Alvaro Rocha ; Victor Carvalho;
PUBLICAÇÃO: 2016, FONTE: 11th Iberian Conference on Information Systems and Technologies (CISTI) in 2016 11TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2016-July
1695
TÃTULO: A Survey on Computer Assisted Qualitative Data Analysis Software
AUTORES: Luis Paulo Reis ; Antonio Pedro Costa; Francisle Neri de Souza;
PUBLICAÇÃO: 2016, FONTE: 11th Iberian Conference on Information Systems and Technologies (CISTI) in 2016 11TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2016-July
AUTORES: Luis Paulo Reis ; Antonio Pedro Costa; Francisle Neri de Souza;
PUBLICAÇÃO: 2016, FONTE: 11th Iberian Conference on Information Systems and Technologies (CISTI) in 2016 11TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2016-July
1696
TÃTULO: A Survey on Software Fault Localization
AUTORES: Wong, WE; Gao, RZ; Li, YH; Abreu, R ; Wotawa, F;
PUBLICAÇÃO: 2016, FONTE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 42, NÚMERO: 8, PÁGINAS: 707-740
AUTORES: Wong, WE; Gao, RZ; Li, YH; Abreu, R ; Wotawa, F;
PUBLICAÇÃO: 2016, FONTE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 42, NÚMERO: 8, PÁGINAS: 707-740
1697
TÃTULO: A Survey on Testing Distributed and Heterogeneous Systems: The State of the Practice
AUTORES: Bruno Lima ; João Pascoal Faria ;
PUBLICAÇÃO: 2016, FONTE: Software Technologies, 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016, Revised Selected Papers., VOLUME: 743, PÁGINAS: 88-107
AUTORES: Bruno Lima ; João Pascoal Faria ;
PUBLICAÇÃO: 2016, FONTE: Software Technologies, 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016, Revised Selected Papers., VOLUME: 743, PÁGINAS: 88-107
1698
TÃTULO: A Systematic Review Protocol on Shared Transportation
AUTORES: Elis Silva; Rosaldo J F Rossetti ; Zafeiris Kokkinogenis ; Jose Pinto;
PUBLICAÇÃO: 2016, FONTE: 11th Iberian Conference on Information Systems and Technologies (CISTI) in 2016 11TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2016-July
AUTORES: Elis Silva; Rosaldo J F Rossetti ; Zafeiris Kokkinogenis ; Jose Pinto;
PUBLICAÇÃO: 2016, FONTE: 11th Iberian Conference on Information Systems and Technologies (CISTI) in 2016 11TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2016-July
1699
TÃTULO: A toolset for conformance testing against UML sequence diagrams based on event-driven colored Petri nets
AUTORES: Joao Pascoal Faria ; Ana C R Paiva ;
PUBLICAÇÃO: 2016, FONTE: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, VOLUME: 18, NÚMERO: 3, PÁGINAS: 285-304
AUTORES: Joao Pascoal Faria ; Ana C R Paiva ;
PUBLICAÇÃO: 2016, FONTE: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, VOLUME: 18, NÚMERO: 3, PÁGINAS: 285-304
1700
TÃTULO: A Web Platform of Serious Games for Cognitive Rehabilitation: Architecture and Usability Study
AUTORES: Rui Rocha; Paula Alexandra Rego ; Brigida Monica Faria ; Luis Paulo Reis ; Pedro Miguel Moreira ;
PUBLICAÇÃO: 2016, FONTE: World Conference on Information Systems and Technologies (WorldCIST) in NEW ADVANCES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 1, VOLUME: 444, PÁGINAS: 1085-1095
AUTORES: Rui Rocha; Paula Alexandra Rego ; Brigida Monica Faria ; Luis Paulo Reis ; Pedro Miguel Moreira ;
PUBLICAÇÃO: 2016, FONTE: World Conference on Information Systems and Technologies (WorldCIST) in NEW ADVANCES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 1, VOLUME: 444, PÁGINAS: 1085-1095