???global.info.a_carregar???
Bruno Miguel Carvalhido Lima. Concluiu o(a) Doutoramento em Engenharia Informática em 2021/02/18 pelo(a) Universidade do Porto Faculdade de Engenharia e Mestrado em MIEIC - Mestrado Integrado em Engenharia Informática e Computação em 2014 pelo(a) Universidade do Porto Faculdade de Engenharia. É Professor Auxiliar Convidado no(a) Universidade do Porto Faculdade de Engenharia e Investigador no(a) Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência. Publicou 2 artigos em revistas especializadas. Possui 2 capítulo(s) de livros. Recebeu 4 prémio(s) e/ou homenagens. Participa e/ou participou como Bolseiro de Investigação em 3 projeto(s) e Bolseiro de Mestrado em 1 projeto(s). Atua na(s) área(s) de Ciências Exatas com ênfase em Ciências da Computação e da Informação e Ciências da Engenharia e Tecnologias.
Ler resumo completo ↓
Identificação

Identificação pessoal

Nome completo
Bruno Miguel Carvalhido Lima

Nomes de citação

  • Lima, Bruno

Identificadores de autor

Ciência ID
A51B-0E61-C158
ORCID iD
0000-0003-2572-047X

Endereços de correio eletrónico

  • brunomclima@gmail.com (Profissional)

Domínios de atuação

  • Ciências Exatas - Ciências da Computação e da Informação
  • Ciências da Engenharia e Tecnologias

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Inglês Utilizador independente (B1) Utilizador proficiente (C1) Utilizador independente (B1) Utilizador independente (B1)
Espanhol; Castelhano Utilizador elementar (A1) Utilizador independente (B1) Utilizador elementar (A1) Utilizador elementar (A1)
Italiano Utilizador elementar (A1) Utilizador elementar (A1) Utilizador elementar (A1) Utilizador elementar (A1)
Formação
Grau Classificação
2021/02/18
Concluído
 Engenharia Informática (Doutoramento)
Universidade do Porto Faculdade de Engenharia, Portugal
"Observability and Controllability in Scenario-based Integration Testing of Time-Constrained Distributed Systems" (TESE/DISSERTAÇÃO)
2014
Concluído
 MIEIC - Mestrado Integrado em Engenharia Informática e Computação (Mestrado)
Universidade do Porto Faculdade de Engenharia, Portugal
"Teste e Certificação de Componentes para Ecossistema de Ambient Assisted Living" (TESE/DISSERTAÇÃO)
 15
Percurso profissional

Ciência

Categoria Profissional
Instituição de acolhimento 		Empregador
2024/02/12 - Atual Investigador (Investigação) Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal
Universidade da Maia, Portugal
2021/02/01 - 2024/02/01 Investigador (Investigação) Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
2013/09/01 - 2021/01/31 Investigador (Investigação) Fundação para a Ciência e a Tecnologia, Portugal
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
2023/09/01 - Atual Professor Auxiliar (Docente Universitário) Universidade da Maia, Portugal
2021/02/19 - Atual Professor Auxiliar Convidado (Docente Universitário) Universidade do Porto Faculdade de Engenharia, Portugal
2015/09/01 - 2021/02/18 Assistente Convidado (Docente Universitário) Universidade do Porto Faculdade de Engenharia, Portugal
Projetos

Projeto

Designação Financiadores
2021/06 - 2023/06/30 SMART-HEALTH-4-ALL - Smart medical technologies for better health and care
POCI-01-0247-FEDER-046115
Bolseiro de Pós-Doutoramento
Universidade do Porto Faculdade de Engenharia, Portugal
 Agência Nacional de Inovação SA
Em curso
2015/08 - 2018/12 NanoSTIMA – Macro-to-Nano Human Sensing: Towards Integrated Multimodal Health Monitoring and Analytics
NORTE-01-0145-FEDER-000016
Bolseiro de Investigação
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
 Agência Regional para o Desenvolvimento da Investigação Tecnologia e Inovação
Concluído
2015/03 - 2015/06 BESTCASE-RL1-SIBILA - Towards Smart Interacting Blocks that Improve Learned Advice
NORTE-07-0124-FEDER-000059
Bolseiro de Investigação
Universidade do Porto Faculdade de Engenharia, Portugal
 Autoridade de Gestão do Programa Operacional Competitividade e Internacionalização
