default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJoão Pascoal Faria
Person information
- affiliation: INESC TEC, Porto, Portugal
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2024
[j10]João Pascoal Faria, Freek Verbeek, Anna Rita Fasolino:
Report from the 14th International Workshop on Automating Test Case Design, Selection, and Evaluation (A-TEST 2023). ACM SIGSOFT Softw. Eng. Notes 49(2): 22-24 (2024)- 2023
- [j9]André 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 11: 89933-89946 (2023) - 2020
- [j8]Mushtaq Raza, João Pascoal Faria:
The ProcessPAIR Method for Automated Software Process Performance Analysis. IEEE Access 8: 141569-141583 (2020) - [j7]Bruno Lima, João Pascoal Faria, Robert M. Hierons:
Local Observability and Controllability Analysis and Enforcement in Distributed Testing With Time Constraints. IEEE Access 8: 167172-167191 (2020) - 2019
- [j6]Mushtaq Raza, João Pascoal Faria, Rafael Salazar:
Assisting software engineering students in analyzing their performance in software development. Softw. Qual. J. 27(3): 1209-1237 (2019) - 2016
- [j5]Mushtaq Raza, João Pascoal Faria:
A model for analyzing performance problems and root causes in the personal software process. J. Softw. Evol. Process. 28(4): 254-271 (2016) - [j4]João Pascoal Faria, Ana C. R. Paiva:
A toolset for conformance testing against UML sequence diagrams based on event-driven colored Petri nets. Int. J. Softw. Tools Technol. Transf. 18(3): 285-304 (2016) - 2014
- [j3]João Pascoal Faria, Bruno Lima, Tiago Boldt Sousa, Angelo Martins:
A Testing and Certification Methodology for an Open Ambient-Assisted Living Ecosystem. Int. J. E Health Medical Commun. 5(4): 90-107 (2014) - [j2]Ricardo Jorge Machado, Miguel Goulão, Fernando Brito e Abreu, João Pascoal Faria:
Introduction to Special Issue: Quality in Information and Communications Technology. Innov. Syst. Softw. Eng. 10(1): 1-2 (2014) - 2013
- [j1]João Pascoal Faria, Ana C. R. Paiva:
Report from the 8th international conference on the quality of information and communications technology (QUATIC 2012). ACM SIGSOFT Softw. Eng. Notes 38(1): 39-41 (2013)
Conference and Workshop Papers
- 2023
- [c52]João Pascoal Faria, Rui Abreu:
Case Studies of Development of Verified Programs with Dafny for Accessibility Assessment. FSEN 2023: 25-39 - [c51]Sadra Farshid, Bruno Lima, João Pascoal Faria:
Towards Computer Assisted Compliance Assessment in the Development of Software as a Medical Device. ICSOFT 2023: 728-735 - 2022
- [c50]Pedro Almeida, João Pascoal Faria, Bruno Lima:
A Pattern-Based Test Platform for Families of Smart Health Products. QRS 2022: 595-605 - 2021
- [c49]André Sousa, João Pascoal Faria, João Mendes-Moreira, Duarte Gomes, Pedro Castro Henriques, Ricardo Graça:
Applying Machine Learning to Risk Assessment in Software Projects. PKDD/ECML Workshops (2) 2021: 104-118 - [c48]Pedro Miranda, João Pascoal Faria, Filipe Figueiredo Correia, Ahmed Fares, Ricardo Graça, João Mendes Moreira:
An analysis of Monte Carlo simulations for forecasting software projects. SAC 2021: 1550-1558 - [c47]André Sousa, João Pascoal Faria, João Mendes-Moreira:
An Analysis of the State of the Art of Machine Learning for Risk Assessment in Software Projects (S). SEKE 2021: 217-222 - 2020
- [c46]Gil Manuel Gonçalves, Raquel F. Ch. Meneses, João Pascoal Faria, Raul Moreira Vidal:
A living lab for professional skills development in Software Engineering Management at U.Porto. EDUCON 2020: 1079-1085 - [c45]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. ICCS (5) 2020: 357-370 - [c44]Bruno Lima, João Pascoal Faria:
DCO analyzer: local controllability and observability analysis and enforcement of distributed test scenarios. ICSE (Companion Volume) 2020: 97-100 - 2019
- [c43]Bruno Lima, João Pascoal Faria, Robert M. Hierons:
Local Observability and Controllability Enforcement in Distributed Testing. QUATIC 2019: 327-338 - [c42]Mushtaq Raza, João Pascoal Faria:
Automatic Calibration of Performance Indicators for Performance Analysis in Software Development (S). SEKE 2019: 646-777 - 2018
- [c41]Ana C. R. Paiva, Nuno H. Flores, João Pascoal Faria, José M. G. Marques:
End-to-end Automatic Business Process Validation. ANT/SEIT 2018: 999-1004 - [c40]Bruno Lima, João Pascoal Faria:
Towards Real-Time Patient Prioritization in Hospital Emergency Services. HealthCom 2018: 1-4 - [c39]Pedro Martins Pontes, Bruno Lima, João Pascoal Faria:
Izinto: a pattern-based IoT testing framework. ISSTA/ECOOP Workshops 2018: 125-131 - [c38]João António Custódio Soares, Bruno Lima, João Pascoal Faria:
Automatic Model Transformation from UML Sequence Diagrams to Coloured Petri Nets. MODELSWARD 2018: 668-679 - [c37]João Pedro Dias, João Pascoal Faria, Hugo Sereno Ferreira:
A Reactive and Model-Based Approach for Developing Internet-of-Things Systems. QUATIC 2018: 276-281 - [c36]Pedro Martins Pontes, Bruno Lima, João Pascoal Faria:
Test patterns for IoT. A-TEST@ESEC/SIGSOFT FSE 2018: 63-66 - [c35]Bruno Tavares, Filipe Figueiredo Correia, André Restivo, João Pascoal Faria, Ademar Aguiar:
A Survey of Blockchain Frameworks and Applications. SoCPaR 2018: 308-317 - 2017
- [c34]Mushtaq Raza, João Pascoal Faria, Rafael Salazar:
Helping software engineering students analyzing their performance data: tool support in an educational environment. ICSE (Companion Volume) 2017: 241-243 - [c33]Bruno Lima, João Pascoal Faria:
Conformance Checking in Integration Testing of Time-constrained Distributed Systems based on UML Sequence Diagrams. ICSOFT 2017: 459-466 - [c32]Mushtaq Raza, João Pascoal Faria, Luis Amaro, Pedro Castro Henriques:
WebProcessPAIR: recommendation system for software process improvement. ICSSP 2017: 139-140 - 2016
- [c31]Bruno Lima, João Pascoal Faria:
Testing Distributed and Heterogeneous Systems: State of the Practice. ICSOFT-EA 2016: 69-78 - [c30]Bruno Lima, João Pascoal Faria:
A Survey on Testing Distributed and Heterogeneous Systems: The State of the Practice. ICSOFT (Selected Papers) 2016: 88-107 - [c29]Bruno Lima, João Pascoal Faria:
A Model-Based Approach for Product Testing and Certification in Digital Ecosystems. ICST Workshops 2016: 199-208 - [c28]Mushtaq Raza, João Pascoal Faria:
ProcessPAIR: a tool for automated performance analysis and improvement recommendation in software development. ASE 2016: 798-803 - [c27]Bruno Lima, João Pascoal Faria:
Towards the Online Testing of Distributed and Heterogeneous Systems with Extended Petri Nets. QUATIC 2016: 230-235 - [c26]Mushtaq Raza, João Pascoal Faria, Rafael Salazar:
Empirical Evaluation of the ProcessPAIR Tool for Automated Performance Analysis. SEKE 2016: 515-520 - [c25]Tiago Coelho, Bruno Lima, João Pascoal Faria:
MT4A: a no-programming test automation framework for Android applications. A-TEST@SIGSOFT FSE 2016: 59-65 - 2015
- [c24]Bruno Lima, João Pascoal Faria:
An Approach for Automated Scenario-based Testing of Distributed and Heterogeneous Systems. ICSOFT-EA 2015: 241-250 - [c23]Bruno Lima, João Pascoal Faria:
Automated Testing of Distributed and Heterogeneous Systems Based on UML Sequence Diagrams. ICSOFT (Selected Papers) 2015: 380-396 - 2014
- [c22]Miguel Nabuco, Ana C. R. Paiva, João Pascoal Faria:
Inferring User Interface Patterns from Execution Traces of Web Applications. ICCSA (5) 2014: 311-326 - [c21]Mushtaq Raza, João Pascoal Faria:
A model for analyzing estimation, productivity, and quality performance in the personal software process. ICSSP 2014: 10-19 - [c20]Mushtaq Raza, João Pascoal Faria:
A Benchmark-Based Approach for Ranking Root Causes of Performance Problems in Software Development. PROFES 2014: 314-317 - [c19]Rui Abreu, João Pascoal Faria:
Foreword of the 5th Portuguese Software Engineering Doctoral Symposium (SEDES'2014). QUATIC 2014: 274-275 - [c18]Ines Coimbra Morgado, Ana C. R. Paiva, João Pascoal Faria:
Automated Pattern-Based Testing of Mobile Applications. QUATIC 2014: 294-299 - 2013
- [c17]João Pascoal Faria, Bruno Lima, Tiago Boldt Sousa, Angelo Martins:
A testing and certification methodology for an Ambient-Assisted Living ecosystem. Healthcom 2013: 585-589 - [c16]João Pascoal Faria, Ana C. R. Paiva, Mário Ventura de Castro:
Techniques and Toolset for Conformance Testing against UML Sequence Diagrams. ICTSS 2013: 180-195 - 2012
- [c15]Ines Coimbra Morgado, Ana C. R. Paiva, João Pascoal Faria, Rui Camacho:
GUI reverse engineering with machine learning. RAISE@ICSE 2012: 27-31 - [c14]Francisco Rebello de Andrade, João Pascoal Faria, Antónia Lopes, Ana C. R. Paiva:
Specification-Driven Unit Test Generation for Java Generic Classes. IFM 2012: 296-311 - [c13]Isabel Lopes Margarido, João Pascoal Faria, Raul Moreira Vidal, Marco Vieira:
Towards a Framework to Evaluate and Improve the Quality of Implementation of CMMI® Practices. PROFES 2012: 361-365 - [c12]Cesar Barbosa Duarte, João Pascoal Faria, Mushtaq Raza:
PSP PAIR: Automated Personal Software Process Performance Analysis and Improvement Recommendation. QUATIC 2012: 131-136 - [c11]João Pascoal Faria, Ana C. R. Paiva, Zhuanli Yang:
Test Generation from UML Sequence Diagrams. QUATIC 2012: 245-250 - 2011
- [c10]Francisco Rebello de Andrade, João Pascoal Faria, Ana C. R. Paiva:
Test Generation from Bounded Algebraic Specifications using Alloy. ICSOFT (2) 2011: 192-200 - 2010
- [c9]António Miguel Rosado da Cruz, João Pascoal Faria:
A Metamodel-Based Approach for Automatic User Interface Generation. MoDELS (1) 2010: 256-270 - [c8]Luis Manuel Gonzalez Amaral, João Pascoal Faria:
A Gap Analysis Methodology for the Team Software Process. QUATIC 2010: 424-429 - 2009
- [c7]Hugo Sereno Ferreira, Ademar Aguiar, João Pascoal Faria:
Adaptive Object-Modelling: Patterns, Tools and Applications. ICSEA 2009: 530-535 - [c6]António Miguel Rosado da Cruz, João Pascoal Faria:
Automatic Generation of user Interface Models and Prototypes from Domain and Use Case Models. ICSOFT (1) 2009: 169-176 - 2008
- [c5]António Miguel Rosado da Cruz, João Pascoal Faria:
Automatic Generation of Interactive Prototypes for Domain Model Validation. ICSOFT (SE/MUSE/GSDCA) 2008: 206-213 - 2007
- [c4]António Miguel Rosado da Cruz, João Pascoal Faria:
Automatic Generation of User Interfaces from Domain and Use Case Models. QUATIC 2007: 208-212 - 2006
- [c3]João Falcão e Cunha, Mário Jorge Leitão, João Pascoal Faria, Miguel Pimenta Monteiro, Maria Antónia Carravilla:
A Methodology for Auditing e-Voting Processes and Systems used at the Elections for the Portuguese Parliament. Electronic Voting 2006: 145-154 - 2004
- [c2]Ana C. R. Paiva, João Pascoal Faria, Raul Moreira Vidal:
Automated Specification-based Testing of Interactive Components with AsmL. QUATIC 2004: 119-126 - 1999
- [c1]João Pascoal Faria, Raul Moreira Vidal:
Data-driven Active Rules for the Maintenance of Derived Data and Integrity Constraints in User Interfaces to Databases. SBBD 1999: 11-25
Editorship
- 2024
- [e3]Antonia Bertolino, João Pascoal Faria, Patricia Lago, Laura Semini:
Quality of Information and Communications Technology - 17th International Conference on the Quality of Information and Communications Technology, QUATIC 2024, Pisa, Italy, September 11-13, 2024, Proceedings. Communications in Computer and Information Science 2178, Springer 2024, ISBN 978-3-031-70244-0 [contents] - 2012
- [e2]João Pascoal Faria, Alberto Rodrigues da Silva, Ricardo Jorge Machado:
8th International Conference on the Quality of Information and Communications Technology, QUATIC 2012, Lisbon, Portugal, 2-6 September 2012, Proceedings. IEEE Computer Society 2012, ISBN 978-0-7695-4777-0 [contents] - 2010
- [e1]Fernando Brito e Abreu, João Pascoal Faria, Ricardo Jorge Machado:
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. IEEE Computer Society 2010, ISBN 978-0-7695-4241-6 [contents]
Informal and Other Publications
- 2024
- [i4]André Pereira, Bruno Lima, João Pascoal Faria:
APITestGenie: Automated API Test Generation through Generative AI. CoRR abs/2409.03838 (2024) - 2023
- [i3]João Pascoal Faria, Rui Abreu:
Case studies of development of verified programs with Dafny for accessibility assessment. CoRR abs/2301.03224 (2023) - 2020
- [i2]Bruno Lima, João Pascoal Faria:
DCO Analyzer: Local Controllability and Observability Analysis and Enforcement of Distributed Test Scenarios. CoRR abs/2004.04616 (2020) - 2019
- [i1]Bruno Tavares, Filipe Figueiredo Correia, André Restivo, João Pascoal Faria, Ademar Aguiar:
A survey of blockchain frameworks and applications. CoRR abs/1903.12553 (2019)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-30 20:31 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
