feature image
Bruno Lima bio photo

Bruno Lima

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

bruno.lima [at] fe.up.pt
Twitter Facebook Google+ LinkedIn
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

Automatic Model Transformation from UML Sequence Diagrams to Coloured Petri Nets

João Soares, Bruno Lima and João Pascoal Faria
6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2018)

Conformance Checking in Integration Testing of Time-constrained Distributed Systems based on UML Sequence Diagrams

Bruno Lima and João Pascoal Faria
12th International Joint Conference on Software Technologies (ICSOFT) 2017

A Survey on Testing Distributed and Heterogeneous Systems: The State of the Practice

Bruno Lima and João Pascoal Faria
Chapter Software Technologies Volume 743 of the series Communications in Computer and Information Science