José Francisco Creissac Freitas de Campos


AuthID: R-000-8B9

Publicações Confirmadas: 149



31
TÍTULO: Supporting the Analysis of Safety Critical User Interfaces: An Exploration of Three Formal Tools. An Exploration of Three Formal Tools  Full Text
AUTORES: Jose Creissac Campos ; Camille Fayollas; Michael D Harrison; Celia Martinie; Paolo Masci; Philippe Palanque;
PUBLICAÇÃO: 2020, FONTE: ACM TRANSACTIONS ON COMPUTER-HUMAN INTERACTION, VOLUME: 27, NÚMERO: 5
INDEXADO EM: Scopus WOS DBLP CrossRef: 16
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
32
TÍTULO: A Generator of User Interface Prototypes for the IVY Workbench
AUTORES: Joao Miguel Araujo; Rui Couto ; Jose Creissac Campos ;
PUBLICAÇÃO: 2019, FONTE: International Conference on Graphics and Interaction (ICGI) in PROCEEDINGS OF THE 2019 INTERNATIONAL CONFERENCE ON GRAPHICS AND INTERACTION (ICGI 2019)
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
33
TÍTULO: A use error taxonomy for improving human-machine interface design in medical devices  Full Text
AUTORES: Carlos Silva; Paolo Masci; Yi Zhang; Paul L Jones; José Creissac Campos ;
PUBLICAÇÃO: 2019, FONTE: SIGBED Review, VOLUME: 16, NÚMERO: 2
INDEXADO EM: Scopus DBLP CrossRef: 6
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
34
TÍTULO: Formal techniques in the safety analysis of software components of a new dialysis machine  Full Text
AUTORES: Michael D Harrison; Leo Freitas; Michael Drinnan; Jose C Campos ; Paolo Masci ; Costanzo di Maria; Michael Whitaker;
PUBLICAÇÃO: 2019, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 175
INDEXADO EM: Scopus WOS DBLP CrossRef: 19
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
35
TÍTULO: Formal Verification of Interactive Computing Systems: Opportunities, Challenges PDF
AUTORES: José Creissac Campos ; Michael D Harrison;
PUBLICAÇÃO: 2019, FONTE: 2019 Joint HCI Engineering - Methods and Tools for Advanced Interactive Systems and Integration of Multiple Stakeholder Viewpoints, HCI Engineering 2019 in Joint Proceedings HCI Engineering 2019 - Methods and Tools for Advanced Interactive Systems and Integration of Multiple Stakeholder Viewpoints co-located with 11th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2019), Valencia, Spain, June 18, 2019., VOLUME: 2503
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
36
TÍTULO: High Assurance on Cyber-Physical Interactive Systems PDF
AUTORES: Rui Couto ; José Creissac Campos ;
PUBLICAÇÃO: 2019, FONTE: 2019 Joint HCI Engineering - Methods and Tools for Advanced Interactive Systems and Integration of Multiple Stakeholder Viewpoints, HCI Engineering 2019 in Joint Proceedings HCI Engineering 2019 - Methods and Tools for Advanced Interactive Systems and Integration of Multiple Stakeholder Viewpoints co-located with 11th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2019), Valencia, Spain, June 18, 2019., VOLUME: 2503
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
37
TÍTULO: IVY 2-A model-based analysis tool
AUTORES: Rui Couto ; Jose Creissac Campos ;
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
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
38
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: 3rd World Congress on Formal Methods, FM 2019 in Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I, VOLUME: 12232
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
39
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 | DBLP | CIÊNCIAVITAE
40
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: 8
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
Página 4 de 15. Total de resultados: 149.

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

Links Úteis

Ajuda

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