Concluído
2014/03 - 2015/02 AAL4ALL
SI IDT - 13852/2011
Bolseiro de Investigação
Universidade do Porto Faculdade de Engenharia, Portugal
Concluído
2013/09 - 2014/02 AAL4ALL
SI IDT - 13852/2011
Bolseiro de Mestrado
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
Concluído
Produções

Publicações

Artigo em conferência
  1. Alves, MI; Araújo, AD; Lima, B. "eduARM: Web Platform to Support the Teaching and Learning of the ARM Architecture". 2023.
    10.5220/0011712800003470
  2. Farshid, S; Lima, B; Faria, J. "Towards Computer Assisted Compliance Assessment in the Development of Software as a Medical Device". 2023.
    10.5220/0012148400003538
  3. Tavares, L; Lima, B; Araújo, A. "Automatic Test-Based Assessment of Assembly Programs". 2023.
    10.5220/0012129100003538
  4. Pedro Almeida; João Pascoal Faria; Bruno Lima. "A Pattern-Based Test Platform for Families of Smart Health Products". 2022.
    10.1109/qrs57517.2022.00066
  5. Lima, B; Granhao, D; Araujo, AJ; Ferreira, JC. "Pedagogical Innovation in Pandemic Times: The Experience of a Microprocessor Programming Course". 2021.
    10.1109/cispee47794.2021.9507218
  6. Lima, B; Araujo, AJ. "The students' integration in pandemic times: MIEIC.OnBoard 2020/2021". 2021.
    10.1109/cispee47794.2021.9507201
  7. Damas, J; Lima, B; Araujo, AJ. "AOCO - A Tool to Improve the Teaching of the ARM Assembly Language in Higher Education". 2021.
    10.1109/eaeeie50507.2021.9530951
  8. Lima, B; Faria, JP. "DCO analyzer: local controllability and observability analysis and enforcement of distributed test scenarios". 2020.
    10.1145/3377812.3382142
  9. Lima, B. "Automated Scenario-Based Integration Testing of Time-Constrained Distributed Systems". 2019.
    10.1109/icst.2019.00060
  10. Lima, B; Faria, JP; Hierons, RM. "Local Observability and Controllability Enforcement in Distributed Testing". 2019.
    10.1007/978-3-030-29238-6_24
  11. Custódio Soares, JA; Lima, B; Faria, JP. "Automatic Model Transformation from UML Sequence Diagrams to Coloured Petri Nets". 2018.
    10.5220/0006731806680679
  12. Pontes, PM; Lima, B; Faria, JP. "Test Patterns for IoT". 2018.
    10.1145/3278186.3278196
  13. Lima, B. "Automated Scenario-Based Integration Testing of Distributed Systems". 2018.
    10.1145/3236024.3275431
  14. Lima, B; Faria, JP. "Towards Real-Time Patient Prioritization in Hospital Emergency Services". 2018.
    10.1109/healthcom.2018.8531089
  15. Pontes, PM; Lima, B; Faria, JP. "Izinto: a pattern-based IoT testing framework". 2018.
    10.1145/3236454.3236511
  16. Lima, BMC; Faria, JCP. "Towards Decentralized Conformance Checking in Model-Based Testing of Distributed Systems". 2017.
    10.1109/icstw.2017.64
  17. Lima, B; Faria, JP. "A Survey on Testing Distributed and Heterogeneous Systems: The State of the Practice". 2017.
    10.1007/978-3-319-62569-0_5
  18. Lima, B; Faria, JP. "Conformance Checking in Integration Testing of Time-constrained Distributed Systems based on UML Sequence Diagrams". 2017.
    10.5220/0006474004590466
  19. Lima, B.. "Automated Scenario-Based Testing of Distributed and Heterogeneous Systems". 2016.
    10.1109/icst.2016.49
  20. Lima, B; Faria, JP. "Testing Distributed and Heterogeneous Systems: State of the Practice". 2016.
    10.5220/0005989100690078
  21. Lima, B; Faria, JP. "Towards the Online Testing of Distributed and Heterogeneous Systems with Extended Petri Nets". 2016.
    10.1109/quatic.2016.48
  22. Coelho, Tiago; Lima, Bruno; Faria, JoaoPascoal. "MT4A: a no-programming test automation framework for Android applications". 2016.
    10.1145/2994291.2994300
  23. Lima, B; Faria, JP. "A Model-Based Approach for Product Testing and Certification in Digital Ecosystems". 2016.
    10.1109/icstw.2016.22
  24. Lima, B; Faria, JP. "A Survey on Testing Distributed and Heterogeneous Systems: The State of the Practice". 2016.
  25. Lima, B.; Faria, J.P.. "An approach for automated scenario-based testing of distributed and heterogeneous systems". 2015.
    10.5220/0005558602410250
  26. Faria, J.P.; Lima, B.; Sousa, T.B.; Martins, A.. "A testing and certification methodology for an Ambient-Assisted Living ecosystem". 2013.
    10.1109/healthcom.2013.6720744
