João Carlos Pascoal Faria


AuthID: R-000-6WK

Publicações Confirmadas: 88



11
TÍTULO: Case Studies of Development of Verified Programs with Dafny for Accessibility Assessment
AUTORES: João Pascoal Faria ; Rui Abreu ;
PUBLICAÇÃO: 2023, FONTE: 10th IPM International Conference on Fundamentals of Software Engineering, FSEN 2023 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 14155 LNCS
INDEXADO EM: Scopus CrossRef: 2
NO MEU: ORCID
12
TÍTULO: Towards Computer Assisted Compliance Assessment in the Development of Software as a Medical Device
AUTORES: Sadra Farshid; Bruno Lima ; João Pascoal Faria ;
PUBLICAÇÃO: 2023, FONTE: ICSOFT
INDEXADO EM: DBLP CrossRef Unpaywall
NO MEU: ORCID
13
TÍTULO: A Pattern-Based Test Platform for Families of Smart Health Products
AUTORES: Almeida, Pedro; Faria, Joao Pascoal ; Lima, Bruno ;
PUBLICAÇÃO: 2022, FONTE: 22nd IEEE International Conference on Software Quality, Reliability and Security (QRS) in 2022 IEEE 22ND INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY, QRS, VOLUME: 2022-December
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
NO MEU: ORCID
14
TÍTULO: An analysis of Monte Carlo simulations for forecasting software projects  Full Text
AUTORES: Pedro Miranda; João Pascoal Faria ; Filipe Figueiredo Correia ; Ahmed Fares ; Ricardo Graça; João Mendes Moreira ;
PUBLICAÇÃO: 2021, FONTE: SAC
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID
15
TÍTULO: An Analysis of the State of the Art of Machine Learning for Risk Assessment in Software Projects (S)
AUTORES: André Sousa; João Pascoal Faria ; João Mendes Moreira ;
PUBLICAÇÃO: 2021, FONTE: SEKE, VOLUME: 2021-July
INDEXADO EM: Scopus DBLP CrossRef: 6
NO MEU: ORCID
16
TÍTULO: Applying Machine Learning to Risk Assessment in Software Projects
AUTORES: Sousa, Andre; Faria, Joao Pascoal ; Mendes Moreira, Joao ; Gomes, Duarte; Henriques, Pedro Castro; Graca, Ricardo;
PUBLICAÇÃO: 2021, FONTE: 21st Joint European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML PKDD) in MACHINE LEARNING AND PRINCIPLES AND PRACTICE OF KNOWLEDGE DISCOVERY IN DATABASES, PT II, VOLUME: 1525
INDEXADO EM: Scopus WOS DBLP CrossRef: 6 Unpaywall
NO MEU: ORCID
17
TÍTULO: A living lab for professional skills development in Sofrware Engineering Management at U. Porto
AUTORES: Gil Gonçalves ; Meneses, R ; Faria, JP ; Vidal, RM;
PUBLICAÇÃO: 2020, FONTE: IEEE Global Engineering Education Conference (IEEE EDUCON) in PROCEEDINGS OF THE 2020 IEEE GLOBAL ENGINEERING EDUCATION CONFERENCE (EDUCON 2020), VOLUME: 2020-April
INDEXADO EM: Scopus WOS DBLP CrossRef
18
TÍTULO: DCO Analyzer: Local Controllability and Observability Analysis and Enforcement of Distributed Test Scenarios
AUTORES: Bruno Lima ; João Pascoal Faria ;
PUBLICAÇÃO: 2020, FONTE: CoRR, VOLUME: abs/2004.04616
INDEXADO EM: Scopus DBLP
NO MEU: ORCID
19
TÍTULO: DCO Analyzer: Local Controllability and Observability Analysis and Enforcement of Distributed Test Scenarios. local controllability and observability analysis and enforcement of distributed test scenarios
AUTORES: Lima, B ; Faria, JP ;
PUBLICAÇÃO: 2020, FONTE: 42nd ACM/IEEE International Conference on Software Engineering - Companion Proceedings (ICSE-Companion) in 2020 ACM/IEEE 42ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS (ICSE-COMPANION 2020)
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID
20
TÍTULO: Local Observability and Controllability Analysis and Enforcement in Distributed Testing With Time Constraints
AUTORES: Lima, B ; Faria, JP ; Hierons, R;
PUBLICAÇÃO: 2020, FONTE: IEEE ACCESS, VOLUME: 8
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
NO MEU: ORCID
Página 2 de 9. Total de resultados: 88.

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