Mapa das Instalações

Publicação

Pesquisa de Publicações

Publicações

Publicações com os mesmos autores da publicação Conformance Checking in Integration Testing of Time-constrained Distributed Systems based on UML Sequence Diagrams

Agrupar Por: Ordenaçã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

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

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

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

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

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

Testing Distributed and Heterogeneous Systems: State of the Practice

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

2016

Indexação

Test Patterns for IoT

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

2018

Indexação

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

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

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

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

Automatic Model Transformation from UML Sequence Diagrams to Coloured Petri Nets

Custódio Soares, JA (Autor) (Outra); Lima, B (Autor) (FEUP); João Pascoal Faria (Autor) (FEUP)

2018

Indexação

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

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

2016

Indexação

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

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

2015

Classificação Científica Indexação

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

Faria, JP (Autor) (FEUP); Lima, B (Autor) (Outra); Sousa, TB (Autor) (Outra); Martins, A (Autor) (Outra)

2013

Indexação

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

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

2017

Indexação

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

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

2016

Registos 1 a 20 de 22