Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
About

About

My name is Bruno Lima, I have been a collaborator of INESC TEC since September 2013, when, during my master's dissertation, I joined the AAL4ALL project.

Currently I am a PhD student in the Doctoral Program in Informatics Engineering (PRODEI) at FEUP where I am also a Assistant Lecturer at the Department of Informatics Engineering. I am also part of the research team of the Centre for Information Systems and Computer Graphics (CSIG) at INESC TEC where I participate in research projects in the area of software engineering, more specifically in software testing.

To know more about me visit my personal page here.

Interest
Topics
Details

Details

  • Name

    Bruno Carvalhido Lima
  • Cluster

    Computer Science
  • Role

    External Research Collaborator
  • Since

    01st September 2013
Publications

2022

A Pattern-Based Test Platform for Families of Smart Health Products

Authors
Almeida, P; Faria, JP; Lima, B;

Publication
IEEE International Conference on Software Quality, Reliability and Security, QRS

Abstract
One of the most critical ICT application domains is healthcare, where a single failure can lead a patient into a hazardous situation. Due to this, there's a great necessity to ensure that the developed solutions are safe and secure and perform as expected. Smart-Health-4-All (SH4ALL) is a project aiming at accelerating the research, development, commercialization, and dissemination of trustworthy smart health solutions in Portugal. One of the key components of the project is a web platform that supports the generation of integration and system tests for smart health solutions (comprising medical devices, applications, etc.), following a software product line approach. At the domain engineering level, the platform supports the creation of feature models and related test patterns for families of smart health products. At the product engineering level, the platform supports the instantiation of test patterns and the generation of corresponding test scripts ready for execution on specific products under test. This paper presents the aforementioned test platform and test process, and the discovery of test patterns. © 2022 IEEE.

2021

Pedagogical Innovation in Pandemic Times: The Experience of a Microprocessor Programming Course

Authors
Lima, B; Granhao, D; Araujo, AJ; Ferreira, JC;

Publication
2021 4TH INTERNATIONAL CONFERENCE OF THE PORTUGUESE SOCIETY FOR ENGINEERING EDUCATION (CISPEE)

Abstract

2021

AOCO - A Tool to Improve the Teaching of the ARM Assembly Language in Higher Education

Authors
Damas, J; Lima, B; Araujo, AJ;

Publication
PROCEEDINGS OF THE 2021 30TH ANNUAL CONFERENCE OF THE EUROPEAN ASSOCIATION FOR EDUCATION IN ELECTRICAL AND INFORMATION ENGINEERING (EAEEIE)

Abstract

2021

The students' integration in pandemic times: MIEIC.OnBoard 2020/2021

Authors
Lima, B; Araujo, AJ;

Publication
2021 4TH INTERNATIONAL CONFERENCE OF THE PORTUGUESE SOCIETY FOR ENGINEERING EDUCATION (CISPEE)

Abstract

2020

Visual Self-healing Modelling for Reliable Internet-of-Things Systems

Authors
Dias, JP; Lima, B; Faria, JP; Restivo, A; Ferreira, HS;

Publication
Computational Science - ICCS 2020 - 20th International Conference, Amsterdam, The Netherlands, June 3-5, 2020, Proceedings, Part V

Abstract

Supervised
thesis

2018

A Pattern-based Testing Framework for IoT Ecosystems

Author
Pedro Martins Pontes

Institution
UP-FEUP

2017

Avaliação Automática de Programas em Contexto de E-learning

Author
José Alberto de Carvalho Cardoso

Institution
UP-FEUP

2017

Automatic Model Transformation from UML Sequence Diagrams to Coloured Petri Nets

Author
João António Custódio Soares

Institution
UP-FEUP

2017

Software Engineering for Healthcare IoT Ecosystems

Author
Pedro Martins Pontes

Institution
UP-FEUP

2016

Automação de testes de aplicações móveis sem necessidade de programação

Author
Tiago Fernando Sousa Coelho

Institution
UP-FEUP