1
TITLE: A Generator of User Interface Prototypes for the IVY Workbench
AUTHORS: Joao Miguel Araujo; Rui Couto; Jose Creissac Campos ;
SOURCE: International Conference on Graphics and Interaction (ICGI) in PROCEEDINGS OF THE 2019 INTERNATIONAL CONFERENCE ON GRAPHICS AND INTERACTION (ICGI 2019), PUBLISHED: 2019
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
2
TITLE: A use error taxonomy for improving human-machine interface design in medical devices  Full Text
AUTHORS: Carlos Silva; Paolo Masci; Yi Zhang; Paul L Jones; José Creissac Campos ;
SOURCE: SIGBED Review, VOLUME: 16, ISSUE: 2, PUBLISHED: 2019
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
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 DBLP CrossRef
IN MY: ORCID | DBLP
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 PDF
AUTHORS: Rui Couto ; José Creissac Campos ;
SOURCE: 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, PUBLISHED: 2019
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
6
TITLE: IVY 2-A model-based analysis tool
AUTHORS: Rui Couto ; Jose Creissac Campos ;
SOURCE: 11th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS) in PROCEEDINGS OF THE ACM SIGCHI SYMPOSIUM ON ENGINEERING INTERACTIVE COMPUTING SYSTEMS (EICS'19), PUBLISHED: 2019
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID | DBLP
7
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
8
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) in PROCEEDINGS OF THE ACM SIGCHI SYMPOSIUM ON ENGINEERING INTERACTIVE COMPUTING SYSTEMS (EICS'19), PUBLISHED: 2019
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
9
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 DBLP CrossRef: 2
IN MY: ORCID | DBLP
10
TITLE: Formal Modelling as a Component of User Centred Design
AUTHORS: Michael D Harrison; Paolo Masci ; José Creissac Campos ;
SOURCE: International Conference on Software Technologies: Applications and Foundations, STAF 2018 in Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers, VOLUME: 11176, PUBLISHED: 2018
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
Page 1 of 12. Total results: 113.