Departamento de Engenharia Informática (DEI)
Department of Informatics Engineering
AuthID: I-000-0K9 
Publications Count: 4142
50 Team MembersFilters -> Year: 2025
2961
TÃTULO: Specification-driven unit test generation for java generic classes
AUTORES: Rebello De Andrade, F; Faria, JP ; Lopes, A ; Paiva, ACR ;
PUBLICAÇÃO: 2012, FONTE: 9th International Conference on Integrated Formal Methods, IFM 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7321 LNCS, PÁGINAS: 296-311
AUTORES: Rebello De Andrade, F; Faria, JP ; Lopes, A ; Paiva, ACR ;
PUBLICAÇÃO: 2012, FONTE: 9th International Conference on Integrated Formal Methods, IFM 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7321 LNCS, PÁGINAS: 296-311
2962
TÃTULO: Specifying Compiler Strategies for FPGA-based Systems
AUTORES: Joao M P Cardoso ; Joao Teixeira; Jose C Alves ; Ricardo Nobre ; Pedro C Diniz ; Jose G F Coutinho; Wayne Luk;
PUBLICAÇÃO: 2012, FONTE: 20th IEEE International Symposium on Field-Programmable Custom Computing Machines (FCCM) in 2012 IEEE 20TH ANNUAL INTERNATIONAL SYMPOSIUM ON FIELD-PROGRAMMABLE CUSTOM COMPUTING MACHINES (FCCM), PÁGINAS: 192-199
AUTORES: Joao M P Cardoso ; Joao Teixeira; Jose C Alves ; Ricardo Nobre ; Pedro C Diniz ; Jose G F Coutinho; Wayne Luk;
PUBLICAÇÃO: 2012, FONTE: 20th IEEE International Symposium on Field-Programmable Custom Computing Machines (FCCM) in 2012 IEEE 20TH ANNUAL INTERNATIONAL SYMPOSIUM ON FIELD-PROGRAMMABLE CUSTOM COMPUTING MACHINES (FCCM), PÁGINAS: 192-199
2963
TÃTULO: Specifying UML Protocol State Machines in Alloy
AUTORES: Ana Gabriela Garis; Ana C R Paiva ; Alcino Cunha ; Daniel Riesco;
PUBLICAÇÃO: 2012, FONTE: 9th International Conference on Integrated Formal Methods, IFM 2012 in Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings, VOLUME: 7321, PÁGINAS: 312-326
AUTORES: Ana Gabriela Garis; Ana C R Paiva ; Alcino Cunha ; Daniel Riesco;
PUBLICAÇÃO: 2012, FONTE: 9th International Conference on Integrated Formal Methods, IFM 2012 in Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings, VOLUME: 7321, PÁGINAS: 312-326
2964
TÃTULO: Spectra: Robust Estimation of Distribution Functions in Networks
AUTORES: Miguel Borges; Paulo Jesus ; Carlos Baquero ; Paulo Sérgio Almeida ;
PUBLICAÇÃO: 2012, FONTE: 12th IFIP International Conference on Distributed Applications and Interoperable Systems, DAIS 2012 in Distributed Applications and Interoperable Systems - 12th IFIP WG 6.1 International Conference, DAIS 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings, VOLUME: 7272, PÁGINAS: 96-103
AUTORES: Miguel Borges; Paulo Jesus ; Carlos Baquero ; Paulo Sérgio Almeida ;
PUBLICAÇÃO: 2012, FONTE: 12th IFIP International Conference on Distributed Applications and Interoperable Systems, DAIS 2012 in Distributed Applications and Interoperable Systems - 12th IFIP WG 6.1 International Conference, DAIS 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings, VOLUME: 7272, PÁGINAS: 96-103
2965
TÃTULO: State of the Art on Methodologies for the Development of a Metadata Application Profile
AUTORES: Malta, MC ; Baptista, AA ;
PUBLICAÇÃO: 2012, FONTE: 6th Research Conference on Metadata and Semantics Research in METADATA AND SEMANTICS RESEARCH, VOLUME: 343, PÁGINAS: 61-73
AUTORES: Malta, MC ; Baptista, AA ;
PUBLICAÇÃO: 2012, FONTE: 6th Research Conference on Metadata and Semantics Research in METADATA AND SEMANTICS RESEARCH, VOLUME: 343, PÁGINAS: 61-73
2966
TÃTULO: Stopping ongoing broadcasts in large MANETs
AUTORES: Rui Lima ; Carlos Baquero ; Hugo Miranda ;
PUBLICAÇÃO: 2012, FONTE: 1st European Workshop on AppRoaches to MObiquitous Resilience, ARMOR '12 in Proceedings of the 1st European Workshop on AppRoaches to MObiquitous Resilience, ARMOR '12, Sibiu, Romania, May 8-11, 2012, PÁGINAS: 4:1-4:5
AUTORES: Rui Lima ; Carlos Baquero ; Hugo Miranda ;
PUBLICAÇÃO: 2012, FONTE: 1st European Workshop on AppRoaches to MObiquitous Resilience, ARMOR '12 in Proceedings of the 1st European Workshop on AppRoaches to MObiquitous Resilience, ARMOR '12, Sibiu, Romania, May 8-11, 2012, PÁGINAS: 4:1-4:5
2967
TÃTULO: Structured editing of handwritten mathematics
AUTORES: Alexandra Mendes ;
PUBLICAÇÃO: 2012, FONTE: British Library, EThOS
AUTORES: Alexandra Mendes ;
PUBLICAÇÃO: 2012, FONTE: British Library, EThOS
2968
TÃTULO: Studying a personality coreference network in a news stories photo collection
AUTORES: Devezas, J ; Coelho, F; Nunes, S ; Ribeiro, C ;
PUBLICAÇÃO: 2012, FONTE: 34th European Conference on Information Retrieval, ECIR 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7224 LNCS, PÁGINAS: 485-488
AUTORES: Devezas, J ; Coelho, F; Nunes, S ; Ribeiro, C ;
PUBLICAÇÃO: 2012, FONTE: 34th European Conference on Information Retrieval, ECIR 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7224 LNCS, PÁGINAS: 485-488
2969
TÃTULO: Test Generation from UML Sequence Diagrams
AUTORES: Joao Pascoal Faria ; Ana C R Paiva ; Zhuanli L Yang;
PUBLICAÇÃO: 2012, FONTE: 8th International Conference on the Quality of Information and Communications Technology (QUATIC) in 2012 EIGHTH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY (QUATIC 2012), PÁGINAS: 245-250
AUTORES: Joao Pascoal Faria ; Ana C R Paiva ; Zhuanli L Yang;
PUBLICAÇÃO: 2012, FONTE: 8th International Conference on the Quality of Information and Communications Technology (QUATIC) in 2012 EIGHTH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY (QUATIC 2012), PÁGINAS: 245-250
2970
TÃTULO: Text categorization using an ensemble classifier based on a mean co-association matrix
AUTORES: Moreira Matias, L ; Mendes Moreira, J ; Gama, J ; Brazdil, P ;
PUBLICAÇÃO: 2012, FONTE: 8th International Conference on Machine Learning and Data Mining in Pattern Recognition, MLDM 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7376 LNAI, PÁGINAS: 525-539
AUTORES: Moreira Matias, L ; Mendes Moreira, J ; Gama, J ; Brazdil, P ;
PUBLICAÇÃO: 2012, FONTE: 8th International Conference on Machine Learning and Data Mining in Pattern Recognition, MLDM 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7376 LNAI, PÁGINAS: 525-539
2971
TÃTULO: The learning design in education today: Putting pedagogical content knowledge into practice
AUTORES: Azevedo, I; Mota, D ; De Carvalho, CV; Carrapatoso, E ; Reis, LP ;
PUBLICAÇÃO: 2012, FONTE: 4th International Conference on Computer Supported Education, CSEDU 2012 in CSEDU 2012 - Proceedings of the 4th International Conference on Computer Supported Education, VOLUME: 1, PÁGINAS: 344-347
AUTORES: Azevedo, I; Mota, D ; De Carvalho, CV; Carrapatoso, E ; Reis, LP ;
PUBLICAÇÃO: 2012, FONTE: 4th International Conference on Computer Supported Education, CSEDU 2012 in CSEDU 2012 - Proceedings of the 4th International Conference on Computer Supported Education, VOLUME: 1, PÁGINAS: 344-347
2972
TÃTULO: Topological inference through mobile devices
AUTORES: Marco Antero Paiva; Marcelo Petry ; Rosaldo J F Rossetti ;
PUBLICAÇÃO: 2012, FONTE: 27th Annual ACM Symposium on Applied Computing, SAC 2012 in Proceedings of the ACM Symposium on Applied Computing, SAC 2012, Riva, Trento, Italy, March 26-30, 2012, PÁGINAS: 574-575
AUTORES: Marco Antero Paiva; Marcelo Petry ; Rosaldo J F Rossetti ;
PUBLICAÇÃO: 2012, FONTE: 27th Annual ACM Symposium on Applied Computing, SAC 2012 in Proceedings of the ACM Symposium on Applied Computing, SAC 2012, Riva, Trento, Italy, March 26-30, 2012, PÁGINAS: 574-575
2973
TÃTULO: Towards a Catalog of Spreadsheet Smells
AUTORES: Cunha, J ; Fernandes, JP ; Ribeiro, H; Saraiva, J ;
PUBLICAÇÃO: 2012, FONTE: 12th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2012, PT IV, VOLUME: 7336, NÚMERO: PART 4, PÁGINAS: 202-216
AUTORES: Cunha, J ; Fernandes, JP ; Ribeiro, H; Saraiva, J ;
PUBLICAÇÃO: 2012, FONTE: 12th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2012, PT IV, VOLUME: 7336, NÚMERO: PART 4, PÁGINAS: 202-216
2974
TÃTULO: Towards a framework to evaluate and improve the quality of implementation of CMMI® practices
AUTORES: Lopes Margarido, I; Pascoal Faria, J ; Moreira Vidal, R; Vieira, M ;
PUBLICAÇÃO: 2012, FONTE: 13th International Conference on Product-Focused Software Process Improvement, PROFES 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7343 LNCS, PÁGINAS: 361-365
AUTORES: Lopes Margarido, I; Pascoal Faria, J ; Moreira Vidal, R; Vieira, M ;
PUBLICAÇÃO: 2012, FONTE: 13th International Conference on Product-Focused Software Process Improvement, PROFES 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7343 LNCS, PÁGINAS: 361-365
2975
TÃTULO: TOWARDS A SERIOUS GAMES EVACUATION SIMULATOR
AUTORES: Ribeiro, J; Almeida, JE; Rossetti, RJF ; Coelho, A ; Coelho, AL;
PUBLICAÇÃO: 2012, FONTE: 26th European Conference on Modelling and Simulation (ECMS 2012) in PROCEEDINGS 26TH EUROPEAN CONFERENCE ON MODELLING AND SIMULATION ECMS 2012, PÁGINAS: 697-702
AUTORES: Ribeiro, J; Almeida, JE; Rossetti, RJF ; Coelho, A ; Coelho, AL;
PUBLICAÇÃO: 2012, FONTE: 26th European Conference on Modelling and Simulation (ECMS 2012) in PROCEEDINGS 26TH EUROPEAN CONFERENCE ON MODELLING AND SIMULATION ECMS 2012, PÁGINAS: 697-702
2976
TÃTULO: Towards a serious games evacuation simulator
AUTORES: Ribeiro, J; Almeida, JE; Rossetti, RJF ; Coelho, A; Coelho, AL;
PUBLICAÇÃO: 2012, FONTE: 26th European Conference on Modelling and Simulation, ECMS 2012 in Proceedings - 26th European Conference on Modelling and Simulation, ECMS 2012
AUTORES: Ribeiro, J; Almeida, JE; Rossetti, RJF ; Coelho, A; Coelho, AL;
PUBLICAÇÃO: 2012, FONTE: 26th European Conference on Modelling and Simulation, ECMS 2012 in Proceedings - 26th European Conference on Modelling and Simulation, ECMS 2012
2977
TÃTULO: Towards an Autonomous and Intelligent Airline Operations Control
AUTORES: Antonio J M Castro ; Ana Paula Rocha ; Eugenio Oliveira ;
PUBLICAÇÃO: 2012, FONTE: 15th International IEEE Conference on Intelligent Transportation Systems (ITSC) in 2012 15TH INTERNATIONAL IEEE CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS (ITSC), PÁGINAS: 1429-1434
AUTORES: Antonio J M Castro ; Ana Paula Rocha ; Eugenio Oliveira ;
PUBLICAÇÃO: 2012, FONTE: 15th International IEEE Conference on Intelligent Transportation Systems (ITSC) in 2012 15TH INTERNATIONAL IEEE CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS (ITSC), PÁGINAS: 1429-1434
2978
TÃTULO: Towards an evaluation of bidirectional model-driven spreadsheets
AUTORES: Cunha, J ; Fernandes, JP ; Mendes, J ; Saraiva, J ;
PUBLICAÇÃO: 2012, FONTE: 2012 1st International Workshop on User Evaluation for Software Engineering Researchers, USER 2012 in 2012 1st International Workshop on User Evaluation for Software Engineering Researchers, USER 2012 - Proceedings, PÁGINAS: 25-28
AUTORES: Cunha, J ; Fernandes, JP ; Mendes, J ; Saraiva, J ;
PUBLICAÇÃO: 2012, FONTE: 2012 1st International Workshop on User Evaluation for Software Engineering Researchers, USER 2012 in 2012 1st International Workshop on User Evaluation for Software Engineering Researchers, USER 2012 - Proceedings, PÁGINAS: 25-28
2979
TÃTULO: Towards Location-based Augmented Reality games
AUTORES: Jacob, J ; da Silva, H; Coelho, A ; Rodrigues, R ;
PUBLICAÇÃO: 2012, FONTE: 4th International Conference on Games and Virtual Worlds for Serious Applications (VS-GAMES) in 4TH INTERNATIONAL CONFERENCE ON GAMES AND VIRTUAL WORLDS FOR SERIOUS APPLICATIONS (VS-GAMES'12), VOLUME: 15, PÁGINAS: 318-319
AUTORES: Jacob, J ; da Silva, H; Coelho, A ; Rodrigues, R ;
PUBLICAÇÃO: 2012, FONTE: 4th International Conference on Games and Virtual Worlds for Serious Applications (VS-GAMES) in 4TH INTERNATIONAL CONFERENCE ON GAMES AND VIRTUAL WORLDS FOR SERIOUS APPLICATIONS (VS-GAMES'12), VOLUME: 15, PÁGINAS: 318-319
2980
TÃTULO: TOWARDS THE IMPLEMENTATION OF A HANDBALL PLAYER AGENT FRAMEWORK
AUTORES: Jacob, J ; Rosaldo J F Rossetti ; Antonio Coelho ; Rui Rodrigues ;
PUBLICAÇÃO: 2012, FONTE: 24th European Modeling and Simulation Symposium (EMSS) in 24TH EUROPEAN MODELING AND SIMULATION SYMPOSIUM (EMSS 2012), PÁGINAS: 204-209
AUTORES: Jacob, J ; Rosaldo J F Rossetti ; Antonio Coelho ; Rui Rodrigues ;
PUBLICAÇÃO: 2012, FONTE: 24th European Modeling and Simulation Symposium (EMSS) in 24TH EUROPEAN MODELING AND SIMULATION SYMPOSIUM (EMSS 2012), PÁGINAS: 204-209