Publicações

Publicações com os mesmos autores da publicação Automated Scenario-Based Integration Testing of Time-Constrained Distributed Systems

Agrupar Por: Tipo Ano Ordenação: Título Ano Tipo de Publicação

Outras Publicações

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

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

2020

Artigo em Revista Científica Internacional

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

Bruno Lima (Autor) (FEUP); João Pascoal Faria (Autor) (FEUP); Robert Hierons (Autor) (Outra)

2020

Indexação

ISI Web of Knowledge - 2 Citações

Scopus - 3 Citações

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

Ferreira, M (Autor) (Outra); Viegas, L (Autor) (Outra); Faria, JP (Autor) (Outra); Lima, B (Autor) (FEUP)

2025

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

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

2014

Classificação Científica Indexação Documentos

ISI Web of Knowledge

Scopus - 6 Citações

FOS: Engenharia electrotécnica, electrónica e informática

Não foi encontrado nenhum documento associado à publicação com acesso permitido.

Artigo em Livro de Atas de Conferência Internacional

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

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

2020

Indexação

Scopus - 11 Citações

INSPEC

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

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

2016

Indexação

ISI Web of Knowledge - 1 Citação

Scopus - 1 Citação

Towards Real-Time Patient Prioritization in Hospital Emergency Services

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

2018

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

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

2017

Indexação

Scopus - 7 Citações

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

Farshid, S (Autor) (Outra); Lima, B (Autor) (FEUP); João Pascoal Faria (Autor) (FEUP)

2023

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

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

2021

Indexação

ISI Web of Knowledge

Scopus - 1 Citação

Testing Distributed and Heterogeneous Systems: State of the Practice

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

2016

Indexação

ISI Web of Knowledge - 1 Citação

Test Patterns for IoT

Pontes, PM (Autor) (Outra); Lima, B (Autor) (FEUP); João Pascoal Faria (Autor) (FEUP)

2018

Indexação

ISI Web of Knowledge - 17 Citações

Scopus - 18 Citações

PlayField: An Adaptable Framework for Integrative Sports Data Analysis

Pinto, F (Autor) (Outra); Lima, B (Autor) (FEUP)

2024

Indexação

Scopus

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

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

2021

Indexação

ISI Web of Knowledge

Scopus

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

Coelho, Tiago (Autor) (Outra); Lima, B (Autor) (FEUP); João Pascoal Faria (Autor) (FEUP)

2016

Indexação

Scopus - 3 Citações

Local Observability and Controllability Enforcement in Distributed Testing

Bruno Lima (Autor) (FEUP); João Pascoal Faria (Autor) (FEUP); Robert Hierons (Autor) (Outra)

2019

Indexação

Scopus - 2 Citações

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

João Pascoal Faria (Autor) (FEUP); Lima, B (Autor) (FEUP); Pedro Martins Pontes (Autor) (Outra)

2018

Indexação

Scopus

Izinto: A Pattern-Based IoT Testing Framework

Pedro Martins Pontes (Autor) (Outra); Bruno Lima (Autor) (FEUP); João Pascoal Faria (Autor) (Outra)

2018

Indexação

ISI Web of Science

Scopus - 20 Citações

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

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

2023

Indexação

Scopus

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

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

2020

Indexação

ISI Web of Knowledge

Scopus - 1 Citação

INSPEC

Registos 1 a 20 de 33

 

1

  2