Artigo em revista
  1. Bruno Lima; Joao Pascoal Faria; Robert Hierons; Lima, B; Faria, JP; Hierons, R. "Local Observability and Controllability Analysis and Enforcement in Distributed Testing With Time Constraints". IEEE Access 8 (2020): 167172-167191. https://doi.org/10.1109/ACCESS.2020.3021858.
    10.1109/ACCESS.2020.3021858
  2. Faria, J.P.; Lima, B.; Sousa, T.B.; Martins, A.. "A testing and certification methodology for an open Ambient-Assisted Living ecosystem". International Journal of E-Health and Medical Communications 5 4 (2014): 90-107. http://www.scopus.com/inward/record.url?eid=2-s2.0-84924359361&partnerID=MN8TOARS.
    10.4018/ijehmc.2014100106
Capítulo de livro
  1. João Pedro Dias; Bruno Lima; João Pascoal Faria; André Restivo; Hugo Sereno Ferreira. "Visual Self-healing Modelling for Reliable Internet-of-Things Systems". 357-370. Springer International Publishing, 2020.
    10.1007/978-3-030-50426-7_27
  2. Lima, Bruno;; Faria, Jo{\~a. "Software Technologies: 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers". editado por Lorenz, Pascal;; Cardoso, Jorge;; Maciaszek, A. Leszek;; van Sinderen, Marten, 380-396. Springer International Publishing, 2016.
    10.1007/978-3-319-30142-6_21

Outros

Outra produção
  1. DCO Analyzer: Local Controllability and Observability Analysis and Enforcement of Distributed Test Scenarios. 2020. Lima, B; Faria, JP.
Atividades

Orientação

Título / Tema
Papel desempenhado 		Curso (Tipo)
Instituição / Organização
2024/02/01 - Atual API Test Generation with Generative AI and LLMs
Orientador
 Mestrado em Engenharia Informática e Computação (Mestrado)
Universidade do Porto Faculdade de Engenharia, Portugal
2024/02/01 - Atual Acceptance Test Case Generation with Generative AI and LLMs
Coorientador
 Mestrado em Engenharia Informática e Computação (Mestrado)
Universidade do Porto Faculdade de Engenharia, Portugal
2024/02/01 - Atual Frontend Test Generation with Generative AI and LLMs
Coorientador
 Mestrado em Engenharia Informática e Computação (Mestrado)
Universidade do Porto Faculdade de Engenharia, Portugal
2024/02/01 - Atual Centralização de múltiplos Sports Feed de informação desportiva
Orientador
 Mestrado em Engenharia Informática e Computação (Mestrado)
Universidade do Porto Faculdade de Engenharia, Portugal
2023/02/01 - 2023/07/17 A Framework for the Choreography of Microservices using Mulesoft
Coorientador
 Mestrado em Engenharia de Informática e Computação (Mestrado)
Universidade do Porto Faculdade de Engenharia, Portugal
2022/02/01 - 2022/10/12 eduARM: Web platform to support the teaching and learning of the ARM architecture
Coorientador
 Mestrado em Engenharia Informática e Computação (Mestrado)
Universidade do Porto Faculdade de Engenharia, Portugal
2022/02/01 - 2022/07/18 A Pattern-based Test Platform for IoT and eHealth
Coorientador
 Mestrado em Engenharia de Software (Mestrado)
Universidade do Porto Faculdade de Engenharia, Portugal
2022/02/01 - 2022/07/18 Quality Assurance Framework for Low-Code Development Platforms
Orientador
 Mestrado em Engenharia Informática e Computação (Mestrado)
Universidade do Porto Faculdade de Engenharia, Portugal
2019/09/15 - 2020/10/12 Prototipagem de um Sistema de Triagem Dinâmica para Urgências Hospitalares
Coorientador
 Mestrado em Engenharia Biomédica
Universidade do Porto Faculdade de Engenharia, Portugal
2019/02/01 - 2019/07/11 Low- Code Solution for IoT Testing
Coorientador
 Mestrado Integrado em Engenharia Informática e Computação (Mestrado)
Universidade do Porto Faculdade de Engenharia, Portugal
2018/02/01 - 2018/07/09 A Pattern-based Testing Framework for IoT Ecosystems
Coorientador
 Mestrado Integrado em Engenharia Informática e Computação (Mestrado)
Universidade do Porto Faculdade de Engenharia, Portugal
2017/02/01 - 2017/07/19 Automatic Model Transformation from UML Sequence Diagrams to Coloured Petri Nets
Coorientador
 Mestrado Integrado Em Engenharia Informática e Computação (Mestrado)
Universidade do Porto Faculdade de Engenharia, Portugal
2017/02/01 - 2017/07/19 Avaliação Automática de Programas em Contexto de E-learning
Coorientador
 Mestrado Integrado Em Engenharia Informática e Computação (Mestrado)
Universidade do Porto Faculdade de Engenharia, Portugal
2016/02/01 - 2016/07/15 Automação de testes de aplicações móveis sem necessidade de programação
Coorientador
 Mestrado Integrado em Engenharia Informática e Computação (Mestrado)
Universidade do Porto Faculdade de Engenharia, Portugal

Organização de evento

Nome do evento
Tipo de evento (Tipo de participação) 		Instituição / Organização
2022/04/14 - Atual 46th International Conference On Software Engineering (ICSE 2024) (2024/04/14 - 2024/04/20)
Conferência (Membro da Comissão Organizadora)
2023/08/10 - 2023/08/11 Tenth International Conference on Dependable Systems and Their Applications (2023/08/10 - 2023/08/11)
Conferência (Membro da Comissão Organizadora)
 Universidade do Porto Faculdade de Engenharia, Portugal
2022/12/05 - 2022/12/09 The 22nd IEEE International Conference on Software Quality, Security, and Reliability (QRS 2022) (2022/12/05 - 2022/12/09)
Conferência (Membro da Comissão Organizadora)
 Universidade do Porto Faculdade de Engenharia, Portugal
2021/12/06 - 2021/12/10 The 21st IEEE International Conference on Software Quality, Security, and Reliability (QRS 2021) (2021/12/06 - 2021/12/10)
Conferência (Membro da Comissão Organizadora)
 Universidade do Porto Faculdade de Engenharia, Portugal
2021/10/11 - 2021/10/12 13th Symposium on Search-Based Software Engineering (SSBSE 2021) (2021/10/11 - 2021/10/12)
Conferência (Membro da Comissão Organizadora)
 Universidade do Porto Faculdade de Engenharia, Portugal
2020/12/11 - 2020/12/14 The 20th IEEE International Conference on Software Quality, Security, and Reliability (QRS 2020) (2020/12/11 - 2020/12/14)
Conferência (Membro da Comissão Organizadora)
2020/10/24 - 2020/10/28 IEEE 13th International Conference on Software Testing, Verification and Validation (ICST 2020) (2020/10/24 - 2020/10/28)
Conferência (Membro da Comissão Organizadora)
 Universidade do Porto Faculdade de Engenharia, Portugal
2020/10/07 - 2020/10/08 12th Symposium on Search-Based Software Engineering (SSBSE 2020) (2020/10/07 - 2020/10/08)
Conferência (Membro da Comissão Organizadora)
 Universidade do Porto Faculdade de Engenharia, Portugal
2019/08/31 - 2019/09/01 11th Symposium on Search-Based Software Engineering (SSBSE2019) (2019/08/31 - 2019/09/01)
2019/07/22 - 2019/07/26 The 19th IEEE International Conference on Software Quality, Security, and Reliability (QRS 2019) (2019/07/22 - 2019/07/26)
Conferência (Membro da Comissão Organizadora)
 Universidade do Porto Faculdade de Engenharia, Portugal
2018/07/16 - 2018/07/20 18th IEEE International Conference on Software Quality, Security, and Reliability (QRS 2018) (2018/07/16 - 2018/07/20)
Conferência (Membro da Comissão Organizadora)

Júri de grau académico

Tema
Tipo de participação 		Nome do candidato (Tipo de grau)
Instituição / Organização
2022/11/17 Planificação e Desenvolvimento de Testes Aplicacionais
Arguente principal
 Tomás Henriques Dordio Godinho (Mestrado)
Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
2021/07/21 VitalCoViD Platform: web-based telehealth system for real-time monitoring of COVID-19 patients at home using wearable health devices
Presidente do júri
 Diogo Leal da Silva Mota Pinto (Mestrado)
Universidade do Porto Faculdade de Engenharia, Portugal

Arbitragem científica em conferência

Nome da conferência Local da conferência
2023/12/08 - 2023/12/08 15th Symposium on Search-Based Software Engineering - SSBSE 2023 San Francisco, California, United States
2022/12/05 - 2022/12/05 The 22nd IEEE International Conference on Software Quality, Security, and Reliability - QRS 2022 Guangzhou, China
2022/11/17 - 2022/11/17 14th Symposium on Search-Based Software Engineering - SSBSE 2022 Singapore
2022/09/12 - 2022/09/12 15th International Conference on the Quality of Information and Communications Technology - QUATIC 2022 Talavera de la Reina, Spain
2021/12/06 - 2021/12/06 The 21st IEEE International Conference on Software Quality, Security, and Reliability - QRS 2021 Hainan Island, China
2021/07/11 - 2021/07/11 The ACM SIGSOFT International Symposium on Software Testing and Analysis - ISSTA 2021 Online
2020/12/11 - 2020/12/11 The 20th IEEE International Conference on Software Quality, Security, and Reliability - QRS 2020 Macau, China
2020/02/23 - 2020/02/23 The Sixth International Conference on Advances and Trends in Software Engineering - SOFTENG 2020 Lisbon, Portugal
2019/11/24 - 2019/11/24 The Eleventh International Conference on Advances in System Testing and Validation Lifecycle - VALID 2019 Valencia, Spain
2019/10/27 - 2019/10/27 The Fifth International Conference on Fundamentals and Advances in Software Systems Integration - FASSI 2019 Nice, France
2019/07/22 - 2019/07/22 The 19th IEEE International Conference on Software Quality, Security, and Reliability - QRS 2019 Sofia, Bulgaria
2019/03/24 - 2019/03/24 The Fifth International Conference on Advances and Trends in Software Engineering Valencia, Spain
2018/10/18 - 2018/10/18 The Tenth International Conference on Advances in System Testing and Validation Lifecycle - VALID 2018 Nice, France
2018/09/16 - 2018/09/16 The Fourth International Conference on Fundamentals and Advances in Software Systems Integration - FASSI 2018 Venice, Italy
2018/04/09 - 2018/04/09 First International Workshop on Verification and Validation of Internet of Things - VVIoT 2018 Västerås, Sweden

Arbitragem científica em revista

Nome da revista (ISSN) Editora
2022/01/01 - Atual Software Testing, Verification and Reliability Wiley
2020/01/01 - Atual IEEE Access (2169-3536) Institute of Electrical and Electronics Engineers
Distinções

Prémio

2024 Faculty of Engineering of the University of Porto's Pedagogical Merit Award
Universidade do Porto Faculdade de Engenharia, Portugal
2023 Prémio Fundação Eng. António de Almeida 2021
Universidade do Porto Faculdade de Engenharia, Portugal
2022 Faculty of Engineering of the University of Porto's Pedagogical Merit Award
Universidade do Porto Faculdade de Engenharia, Portugal
2021 Faculty of Engineering of the University of Porto’s Pedagogical Merit Award
Universidade do Porto Faculdade de Engenharia, Portugal
2020 Faculty of Engineering of the University of Porto’s Pedagogical Merit Award
Universidade do Porto Faculdade de Engenharia, Portugal
2019 Best Paper Award
The Eleventh International Conference on Advances in System Testing and Validation Lifecycle (VALID 2019), Espanha
2008 Prémio Escolar Municipal
Câmera Municipal de Vila do Conde, Portugal