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
  • Role

    External Research Collaborator
  • Since

    01st September 2013
Publications

2024

PlayField: An Adaptable Framework for Integrative Sports Data Analysis

Authors
Pinto, F; Lima, B;

Publication
2024 IEEE/ACM International Conference on Big Data Computing, Applications and Technologies (BDCAT)

Abstract

2023

eduARM: Web Platform to Support the Teaching and Learning of the ARM Architecture

Authors
Alves, MI; Araújo, AD; Lima, B;

Publication
International Conference on Computer Supported Education, CSEDU - Proceedings

Abstract
Computer architecture is a prevalent topic of study in Informatics and Electrical Engineering courses, though students’ overall grasp of this subject’s concepts is many times hampered, mainly due to the lack of educational tools that can intuitively represent the internal behaviour of a CPU. With the evolution of the ARM architecture and its adoption in higher education institutions, the demand for this sort of tool has increased. Educational tools, specifically developed for the ARMv8 processor, are scarce and inadequate for what is necessary in an academic context. In order to contribute towards solving this problem, eduARM, a practical and interactive web platform that simulates how a ARMv8 CPU functions, was developed and is presented through this paper. Since this tool’s main purpose is to aid computer architecture students, contributing to an improvement in their learning experience, it comprises varied concepts of computer architecture and organization in a simple and intuitive manner, such as the internal structure of a CPU, in both its unicycle and pipelined versions, and the effects of executing a set of instructions. As to better understand its value, the developed tool was then validated through a case study with the participation of computer architecture students. Copyright © 2023 by SCITEPRESS – Science and Technology Publications, Lda. Under CC license (CC BY-NC-ND 4.0)

2023

Towards Computer Assisted Compliance Assessment in the Development of Software as a Medical Device

Authors
Farshid, S; Lima, B; Faria, JP;

Publication
Proceedings of the 18th International Conference on Software Technologies, ICSOFT 2023, Rome, Italy, July 10-12, 2023.

Abstract

2023

Automatic Test-Based Assessment of Assembly Programs

Authors
Tavares, L; Lima, B; Araújo, A;

Publication
Proceedings of the 18th International Conference on Software Technologies

Abstract

2022

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

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

Publication
2022 IEEE 22ND 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.

Supervised
thesis

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

Author
José Alberto de Carvalho Cardoso

Institution
FCT

Software Engineering for Healthcare IoT Ecosystems

Author
Pedro Martins Pontes

Institution
INESCTEC

A Pattern-based Testing Framework for IoT Ecosystems

Author
Pedro Martins Pontes

Institution
FCT

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

Author
Tiago Fernando Sousa Coelho

Institution
FCT

Automatic Model Transformation from UML Sequence Diagrams to Coloured Petri Nets

Author
João António Custódio Soares

Institution
FCT