Department of Informatics Engineering (DEI)
Departamento de Engenharia Informática
AuthID: I-000-0K9 Publications Count: 4518
56 Team MembersFilters -> Year: 2026
681
TITLE: Verifying Temporal Relational Models with Pardinus
AUTHORS: Macedo, Nuno ; Brunel, Julien; Chemouil, David; Cunha, Alcino ;
PUBLISHED: 2023, SOURCE: 9th International Conference on Rigorous State-Based Methods (ABZ) in RIGOROUS STATE-BASED METHODS, ABZ 2023, VOLUME: 14010, PAGES: 254-261
AUTHORS: Macedo, Nuno ; Brunel, Julien; Chemouil, David; Cunha, Alcino ;
PUBLISHED: 2023, SOURCE: 9th International Conference on Rigorous State-Based Methods (ABZ) in RIGOROUS STATE-BASED METHODS, ABZ 2023, VOLUME: 14010, PAGES: 254-261
682
TITLE: Visually-Assisted Decomposition of Monoliths to Microservices
AUTHORS: Salles, Breno; Cunha, Jacome ;
PUBLISHED: 2023, SOURCE: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) in 2023 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING, VL/HCC, PAGES: 293-295
AUTHORS: Salles, Breno; Cunha, Jacome ;
PUBLISHED: 2023, SOURCE: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) in 2023 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING, VL/HCC, PAGES: 293-295
683
TITLE: Vol. 3 (2023): Artigos dos alunos da edição 2023 do Mestrado em Negócio Eletrónico e alunos Erasmus
AUTHORS: Ana Azevedo; Agostinho Sousa Pinto; Mariana Curado Malta ;
PUBLISHED: 2023
AUTHORS: Ana Azevedo; Agostinho Sousa Pinto; Mariana Curado Malta ;
PUBLISHED: 2023
684
TITLE: What about the usability in low-code platforms? A systematic literature review
AUTHORS: Pinho, Daniel; Aguiar, Ademar ; Amaral, Vasco;
PUBLISHED: 2023, SOURCE: JOURNAL OF COMPUTER LANGUAGES, VOLUME: 74, PAGES: 101185
AUTHORS: Pinho, Daniel; Aguiar, Ademar ; Amaral, Vasco;
PUBLISHED: 2023, SOURCE: JOURNAL OF COMPUTER LANGUAGES, VOLUME: 74, PAGES: 101185
685
TITLE: Which Way to Go - Finding Frequent Trajectories Through Clustering
AUTHORS: Thiago Andrade ; João Gama ;
PUBLISHED: 2023, SOURCE: 26th International Conference on Discovery Science, DS 2023 in Discovery Science - 26th International Conference, DS 2023, Porto, Portugal, October 9-11, 2023, Proceedings, VOLUME: 14276, PAGES: 460-473
AUTHORS: Thiago Andrade ; João Gama ;
PUBLISHED: 2023, SOURCE: 26th International Conference on Discovery Science, DS 2023 in Discovery Science - 26th International Conference, DS 2023, Porto, Portugal, October 9-11, 2023, Proceedings, VOLUME: 14276, PAGES: 460-473
686
TITLE: Work‐from‐home impacts on software project: A global study on software development practices and stakeholder perceptions
AUTHORS: Anh Nguyen‐Duc; Dron Khanna; Giang Huong Le; Des Greer; Xiaofeng Wang; Luciana Martinez Zaina; Gerardo Matturro; Jorge Melegati ; Eduardo Guerra; Petri Kettunen; Sami Hyrynsalmi; Henry Edison; Afonso Sales; Rafael Chanin; Didzis Rutitis; Kai‐Kristian Kemell; Abdullah Aldaeej; Tommi Mikkonen; Juan Garbajosa; Pekka Abrahamsson;
PUBLISHED: 2023, SOURCE: Software: Practice and Experience, VOLUME: 54, ISSUE: 5, PAGES: 896-926
AUTHORS: Anh Nguyen‐Duc; Dron Khanna; Giang Huong Le; Des Greer; Xiaofeng Wang; Luciana Martinez Zaina; Gerardo Matturro; Jorge Melegati ; Eduardo Guerra; Petri Kettunen; Sami Hyrynsalmi; Henry Edison; Afonso Sales; Rafael Chanin; Didzis Rutitis; Kai‐Kristian Kemell; Abdullah Aldaeej; Tommi Mikkonen; Juan Garbajosa; Pekka Abrahamsson;
PUBLISHED: 2023, SOURCE: Software: Practice and Experience, VOLUME: 54, ISSUE: 5, PAGES: 896-926
687
TITLE: 13th Workshop on Parallel Programming and Run-Time Management Techniques for Many-Core Architectures and 11th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms, PARMA-DITAM 2022, June 22, 2022, Budapest, Hungary
AUTHORS: Francesca Palumbo; João Bispo ; Stefano Cherubin;
PUBLISHED: 2022, SOURCE: PARMA-DITAM, VOLUME: 100
AUTHORS: Francesca Palumbo; João Bispo ; Stefano Cherubin;
PUBLISHED: 2022, SOURCE: PARMA-DITAM, VOLUME: 100
688
TITLE: A case study comparing machine learning with statistical methods for time series forecasting: size matters
AUTHORS: Cerqueira, Vitor ; Torgo, Luis ; Soares, Carlos ;
PUBLISHED: 2022, SOURCE: JOURNAL OF INTELLIGENT INFORMATION SYSTEMS, VOLUME: 59, ISSUE: 2, PAGES: 415-433
AUTHORS: Cerqueira, Vitor ; Torgo, Luis ; Soares, Carlos ;
PUBLISHED: 2022, SOURCE: JOURNAL OF INTELLIGENT INFORMATION SYSTEMS, VOLUME: 59, ISSUE: 2, PAGES: 415-433
689
TITLE: A Flexible HLS Hoeffding Tree Implementation for Runtime Learning on FPGA
AUTHORS: Sousa, Luis Miguel; Paulino, Nuno ; Ferreira, Joao Canas ; Bispo, Joao ;
PUBLISHED: 2022, SOURCE: 21st IEEE Mediterranean Electrotechnical Conference (IEEE MELECON) in 2022 IEEE 21ST MEDITERRANEAN ELECTROTECHNICAL CONFERENCE (IEEE MELECON 2022), VOLUME: abs/2112.01875, PAGES: 972-977
AUTHORS: Sousa, Luis Miguel; Paulino, Nuno ; Ferreira, Joao Canas ; Bispo, Joao ;
PUBLISHED: 2022, SOURCE: 21st IEEE Mediterranean Electrotechnical Conference (IEEE MELECON) in 2022 IEEE 21ST MEDITERRANEAN ELECTROTECHNICAL CONFERENCE (IEEE MELECON 2022), VOLUME: abs/2112.01875, PAGES: 972-977
690
TITLE: A Framework Model to Support A/B Tests at the Class and Component Level
AUTHORS: Wagner S De Souza; Fernando de Oliveira Pereira; Vanessa G Albuquerque; Jorge Melegati ; Eduardo Guerra;
PUBLISHED: 2022, SOURCE: 46th IEEE Annual Computers, Software, and Applications Conferenc, COMPSAC 2022, Los Alamitos, CA, USA, June 27 - July 1, 2022, PAGES: 860-865
AUTHORS: Wagner S De Souza; Fernando de Oliveira Pereira; Vanessa G Albuquerque; Jorge Melegati ; Eduardo Guerra;
PUBLISHED: 2022, SOURCE: 46th IEEE Annual Computers, Software, and Applications Conferenc, COMPSAC 2022, Los Alamitos, CA, USA, June 27 - July 1, 2022, PAGES: 860-865
691
TITLE: A Highly Customizable Information Visualization Framework
AUTHORS: Luís Spínola; Daniel Castro Silva ; Luís Paulo Reis ;
PUBLISHED: 2022, SOURCE: 22nd Annual International Conference on Computational Science, ICCS 2022 in Computational Science - ICCS 2022 - 22nd International Conference, London, UK, June 21-23, 2022, Proceedings, Part II, VOLUME: 13351, PAGES: 110-116
AUTHORS: Luís Spínola; Daniel Castro Silva ; Luís Paulo Reis ;
PUBLISHED: 2022, SOURCE: 22nd Annual International Conference on Computational Science, ICCS 2022 in Computational Science - ICCS 2022 - 22nd International Conference, London, UK, June 21-23, 2022, Proceedings, Part II, VOLUME: 13351, PAGES: 110-116
692
TITLE: A Highly Customizable Information Visualization Framework
AUTHORS: Spinola, Luis; Silva, Daniel Castro ; Reis, Luis Paulo ;
PUBLISHED: 2022, SOURCE: 22nd Annual International Conference on Computational Science (ICCS) in COMPUTATIONAL SCIENCE, ICCS 2022, PT II, PAGES: 110-116
AUTHORS: Spinola, Luis; Silva, Daniel Castro ; Reis, Luis Paulo ;
PUBLISHED: 2022, SOURCE: 22nd Annual International Conference on Computational Science (ICCS) in COMPUTATIONAL SCIENCE, ICCS 2022, PT II, PAGES: 110-116
693
TITLE: A Live Environment to Improve the Refactoring Experience
AUTHORS: Sara Fernandes ; Ademar Aguiar ; André Restivo ;
PUBLISHED: 2022, SOURCE: 6th International Conference on the Art, Science, and Engineering of Programming, Programming 2022 in Proceedings of the 6th International Conference on the Art, Science, and Engineering of Programming, Programming 2022, Porto, Portugal, March 21-25, 2022, PAGES: 30-37
AUTHORS: Sara Fernandes ; Ademar Aguiar ; André Restivo ;
PUBLISHED: 2022, SOURCE: 6th International Conference on the Art, Science, and Engineering of Programming, Programming 2022 in Proceedings of the 6th International Conference on the Art, Science, and Engineering of Programming, Programming 2022, Porto, Portugal, March 21-25, 2022, PAGES: 30-37
694
TITLE: A Model Annotation Approach for the Support of Software Energy Properties Management using AMALTHEA
AUTHORS: Ricardo Gomes; Tiago Carvalho ; António Barros ; Luís Miguel Pinho ;
PUBLISHED: 2022, SOURCE: 5th IEEE International Conference on Industrial Cyber-Physical Systems, ICPS 2022 in 5th IEEE International Conference on Industrial Cyber-Physical Systems, ICPS 2022, Coventry, United Kingdom, May 24-26, 2022, PAGES: 1-8
AUTHORS: Ricardo Gomes; Tiago Carvalho ; António Barros ; Luís Miguel Pinho ;
PUBLISHED: 2022, SOURCE: 5th IEEE International Conference on Industrial Cyber-Physical Systems, ICPS 2022 in 5th IEEE International Conference on Industrial Cyber-Physical Systems, ICPS 2022, Coventry, United Kingdom, May 24-26, 2022, PAGES: 1-8
695
TITLE: A Novel Multi-View Ensemble Learning Architecture to Improve the Structured Text Classification
AUTHORS: Goncalves, Carlos Adriano ; Vieira, Adrian Seara; Goncalves, Celia Talma ; Camacho, Rui ; Iglesias, Eva Lorenzo; Diz, Lourdes Borrajo;
PUBLISHED: 2022, SOURCE: INFORMATION, VOLUME: 13, ISSUE: 6, PAGES: 283
AUTHORS: Goncalves, Carlos Adriano ; Vieira, Adrian Seara; Goncalves, Celia Talma ; Camacho, Rui ; Iglesias, Eva Lorenzo; Diz, Lourdes Borrajo;
PUBLISHED: 2022, SOURCE: INFORMATION, VOLUME: 13, ISSUE: 6, PAGES: 283
696
TITLE: A Pattern-Based Test Platform for Families of Smart Health Products
AUTHORS: Almeida, Pedro; Faria, Joao Pascoal ; Lima, Bruno ;
PUBLISHED: 2022, SOURCE: 22nd IEEE International Conference on Software Quality, Reliability and Security (QRS) in 2022 IEEE 22ND INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY, QRS, VOLUME: 2022-December, PAGES: 595-605
AUTHORS: Almeida, Pedro; Faria, Joao Pascoal ; Lima, Bruno ;
PUBLISHED: 2022, SOURCE: 22nd IEEE International Conference on Software Quality, Reliability and Security (QRS) in 2022 IEEE 22ND INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY, QRS, VOLUME: 2022-December, PAGES: 595-605
697
TITLE: A Pilot Study Testing the Effectiveness of a Mindfulness-Based Program for Portuguese School Children
AUTHORS: Magalhaes, Sofia; Nunes, Tania; Soeiro, Ines; Rodrigues, Rui; Coelho, Antonio ; Pinheiro, Marisa; Castro, Sao Luis ; Leal, Teresa; Limpo, Teresa;
PUBLISHED: 2022, SOURCE: MINDFULNESS, VOLUME: 13, ISSUE: 11, PAGES: 2751-2764
AUTHORS: Magalhaes, Sofia; Nunes, Tania; Soeiro, Ines; Rodrigues, Rui; Coelho, Antonio ; Pinheiro, Marisa; Castro, Sao Luis ; Leal, Teresa; Limpo, Teresa;
PUBLISHED: 2022, SOURCE: MINDFULNESS, VOLUME: 13, ISSUE: 11, PAGES: 2751-2764
698
TITLE: A Plug-and-Play Solution for Smart Transducers in Industrial Applications Based on IEEE 1451 and IEC 61499 Standards
AUTHORS: Oliveira, Diogo; Pinheiro, Joao; Neto, Luis; Pinto, Vitor H. ; Gil Gonçalves ;
PUBLISHED: 2022, SOURCE: SENSORS, VOLUME: 22, ISSUE: 19, PAGES: 7694
AUTHORS: Oliveira, Diogo; Pinheiro, Joao; Neto, Luis; Pinto, Vitor H. ; Gil Gonçalves ;
PUBLISHED: 2022, SOURCE: SENSORS, VOLUME: 22, ISSUE: 19, PAGES: 7694
699
TITLE: A Preliminary Study on Generating Well-Formed Q# Quantum Programs for Fuzz Testing
AUTHORS: Trinca, Miguel; Ferreira, Joao F.; Abreu, Rui ;
PUBLISHED: 2022, SOURCE: 15th IEEE International Conference on Software Testing, Verification and Validation (ICST) in 2022 IEEE 15TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW 2022), PAGES: 118-121
AUTHORS: Trinca, Miguel; Ferreira, Joao F.; Abreu, Rui ;
PUBLISHED: 2022, SOURCE: 15th IEEE International Conference on Software Testing, Verification and Validation (ICST) in 2022 IEEE 15TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW 2022), PAGES: 118-121
700
TITLE: A survey on applications of coalition formation in multi-agent systems
AUTHORS: Sarkar, S; Malta, MC ; Dutta, A;
PUBLISHED: 2022, SOURCE: CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, VOLUME: 34, ISSUE: 11
AUTHORS: Sarkar, S; Malta, MC ; Dutta, A;
PUBLISHED: 2022, SOURCE: CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, VOLUME: 34, ISSUE: 11
