Departamento de Engenharia Informática (DEI)
Department of Informatics Engineering
AuthID: I-000-0K9 
Publications Count: 4715
62 Team MembersFilters -> Year: 2026
1041
TÃTULO: The trade-offs between Fog Processing and Communications in latency-sensitive Vehicular Fog Computing. 220607
AUTORES: de Mendonca Junior, Francisco Ferreira; Kokkinogenis, Zafeiris ; Dias, Kelvin Lopes; d'Orey, Pedro M. ; Rossetti, Rosaldo J. F. ;
PUBLICAÇÃO: 2022, FONTE: PERVASIVE AND MOBILE COMPUTING, VOLUME: 84, PÁGINAS: 101638
AUTORES: de Mendonca Junior, Francisco Ferreira; Kokkinogenis, Zafeiris ; Dias, Kelvin Lopes; d'Orey, Pedro M. ; Rossetti, Rosaldo J. F. ;
PUBLICAÇÃO: 2022, FONTE: PERVASIVE AND MOBILE COMPUTING, VOLUME: 84, PÁGINAS: 101638
1042
TÃTULO: Timely Specification Repair for Alloy 6
AUTORES: Cerqueira, Jorge; Cunha, Alcino ; Macedo, Nuno ;
PUBLICAÇÃO: 2022, FONTE: 20th International Conference on Software Engineering and Formal Methods (SEFM) in SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2022, VOLUME: 13550, PÁGINAS: 288-303
AUTORES: Cerqueira, Jorge; Cunha, Alcino ; Macedo, Nuno ;
PUBLICAÇÃO: 2022, FONTE: 20th International Conference on Software Engineering and Formal Methods (SEFM) in SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2022, VOLUME: 13550, PÁGINAS: 288-303
1043
TÃTULO: Tool support to aligning requirements and testing through behaviour-driven requirements patterns
AUTORES: Pollyana de Queiroz Ribeiro; Ernesto Fonseca Veiga; Mariana Crisostomo Martins; VINCENZI, AURI M. R. ; Taciana Novo Kudo; Renato F Bulcão Neto;
PUBLICAÇÃO: 2022, FONTE: CIBSE, PÁGINAS: 292-299
AUTORES: Pollyana de Queiroz Ribeiro; Ernesto Fonseca Veiga; Mariana Crisostomo Martins; VINCENZI, AURI M. R. ; Taciana Novo Kudo; Renato F Bulcão Neto;
PUBLICAÇÃO: 2022, FONTE: CIBSE, PÁGINAS: 292-299
1044
TÃTULO: Towards an Approach for Improving Exploratory Testing Tour Assignment based on Testers' Profile
AUTORES: Santos, LD; Figueiredo, RMD; Barbosa, RFP; VINCENZI, AURI M. R. ; Pedrosa, GV; Gardenghi, JLC;
PUBLICAÇÃO: 2022, FONTE: ICEIS: PROCEEDINGS OF THE 24TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS - VOL 2, VOLUME: 2, PÁGINAS: 183-190
AUTORES: Santos, LD; Figueiredo, RMD; Barbosa, RFP; VINCENZI, AURI M. R. ; Pedrosa, GV; Gardenghi, JLC;
PUBLICAÇÃO: 2022, FONTE: ICEIS: PROCEEDINGS OF THE 24TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS - VOL 2, VOLUME: 2, PÁGINAS: 183-190
1045
TÃTULO: Towards Bio-Inspired Anomaly Detection Using the Cursory Dendritic Cell Algorithm
AUTORES: Pinto, C; Rui Pinto ; Gil Gonçalves ;
PUBLICAÇÃO: 2022, FONTE: ALGORITHMS, VOLUME: 15, NÚMERO: 1, PÁGINAS: 1
AUTORES: Pinto, C; Rui Pinto ; Gil Gonçalves ;
PUBLICAÇÃO: 2022, FONTE: ALGORITHMS, VOLUME: 15, NÚMERO: 1, PÁGINAS: 1
1046
TÃTULO: Towards Machine Learning-Aided Lung Cancer Clinical Routines: Approaches and Open Challenges
AUTORES: Silva, Francisco ; Pereira, Tania ; Neves, Ines; Morgado, Joana; Freitas, Claudia ; Malafaia, Mafalda; Sousa, Joana ; Fonseca, Joao; Negrao, Eduardo; de Lima, Beatriz Flor; da Silva, Miguel Correia; Madureira, Antonio J. ; Ramos, Isabel; Costa, Jose Luis; Hespanhol, Venceslau ; Cunha, Antonio ; Oliveira, Helder P. ;
PUBLICAÇÃO: 2022, FONTE: JOURNAL OF PERSONALIZED MEDICINE, VOLUME: 12, NÚMERO: 3, PÁGINAS: 480
AUTORES: Silva, Francisco ; Pereira, Tania ; Neves, Ines; Morgado, Joana; Freitas, Claudia ; Malafaia, Mafalda; Sousa, Joana ; Fonseca, Joao; Negrao, Eduardo; de Lima, Beatriz Flor; da Silva, Miguel Correia; Madureira, Antonio J. ; Ramos, Isabel; Costa, Jose Luis; Hespanhol, Venceslau ; Cunha, Antonio ; Oliveira, Helder P. ;
PUBLICAÇÃO: 2022, FONTE: JOURNAL OF PERSONALIZED MEDICINE, VOLUME: 12, NÚMERO: 3, PÁGINAS: 480
1047
TÃTULO: Towards the Art of Writing Agile Requirements with User Stories, Acceptance Criteria, and Related Constructs
AUTORES: Ferreira, Antonio M. S.; da Silva, Alberto Rodrigues ; Paiva, Ana C. R. ;
PUBLICAÇÃO: 2022, FONTE: 17th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) in ENASE: PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, PÁGINAS: 477-484
AUTORES: Ferreira, Antonio M. S.; da Silva, Alberto Rodrigues ; Paiva, Ana C. R. ;
PUBLICAÇÃO: 2022, FONTE: 17th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) in ENASE: PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, PÁGINAS: 477-484
1048
TÃTULO: Tracing and Measuring GPU Execution in Automotive Software Systems
AUTORES: Carvalho, T ; Pinho, LM;
PUBLICAÇÃO: 2022, FONTE: Ada User Journal, VOLUME: 43, NÚMERO: 3, PÁGINAS: 160-164
AUTORES: Carvalho, T ; Pinho, LM;
PUBLICAÇÃO: 2022, FONTE: Ada User Journal, VOLUME: 43, NÚMERO: 3, PÁGINAS: 160-164
1049
TÃTULO: Tracking Data Visual Representations for Sports Broadcasting Enrichment
AUTORES: Murilo Couceiro; Inês Rito Lima; Alexandre Ulisses; Tiago Mendes Neves ; João Mendes Moreira ;
PUBLICAÇÃO: 2022, FONTE: 10th International Conference on Sport Sciences Research and Technology Support, icSPORTS 2022 in Proceedings of the 10th International Conference on Sport Sciences Research and Technology Support, icSPORTS 2022, Valletta, Malta, October 27-28, 2022., VOLUME: 2022-October, PÁGINAS: 125-131
AUTORES: Murilo Couceiro; Inês Rito Lima; Alexandre Ulisses; Tiago Mendes Neves ; João Mendes Moreira ;
PUBLICAÇÃO: 2022, FONTE: 10th International Conference on Sport Sciences Research and Technology Support, icSPORTS 2022 in Proceedings of the 10th International Conference on Sport Sciences Research and Technology Support, icSPORTS 2022, Valletta, Malta, October 27-28, 2022., VOLUME: 2022-October, PÁGINAS: 125-131
1050
TÃTULO: Unsupervised Approach for Malignancy Assessment of Lung Nodules in Computed Tomography Scans Using Radiomic Features
AUTORES: Teixeira, M; Pereira, T ; Silva, F ; Cunha, A ; Oliveira, HP ;
PUBLICAÇÃO: 2022, FONTE: 2022 44TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE & BIOLOGY SOCIETY, EMBC, VOLUME: 2022-July, PÁGINAS: 2037-2040
AUTORES: Teixeira, M; Pereira, T ; Silva, F ; Cunha, A ; Oliveira, HP ;
PUBLICAÇÃO: 2022, FONTE: 2022 44TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE & BIOLOGY SOCIETY, EMBC, VOLUME: 2022-July, PÁGINAS: 2037-2040
1051
TÃTULO: Using evidence from systematic studies to guide a PhD research in Requirements Engineering - an experience report
AUTORES: Taciana Novo Kudo; Renato F Bulcão Neto; VINCENZI, AURI M. R. ; Érica Ferreira de Souza; Kátia Romero Felizardo;
PUBLICAÇÃO: 2022, FONTE: J. Softw. Eng. Res. Dev., VOLUME: 10, PÁGINAS: 7:1-7:10
AUTORES: Taciana Novo Kudo; Renato F Bulcão Neto; VINCENZI, AURI M. R. ; Érica Ferreira de Souza; Kátia Romero Felizardo;
PUBLICAÇÃO: 2022, FONTE: J. Softw. Eng. Res. Dev., VOLUME: 10, PÁGINAS: 7:1-7:10
1052
TÃTULO: Using Simulation to Evaluate a Tube Perception Algorithm for Bin Picking
AUTORES: Leao, Goncalo ; Costa, Carlos M. ; Sousa, Armando ; Reis, Luis Paulo ; Veiga, Germano ;
PUBLICAÇÃO: 2022, FONTE: ROBOTICS, VOLUME: 11, NÚMERO: 2, PÁGINAS: 46
AUTORES: Leao, Goncalo ; Costa, Carlos M. ; Sousa, Armando ; Reis, Luis Paulo ; Veiga, Germano ;
PUBLICAÇÃO: 2022, FONTE: ROBOTICS, VOLUME: 11, NÚMERO: 2, PÁGINAS: 46
1053
TÃTULO: Using Virtual Choreographies to Identify Office Users' Behaviors to Target Behavior Change Based on Their Potential to Impact Energy Consumption
AUTORES: Cassola, Fernando ; Morgado, Leonel ; Coelho, Antonio ; Paredes, Hugo ; Barbosa, Antonio; Tavares, Helga; Soares, Filipe ;
PUBLICAÇÃO: 2022, FONTE: ENERGIES, VOLUME: 15, NÚMERO: 12, PÁGINAS: 4354
AUTORES: Cassola, Fernando ; Morgado, Leonel ; Coelho, Antonio ; Paredes, Hugo ; Barbosa, Antonio; Tavares, Helga; Soares, Filipe ;
PUBLICAÇÃO: 2022, FONTE: ENERGIES, VOLUME: 15, NÚMERO: 12, PÁGINAS: 4354
1054
TÃTULO: Value of concept of operations analysis for digital transformation using digital twins
AUTORES: Joana Lacerda da Fonseca Pinto Cardoso; Eric Scott Rebentisch; Donna Hagstrom Rhodes; António Lucas Soares ;
PUBLICAÇÃO: 2022, FONTE: Product Management & Development, VOLUME: 20, NÚMERO: 2
AUTORES: Joana Lacerda da Fonseca Pinto Cardoso; Eric Scott Rebentisch; Donna Hagstrom Rhodes; António Lucas Soares ;
PUBLICAÇÃO: 2022, FONTE: Product Management & Development, VOLUME: 20, NÚMERO: 2
1055
TÃTULO: Valuing Players Over Time
AUTORES: Tiago Mendes Neves; Luís Meireles; João Mendes Moreira ;
PUBLICAÇÃO: 2022, FONTE: CoRR, VOLUME: abs/2209.03882
AUTORES: Tiago Mendes Neves; Luís Meireles; João Mendes Moreira ;
PUBLICAÇÃO: 2022, FONTE: CoRR, VOLUME: abs/2209.03882
1056
TÃTULO: Variability Analysis for Robot Operating System Applications
AUTORES: Santos, Andre; Cunha, Alcino ; Macedo, Nuno ; Melo, Sara; Pereira, Ricardo;
PUBLICAÇÃO: 2022, FONTE: 6th IEEE International Conference on Robotic Computing, (IRC) in 2022 SIXTH IEEE INTERNATIONAL CONFERENCE ON ROBOTIC COMPUTING, IRC, PÁGINAS: 111-118
AUTORES: Santos, Andre; Cunha, Alcino ; Macedo, Nuno ; Melo, Sara; Pereira, Ricardo;
PUBLICAÇÃO: 2022, FONTE: 6th IEEE International Conference on Robotic Computing, (IRC) in 2022 SIXTH IEEE INTERNATIONAL CONFERENCE ON ROBOTIC COMPUTING, IRC, PÁGINAS: 111-118
1057
TÃTULO: Verification of Railway Network Models with EVEREST
AUTORES: Martins, J; Fonseca, JM; Costa, R ; Campos, JC ; Cunha, A ; Macedo, N ; Oliveira, JN ;
PUBLICAÇÃO: 2022, FONTE: PROCEEDINGS OF THE 25TH INTERNATIONAL ACM/IEEE CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, MODELS 2022, PÁGINAS: 345-355
AUTORES: Martins, J; Fonseca, JM; Costa, R ; Campos, JC ; Cunha, A ; Macedo, N ; Oliveira, JN ;
PUBLICAÇÃO: 2022, FONTE: PROCEEDINGS OF THE 25TH INTERNATIONAL ACM/IEEE CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, MODELS 2022, PÁGINAS: 345-355
1058
TÃTULO: Verified Password Generation from Password Composition Policies
AUTORES: Grilo, Miguel; Campos, Joao; Ferreira, Joao F.; Almeida, Jose Bacelar ; Mendes, Alexandra ;
PUBLICAÇÃO: 2022, FONTE: 17th International Conference on Integrated Formal Methods (IFM) in INTEGRATED FORMAL METHODS, IFM 2022, VOLUME: 13274, PÁGINAS: 271-288
AUTORES: Grilo, Miguel; Campos, Joao; Ferreira, Joao F.; Almeida, Jose Bacelar ; Mendes, Alexandra ;
PUBLICAÇÃO: 2022, FONTE: 17th International Conference on Integrated Formal Methods (IFM) in INTEGRATED FORMAL METHODS, IFM 2022, VOLUME: 13274, PÁGINAS: 271-288
1059
TÃTULO: Visitors come to experience science: towards a non-obtrusive evaluation method based on immersive virtual reality
AUTORES: Morais, C ; Luciano Moreira ; Teixeira, A; Aguiar, T; Coelho, A ; Pereira, V; Jacinto, A; Varzim, M; Paiva, JC; Rosa, M ;
PUBLICAÇÃO: 2022, FONTE: JCOM-JOURNAL OF SCIENCE COMMUNICATION, VOLUME: 21, NÚMERO: 1
AUTORES: Morais, C ; Luciano Moreira ; Teixeira, A; Aguiar, T; Coelho, A ; Pereira, V; Jacinto, A; Varzim, M; Paiva, JC; Rosa, M ;
PUBLICAÇÃO: 2022, FONTE: JCOM-JOURNAL OF SCIENCE COMMUNICATION, VOLUME: 21, NÚMERO: 1
1060
TÃTULO: Visual notations in container orchestrations: an empirical study with Docker Compose
AUTORES: Piedade, Bruno; Dias, Joao Pedro ; Correia, Filipe F. ;
PUBLICAÇÃO: 2022, FONTE: SOFTWARE AND SYSTEMS MODELING, VOLUME: 21, NÚMERO: 5, PÁGINAS: 1983-2005
AUTORES: Piedade, Bruno; Dias, Joao Pedro ; Correia, Filipe F. ;
PUBLICAÇÃO: 2022, FONTE: SOFTWARE AND SYSTEMS MODELING, VOLUME: 21, NÚMERO: 5, PÁGINAS: 1983-2005