João Carlos Pascoal Faria


AuthID: R-000-6WK

Publicações Confirmadas: 87



21
TÍTULO: Visual Self-healing Modelling for Reliable Internet-of-Things Systems
AUTORES: João Pedro Dias ; Bruno Lima ; João Pascoal Faria ; André Restivo ; Hugo Sereno Ferreira ;
PUBLICAÇÃO: 2020, FONTE: ICCS (5), VOLUME: 12141 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 12
22
TÍTULO: Assisting software engineering students in analyzing their performance in software development
AUTORES: Raza, M; Faria, JP ; Salazar, R;
PUBLICAÇÃO: 2019, FONTE: SOFTWARE QUALITY JOURNAL, VOLUME: 27, NÚMERO: 3
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
23
TÍTULO: Automatic Calibration of Performance Indicators for Performance Analysis in Software Development (S)
AUTORES: Mushtaq Raza; João Pascoal Faria ;
PUBLICAÇÃO: 2019, FONTE: SEKE, VOLUME: 2019-July
INDEXADO EM: Scopus DBLP CrossRef
24
TÍTULO: Local Observability and Controllability Enforcement in Distributed Testing
AUTORES: Bruno Lima ; João Pascoal Faria ; Robert M Hierons;
PUBLICAÇÃO: 2019, FONTE: QUATIC, VOLUME: 1010
INDEXADO EM: Scopus DBLP CrossRef
25
TÍTULO: Message from the a- Most 2019 chairs
AUTORES: Hierons, R; Núñez, M; Pretschner, A; Gargantini, A; Faria, JP ; Wang, S;
PUBLICAÇÃO: 2019, FONTE: 12th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019 in Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
26
TÍTULO: A Reactive and Model-based Approach for Developing Internet-of-Things Systems
AUTORES: Dias, JP ; Faria, JP ; Ferreira, HS ;
PUBLICAÇÃO: 2018, FONTE: 11th International Conference on the Quality of Information and Communications Technology (QUATIC) in 2018 11TH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY (QUATIC)
INDEXADO EM: Scopus WOS DBLP CrossRef: 16
27
TÍTULO: A Survey of Blockchain Frameworks and Applications
AUTORES: Bruno Tavares ; Filipe Figueiredo Correia ; André Restivo ; João Pascoal Faria ; Ademar Aguiar ;
PUBLICAÇÃO: 2018, FONTE: SoCPaR, VOLUME: 942
INDEXADO EM: Scopus DBLP CrossRef: 4
28
TÍTULO: Automatic Model Transformation from UML Sequence Diagrams to Coloured Petri Nets
AUTORES: João António Custódio Soares; Bruno Lima ; João Pascoal Faria ;
PUBLICAÇÃO: 2018, FONTE: MODELSWARD, VOLUME: 2018-January
INDEXADO EM: Scopus DBLP CrossRef: 5
29
TÍTULO: End-to-end Automatic Business Process Validation
AUTORES: Ana C R Paiva ; Nuno H Flores ; João Pascoal Faria ; José M G Marques;
PUBLICAÇÃO: 2018, FONTE: ANT/SEIT, VOLUME: 130
INDEXADO EM: Scopus DBLP CrossRef: 7
30
TÍTULO: Izinto: a pattern-based IoT testing framework. a pattern-based IoT testing framework
AUTORES: Pedro Martins Pontes; Bruno Lima ; João Pascoal Faria ;
PUBLICAÇÃO: 2018, FONTE: 2018 International Symposium on Software Testing and Analysis, ISSTA 2018 in Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, ISSTA 2018, Amsterdam, Netherlands, July 16-21, 2018
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: DBLP
Página 3 de 9. Total de resultados: 87.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service