Publications

Publications with the same authors as the Automated Scenario-Based Integration Testing of Time-Constrained Distributed Systems publication

Group by: Tipo Ano Order: Title Year Type of publication

Other Publications

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

Lima, B (Author) (FEUP); João Pascoal Faria (Author) (FEUP)

2020

Article in International Scientific Journal

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

Bruno Lima (Author) (FEUP); João Pascoal Faria (Author) (FEUP); Robert Hierons (Author) (Other)

2020

Indexing

ISI Web of Knowledge - 2 Citations

Scopus - 3 Citations

Acceptance Test Generation with Large Language Models: An Industrial Case Study

Ferreira, M (Author) (Other); Viegas, L (Author) (Other); Faria, JP (Author) (Other); Lima, B (Author) (FEUP)

2025

A testing and certification methodology for an open Ambient-Assisted Living ecosystem

João Pascoal Faria (Author) (FEUP); Bruno Lima (Author) (FEUP); Tiago Boldt Sousa (Author) (Other); Ângelo Martins (Author) (Other)

2014

Scientific classification Indexing Documents

ISI Web of Knowledge

Scopus - 6 Citations

FOS: Electrical engineering, Electronic engineering, Information engineering

We could not find any documents associated to the publication with allowed access.

Article in International Conference Proceedings Book

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

João Pedro Dias (Author) (FEUP); Bruno Lima (Author) (FEUP); João Pascoal Faria (Author) (FEUP); André Restivo (Author) (FEUP); Hugo Sereno Ferreira (Author) (FEUP)

2020

Indexing

Scopus - 11 Citations

INSPEC

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

Lima, B (Author) (FEUP); João Pascoal Faria (Author) (FEUP)

2016

Indexing

ISI Web of Knowledge - 1 Citation

Scopus - 1 Citation

Towards Real-Time Patient Prioritization in Hospital Emergency Services

Lima, B (Author) (FEUP); João Pascoal Faria (Author) (FEUP)

2018

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

Lima, B (Author) (FEUP); João Pascoal Faria (Author) (FEUP)

2017

Indexing

Scopus - 7 Citations

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

Farshid, S (Author) (Other); Lima, B (Author) (FEUP); João Pascoal Faria (Author) (FEUP)

2023

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

Bruno Lima (Author) (FEUP); António J. Araújo (Author) (FEUP)

2021

Indexing

ISI Web of Knowledge

Scopus - 1 Citation

Testing Distributed and Heterogeneous Systems: State of the Practice

Lima, B (Author) (FEUP); João Pascoal Faria (Author) (FEUP)

2016

Indexing

ISI Web of Knowledge - 1 Citation

Test Patterns for IoT

Pontes, PM (Author) (Other); Lima, B (Author) (FEUP); João Pascoal Faria (Author) (FEUP)

2018

Indexing

ISI Web of Knowledge - 17 Citations

Scopus - 18 Citations

PlayField: An Adaptable Framework for Integrative Sports Data Analysis

Pinto, F (Author) (Other); Lima, B (Author) (FEUP)

2024

Indexing

Scopus

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

Bruno Lima (Author) (FEUP); Daniel Granhão (Author) (Other); António J. Araújo (Author) (FEUP); João Canas Ferreira (Author) (Other)

2021

Indexing

ISI Web of Knowledge

Scopus

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

Coelho, Tiago (Author) (Other); Lima, B (Author) (FEUP); João Pascoal Faria (Author) (FEUP)

2016

Indexing

Scopus - 3 Citations

Local Observability and Controllability Enforcement in Distributed Testing

Bruno Lima (Author) (FEUP); João Pascoal Faria (Author) (FEUP); Robert Hierons (Author) (Other)

2019

Indexing

Scopus - 2 Citations

Izinto: A Pattern-Based IoT Testing FrameworkExportar publicação no formato APA

João Pascoal Faria (Author) (FEUP); Lima, B (Author) (FEUP); Pedro Martins Pontes (Author) (Other)

2018

Indexing

Scopus

Izinto: A Pattern-Based IoT Testing Framework

Pedro Martins Pontes (Author) (Other); Bruno Lima (Author) (FEUP); João Pascoal Faria (Author) (Other)

2018

Indexing

ISI Web of Science

Scopus - 20 Citations

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

Alves, MI (Author) (Other); António J. Araújo (Author) (FEUP); Lima, B (Author) (FEUP)

2023

Indexing

Scopus

DCO analyzer: local controllability and observability analysis and enforcement of distributed test scenarios

Bruno Lima (Author) (FEUP); João Pascoal Faria (Author) (FEUP)

2020

Indexing

ISI Web of Knowledge

Scopus - 1 Citation

INSPEC

Records 1 to 20 from 33

 

1

  2