João Carlos Pascoal Faria


AuthID: R-000-6WK

Confirmed Publications: 87



21
TITLE: Visual Self-healing Modelling for Reliable Internet-of-Things Systems
AUTHORS: João Pedro Dias ; Bruno Lima ; João Pascoal Faria ; André Restivo ; Hugo Sereno Ferreira ;
PUBLISHED: 2020, SOURCE: ICCS (5), VOLUME: 12141 LNCS
INDEXED IN: Scopus DBLP CrossRef: 12
22
TITLE: Assisting software engineering students in analyzing their performance in software development
AUTHORS: Raza, M; Faria, JP ; Salazar, R;
PUBLISHED: 2019, SOURCE: SOFTWARE QUALITY JOURNAL, VOLUME: 27, ISSUE: 3
INDEXED IN: Scopus WOS DBLP CrossRef: 7
23
TITLE: Automatic Calibration of Performance Indicators for Performance Analysis in Software Development (S)
AUTHORS: Mushtaq Raza; João Pascoal Faria ;
PUBLISHED: 2019, SOURCE: SEKE, VOLUME: 2019-July
INDEXED IN: Scopus DBLP CrossRef
24
TITLE: Local Observability and Controllability Enforcement in Distributed Testing
AUTHORS: Bruno Lima ; João Pascoal Faria ; Robert M Hierons;
PUBLISHED: 2019, SOURCE: QUATIC, VOLUME: 1010
INDEXED IN: Scopus DBLP CrossRef
25
TITLE: Message from the a- Most 2019 chairs
AUTHORS: Hierons, R; Núñez, M; Pretschner, A; Gargantini, A; Faria, JP ; Wang, S;
PUBLISHED: 2019, SOURCE: 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
INDEXED IN: Scopus CrossRef
IN MY: ORCID
26
TITLE: A Reactive and Model-based Approach for Developing Internet-of-Things Systems
AUTHORS: Dias, JP ; Faria, JP ; Ferreira, HS ;
PUBLISHED: 2018, SOURCE: 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)
INDEXED IN: Scopus WOS DBLP CrossRef: 16
27
TITLE: A Survey of Blockchain Frameworks and Applications
AUTHORS: Bruno Tavares ; Filipe Figueiredo Correia ; André Restivo ; João Pascoal Faria ; Ademar Aguiar ;
PUBLISHED: 2018, SOURCE: SoCPaR, VOLUME: 942
INDEXED IN: Scopus DBLP CrossRef: 4
28
TITLE: Automatic Model Transformation from UML Sequence Diagrams to Coloured Petri Nets
AUTHORS: João António Custódio Soares; Bruno Lima ; João Pascoal Faria ;
PUBLISHED: 2018, SOURCE: MODELSWARD, VOLUME: 2018-January
INDEXED IN: Scopus DBLP CrossRef: 5
29
TITLE: End-to-end Automatic Business Process Validation
AUTHORS: Ana C R Paiva ; Nuno H Flores ; João Pascoal Faria ; José M G Marques;
PUBLISHED: 2018, SOURCE: ANT/SEIT, VOLUME: 130
INDEXED IN: Scopus DBLP CrossRef: 7
30
TITLE: Izinto: a pattern-based IoT testing framework. a pattern-based IoT testing framework
AUTHORS: Pedro Martins Pontes; Bruno Lima ; João Pascoal Faria ;
PUBLISHED: 2018, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef
IN MY: DBLP
Page 3 of 9. Total results: 87.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service