João Carlos Pascoal Faria


AuthID: R-000-6WK

Publicações Confirmadas: 89



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: 20th International Conference on Computational Science, ICCS 2020 in Computational Science - ICCS 2020 - 20th International Conference, Amsterdam, The Netherlands, June 3-5, 2020, Proceedings, Part V, VOLUME: 12141
INDEXADO EM: Scopus DBLP CrossRef: 9
NO MEU: ORCID | DBLP
22
TÍTULO: Assisting software engineering students in analyzing their performance in software development  Full Text
AUTORES: Mushtaq Raza; Joao Pascoal Faria ; Rafael Salazar;
PUBLICAÇÃO: 2019, FONTE: SOFTWARE QUALITY JOURNAL, VOLUME: 27, NÚMERO: 3
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | DBLP
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: 31st International Conference on Software Engineering and Knowledge Engineering, SEKE 2019 in The 31st International Conference on Software Engineering and Knowledge Engineering, SEKE 2019, Hotel Tivoli, Lisbon, Portugal, July 10-12, 2019., VOLUME: 2019-July
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
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: 12th International Conference on the Quality of Information and Communications Technology, QUATIC 2019 in Quality of Information and Communications Technology - 12th International Conference, QUATIC 2019, Ciudad Real, Spain, September 11-13, 2019, Proceedings, VOLUME: 1010
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
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: Joao Pedro Dias ; Joao Pascoal Faria ; Hugo Sereno Ferreira ;
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: 14
NO MEU: ORCID | DBLP
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: 10th International Conference on Soft Computing and Pattern Recognition, SoCPaR 2018 in Proceedings of the Tenth International Conference on Soft Computing and Pattern Recognition, SoCPaR 2018, Porto, Portugal, December 13-15, 2018, VOLUME: 942
INDEXADO EM: Scopus DBLP CrossRef: 4
NO MEU: ORCID | DBLP
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: 6th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2018 in Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2018, Funchal, Madeira - Portugal, January 22-24, 2018., VOLUME: 2018-January
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP
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: 9th International Conference on Ambient Systems, Networks and Technologies, ANT 2018 in The 9th International Conference on Ambient Systems, Networks and Technologies (ANT 2018) / The 8th International Conference on Sustainable Energy Information Technology (SEIT 2018) / Affiliated Workshops, May 8-11, 2018, Porto, Portugal, VOLUME: 130
INDEXADO EM: Scopus DBLP CrossRef: 6
NO MEU: ORCID | DBLP
30
TÍTULO: Izinto. a pattern-based IoT testing framework
AUTORES: Pedro Martins Pontes; Bruno Lima ; João Pascoal Faria ;
PUBLICAÇÃO: 2018, FONTE: Companion Proceedings for the ISSTA/ECOOP 2018 Workshops on - ISSTA '18
INDEXADO EM: CrossRef: 4
NO MEU: ORCID
Página 3 de 9. Total de resultados: 89.

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

Links Úteis

Ajuda

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