???global.info.a_carregar???
João Pascoal Faria holds a PhD in Electrical and Computer Engineering from the Faculty of Engineering of the University of Porto in 1999, where he is currently Full Professor at the Department of Informatics Engineering, Director of the Master in Software Engineering (MESW), and FEUP's Pro-Director for Continuous Improvement. He is a senior researcher in Software Engineering at INESC TEC in the Human-Centered Computing and Information Science (HumanISE) center. In the past, he worked with several software companies (Novabase Saúde, Sidereus, Medidata) and was a co-founder of two others (Qualisoft and Strongstep). He has more than 30 years of experience in education, research, development and consultancy in software engineering. He obtained the Certified Personal Software Process (PSP) Developer, Authorized PSP Instructor, and trained Team Software Process (TSP) Coach qualifications from the Software Engineering Institute of Carnegie Mellon University. He is the main author of a rapid application development tool (SAGA) based on domain-specific languages, with more than 30 years of market presence and evolution. His current research focuses on advancing software quality—encompassing software testing, software verification, and software process improvement—by leveraging synergies between software engineering and artificial intelligence.
Read full resume ↓
Identification

Personal identification

Full name
João Carlos Pascoal Faria

Citation names

  • Pascoal Faria, João

Author identifiers

Ciência ID
8D18-45BA-202E
ORCID iD
0000-0003-3825-3954
AuthenticusID
R-000-6WK
Researcher Id
B-5496-2012
Scopus Author Id
35219959000

Email addresses

  • jpf@fe.up.pt (Professional)

Addresses

  • Faculty of Enginering of the University of Porto. Rua Dr. Roberto Frias, s/n, 4200-465, Porto, Porto, Portugal (Professional)

Websites

Knowledge fields

  • Engineering and Technology - Electrotechnical Engineering, Electronics and Informatics
  • Exact Sciences - Computer and Information Sciences

Languages

Language Speaking Reading Writing Listening Peer-review
Portuguese Advanced (C1) Advanced (C1) Advanced (C1) Advanced (C1)
English Intermediate (B1) Advanced (C1) Upper intermediate (B2) Upper intermediate (B2) Upper intermediate (B2)
French Beginner (A1) Beginner (A1) Beginner (A1) Beginner (A1)
Education
Degree Classification
1999
Concluded
 Engenharia Eletrotécnica e de Computadores (Doutoramento)
Universidade do Porto Faculdade de Engenharia, Portugal
"Data-driven Active Rules for the Maintenance of Integrity Constraints and Derived Data in Interactive Database Applications" (THESIS/DISSERTATION)
 Aprovado por unanimidade
1985
Concluded
 Engenharia Electrotécnica (Licenciatura)
Major in Sistemas Digitais e Computadores
Universidade do Porto Faculdade de Engenharia, Portugal
 18
Affiliation

Science

Category
Host institution 		Employer
1985/10/01 - Current Researcher (Research) Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal

Teaching in Higher Education

Category
Host institution 		Employer
2024/05/13 - Current Full Professor (University Teacher) Universidade do Porto Faculdade de Engenharia, Portugal
2016/12/21 - 2024/05/12 Associate Professor (University Teacher) Universidade do Porto Faculdade de Engenharia, Portugal
2015 - 2018 Assistant Professor (University Teacher) Universidade do Porto Faculdade de Engenharia, Portugal
1999/12/03 - 2016/12/20 Assistant (University Teacher) Universidade do Porto Faculdade de Engenharia, Portugal
2007 - 2013 Assistant Professor (University Teacher) Universidade do Porto Faculdade de Engenharia, Portugal
1985/12/20 - 1999/12/02 Assistant (University Teacher) Universidade do Porto Faculdade de Engenharia, Portugal

Others

Category
Host institution 		Employer
2009/05/29 - 2011/10/17 Co-Founder and Senior Consultant Strongstep - Innovation in Software Quality, Portugal
2002/03/01 - 2002/11/30 Software Architect Sidereus, Portugal
2000/08/01 - 2002/02/28 Innovation Manager Novabase Saúde, Portugal
Projects

