João Pascoal Faria
Orcid: 0000-0003-3825-3954Affiliations:
- INESC TEC, Porto, Portugal
According to our database1,
João Pascoal Faria
authored at least 63 papers
between 1999 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Report from the 14th International Workshop on Automating Test Case Design, Selection, and Evaluation (A-TEST 2023).
ACM SIGSOFT Softw. Eng. Notes, April, 2024
2023
Applying Machine Learning to Estimate the Effort and Duration of Individual Tasks in Software Projects.
IEEE Access, 2023
Towards Computer Assisted Compliance Assessment in the Development of Software as a Medical Device.
Proceedings of the 18th International Conference on Software Technologies, 2023
Case Studies of Development of Verified Programs with Dafny for Accessibility Assessment.
Proceedings of the Fundamentals of Software Engineering - 10th International Conference, 2023
2022
Proceedings of the 22nd IEEE International Conference on Software Quality, 2022
2021
An Analysis of the State of the Art of Machine Learning for Risk Assessment in Software Projects (S).
Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021
Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021
Proceedings of the Machine Learning and Principles and Practice of Knowledge Discovery in Databases, 2021
2020
IEEE Access, 2020
Local Observability and Controllability Analysis and Enforcement in Distributed Testing With Time Constraints.
IEEE Access, 2020
DCO analyzer: local controllability and observability analysis and enforcement of distributed test scenarios.
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June, 2020
Proceedings of the Computational Science - ICCS 2020, 2020
A living lab for professional skills development in Software Engineering Management at U.Porto.
Proceedings of the 2020 IEEE Global Engineering Education Conference, 2020
2019
Assisting software engineering students in analyzing their performance in software development.
Softw. Qual. J., 2019
Automatic Calibration of Performance Indicators for Performance Analysis in Software Development (S).
Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering, 2019
Proceedings of the Quality of Information and Communications Technology, 2019
2018
Proceedings of the Tenth International Conference on Soft Computing and Pattern Recognition, 2018
Proceedings of the 9th ACM SIGSOFT International Workshop on Automating TEST Case Design, 2018
Proceedings of the 11th International Conference on the Quality of Information and Communications Technology, 2018
Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018
Proceedings of the Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 2018
Proceedings of the 20th IEEE International Conference on e-Health Networking, 2018
Proceedings of the 9th International Conference on Ambient Systems, 2018
2017
Proceedings of the 2017 International Conference on Software and System Process, 2017
Conformance Checking in Integration Testing of Time-constrained Distributed Systems based on UML Sequence Diagrams.
Proceedings of the 12th International Conference on Software Technologies, 2017
Helping software engineering students analyzing their performance data: tool support in an educational environment.
Proceedings of the 39th International Conference on Software Engineering, 2017
2016
A toolset for conformance testing against UML sequence diagrams based on event-driven colored Petri nets.
Int. J. Softw. Tools Technol. Transf., 2016
A model for analyzing performance problems and root causes in the personal software process.
J. Softw. Evol. Process., 2016
Proceedings of the 7th International Workshop on Automating Test Case Design, 2016
Proceedings of the 28th International Conference on Software Engineering and Knowledge Engineering, 2016
Towards the Online Testing of Distributed and Heterogeneous Systems with Extended Petri Nets.
Proceedings of the 10th International Conference on the Quality of Information and Communications Technology, 2016
ProcessPAIR: a tool for automated performance analysis and improvement recommendation in software development.
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016
Proceedings of the Ninth IEEE International Conference on Software Testing, 2016
A Survey on Testing Distributed and Heterogeneous Systems: The State of the Practice.
Proceedings of the Software Technologies, 11th International Joint Conference, 2016
Proceedings of the 11th International Joint Conference on Software Technologies (ICSOFT 2016) - Volume 1: ICSOFT-EA, Lisbon, Portugal, July 24, 2016
2015
Automated Testing of Distributed and Heterogeneous Systems Based on UML Sequence Diagrams.
Proceedings of the Software Technologies - 10th International Joint Conference, 2015
An Approach for Automated Scenario-based Testing of Distributed and Heterogeneous Systems.
Proceedings of the ICSOFT-EA 2015, 2015
2014
Innov. Syst. Softw. Eng., 2014
A Testing and Certification Methodology for an Open Ambient-Assisted Living Ecosystem.
Int. J. E Health Medical Commun., 2014
Proceedings of the 9th International Conference on the Quality of Information and Communications Technology, 2014
Proceedings of the 9th International Conference on the Quality of Information and Communications Technology, 2014
A Benchmark-Based Approach for Ranking Root Causes of Performance Problems in Software Development.
Proceedings of the Product-Focused Software Process Improvement, 2014
A model for analyzing estimation, productivity, and quality performance in the personal software process.
Proceedings of the International Conference on Software and Systems Process 2014, 2014
Proceedings of the Computational Science and Its Applications - ICCSA 2014 - 14th International Conference, Guimarães, Portugal, June 30, 2014
2013
Report from the 8th international conference on the quality of information and communications technology (QUATIC 2012).
ACM SIGSOFT Softw. Eng. Notes, 2013
Proceedings of the Testing Software and Systems, 2013
Proceedings of the IEEE 15th International Conference on e-Health Networking, 2013
2012
Proceedings of the 8th International Conference on the Quality of Information and Communications Technology, 2012
PSP PAIR: Automated Personal Software Process Performance Analysis and Improvement Recommendation.
Proceedings of the 8th International Conference on the Quality of Information and Communications Technology, 2012
Towards a Framework to Evaluate and Improve the Quality of Implementation of CMMI® Practices.
Proceedings of the Product-Focused Software Process Improvement, 2012
Proceedings of the Integrated Formal Methods - 9th International Conference, 2012
Proceedings of the First International Workshop on Realizing AI Synergies in Software Engineering, 2012
2011
Test Generation from Bounded Algebraic Specifications using Alloy.
Proceedings of the ICSOFT 2011, 2011
2010
Proceedings of the Quality of Information and Communications Technology, 2010
Proceedings of the Model Driven Engineering Languages and Systems, 2010
2009
Automatic Generation of user Interface Models and Prototypes from Domain and Use Case Models.
Proceedings of the ICSOFT 2009, 2009
Proceedings of the Fourth International Conference on Software Engineering Advances, 2009
2008
Automatic Generation of Interactive Prototypes for Domain Model Validation.
Proceedings of the ICSOFT 2008, 2008
2007
Proceedings of the Quality of Information and Communications Technology, 2007
2006
A Methodology for Auditing e-Voting Processes and Systems used at the Elections for the Portuguese Parliament.
Proceedings of the Electronic Voting 2006: 2nd International Workshop, 2006
2004
Proceedings of the 5th International Conference on the Quality of Information and Communications Technology, 2004
1999
Data-driven Active Rules for the Maintenance of Derived Data and Integrity Constraints in User Interfaces to Databases.
Proceedings of the XIV Simpósio Brasileiro de Banco de Dados, 1999