1
TITLE: A generator of user interface prototypes for the IVY workbench
AUTHORS: Araujo, JM; Couto, R; Campos, JC ;
SOURCE: 2019 International Conference on Graphics and Interaction, ICGI 2019 in ICGI 2019 - Proceedings of the International Conference on Graphics and Interaction, PUBLISHED: 2019
INDEXED IN: Scopus CrossRef
IN MY: ORCID
2
TITLE: A use error taxonomy for improving human-machine interface design in medical devices  Full Text
AUTHORS: Silva, C; Masci, P; Zhang, Y; Jones, P; Campos, JC ;
SOURCE: ACM SIGBED Review, VOLUME: 16, ISSUE: 2, PUBLISHED: 2019
INDEXED IN: Scopus CrossRef
IN MY: ORCID
3
TITLE: Formal techniques in the safety analysis of software components of a new dialysis machine  Full Text
AUTHORS: Michael D Harrison; Leo Freitas; Michael Drinnan; Jose C Campos ; Paolo Masci ; Costanzo di Maria; Michael Whitaker;
SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 175, PUBLISHED: 2019
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
4
TITLE: Formal verification of interactive computing systems: Opportunities and challenges
AUTHORS: Campos, JC ; Harrison, MD;
SOURCE: 2019 Joint HCI Engineering - Methods and Tools for Advanced Interactive Systems and Integration of Multiple Stakeholder Viewpoints, HCI Engineering 2019 in CEUR Workshop Proceedings, VOLUME: 2503, PUBLISHED: 2019
INDEXED IN: Scopus
IN MY: ORCID
5
TITLE: High assurance on cyber-physical interactive systems
AUTHORS: Couto, R ; Campos, JC ;
SOURCE: 2019 Joint HCI Engineering - Methods and Tools for Advanced Interactive Systems and Integration of Multiple Stakeholder Viewpoints, HCI Engineering 2019 in CEUR Workshop Proceedings, VOLUME: 2503, PUBLISHED: 2019
INDEXED IN: Scopus
IN MY: ORCID
6
TITLE: IVY 2
AUTHORS: Rui Couto ; José Creissac Campos ;
SOURCE: Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems - EICS '19, PUBLISHED: 2019
INDEXED IN: CrossRef
IN MY: ORCID
7
TITLE: IVY 2: A model-based analysis tool
AUTHORS: Couto, R ; Campos, JC ;
SOURCE: 11th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2019 in Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2019, PUBLISHED: 2019
INDEXED IN: Scopus
IN MY: ORCID
8
TITLE: Towards a Simulation-Based Medical Education Platform for PVSio-Web
AUTHORS: Silva, C; Campos, JC ;
SOURCE: 1st International Conference on Graphics and Interaction, ICGI 2018 in Proceedings - ICGI 2018: International Conference on Graphics and Interaction, PUBLISHED: 2019
INDEXED IN: Scopus
IN MY: ORCID
9
TITLE: Trends on engineering interactive systems: An overview of works presented in workshops at EICS 2019
AUTHORS: Distante, D; Winckler, M; Bernhaupt, R; Bowen, J; Campos, JC ; Müller, F; Palanque, P; Van Den Bergh, J; Weyers, B; Voit, A;
SOURCE: 11th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2019 in Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2019, PUBLISHED: 2019
INDEXED IN: Scopus CrossRef
IN MY: ORCID
10
TITLE: Verification Templates for the Analysis of User Interface Software Design  Full Text
AUTHORS: Michael D Harrison; Paolo Masci; Jose C Campos ;
SOURCE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 45, ISSUE: 8, PUBLISHED: 2019
INDEXED IN: Scopus WOS CrossRef: 2
IN MY: ORCID
Page 1 of 12. Total results: 113.