???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.
Read full resume ↓
Identification

Personal identification

Full name
Bruno Miguel Carvalhido Lima

Citation names

  • Lima, Bruno

Author identifiers

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

Email addresses

  • brunomclima@gmail.com (Professional)

Knowledge fields

  • Exact Sciences - Computer and Information Sciences
  • Engineering and Technology

Languages

Language Speaking Reading Writing Listening Peer-review
English Intermediate (B1) Advanced (C1) Intermediate (B1) Intermediate (B1)
Spanish; Castilian Beginner (A1) Intermediate (B1) Beginner (A1) Beginner (A1)
Italian Beginner (A1) Beginner (A1) Beginner (A1) Beginner (A1)
Education
Degree Classification
2021/02/18
Concluded
 Engenharia Informática (Doutoramento)
Universidade do Porto Faculdade de Engenharia, Portugal
"Observability and Controllability in Scenario-based Integration Testing of Time-Constrained Distributed Systems" (THESIS/DISSERTATION)
2014
Concluded
 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" (THESIS/DISSERTATION)
 15
Affiliation

Science

Category
Host institution 		Employer
2024/02/12 - Current Researcher (Research) 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 Researcher (Research) Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
2013/09/01 - 2021/01/31 Researcher (Research) Fundação para a Ciência e a Tecnologia, Portugal
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal

Teaching in Higher Education

Category
Host institution 		Employer
2023/09/01 - Current Assistant Professor (University Teacher) Universidade da Maia, Portugal
2021/02/19 - Current Invited Assistant Professor (University Teacher) Universidade do Porto Faculdade de Engenharia, Portugal
2015/09/01 - 2021/02/18 Invited Assistant (University Teacher) Universidade do Porto Faculdade de Engenharia, Portugal
Projects

Contract

Designation Funders
2021/06 - 2023/06/30 SMART-HEALTH-4-ALL - Smart medical technologies for better health and care
POCI-01-0247-FEDER-046115
Post-doc Fellow
Universidade do Porto Faculdade de Engenharia, Portugal
 Agência Nacional de Inovação SA
Ongoing
2015/08 - 2018/12 NanoSTIMA – Macro-to-Nano Human Sensing: Towards Integrated Multimodal Health Monitoring and Analytics
NORTE-01-0145-FEDER-000016
Research Fellow
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
Concluded
2015/03 - 2015/06 BESTCASE-RL1-SIBILA - Towards Smart Interacting Blocks that Improve Learned Advice
NORTE-07-0124-FEDER-000059
Research Fellow
Universidade do Porto Faculdade de Engenharia, Portugal
 Autoridade de Gestão do Programa Operacional Competitividade e Internacionalização
Concluded
2014/03 - 2015/02 AAL4ALL
SI IDT - 13852/2011
Research Fellow
Universidade do Porto Faculdade de Engenharia, Portugal
Concluded
2013/09 - 2014/02 AAL4ALL
SI IDT - 13852/2011
Master Student Fellow
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
Concluded
Outputs

Publications

Book chapter
  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". edited by Lorenz, Pascal;; Cardoso, Jorge;; Maciaszek, A. Leszek;; van Sinderen, Marten, 380-396. Springer International Publishing, 2016.
    10.1007/978-3-319-30142-6_21
Conference paper
  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
Journal article
  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

Other

Other output
  1. DCO Analyzer: Local Controllability and Observability Analysis and Enforcement of Distributed Test Scenarios. 2020. Lima, B; Faria, JP.
Activities

Supervision

Thesis Title
Role 		Degree Subject (Type)
Institution / Organization
2024/02/01 - Current API Test Generation with Generative AI and LLMs
Supervisor
 Mestrado em Engenharia Informática e Computação (Master)
Universidade do Porto Faculdade de Engenharia, Portugal
2024/02/01 - Current Acceptance Test Case Generation with Generative AI and LLMs
Co-supervisor
 Mestrado em Engenharia Informática e Computação (Master)
Universidade do Porto Faculdade de Engenharia, Portugal
2024/02/01 - Current Frontend Test Generation with Generative AI and LLMs
Co-supervisor
 Mestrado em Engenharia Informática e Computação (Master)
