José Francisco Creissac Freitas de Campos


AuthID: R-000-8B9

Publicações Confirmadas: 157



51
TÍTULO: Demonstrating that Medical Devices Satisfy User Related Safety Requirements
AUTORES: Harrison, MD; Masci, P ; Campos, JC ; Curzon, P;
PUBLICAÇÃO: 2017, FONTE: 4th International Symposium on Foundations of Health Information Engineering and Systems (FHIES) / 6th International Workshop on Software Engineering in Healthcare (SEHC) in SOFTWARE ENGINEERING IN HEALTH CARE, SEHC 2014, VOLUME: 9062
INDEXADO EM: Scopus WOS DBLP CrossRef: 2 Handle
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
52
TÍTULO: Don't go in there! using the APEX framework in the design of ambient assisted living systems
AUTORES: Campos, JC ; Abade, T; Silva, JL; Harrison, MD;
PUBLICAÇÃO: 2017, FONTE: 9th International Conference on Ubiquitous Computing and Ambient Intelligence (UCAmI) in JOURNAL OF AMBIENT INTELLIGENCE AND HUMANIZED COMPUTING, VOLUME: 8, NÚMERO: 4
INDEXADO EM: Scopus WOS DBLP CrossRef Handle
NO MEU: ORCID
53
TÍTULO: Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web PDF  Full Text
AUTORES: Fayollas, C; Martinie, C; Palanque, P; Masci, P ; Harrison, MD ; Campos, JC ; Silva, SRE ;
PUBLICAÇÃO: 2017, FONTE: 3rd Workshop on Formal Integrated Development Environment, F-IDE 2016 in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: abs/1701.07925, NÚMERO: 240
INDEXADO EM: Scopus WOS DBLP arXiv CrossRef: 1
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
54
TÍTULO: MODUS: model-based user interfaces prototyping. model-based user interfaces prototyping
AUTORES: Marina Machado; Rui Couto ; José Creissac Campos ;
PUBLICAÇÃO: 2017, FONTE: 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
INDEXADO EM: Scopus DBLP CrossRef: 6 Handle
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
55
TÍTULO: Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2017, Lisbon, Portugal, June 26-29, 2017
AUTORES: José Creissac Campos ; Nuno Nunes; Pedro Campos; Gaëlle Calvary; Jeffrey Nichols; Célia Martinie; José Luís Silva;
PUBLICAÇÃO: 2017, FONTE: EICS
INDEXADO EM: DBLP CrossRef: 4
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
56
TÍTULO: Safety Analysis of Software Components of a Dialysis Machine Using Model Checking
AUTORES: Harrison, MD; Drinnan, M; Campos, JC ; Masci, P ; Freitas, L; di Maria, C; Whitaker, M;
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: 4
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
57
TÍTULO: The Specification and Analysis of Use Properties of a Nuclear Control System
AUTORES: Michael D Harrison ; Paolo M Masci ; José Creissac Campos ; Paul Curzon;
PUBLICAÇÃO: 2017, FONTE: The Handbook of Formal Methods in Human-Computer Interaction.
INDEXADO EM: DBLP CrossRef: 1
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
58
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: 2
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
59
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: 26
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
60
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
Página 6 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