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
Download Photo HD

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
001
Publications

2021

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

Authors
Lima, B; Granhão, D; Araújo, 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
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; Araújo, 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
Lecture Notes in Computer Science - Computational Science – ICCS 2020

Abstract

2020

Local Observability and Controllability Analysis and Enforcement in Distributed Testing with Time Constraints

Authors
Lima, B; Faria, JP; Hierons, R;

Publication
IEEE Access

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