José Francisco Creissac Freitas de Campos


AuthID: R-000-8B9

Confirmed Publications: 131



31
TITLE: The MAL Interactors Animator: Supporting model validation through animation. Supporting model validation through animation
AUTHORS: Jose C Campos ; Nuno Sousa;
PUBLISHED: 2018, SOURCE: 10th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS) in PROCEEDINGS OF THE ACM SIGCHI SYMPOSIUM ON ENGINEERING INTERACTIVE COMPUTING SYSTEMS (EICS'18)
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP
32
TITLE: Towards a Simulation-Based Medical Education Platform for PVSio-Web
AUTHORS: Silva, C; Campos, JC ;
PUBLISHED: 2018, SOURCE: 1st International Conference on Graphics and Interaction (ICGI) in 2018 1ST INTERNATIONAL CONFERENCE ON GRAPHICS AND INTERACTION (ICGI 2018)
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
33
TITLE: A Hazard Analysis Method for Systematic Identification of Safety Requirements for User Interface Software in Medical Devices
AUTHORS: Paolo Masci ; Yi Zhang; Paul L Jones; José Creissac Campos ;
PUBLISHED: 2017, SOURCE: 15th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2017 in Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings, VOLUME: 10469
INDEXED IN: Scopus DBLP CrossRef: 4
IN MY: ORCID | DBLP
34
TITLE: A More Intelligent Test Case Generation Approach through Task Models Manipulation
AUTHORS: José Creissac Campos ; Camille Fayollas; Marcelo Gonçalves; Célia Martinie; David Navarre; Philippe A Palanque; Miguel Pinto;
PUBLISHED: 2017, SOURCE: PACMHCI, VOLUME: 1, ISSUE: 1
INDEXED IN: Scopus DBLP CrossRef: 10
IN MY: ORCID | DBLP
35
TITLE: Demonstrating that Medical Devices Satisfy User Related Safety Requirements
AUTHORS: Michael D Harrison; Paolo Masci ; Jose Creissac Campos ; Paul Curzon;
PUBLISHED: 2017, SOURCE: 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
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP
36
TITLE: Don't go in there! using the APEX framework in the design of ambient assisted living systems
AUTHORS: Campos, JC ; Abade, T; Silva, JL; Harrison, MD;
PUBLISHED: 2017, SOURCE: 9th International Conference on Ubiquitous Computing and Ambient Intelligence (UCAmI) in JOURNAL OF AMBIENT INTELLIGENCE AND HUMANIZED COMPUTING, VOLUME: 8, ISSUE: 4
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
37
TITLE: Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web PDF  Full Text
AUTHORS: Fayollas, C; Martinie, C; Palanque, P; Masci, P ; Harrison, MD ; Campos, JC ; Silva, SRE ;
PUBLISHED: 2017, SOURCE: 3rd Workshop on Formal Integrated Development Environment, F-IDE 2016 in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: abs/1701.07925, ISSUE: 240
INDEXED IN: Scopus WOS DBLP arXiv CrossRef: 1
IN MY: ORCID | DBLP
38
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: 3
IN MY: ORCID | DBLP
39
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: 2
IN MY: ORCID | DBLP
40
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: 3
IN MY: ORCID | DBLP
Page 4 of 14. Total results: 131.

A place for researchers and their institutions

Useful Links

Get Help

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