Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Sobre
Download foto HD

Sobre

O meu nome é Bruno Lima, sou colaborador do INESC TEC desde setembro de 2013 quando, no decorrer da minha dissertação de mestrado ingressei no projeto AAL4ALL

Atualmente sou estudante de doutoramento no Programa Doutoral em Engenharia Informática (PRODEI) na FEUP onde também sou professor Assistente Convidado no departamento de engenharia informática (DEI). Faço também parte da equipa de investigação do Centro de Sistemas de Informação e de Computação Gráfica (CSIG) no INESC TEC onde participo em projetos de investigação na área da engenharia de software mais concretamente em teste de software.  

Para saber mais sobre mim visite a minha página pessoal aqui.

Tópicos
de interesse
Detalhes

Detalhes

  • Nome

    Bruno Carvalhido Lima
  • Cluster

    Informática
  • Desde

    01 setembro 2013
001
Publicações

2021

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

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

Publicação
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

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

Publicação
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

Autores
Lima, B; Araujo, AJ;

Publicação
2021 4th International Conference of the Portuguese Society for Engineering Education (CISPEE)

Abstract

2020

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

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

Publicação
Lecture Notes in Computer Science - Computational Science – ICCS 2020

Abstract

2020

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

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

Publicação
IEEE Access

Abstract

Teses
supervisionadas

2018

A Pattern-based Testing Framework for IoT Ecosystems

Autor
Pedro Martins Pontes

Instituição
UP-FEUP

2017

Software Engineering for Healthcare IoT Ecosystems

Autor
Pedro Martins Pontes

Instituição
UP-FEUP

2017

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

Autor
José Alberto de Carvalho Cardoso

Instituição
UP-FEUP

2017

Automatic Model Transformation from UML Sequence Diagrams to Coloured Petri Nets

Autor
João António Custódio Soares

Instituição
UP-FEUP

2016

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

Autor
Tiago Fernando Sousa Coelho

Instituição
UP-FEUP