Contract

Designation Funders
2022/09 - 2025/08 ENACTEST - European iNnovation AllianCe for TESting educaTion
101055874-ENACTEST-ERASMUS-EDU-2021-PI-ALL-INNO
Researcher
Universidade do Porto Faculdade de Engenharia, Portugal

Universitat Politècnica de València, Spain

Università degli Studi di Napoli Federico II, Italy

RISE Research Institutes of Sweden AB, Sweden

Innovation Services SA, Portugal
European Commission
Ongoing
2020/11/01 - 2023/06/30 Smart medical technologies for better health and care
POCI-01-0247-FEDER-046115
Researcher
Universidade do Porto Faculdade de Engenharia, Portugal
 Agência Nacional de Inovação S.A.
Concluded
2019/08/01 - 2023/06/30 PROMESSA - PROject ManagEment intellingent aSSistAnt
NORTE-01-0247-FEDER-039887
Researcher
Universidade do Porto Faculdade de Engenharia, Portugal

Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal

Associação Fraunhofer Portugal Research, Portugal

Strongstep - Innovation in Software Quality, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
2019/04/01 - 2022/03/31 Safe Cities - Inovação para Construir Cidades Seguras
POCI-01-0247-FEDER-041435 (Safe Cities)
Researcher
Universidade do Porto Faculdade de Engenharia, Portugal

Universidade do Porto Faculdade de Ciências, Portugal

Robert Bosch GmbH, Germany
Agência para o Desenvolvimento e Coesão, I.P.
Ongoing
2017/05/13 - 2019/09/14 Simprove - The biomedical simulation centre of the future
NORTE-01-0247-FEDER-017566
Researcher
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
 Agência Nacional de Inovação S.A.
Concluded
2015/07/01 - 2019/06/30 NanoSTIMA – Macro-to-Nano Human Sensing: Towards Integrated Multimodal Health Monitoring and Analytics
NORTE-01-0145-FEDER-000016
Researcher
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
 Comissão de Coordenação da Região Norte
Concluded
2015/12/01 - 2017/07/31 AIMS2 - Accelerated Improvement Method Strongstep 2
POCI-01-0247-FEDER-006405
Researcher
Universidade do Porto Faculdade de Engenharia, Portugal

Strongstep - Innovation in Software Quality, Portugal

Match Profiler - Consultadoria e Desenvolvimento de Sistemas de Gestão, Lda, Portugal
Agência Nacional de Inovação S.A.
Concluded
2012/04/01 - 2015/09/30 Teste de interfaces gráficas com o utilizador baseado em padrões
PTDC/EIA-EIA/119479/2010
Researcher
Universidade do Porto Faculdade de Engenharia, Portugal

Universidade do Minho, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
2012/04/01 - 2015/04/30 AutoSeer: Oráculos Automáticos para Detecção de Erros em Software
PTDC/EIA-CCO/116796/2010
Universidade do Minho Centro ALGORITMI, Portugal

Universidade do Porto Faculdade de Engenharia, Portugal

Universidade do Minho, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
2011/08/01 - 2014/04/30 AIMS - Accelerated Improvement Method Support
SI IDT - 21562/2011
Researcher
Universidade do Porto Faculdade de Engenharia, Portugal

Strongstep - Innovation in Software Quality, Portugal

MULTICERT - Serviços de Certificação Electrónica S.A., Portugal
Agência Nacional de Inovação S.A.
Concluded
2010/01/01 - 2013/06/30 Empresa pela Fiabillidade em Componentes de Software Genéricas
PTDC/EIA-EIA/103103/2008
Fundação da Faculdade de Ciências da Universidade de Lisboa, Portugal

Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal

