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

Publications

2018

Towards Real-Time Patient Prioritizationin Hospital Emergency Services

Bruno Lima and João Pascoal Faria
IEEE 20th International Conference on e-Health Networking, Applications and Services (Healthcom 2018)

Izinto: A Pattern-Based IoT Testing Framework

Pedro Martins Pontes, Bruno Lima and João Pascoal Faria
Workshop on Testing, Analysis, and Verification of Cyber-Physical Systems and Internet of Things (TAV-CPS/IoT 2018)

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)

2017

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

Towards Decentralized Conformance Checking in Model-Based Testing of Distributed Systems

Bruno Lima and João Pascoal Faria
IEEE 10th International Conference on Software Testing, Verification and Validation Workshops (ICSTW) 2017

2016

MT4A: a no-programming test automation framework for Android applications

Tiago Coelho, Bruno Lima and João Pascoal Faria
7th International Workshop on Automating Test Case Design, Selection, and Evaluation

Towards the Online Testing of Distributed and Heterogeneous Systems with Extended Petri Nets

Bruno Lima and João Pascoal Faria
10th International Conference on the Quality of Information and Communications Technology (QUATIC) 2016

Testing Distributed and Heterogeneous Systems: State of the Practice

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

Automated Scenario-based Testing of Distributed and Heterogeneous Systems

Bruno Lima
IEEE 9th International Conference on Software Testing, Verification and Validation (ICST) 2016

A Model-Based Approach for Product Testing and Certification in Digital Ecosystems

Bruno Lima and João Pascoal Faria
IEEE 9th International Conference on Software Testing, Verification and Validation Workshops (ICSTW) 2016

Automated Testing of Distributed and Heterogeneous Systems Based on UML Sequence Diagrams

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

2015

An Approach for Automated Scenario-based Testing of Distributed and Heterogeneous Systems

Bruno Lima and João Pascoal Faria
10th International Conference on Software Engineering and Applications (ICSOFT-EA 2015)

2014

A Testing and Certification Methodology for an Open Ambient-Assisted Living Ecosystem

João Pascoal Faria and Bruno Lima and Tiago Boldt Sousa and Angelo Martins
International Journal of E-Health and Medical Communications (IJEHMC)

2013

A Testing and Certification Methodology for an Ambient-Assisted Living Ecosystem

João Pascoal Faria and Bruno Lima and Tiago Boldt Sousa and Angelo Martins
IEEE International Conference on e-Health Networking, Application & Services (IEEE Healthcom 2013)