João Pascoal Faria

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 38

Top Topics

Sequence Diagrams

Engineering Students

Top Venues

Publications

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) (2024)
Sadra Farshid, Bruno Lima, João Pascoal Faria
Towards Computer Assisted Compliance Assessment in the Development of Software as a Medical Device. ICSOFT (2023)
João Pascoal Faria, Rui Abreu
Case Studies of Development of Verified Programs with Dafny for Accessibility Assessment. FSEN (2023)
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 (2023)
João Pascoal Faria, Rui Abreu
Case studies of development of verified programs with Dafny for accessibility assessment. CoRR (2023)
Pedro Almeida, João Pascoal Faria, Bruno Lima
A Pattern-Based Test Platform for Families of Smart Health Products. QRS (2022)
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)
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)
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)
Bruno Lima, João Pascoal Faria
DCO Analyzer: Local Controllability and Observability Analysis and Enforcement of Distributed Test Scenarios. CoRR (2020)
Mushtaq Raza, João Pascoal Faria
The ProcessPAIR Method for Automated Software Process Performance Analysis. IEEE Access 8 (2020)
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 (2020)
Gil M. 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)
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)
Bruno Lima, João Pascoal Faria
DCO analyzer: local controllability and observability analysis and enforcement of distributed test scenarios. ICSE (Companion Volume) (2020)
Bruno Lima, João Pascoal Faria, Robert M. Hierons
Local Observability and Controllability Enforcement in Distributed Testing. QUATIC (2019)
Bruno Tavares, Filipe Figueiredo Correia, André Restivo, João Pascoal Faria, Ademar Aguiar
A survey of blockchain frameworks and applications. CoRR (2019)
Mushtaq Raza, João Pascoal Faria, Rafael Salazar
Assisting software engineering students in analyzing their performance in software development. Softw. Qual. J. 27 (3) (2019)
Mushtaq Raza, João Pascoal Faria
Automatic Calibration of Performance Indicators for Performance Analysis in Software Development (S). SEKE (2019)
Bruno Tavares, Filipe Figueiredo Correia, André Restivo, João Pascoal Faria, Ademar Aguiar
A Survey of Blockchain Frameworks and Applications. SoCPaR (2018)
Pedro Martins Pontes, Bruno Lima, João Pascoal Faria
: a pattern-based IoT testing framework. ISSTA/ECOOP Workshops (2018)
Bruno Lima, João Pascoal Faria
Towards Real-Time Patient Prioritization in Hospital Emergency Services. HealthCom (2018)
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)
Pedro Martins Pontes, Bruno Lima, João Pascoal Faria
Test patterns for IoT. A-TEST@ESEC/SIGSOFT FSE (2018)
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)
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)
Mushtaq Raza, João Pascoal Faria, Luis Amaro, Pedro Castro Henriques
WebProcessPAIR: recommendation system for software process improvement. ICSSP (2017)
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)
Bruno Lima, João Pascoal Faria
Conformance Checking in Integration Testing of Time-constrained Distributed Systems based on UML Sequence Diagrams. ICSOFT (2017)
Mushtaq Raza, João Pascoal Faria, Rafael Salazar
Empirical Evaluation of the ProcessPAIR Tool for Automated Performance Analysis. SEKE (2016)
Tiago Coelho, Bruno Lima, João Pascoal Faria
MT4A: a no-programming test automation framework for Android applications. A-TEST@SIGSOFT FSE (2016)
Mushtaq Raza, João Pascoal Faria
ProcessPAIR: a tool for automated performance analysis and improvement recommendation in software development. ASE (2016)
Bruno Lima, João Pascoal Faria
A Model-Based Approach for Product Testing and Certification in Digital Ecosystems. ICST Workshops (2016)
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) (2016)
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) (2016)
Bruno Lima, João Pascoal Faria
Towards the Online Testing of Distributed and Heterogeneous Systems with Extended Petri Nets. QUATIC (2016)
Bruno Lima, João Pascoal Faria
Testing Distributed and Heterogeneous Systems: State of the Practice. ICSOFT-EA (2016)
Bruno Lima, João Pascoal Faria
A Survey on Testing Distributed and Heterogeneous Systems: The State of the Practice. ICSOFT (Selected Papers) (2016)
Bruno Lima, João Pascoal Faria
Automated Testing of Distributed and Heterogeneous Systems Based on UML Sequence Diagrams. ICSOFT (Selected Papers) (2015)
Bruno Lima, João Pascoal Faria
An Approach for Automated Scenario-based Testing of Distributed and Heterogeneous Systems. ICSOFT-EA (2015)
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) (2014)
Rui Abreu, João Pascoal Faria
Foreword of the 5th Portuguese Software Engineering Doctoral Symposium (SEDES'2014). QUATIC (2014)
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) (2014)
Ines Coimbra Morgado, Ana C. R. Paiva, João Pascoal Faria
Automated Pattern-Based Testing of Mobile Applications. QUATIC (2014)
Mushtaq Raza, João Pascoal Faria
A model for analyzing estimation, productivity, and quality performance in the personal software process. ICSSP (2014)
Miguel Nabuco, Ana C. R. Paiva, João Pascoal Faria
Inferring User Interface Patterns from Execution Traces of Web Applications. ICCSA (5) (2014)
Mushtaq Raza, João Pascoal Faria
A Benchmark-Based Approach for Ranking Root Causes of Performance Problems in Software Development. PROFES (2014)
João Pascoal Faria, Bruno Lima, Tiago Boldt Sousa, Angelo Martins
A testing and certification methodology for an Ambient-Assisted Living ecosystem. Healthcom (2013)
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)
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) (2013)
João Pascoal Faria, Ana C. R. Paiva, Zhuanli Yang
Test Generation from UML Sequence Diagrams. QUATIC (2012)
Cesar Barbosa Duarte, João Pascoal Faria, Mushtaq Raza
PSP PAIR: Automated Personal Software Process Performance Analysis and Improvement Recommendation. QUATIC (2012)
Ines Coimbra Morgado, Ana C. R. Paiva, João Pascoal Faria, Rui Camacho
GUI reverse engineering with machine learning. RAISE@ICSE (2012)
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)
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)
Francisco Rebello de Andrade, João Pascoal Faria, Ana C. R. Paiva
Test Generation from Bounded Algebraic Specifications using Alloy. ICSOFT (2) (2011)
Luis Manuel Gonzalez Amaral, João Pascoal Faria
A Gap Analysis Methodology for the Team Software Process. QUATIC (2010)
António Miguel Rosado da Cruz, João Pascoal Faria
A Metamodel-Based Approach for Automatic User Interface Generation. MoDELS (1) (2010)
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)
Hugo Sereno Ferreira, Ademar Aguiar, João Pascoal Faria
Adaptive Object-Modelling: Patterns, Tools and Applications. ICSEA (2009)
António Miguel Rosado da Cruz, João Pascoal Faria
Automatic Generation of Interactive Prototypes for Domain Model Validation. ICSOFT (SE/MUSE/GSDCA) (2008)
António Miguel Rosado da Cruz, João Pascoal Faria
Automatic Generation of User Interfaces from Domain and Use Case Models. QUATIC (2007)
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)
Ana C. R. Paiva, João Pascoal Faria, Raul Moreira Vidal
Automated Specification-based Testing of Interactive Components with AsmL. QUATIC (2004)
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)