Cookies Policy
We use cookies to improve our site and your experience. By continuing to browse our site you accept our cookie policy. Find out More
Close
  • Menu
About

About

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 Associate Professor at the Department of Informatics Engineering and Director of the Integrated Master in Informatics and Computing Engineering (MIEIC). He his a member of the Software Engineering Research Group (softeng.fe.up.pt) and researcher at INESC TEC, where he coordinates the Software Engineering area. He represents FEUP and INESC TEC in the Technical Comission for Health Informatics (CT 199) and FEUP as President of the Sectorial Comission for the Quality of Information and Communications Technology (CS/03), in the scope of the Portuguese Quality Institute (IPQ). In the past, he worked with several software companies (Novabase Saúde, Sidereus, Medidata) and was a co-founder of two other (Qualisoft and Strongstep). He has more than 25 years of experience in education, research, development and consultancy in several software engineering areas. He is the main author of a rapid application development tool (SAGA), based on domain specific languages, with more than 25 years of market presence and evolution (1989-present). He is currently involved in research projects, supervisions and consulting activities in the areas of model-based testing, software process improvement and model-driven development.

Interest
Topics
Details

Details

  • Name

    João Pascoal Faria
  • Cluster

    Computer Science
  • Role

    Area Manager
  • Since

    14th October 1985
001
Publications

2018

Automatic Model Transformation from UML Sequence Diagrams to Coloured Petri Nets

Authors
Custódio Soares, JA; Lima, B; Faria, JP;

Publication
Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2018, Funchal, Madeira - Portugal, January 22-24, 2018.

Abstract

2018

End-to-end Automatic Business Process Validation

Authors
Paiva, ACR; Flores, NH; Faria, JP; Marques, JMG;

Publication
Procedia Computer Science

Abstract

2018

Towards Real-Time Patient Prioritization in Hospital Emergency Services

Authors
Lima, B; Faria, JP;

Publication
2018 IEEE 20th International Conference on e-Health Networking, Applications and Services (Healthcom)

Abstract

2018

Test patterns for IoT

Authors
Pontes, PM; Lima, B; Faria, JP;

Publication
Proceedings of the 9th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation - A-TEST 2018

Abstract

2018

A Reactive and Model-Based Approach for Developing Internet-of-Things Systems

Authors
Dias, JP; Faria, JP; Ferreira, HS;

Publication
11th International Conference on the Quality of Information and Communications Technology, QUATIC 2018, Coimbra, Portugal, September 4-7, 2018

Abstract

Supervised
thesis

2017

Sistema de acompanhamento curricular

Author
Jorge Filipe Vieira Barbosa Teixeira

Institution
UP-FEUP

2017

Avaliação Automática de Programas em Contexto de E-learning

Author
José Alberto de Carvalho Cardoso

Institution
UP-FEUP

2017

Automatic Model Transformation from UML Sequence Diagrams to Coloured Petri Nets

Author
João António Custódio Soares

Institution
UP-FEUP

2017

Workflow engine for parallel batch processing

Author
João Guilherme Rodrigues Marques de Oliveira

Institution
UP-FEUP

2017

Automated Scenario-based Testing of Distributed and Heterogeneous Systems

Author
Bruno Miguel Carvalhido Lima

Institution
UP-FEUP