1
TITLE: A Generator of User Interface Prototypes for the IVY Workbench
AUTHORS: Joao Miguel Araujo; Rui Couto; Jose Creissac Campos ;
SOURCE: 2019 International Conference on Graphics and Interaction (ICGI), PUBLISHED: 2019
INDEXED IN: CrossRef
IN MY: ORCID
2
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: WOS CrossRef
IN MY: ORCID
3
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
4
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
5
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
6
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
7
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: WOS CrossRef: 2
IN MY: ORCID
8
TITLE: Formal Modelling as a Component of User Centred Design
AUTHORS: Michael D Harrison; Paolo Masci ; José Creissac Campos ;
SOURCE: Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers, VOLUME: 11176, PUBLISHED: 2018
INDEXED IN: DBLP CrossRef
IN MY: ORCID | DBLP
9
TITLE: Improving the Visualization of Alloy Instances PDF  Full Text
AUTHORS: Rui Couto ; Jose C Campos ; Nuno Macedo ; Alcino Cunha ;
SOURCE: 4th Workshop on Formal Integrated Development Environment (F-IDE) held as a Satellite Workshop of FLoC in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 284, ISSUE: 284, PUBLISHED: 2018
INDEXED IN: Scopus WOS DBLP arXiv CrossRef
IN MY: ORCID | DBLP
10
TITLE: Improving traces visualisation through layout managers
AUTHORS: Rui Couto ; Jose Creissac Campos ;
SOURCE: 1st International Conference on Graphics and Interaction (ICGI) in 2018 1ST INTERNATIONAL CONFERENCE ON GRAPHICS AND INTERACTION (ICGI 2018), PUBLISHED: 2018
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
Page 1 of 11. Total results: 109.