Paolo Manuel Masci


AuthID: R-00G-VYY

Confirmed Publications: 80



21
TITLE: IWC Special Issue in Human Factors and Interaction Design for Critical Systems  Full Text
AUTHORS: Huawei Tu; Paolo Masci ; Chris Vincent; Karen Yunqiu Li; Harold Thimbleby;
PUBLISHED: 2016, SOURCE: Interacting with Computers, VOLUME: 28, ISSUE: 2
INDEXED IN: DBLP CrossRef
IN MY: ORCID | DBLP
22
TITLE: Modeling Communication Network Requirements for an Integrated Clinical Environment in the Prototype Verification System
AUTHORS: Cinzia Bernardeschi; Andrea Domenici; Paolo Masci ;
PUBLISHED: 2016, SOURCE: IEEE Symposium on Computers and Communication (ISCC) in 2016 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATION (ISCC), VOLUME: 2016-August
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
23
TITLE: PVSio-web: mathematically based tool support for the design of interactive and interoperable medical systems
AUTHORS: Paolo Masci ; Patrick Oladimeji; Piergiuseppe Mallozzi; Paul Curzon; Harold Thimbleby;
PUBLISHED: 2016, SOURCE: EAI Endorsed Trans. Collaborative Computing, VOLUME: 2, ISSUE: 7
INDEXED IN: DBLP CrossRef
IN MY: ORCID | DBLP
24
TITLE: Templates as heuristics for proving properties of medical devices
AUTHORS: Michael D Harrison ; José Creissac Campos ; Paolo Masci ; Paul Curzon;
PUBLISHED: 2016, SOURCE: 5th EAI International Conference on Wireless Mobile Communication and Healthcare - Transforming Healthcare through Innovations in Mobile and Wireless Technologies, MOBIHEALTH 2015 in EAI Endorsed Trans. Creative Technologies, VOLUME: 3, ISSUE: 8
INDEXED IN: Scopus DBLP CrossRef Handle
IN MY: ORCID | DBLP
25
TITLE: Towards a Formalization of System Requirements for an Integrated Clinical Environment
AUTHORS: Cinzia Bernardeschi; Andrea Domenici; Paolo Masci ;
PUBLISHED: 2016, SOURCE: EAI Endorsed Trans. Self-Adaptive Systems, VOLUME: 2, ISSUE: 6
INDEXED IN: DBLP CrossRef: 1
IN MY: ORCID | DBLP
26
TITLE: Early identification of software causes of use-related hazards in medical devices
AUTHORS: Paul Curzon; Harold Thimbleby; Paolo Masci ;
PUBLISHED: 2015, SOURCE: Proceedings of the 5th EAI International Conference on Wireless Mobile Communication and Healthcare - "Transforming healthcare through innovations in mobile and wireless technologies"
INDEXED IN: CrossRef: 1
IN MY: ORCID
27
TITLE: Exploring medical device design and use through layers of Distributed Cognition: How a glucometer is coupled with its context  Full Text
AUTHORS: Dominic Furniss; Paolo Masci ; Paul Curzon; Astrid Mayer; Ann Blandford;
PUBLISHED: 2015, SOURCE: Journal of Biomedical Informatics, VOLUME: 53
INDEXED IN: Scopus DBLP CrossRef: 9
IN MY: ORCID | DBLP
28
TITLE: Proceedings Second International Workshop on Formal Integrated Development Environment, F-IDE 2015, Oslo, Norway, June 22, 2015  Full Text
AUTHORS: Catherine Dubois; Paolo Masci ; Dominique Méry;
PUBLISHED: 2015, SOURCE: F-IDE@FM, VOLUME: 187
INDEXED IN: DBLP CrossRef: 1
IN MY: ORCID | DBLP
29
TITLE: PVSio-web 2.0: Joining PVS to HCI
AUTHORS: Paolo Masci ; Patrick Oladimeji; Yi Zhang; Paul L. Jones; Paul Curzon; Harold W. Thimbleby;
PUBLISHED: 2015, SOURCE: 27th International Conference on Computer Aided Verification, CAV 2015 in Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I, VOLUME: 9206
INDEXED IN: Scopus DBLP CrossRef: 10
IN MY: ORCID | DBLP
30
TITLE: Reusing models and properties in the analysis of similar interactive devices  Full Text
AUTHORS: Michael D Harrison ; Jose Creissac Campos ; Paolo Masci ;
PUBLISHED: 2015, SOURCE: INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, VOLUME: 11, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef: 13
IN MY: ORCID | DBLP
Page 3 of 8. Total results: 80.

A place for researchers and their institutions

Useful Links

Get Help

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