feature image
Bruno Lima bio photo

Bruno Lima

PhD Student in Informatics Engineering at FEUP (PT)
Research Assistant at INESC TEC
Assistant Lecturer at FEUP (PT)

bruno.lima [at] fe.up.pt
Twitter Facebook LinkedIn Instagram
Google Scholar

Bruno Lima was born in Póvoa de Varzim (Portugal) at 5 November of 1988.

Bruno Lima received his Master’s degree in Informatics and Computing Engineering from the Faculty of Engineering of the University of Porto (FEUP) in 2014. He conducted a master’s thesis on “Component Testing and Certification for an Ambient Assisted Living Ecosystem”, as a member of the AAL4ALL research team at INESC TEC. Currently, he is PhD student and assistant lecture at the Department of Informatics Engineering of the Faculty of Engineering of the University of Porto. He is also a researcher at INESC TEC where he participates in research projects in the area of e-health and software engineering. His research interests include software engineering, certification and software testing, particularly in the scope of e-health and ambient assisted living systems.

Last Publications

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

Bruno Lima, João Pascoal Faria and Robert Hierons

DCO Analyzer: Local Controllability and Observability Analysis and Enforcement of Distributed Test Scenarios

Bruno Lima and João Pascoal Faria
42nd International Conference on Software Engineering (ICSE 2020)

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

João Pedro Dias, Bruno Lima, João Pascoal Faria, André Restivo and Hugo Sereno Ferreira
International Conference on Computational Science (ICCS 2020)