João Carlos Pascoal Faria


AuthID: R-000-6WK

Confirmed Publications: 82



21
TITLE: Automatic Model Transformation from UML Sequence Diagrams to Coloured Petri Nets
AUTHORS: João António Custódio Soares; Bruno Lima ; João Pascoal Faria ;
PUBLISHED: 2018, SOURCE: 6th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2018 in Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2018, Funchal, Madeira - Portugal, January 22-24, 2018., VOLUME: 2018-January
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP
22
TITLE: End-to-end Automatic Business Process Validation
AUTHORS: Ana C R Paiva ; Nuno H Flores ; João Pascoal Faria ; José M G Marques;
PUBLISHED: 2018, SOURCE: 9th International Conference on Ambient Systems, Networks and Technologies, ANT 2018 in The 9th International Conference on Ambient Systems, Networks and Technologies (ANT 2018) / The 8th International Conference on Sustainable Energy Information Technology (SEIT 2018) / Affiliated Workshops, May 8-11, 2018, Porto, Portugal, VOLUME: 130
INDEXED IN: Scopus DBLP CrossRef: 6
IN MY: ORCID | DBLP
23
TITLE: Izinto. a pattern-based IoT testing framework
AUTHORS: Pedro Martins Pontes; Bruno Lima ; João Pascoal Faria ;
PUBLISHED: 2018, SOURCE: Companion Proceedings for the ISSTA/ECOOP 2018 Workshops on - ISSTA '18
INDEXED IN: CrossRef: 4
IN MY: ORCID
24
TITLE: Izinto: a pattern-based IoT testing framework
AUTHORS: Pedro Martins Pontes; Bruno Lima ; João Pascoal Faria ;
PUBLISHED: 2018, SOURCE: 2018 International Symposium on Software Testing and Analysis, ISSTA 2018 in Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, ISSTA 2018, Amsterdam, Netherlands, July 16-21, 2018
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
25
TITLE: Test Patterns for IoT
AUTHORS: Pedro Martins Pontes; Bruno Lima ; Joao Pascoal Faria ;
PUBLISHED: 2018, SOURCE: 9th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation (A-TEST) in PROCEEDINGS OF THE 9TH ACM SIGSOFT INTERNATIONAL WORKSHOP ON AUTOMATING TEST CASE DESIGN, SELECTION, AND EVALUATION (A-TEST '18)
INDEXED IN: Scopus WOS DBLP CrossRef: 6
IN MY: ORCID | DBLP
26
TITLE: Towards Real-Time Patient Prioritization in Hospital Emergency Services
AUTHORS: Bruno Lima ; João Pascoal Faria ;
PUBLISHED: 2018, SOURCE: 20th IEEE International Conference on e-Health Networking, Applications and Services, Healthcom 2018, Ostrava, Czech Republic, September 17-20, 2018
INDEXED IN: DBLP CrossRef: 1
IN MY: ORCID | DBLP
27
TITLE: A Survey on Testing Distributed and Heterogeneous Systems: The State of the Practice
AUTHORS: Lima, B ; Faria, JP ;
PUBLISHED: 2017, SOURCE: 11th International Joint Conference on Software Technologies (ICSOFT-EA) in SOFTWARE TECHNOLOGIES, VOLUME: 743
INDEXED IN: WOS CrossRef
IN MY: ORCID
28
TITLE: Conformance Checking in Integration Testing of Time-constrained Distributed Systems based on UML Sequence Diagrams
AUTHORS: Bruno Lima ; João Pascoal Faria ;
PUBLISHED: 2017, SOURCE: 12th International Conference on Software Technologies, ICSOFT 2017 in Proceedings of the 12th International Conference on Software Technologies, ICSOFT 2017, Madrid, Spain, July 24-26, 2017.
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID | DBLP
29
TITLE: Helping Software Engineering Students Analyzing their Performance Data Tool Support in an Educational Environment
AUTHORS: Mushtaq Raza ; Joao Pascoal Faria ; Rafael Salazar;
PUBLISHED: 2017, SOURCE: IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C) in PROCEEDINGS OF THE 2017 IEEE/ACM 39TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING COMPANION (ICSE-C 2017)
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID | DBLP
30
TITLE: Towards Decentralized Conformance Checking in Model-Based Testing of Distributed Systems
AUTHORS: Lima, BMC ; Faria, JCP ;
PUBLISHED: 2017, SOURCE: 10th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2017 in Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2017
INDEXED IN: Scopus CrossRef: 4
IN MY: ORCID
Page 3 of 9. Total results: 82.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service