José Francisco Creissac Freitas de Campos


AuthID: R-000-8B9

Publicações Confirmadas: 145



51
TÍTULO: TOM: A Model-Based GUI Testing Framework
AUTORES: Miguel Pinto; Marcelo Goncalves; Paolo Masci ; Jose Creissac Campos ;
PUBLICAÇÃO: 2017, FONTE: 14th International Conference on Formal Aspects of Component Software (FACS) in FORMAL ASPECTS OF COMPONENT SOFTWARE (FACS 2017), VOLUME: 10487
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
52
TÍTULO: Verification of User Interface Software: The Example of Use-Related Safety Requirements and Programmable Medical Devices  Full Text
AUTORES: Michael D Harrison; Paolo Masci ; Jose Creissac Campos ; Paul Curzon;
PUBLICAÇÃO: 2017, FONTE: IEEE TRANSACTIONS ON HUMAN-MACHINE SYSTEMS, VOLUME: 47, NÚMERO: 6
INDEXADO EM: Scopus WOS DBLP CrossRef: 14
NO MEU: ORCID | DBLP
53
TÍTULO: Welcome to the First Issue of PACMHCI EICS
AUTORES: Gaëlle Calvary; Jeffrey Nichols; José Creissac Campos ; Nuno Jardim Nunes; Pedro F Campos;
PUBLICAÇÃO: 2017, FONTE: PACMHCI, VOLUME: 1, NÚMERO: 1
INDEXADO EM: DBLP CrossRef Handle
NO MEU: ORCID | DBLP
54
TÍTULO: Formal Verification of a Space System's User Interface With the IVY Workbench  Full Text
AUTORES: Campos, JC ; Sousa, M; Alves, MCB; Harrison, MD ;
PUBLICAÇÃO: 2016, FONTE: IEEE TRANSACTIONS ON HUMAN-MACHINE SYSTEMS, VOLUME: 46, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 10
NO MEU: ORCID | DBLP
55
TÍTULO: Modelling information resources and their salience in medical device design
AUTORES: Harrison, MD ; Campos, JC ; Ruksenas, R; Curzon, P;
PUBLICAÇÃO: 2016, FONTE: 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
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
56
TÍTULO: Systematic Automation of Scenario-Based Testing of User Interfaces
AUTORES: Campos, JC ; Fayollas, C; Martinie, C; Navarre, D; Palanque, P; Pinto, M;
PUBLICAÇÃO: 2016, FONTE: 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
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
57
TÍTULO: Templates as heuristics for proving properties of medical devices
AUTORES: Michael D Harrison ; José Creissac Campos ; Paolo Masci ; Paul Curzon;
PUBLICAÇÃO: 2016, FONTE: 5th EAI International Conference on Wireless Mobile Communication and Healthcare - Transforming Healthcare through Innovations in Mobile and Wireless Technologies, MOBIHEALTH 2015 in EAI Endorsed Trans. Creative Technologies, VOLUME: 3, NÚMERO: 8
INDEXADO EM: Scopus DBLP CrossRef Handle
NO MEU: ORCID | DBLP
58
TÍTULO: Validating an Approach to Formalize Use Cases with Ontologies  Full Text
AUTORES: Rui Couto ; Antonio Nestor Ribeiro ; Jose Creissac Campos ;
PUBLICAÇÃO: 2016, FONTE: 13th International Workshop on Formal Engineering Approaches to Software Components and Architectures, FESCA 2016 in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 205, NÚMERO: 205
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | DBLP
59
TÍTULO: Welcome to EICS 2016
AUTORES: Luyten, K; Palanque, P; Campos, JC ; Schmidt, A; Signer, B; Roussel, N;
PUBLICAÇÃO: 2016, FONTE: 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2016 in EICS 2016 - 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems
INDEXADO EM: Scopus
NO MEU: ORCID
60
TÍTULO: Distance Perception in Immersive Environments - The Role of Photorealism
AUTORES: Carlos Silva; Sandra Mouta ; Daniel Basso; Jorge Santos; Jose Campos ;
PUBLICAÇÃO: 2015, FONTE: PERCEPTION, VOLUME: 44
INDEXADO EM: WOS
NO MEU: ORCID
Página 6 de 15. Total de resultados: 145.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service