Universidade do Porto Faculdade de Engenharia, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
2008/01/01 - 2011/06/30 AMBER iTest - Um ambiente automatizado de teste de interfaces para o utilizador com base em modelos
PTDC/EIA/66767/2006
Principal investigator
Universidade do Porto Faculdade de Engenharia, Portugal

Critical Software, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
2005/07/01 - 2008/06/30 IVY - Um ambiente de análise de usabilidade baseado em modelos
POSC/EIA/56646/2004
Universidade do Minho Centro ALGORITMI, Portugal

Universidade do Minho, Portugal

Instituto de Engenharia de Sistemas e Computadores, Portugal

Universidade do Porto Faculdade de Engenharia, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
Outputs

Publications

Book
  1. Nabuco, M.; Paiva, A.C.R.; Faria, J.P.. Inferring user interface patterns from execution traces of web applications. 2014.
    10.1007/978-3-319-09156-3_23
  2. Raza, M.; Faria, J.P.. A benchmark-based approach for ranking root causes of performance problems in software development. 2014.
    10.1007/978-3-319-13835-0_30
  3. Faria, J.P.; Paiva, A.C.R.; De Castro, M.V.. Techniques and toolset for conformance testing against UML sequence diagrams. 2013.
    10.1007/978-3-642-41707-8_12
  4. Lopes Margarido, I.; Pascoal Faria, J.; Moreira Vidal, R.; Vieira, M.. Towards a framework to evaluate and improve the quality of implementation of CMMI® practices. 2012.
    10.1007/978-3-642-31063-8_29
  5. Rebello De Andrade, F.; Faria, J.P.; Lopes, A.; Paiva, A.C.R.. Specification-driven unit test generation for java generic classes. 2012.
    10.1007/978-3-642-30729-4_21
  6. Da Cruz, A.M.R.; Faria, J.P.. A metamodel-based approach for automatic user interface generation. 2010.
    10.1007/978-3-642-16145-2_18
  7. Paiva, A.C.R.; Faria, J.C.P.; Mendes, P.M.C.. Reverse engineered formal models for GUI testing. 2008.
    10.1007/978-3-540-79707-4_16
  8. Paiva, A.C.R.; Faria, J.C.P.; Tillmann, N.; Vidal, R.A.M.. A model-to-implementation mapping tool for automated model-based GUI testing. 2005.
    10.1007/11576280_31
  9. Paiva, A.C.R.; Faria, J.C.P.; Vidal, R.F.A.M.. Specification-based testing of user interfaces. 2003.
    10.1007/978-3-540-39929-2_10
Book chapter
  1. Sousa, André; Faria, João Pascoal; Mendes-Moreira, João; Gomes, Duarte; Henriques, Pedro Castro; Graça, Ricardo. "Applying Machine Learning to Risk Assessment in Software Projects". In Machine Learning and Principles and Practice of Knowledge Discovery in Databases, 104-118. Springer International Publishing, 2021.
    10.1007/978-3-030-93733-1_7
  2. João Pedro Dias; Bruno Lima; João Pascoal Faria; André Restivo; Hugo Sereno Ferreira. "Visual Self-healing Modelling for Reliable Internet-of-Things Systems". 357-370. Springer International Publishing, 2020.
    10.1007/978-3-030-50426-7_27
