Publications

Publications with the same authors as the DCO analyzer: local controllability and observability analysis and enforcement of distributed test scenarios 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

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

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

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

Conformance Checking in Integration Testing of Time-constrained Distributed Systems based on UML Sequence Diagrams

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

2017

Indexing

Scopus - 4 Citations

Automatic Model Transformation from UML Sequence Diagrams to Coloured Petri Nets

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

2018

Indexing

Scopus - 17 Citations

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

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

2016

Indexing

ISI Web of Knowledge - 7 Citations

Scopus - 10 Citations

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

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

2015

Scientific classification Indexing

ISI Web of Knowledge

Scopus - 5 Citations

FOS: Electrical engineering, Electronic engineering, Information engineering

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

Faria, JP (Author) (FEUP); Lima, B (Author) (Other); Sousa, TB (Author) (Other); Martins, A (Author) (Other)

2013

Indexing

ISI Web of Knowledge

Scopus - 4 Citations

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

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

2017

Indexing

ISI Web of Knowledge - 5 Citations

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

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

2016

Records 1 to 20 from 22

 

1

  2