José Francisco Creissac Freitas de Campos


AuthID: R-000-8B9

Publicações Confirmadas: 157



41
TÍTULO: Model-Based Testing of Post-WIMP Interactions Using Object Oriented Petri-Nets
AUTORES: Alexandre Canny; David Navarre; José Creissac Campos ; Philippe A Palanque;
PUBLICAÇÃO: 2019, FONTE: FM Workshops (1), VOLUME: 12232 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID
42
TÍTULO: Trends on Engineering Interactive Systems: an overview of works presented in workshops at EICS 2019. an overview of works presented in workshops at EICS 2019
AUTORES: Distante, D; Winckler, M; Bernhaupt, R; Bowen, J; Campos, JC ; Müller, F; Palanque, P; Van Den Bergh, J; Weyers, B; Voit, A;
PUBLICAÇÃO: 2019, FONTE: 11th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS) in PROCEEDINGS OF THE ACM SIGCHI SYMPOSIUM ON ENGINEERING INTERACTIVE COMPUTING SYSTEMS (EICS'19)
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID
43
TÍTULO: Verification Templates for the Analysis of User Interface Software Design  Full Text
AUTORES: Harrison, MD; Masci, P; Campos, JC ;
PUBLICAÇÃO: 2019, FONTE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 45, NÚMERO: 8
INDEXADO EM: Scopus WOS DBLP CrossRef: 9
NO MEU: ORCID
44
TÍTULO: Formal Modelling as a Component of User Centred Design
AUTORES: Michael D Harrison; Paolo Masci ; José Creissac Campos ;
PUBLICAÇÃO: 2018, FONTE: STAF Workshops, VOLUME: 11176 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 5
NO MEU: ORCID
45
TÍTULO: Improving the Visualization of Alloy Instances  Full Text
AUTORES: Couto, R ; Campos, JC ; Macedo, N ; Cunha, A ;
PUBLICAÇÃO: 2018, FONTE: 4th Workshop on Formal Integrated Development Environment (F-IDE) held as a Satellite Workshop of FLoC in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 284, NÚMERO: 284
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
NO MEU: ORCID
46
TÍTULO: Improving traces visualisation through layout managers
AUTORES: Couto, R ; Campos, JC ;
PUBLICAÇÃO: 2018, FONTE: 1st International Conference on Graphics and Interaction (ICGI) in 2018 1ST INTERNATIONAL CONFERENCE ON GRAPHICS AND INTERACTION (ICGI 2018)
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
47
TÍTULO: The MAL Interactors Animator: Supporting model validation through animation. Supporting model validation through animation
AUTORES: Campos, JC ; Sousa, N;
PUBLICAÇÃO: 2018, FONTE: 10th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS) in PROCEEDINGS OF THE ACM SIGCHI SYMPOSIUM ON ENGINEERING INTERACTIVE COMPUTING SYSTEMS (EICS'18)
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: ORCID
48
TÍTULO: Towards a Simulation-Based Medical Education Platform for PVSio-Web
AUTORES: Silva, C; Campos, JC ;
PUBLICAÇÃO: 2018, FONTE: 1st International Conference on Graphics and Interaction (ICGI) in 2018 1ST INTERNATIONAL CONFERENCE ON GRAPHICS AND INTERACTION (ICGI 2018)
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID
49
TÍTULO: A Hazard Analysis Method for Systematic Identification of Safety Requirements for User Interface Software in Medical Devices  Full Text
AUTORES: Paolo Masci ; Yi Zhang; Paul L Jones; José Creissac Campos ;
PUBLICAÇÃO: 2017, FONTE: SEFM, VOLUME: 10469 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 7
NO MEU: ORCID
50
TÍTULO: A More Intelligent Test Case Generation Approach through Task Models Manipulation
AUTORES: José Creissac Campos ; Camille Fayollas; Marcelo Gonçalves; Célia Martinie; David Navarre; Philippe A Palanque; Miguel Pinto;
PUBLICAÇÃO: 2017, FONTE: Proc. ACM Hum. Comput. Interact., VOLUME: 1, NÚMERO: EICS
INDEXADO EM: Scopus DBLP CrossRef: 19
NO MEU: ORCID
Página 5 de 16. Total de resultados: 157.

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

Links Úteis

Ajuda

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