Conference paper
  1. Pascoal Faria, João; Emanuel Trigo; Abreu, Rui. Corresponding author: Pascoal Faria, João. "Automatic Generation of Loop Invariants in Dafny with Large Language Models". Paper presented in FSEN 2025 - Fundamentals of Software Engineering, Västerås, 2025.
    Accepted
  2. Farshid, Sadra; Lima, Bruno; Faria, João. "Towards Computer Assisted Compliance Assessment in the Development of Software as a Medical Device". Paper presented in ICSOFT 2023 - 18th International Conference on Software Technologies, Roma, 2023.
    Published • 10.5220/0012148400003538
  3. Pascoal Faria, João; Abreu, Rui. "Case Studies of Development of Verified Programs with Dafny for Accessibility Assessment". Paper presented in FSEN 2023 - Fundamentals of Software Engineering, 2023.
    10.1007/978-3-031-42441-0_3
  4. Almeida, P; Faria, JP; Lima, B. "A Pattern-Based Test Platform for Families of Smart Health Products". 2022.
    10.1109/qrs57517.2022.00066
  5. Miranda, P; Faria, JP; Correia, FF; Fares, A; Graça, R; Moreira, JM. "An analysis of Monte Carlo simulations for forecasting software projects". 2021.
    10.1145/3412841.3442030
  6. Sousa A.; Faria J.P.; Mendes-Moreira J.. "An analysis of the state of the art of machine learning for risk assessment in software projects". 2021.
    10.18293/seke2021-097
  7. Gonçalves, GM; Meneses, R; Faria, JP; Vidal, RM; Goncalves, GM. "A living lab for professional skills development in Software Engineering Management at U.Porto". 2020.
    10.1109/educon45650.2020.9125099
  8. Lima, B; Faria, JP. "DCO analyzer: local controllability and observability analysis and enforcement of distributed test scenarios". 2020.
    10.1145/3377812.3382142
  9. Lima, B; Faria, JP; Hierons, R. "Local Observability and Controllability Enforcement in Distributed Testing". 2019.
    10.1007/978-3-030-29238-6_24
  10. Raza, M; Faria, JP. "Automatic calibration of performance indicators for performance analysis in software development". 2019.
    10.18293/seke2019-188
  11. Custódio Soares, JA; Lima, B; Faria, JP. "Automatic Model Transformation from UML Sequence Diagrams to Coloured Petri Nets". 2018.
    10.5220/0006731806680679
  12. Paiva, ACR; Flores, NH; Faria, JP; Marques, JMG. "End-to-end Automatic Business Process Validation". 2018.
    10.1016/j.procs.2018.04.104
  13. Dias, JP; Faria, JP; Ferreira, HS. "A Reactive and Model-based Approach for Developing Internet-of-Things Systems". 2018.
    10.1109/quatic.2018.00049
  14. Lima, B; Faria, JP. "Towards Real-Time Patient Prioritization in Hospital Emergency Services". 2018.
    10.1109/healthcom.2018.8531089
  15. Pontes, PM; Lima, B; Faria, JP. "Test Patterns for IoT". 2018.
    10.1145/3278186.3278196
  16. Pontes, PM; Lima, B; Faria, JP. "Izinto: a pattern-based IoT testing framework". 2018.
    10.1145/3236454.3236511
  17. Tavares, B; Correia, FF; Restivo, A; Faria, JP; Aguiar, A. "A Survey of Blockchain Frameworks and Applications". 2018.
    10.1007/978-3-030-17065-3_31
  18. Lima, BMC; Faria, JCP. "Towards Decentralized Conformance Checking in Model-Based Testing of Distributed Systems". 2017.
    10.1109/icstw.2017.64
  19. Raza, M; Faria, JP; Amaro, L; Henriques, PC. "WebProcessPAIR: recommendation system for software process improvement". 2017.
    10.1145/3084100.3084365
  20. Raza, M; Faria, JP; Salazar, R. "Helping Software Engineering Students Analyzing their Performance Data Tool Support in an Educational Environment". 2017.
    10.1109/icse-c.2017.61
  21. Lima, B; Faria, JP. "Conformance Checking in Integration Testing of Time-constrained Distributed Systems based on UML Sequence Diagrams". 2017.
    10.5220/0006474004590466
  22. Lima, B; Faria, JP. "A Survey on Testing Distributed and Heterogeneous Systems: The State of the Practice". 2017.
    10.1007/978-3-319-62569-0_5
  23. Lima, B; Faria, JP. "Towards the Online Testing of Distributed and Heterogeneous Systems with Extended Petri Nets". 2016.
    10.1109/quatic.2016.48
  24. Lima, B; Faria, JP. "Testing Distributed and Heterogeneous Systems: State of the Practice". 2016.
    10.5220/0005989100690078
  25. Lima, B; Faria, JP. "A Survey on Testing Distributed and Heterogeneous Systems: The State of the Practice". 2016.
  26. Lima, B; Faria, JP. "A Model-Based Approach for Product Testing and Certification in Digital Ecosystems". 2016.
    10.1109/icstw.2016.22
  27. Raza, M; Faria, JP. "ProcessPAIR: A Tool for Automated Performance Analysis and Improvement Recommendation in Software Development". 2016.
    10.1145/2970276.2970284
  28. Coelho, Tiago; Lima, Bruno; Faria, JoaoPascoal. "MT4A: a no-programming test automation framework for Android applications". 2016.
    10.1145/2994291.2994300
  29. Raza, Mushtaq; Faria, JoaoPascoal; Salazar, Rafael. "Empirical Evaluation of the ProcessPAIR Tool for Automated Performance Analysis". 2016.
    10.18293/SEKE2016-205
  30. Lima, B; Faria, JP. "Automated Testing of Distributed and Heterogeneous Systems Based on UML Sequence Diagrams". 2016.
    10.1007/978-3-319-30142-6_21
  31. Lima, B; Faria, JP. "An Approach for Automated Scenario-based Testing of Distributed and Heterogeneous Systems". 2015.
    10.5220/0005558602410250
  32. Raza, M.; Faria, J.P.. "A model for analyzing estimation, productivity, and quality performance in the personal software process". 2014.
    10.1145/2600821.2600828
  33. Raza, M.; Faria, J.P.. "Factors affecting personal software development productivity: A case study with PSP data". 2014.
    10.2316/p.2014.810-014
  34. Morgado, I.C.; Paiva, A.C.R.; Faria, J.P.. "Automated pattern-based testing of mobile applications". 2014.
    10.1109/quatic.2014.47
  35. Abreu, R.; Faria, J.P.. "Foreword of the 5th Portuguese software engineering doctoral symposium (SEDES'2014)". 2014.
    10.1109/QUATIC.2014.53
  36. Faria, J.P.; Lima, B.; Sousa, T.B.; Martins, A.. "A testing and certification methodology for an Ambient-Assisted Living ecosystem". 2013.
    10.1109/healthcom.2013.6720744
  37. Nabuco, M.; Paiva, A.C.R.; Camacho, R.; Faria, J.P.. "Inferring UI patterns with Inductive Logic Programming". 2013.
  38. Morgado, I.C.; Paiva, A.C.R.; Faria, J.P.; Camacho, R.. "GUI reverse engineering with machine learning". 2012.
    10.1109/RAISE.2012.6227966
  39. Faria, J.P.; Paiva, A.; Da Silva, A.R.. "Message from conference chairs: QUATIC 2012". 2012.
    10.1109/quatic.2012.2
  40. Duarte, C.B.; Faria, J.P.; Raza, M.. "PSP PAIR: Automated personal software process performance analysis and improvement recommendation". 2012.
    10.1109/QUATIC.2012.46
  41. De Andrade, F.R.; Faria, J.P.; Paiva, A.C.R.. "Test generation from bounded algebraic specifications using alloy". 2011.
  42. Lopes Margarido, I.; Faria, J.P.; Vidal, R.M.; Vieira, M.. "Classification of defect types in requirements specifications: Literature review, proposal and assessment". 2011.
  43. Ferreira, R.D.F.; Faria, J.P.; Paiva, A.C.R.. "Test coverage analysis of UML activity diagrams for interactive systems". 2010.
    10.1109/quatic.2010.51
  44. Ferreira, R.D.F.; Paiva, A.C.R.; Faria, J.P.. "Test coverage analysis of UML state machines". 2010.
    10.1109/ICSTW.2010.60
  45. Faria, J.P.; Paiva, A.. "Proceedings - 7th International Conference on the Quality of Information and Communications Technology, QUATIC 2010: Message from the Organizing Chairs". 2010.
    10.1109/quatic.2010.5
  46. Amaral, L.M.G.; Faria, J.P.. "A gap analysis methodology for the Team Software Process". 2010.
    10.1109/quatic.2010.78
  47. Grilo, A.M.P.; Paiva, A.C.R.; Faria, J.P.. "Reverse engineering of GUI models for testing". 2010.
  48. Da Cruz, A.M.R.; Faria, J.P.. "Automatic generation of user interface models and prototypes from domain and use case models". 2009.
  49. Da Cruz, A.M.R.; Faria, J.P.. "Automatic generation of interactive prototypes for domain model validation". 2008.
  50. Da Cruz, A.M.R.; De Faria, J.P.. "Automatic generation of user interfaces from domain and use case models". 2007.
    10.1109/QUATIC.2007.14
  51. E Cunha, J.F.; Leitão, M.J.; Faria, J.P.; Monteiro, M.P.; Carravilla, M.A.. "A methodology for auditing e-voting processes and systems used at the elections for the portuguese parliament". 2006.
  52. Paiva, ACR; Tillmann, N; Faria, JCP; Vidal, RFAM. "Modeling and Testing Hierarchical GUIs". 2005.
  53. Paiva, ACR; Faria, JCP; Vidal, RFAM. "Automated specification-based testing of interactive components with asmL". 2004.
  54. Faria, JP; Vidal, RM. "Data-driven Active Rules for the Maintenance of Derived Data and Integrity Constraints in User Interfaces to Databases". 1999.
