Bruno Lima, PhD bio photo

Bruno Lima, PhD

Research Assistant at INESC TEC
Assistant Professor at UMaia (PT)
Invited Assistant Professor at FEUP (PT)

brunomclima [at] gmail.com
Twitter Facebook LinkedIn Instagram
Google Scholar

Publications

2023

Towards Computer Assisted Compliance Assessment in the Development of Software as a Medical Device

Sadra Farshid, Bruno Lima and João Pascoal Faria

Automatic Test-Based Assessment of Assembly Programs

Luís Tavares, Bruno Lima and António J. Araújo

eduARM: Web Platform to Support the Teaching and Learning of the ARM Architecture

Maria Inês Alves, António Duarte Araújo and Bruno Lima

2022

A pattern-based test platform for families of smart health products

Pedro Almeida, João Pascoal Faria and Bruno Lima

2021

AOCO - A Tool to Improve the Teaching of the ARM Assembly Language in Higher Education

João Damas, Bruno Lima and António J. Araújo

The students' integration in pandemic times: MIEIC.OnBoard 2020/2021

Bruno Lima and António J. Araújo

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

Bruno Lima, Daniel Granhão, António J. Araújo and João C. Ferreira

2020

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)

2019

Local Observability and Controllability Enforcement in Distributed Testing

Bruno Lima, João Pascoal Faria and Robert Hierons
12th International Conference on the Quality of Information and Communications Technology (QUATIC 2019)

Automated Scenario-Based Integration Testing of Time-Constrained Distributed Systems

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

2018

Automated Scenario-Based Integration Testing of Distributed Systems

Bruno Lima
26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2018)

Test Patterns for IoT

Pedro Martins Pontes, Bruno Lima and João Pascoal Faria
9th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation (A-TEST 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)