João Carlos Pascoal Faria


AuthID: R-000-6WK

Confirmed Publications: 86



81
TITLE: A methodology for auditing e-voting processes and systems used at the elections for the portuguese parliament
AUTHORS: E Cunha, JF ; Leitao, MJ; Faria, JP ; Monteiro, MP; Carravilla, MA ;
PUBLISHED: 2006, SOURCE: 2nd International Workshop on Electronic Voting 2006 in Electronic Voting 2006 - 2nd International Workshop, VOLUME: 86
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
82
TITLE: A model-to-implementation mapping tool for automated model-based GUI testing
AUTHORS: Paiva, ACR ; Faria, JCP ; Tillmann, N; Vidal, RAM ;
PUBLISHED: 2005, SOURCE: 7th International Conference on Formal Methods and Software Engineering in FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, VOLUME: 3785
INDEXED IN: Scopus WOS DBLP CrossRef Handle
IN MY: ORCID
83
TITLE: Modeling and Testing Hierarchical GUIs
AUTHORS: Ana C R Paiva ; Nikolai Tillmann; João C P Faria ; Raul F A M Vidal;
PUBLISHED: 2005, SOURCE: Proceedings of the 12th International Workshop on Abstract State Machines, ASM 2005, March 8-11, 2005, Paris, France
INDEXED IN: DBLP Handle
IN MY: ORCID
84
TITLE: Automated Specification-based Testing of Interactive Components with AsmL PDF
AUTHORS: Ana C R Paiva ; João Pascoal Faria ; Raul Moreira Vidal ;
PUBLISHED: 2004, SOURCE: 5th International Conference on the Quality of Information and Communications Technology, QUATIC 2004 in Proceedings of the 5th International Conference on the Quality of Information and Communications Technology, Porto, Portugal, October 18-20, 2004., VOLUME: 1135
INDEXED IN: Scopus DBLP Handle
IN MY: ORCID | DBLP
85
TITLE: Specification-based testing of user interfaces
AUTHORS: Paiva, ACR ; Faria, JCP ; Vidal, RFAM ;
PUBLISHED: 2003, SOURCE: 10th International Workshop on Design, Specification and Verification of Interactive Systems in INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, VOLUME: 2844
INDEXED IN: Scopus WOS DBLP CrossRef Handle
IN MY: ORCID
86
TITLE: Data-driven Active Rules for the Maintenance of Derived Data and Integrity Constraints in User Interfaces to Databases
AUTHORS: João Pascoal Faria ; Raul Moreira Vidal ;
PUBLISHED: 1999, SOURCE: XIV Simpósio Brasileiro de Banco de Dados, 11-13 Outubro 1999, Florianópolis, Santa Catarina, Brasil, Anais/Proceedings
INDEXED IN: DBLP
IN MY: ORCID | DBLP
Page 9 of 9. Total results: 86.

footer slogan

Useful Links

Get Help

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