José Francisco Creissac Freitas de Campos


AuthID: R-000-8B9

Confirmed Publications: 149



51
TITLE: MODUS: model-based user interfaces prototyping. model-based user interfaces prototyping
AUTHORS: Marina Machado; Rui Couto ; José Creissac Campos ;
PUBLISHED: 2017, SOURCE: 9th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2017 in Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2017, Lisbon, Portugal, June 26-29, 2017
INDEXED IN: Scopus DBLP CrossRef: 6 Handle
IN MY: ORCID | DBLP | CIÊNCIAVITAE
52
TITLE: Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2017, Lisbon, Portugal, June 26-29, 2017
AUTHORS: José Creissac Campos ; Nuno Nunes; Pedro Campos; Gaëlle Calvary; Jeffrey Nichols; Célia Martinie; José Luís Silva;
PUBLISHED: 2017, SOURCE: EICS
INDEXED IN: DBLP CrossRef: 4
IN MY: ORCID | DBLP | CIÊNCIAVITAE
53
TITLE: Safety Analysis of Software Components of a Dialysis Machine Using Model Checking
AUTHORS: Harrison, MD; Drinnan, M; Campos, JC ; Masci, P ; Freitas, L; di Maria, C; Whitaker, M;
PUBLISHED: 2017, SOURCE: 14th International Conference on Formal Aspects of Component Software (FACS) in FORMAL ASPECTS OF COMPONENT SOFTWARE (FACS 2017), VOLUME: 10487
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: ORCID | DBLP | CIÊNCIAVITAE
54
TITLE: The Specification and Analysis of Use Properties of a Nuclear Control System
AUTHORS: Michael D Harrison ; Paolo M Masci ; José Creissac Campos ; Paul Curzon;
PUBLISHED: 2017, SOURCE: The Handbook of Formal Methods in Human-Computer Interaction.
INDEXED IN: DBLP CrossRef: 1
IN MY: ORCID | DBLP | CIÊNCIAVITAE
55
TITLE: TOM: A Model-Based GUI Testing Framework
AUTHORS: Miguel Pinto; Marcelo Goncalves; Paolo Masci ; Jose Creissac Campos ;
PUBLISHED: 2017, SOURCE: 14th International Conference on Formal Aspects of Component Software (FACS) in FORMAL ASPECTS OF COMPONENT SOFTWARE (FACS 2017), VOLUME: 10487
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP | CIÊNCIAVITAE
56
TITLE: Verification of User Interface Software: The Example of Use-Related Safety Requirements and Programmable Medical Devices  Full Text
AUTHORS: Michael D Harrison; Paolo Masci ; Jose Creissac Campos ; Paul Curzon;
PUBLISHED: 2017, SOURCE: IEEE TRANSACTIONS ON HUMAN-MACHINE SYSTEMS, VOLUME: 47, ISSUE: 6
INDEXED IN: Scopus WOS DBLP CrossRef: 26
IN MY: ORCID | DBLP | CIÊNCIAVITAE
57
TITLE: Welcome to the First Issue of PACMHCI EICS
AUTHORS: Gaëlle Calvary; Jeffrey Nichols; José Creissac Campos ; Nuno Jardim Nunes; Pedro F Campos ;
PUBLISHED: 2017, SOURCE: PACMHCI, VOLUME: 1, ISSUE: 1
INDEXED IN: DBLP CrossRef Handle
IN MY: ORCID | DBLP
58
TITLE: Formal Verification of a Space System's User Interface With the IVY Workbench  Full Text
AUTHORS: Campos, JC ; Sousa, M; Alves, MCB; Harrison, MD ;
PUBLISHED: 2016, SOURCE: IEEE TRANSACTIONS ON HUMAN-MACHINE SYSTEMS, VOLUME: 46, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef: 14
IN MY: ORCID | DBLP | CIÊNCIAVITAE
59
TITLE: Modelling information resources and their salience in medical device design
AUTHORS: Harrison, MD ; Campos, JC ; Ruksenas, R; Curzon, P;
PUBLISHED: 2016, SOURCE: 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS) in EICS'16: PROCEEDINGS OF THE 8TH ACM SIGCHI SYMPOSIUM ON ENGINEERING INTERACTIVE COMPUTING SYSTEMS
INDEXED IN: Scopus WOS DBLP CrossRef Handle
IN MY: ORCID | DBLP
60
TITLE: Systematic Automation of Scenario-Based Testing of User Interfaces
AUTHORS: Campos, JC ; Fayollas, C; Martinie, C; Navarre, D; Palanque, P; Pinto, M;
PUBLISHED: 2016, SOURCE: 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS) in EICS'16: PROCEEDINGS OF THE 8TH ACM SIGCHI SYMPOSIUM ON ENGINEERING INTERACTIVE COMPUTING SYSTEMS
INDEXED IN: Scopus WOS DBLP CrossRef: 19
IN MY: ORCID | DBLP | CIÊNCIAVITAE
Page 6 of 15. Total results: 149.

footer slogan

Useful Links

Get Help

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