Universidade do Porto Faculdade de Engenharia, Portugal
2024/02/01 - Current Centralização de múltiplos Sports Feed de informação desportiva
Supervisor
 Mestrado em Engenharia Informática e Computação (Master)
Universidade do Porto Faculdade de Engenharia, Portugal
2023/02/01 - 2023/07/17 A Framework for the Choreography of Microservices using Mulesoft
Co-supervisor
 Mestrado em Engenharia de Informática e Computação (Master)
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
Co-supervisor
 Mestrado em Engenharia Informática e Computação (Master)
Universidade do Porto Faculdade de Engenharia, Portugal
2022/02/01 - 2022/07/18 A Pattern-based Test Platform for IoT and eHealth
Co-supervisor
 Mestrado em Engenharia de Software (Master)
Universidade do Porto Faculdade de Engenharia, Portugal
2022/02/01 - 2022/07/18 Quality Assurance Framework for Low-Code Development Platforms
Supervisor
 Mestrado em Engenharia Informática e Computação (Master)
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
Co-supervisor
 Mestrado em Engenharia Biomédica
Universidade do Porto Faculdade de Engenharia, Portugal
2019/02/01 - 2019/07/11 Low- Code Solution for IoT Testing
Co-supervisor
 Mestrado Integrado em Engenharia Informática e Computação (Master)
Universidade do Porto Faculdade de Engenharia, Portugal
2018/02/01 - 2018/07/09 A Pattern-based Testing Framework for IoT Ecosystems
Co-supervisor
 Mestrado Integrado em Engenharia Informática e Computação (Master)
Universidade do Porto Faculdade de Engenharia, Portugal
2017/02/01 - 2017/07/19 Automatic Model Transformation from UML Sequence Diagrams to Coloured Petri Nets
Co-supervisor
 Mestrado Integrado Em Engenharia Informática e Computação (Master)
Universidade do Porto Faculdade de Engenharia, Portugal
2017/02/01 - 2017/07/19 Avaliação Automática de Programas em Contexto de E-learning
Co-supervisor
 Mestrado Integrado Em Engenharia Informática e Computação (Master)
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
Co-supervisor
 Mestrado Integrado em Engenharia Informática e Computação (Master)
Universidade do Porto Faculdade de Engenharia, Portugal

Event organisation

Event name
Type of event (Role) 		Institution / Organization
2022/04/14 - Current 46th International Conference On Software Engineering (ICSE 2024) (2024/04/14 - 2024/04/20)
Conference (Member of the Organising Committee)
2023/08/10 - 2023/08/11 Tenth International Conference on Dependable Systems and Their Applications (2023/08/10 - 2023/08/11)
Conference (Member of the Organising Committee)
 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)
Conference (Member of the Organising Committee)
 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)
Conference (Member of the Organising Committee)
 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)
Conference (Member of the Organising Committee)
 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)
Conference (Member of the Organising Committee)
2020/10/24 - 2020/10/28 IEEE 13th International Conference on Software Testing, Verification and Validation (ICST 2020) (2020/10/24 - 2020/10/28)
Conference (Member of the Organising Committee)
 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)
Conference (Member of the Organising Committee)
 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)
Conference (Member of the Organising Committee)
 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)
Conference (Member of the Organising Committee)

Jury of academic degree

Topic
Role 		Candidate name (Type of degree)
Institution / Organization
2022/11/17 Planificação e Desenvolvimento de Testes Aplicacionais
(Thesis) Main arguer
 Tomás Henriques Dordio Godinho (Master)
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
President of the jury
 Diogo Leal da Silva Mota Pinto (Master)
Universidade do Porto Faculdade de Engenharia, Portugal

Conference scientific committee

Conference name Conference host
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

Journal scientific committee

Journal title (ISSN) Publisher
2022/01/01 - Current Software Testing, Verification and Reliability Wiley
2020/01/01 - Current IEEE Access (2169-3536) Institute of Electrical and Electronics Engineers
Distinctions

Award

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), Spain
2008 Prémio Escolar Municipal
Câmera Municipal de Vila do Conde, Portugal