Edited book
  1. Antonia Bertolino; Pascoal Faria, João; Patricia Lago; Laura Semini. 17th International Conference on the Quality of Information and Communications Technology, QUATIC 2024 Pisa, Italy, September 11–13, 2024, Proceedings. Switzerland: Springer Nature Switzerland. 2024.
    Published • 10.1007/978-3-031-70245-7 • Editor
  2. Faria, JP; Silva, ARd; Machado, RJ. 8th International Conference on the Quality of Information and Communications Technology, QUATIC 2012, Lisbon, Portugal, 2-6 September 2012, Proceedings. 2012.
  3. Abreu, FBe; Faria, JP; Machado, RJ. Quality of Information and Communications Technology, 7th International Conference on the Quality of Information and Communications Technology, QUATIC 2010, Porto, Portugal, 29 September - 2 October, 2010, Proceedings. 2010.
Journal article
  1. Pascoal Faria, João; Verbeek, Freek; Rita Fasolino, Anna. "Report from the 14th International Workshop on Automating Test Case Design, Selection, and Evaluation (A-TEST 2023)". ACM SIGSOFT Software Engineering Notes 49 2 (2024): 22-24. https://doi.org/10.1145/3650142.3650149.
    Published • 10.1145/3650142.3650149
  2. André O. Sousa; Daniel T. Veloso; Henrique M. Gonçalves; João Pascoal Faria; João Mendes-Moreira; Ricardo Graça; Duarte Gomes; Rui Nuno Castro; Pedro Castro Henriques. "Applying Machine Learning to Estimate the Effort and Duration of Individual Tasks in Software Projects". IEEE Access (2023): https://doi.org/10.1109/ACCESS.2023.3307310.
    10.1109/ACCESS.2023.3307310
  3. Lima, B; Faria, JP; Hierons, R. "Local Observability and Controllability Analysis and Enforcement in Distributed Testing with Time Constraints". IEEE Access (2020):
    10.1109/access.2020.3021858
  4. Raza, M; Faria, JP. "The ProcessPAIR Method for Automated Software Process Performance Analysis". IEEE Access (2020):
    10.1109/access.2020.3013328
  5. Raza, M; Faria, JP; Salazar, R. "Assisting software engineering students in analyzing their performance in software development". SOFTWARE QUALITY JOURNAL (2019):
    10.1007/s11219-018-9433-7
  6. Raza, M; Faria, JP. "A model for analyzing performance problems and root causes in the personal software process". JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS (2016): https://www.authenticus.pt/P-00K-AS7.
    10.1002/smr.1759
  7. Faria, J.P.; Paiva, A.C.R.. "A toolset for conformance testing against UML sequence diagrams based on event-driven colored Petri nets". International Journal on Software Tools for Technology Transfer (2014): http://www.scopus.com/inward/record.url?eid=2-s2.0-84916919978&partnerID=MN8TOARS.
    10.1007/s10009-014-0354-x
  8. Machado, R.J.; Goulão, M.; Brito e Abreu, F.; de Faria, J.P.. "Introduction to Special Issue: Quality in Information and Communications Technology". Innovations in Systems and Software Engineering 10 1 (2014): 1-2. http://www.scopus.com/inward/record.url?eid=2-s2.0-84893907224&partnerID=MN8TOARS.
    10.1007/s11334-014-0229-z
  9. Faria, J.P.; Lima, B.; Sousa, T.B.; Martins, A.. "A testing and certification methodology for an open Ambient-Assisted Living ecosystem". International Journal of E-Health and Medical Communications 5 4 (2014): 90-107. http://www.scopus.com/inward/record.url?eid=2-s2.0-84924359361&partnerID=MN8TOARS.
    10.4018/ijehmc.2014100106
  10. Faria, JP; Paiva, ACR. "Report from the 8th international conference on the quality of information and communications technology (QUATIC 2012)". ACM SIGSOFT Software Engineering Notes (2013): https://www.authenticus.pt/P-00A-8XF.
    10.1145/2382756.2382765
  11. Faria, Joao Pascoal; Paiva, Ana C. R.; Yang, Zhuanli; Faria, JP; Silva, A; Machado, RJ. "Test Generation from UML Sequence Diagrams". 2012 Eighth International Conference on the Quality of Information and Communications Technology (Quatic 2012) (2012): 245-250.
    10.1109/QUATIC.2012.57
  12. Ferreira, Hugo Sereno; Aguiar, Ademar; Faria, Joao Pascoal; Boness, K; Fernandes, JM; Hall, JG. "Adaptive Object-Modelling: Patterns, Tools and Applications". 2009 Fourth International Conference on Software Engineering Advances (Icsea 2009) (2009): 530-535.
    10.1109/icsea.2009.83
  13. Paiva, A.C.R.; Faria, J.C.P.; Vidal, R.F.A.M.. "Towards the Integration of Visual and Formal Models for GUI Testing". Electronic Notes in Theoretical Computer Science 190 2 SPEC. IS (2007): 99-111. http://www.scopus.com/inward/record.url?eid=2-s2.0-34548129521&partnerID=MN8TOARS.
    10.1016/j.entcs.2007.08.010
Preprint
  1. André Pereira; Lima, Bruno; Pascoal Faria, João. "APITestGenie: Automated API Test Generation through Generative AI". 2024. https://arxiv.org/abs/2409.03838.
  2. Pascoal Faria, João; Abreu, Rui. "Case studies of development of verified programs with Dafny for accessibility assessment". 2023. https://arxiv.org/abs/2301.03224.

Other

Other output
  1. DCO Analyzer: Local Controllability and Observability Analysis and Enforcement of Distributed Test Scenarios. 2020. Lima, B; Faria, JP.
  2. Message from the a- Most 2019 chairs. 2019. Hierons, R; Núñez, M; Pretschner, A; Gargantini, A; Faria, JP; Wang, S.
    10.1109/icstw.2019.00006
Activities

Committee member

Activity description
Role 		Institution / Organization
2017/01/17 - 2021/02/23 Presidente da CS03 - Comissão Sectorial para as Tecnologias da Informação e Comunicação
Member
 Instituto Português da Qualidade, Portugal
Distinctions

Other distinction

2011 ICSEA 2011: Best Paper Award
2010 MODELS 2010: Best paper award
2009 ICSEA 2009: Best paper award
2005 AWRE´05: Best paper award