Paolo Manuel Masci


AuthID: R-00G-VYY

Confirmed Publications: 80



41
TITLE: Automated theorem proving for the systematic analysis of an infusion pump
AUTHORS: Michael D Harrison ; Paolo Masci ; José Creissac Campos ; Paul Curzon;
PUBLISHED: 2013, SOURCE: ECEASST, VOLUME: 69
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
42
TITLE: Developing and Verifying User Interface Requirements for Infusion Pumps: A Refinement Approach
AUTHORS: Rimvydas Ruksenas; Paolo Masci ; Michael D Harrison ; Paul Curzon;
PUBLISHED: 2013, SOURCE: ECEASST, VOLUME: 69
INDEXED IN: DBLP
IN MY: ORCID | DBLP
43
TITLE: MediCHI. safer interaction in medical devices
AUTHORS: Karen Yunqiu Li; Sisy Baixi Xing; Shouqian Sun; Eric Liu; John Di; Jenson Wang; Mary Welch-Brady; Sharon Xianghua Ding; Zhanxun Dong; Liping Qin; Paolo Masci ; Chris Vincent; Harold Thimbleby; Abigail Cauchi; Alexis Lewis;
PUBLISHED: 2013, SOURCE: CHI '13 Extended Abstracts on Human Factors in Computing Systems on - CHI EA '13
INDEXED IN: CrossRef: 1
IN MY: ORCID
44
TITLE: MediCHI: safer interaction in medical devices
AUTHORS: Karen Yunqiu Li; Sharon Xianghua Ding; Zhanxun Dong; Liping Qin; Paolo Masci ; Chris Vincent; Harold W Thimbleby; Abigail Cauchi; Alexis Lewis; Sisy Baixi Xing; Shouqian Sun; Eric Liu; John Di; Jenson Wang; Mary Welch Brady;
PUBLISHED: 2013, SOURCE: 2013 ACM SIGCHI Conference on Human Factors in Computing Systems, CHI '13, Paris, France, April 27 - May 2, 2013, Extended Abstracts
INDEXED IN: DBLP
IN MY: ORCID | DBLP
45
TITLE: Model-Based Development of the Generic PCA Infusion Pump User Interface Prototype in PVS
AUTHORS: Paolo Masci ; Anaheed Ayoub; Paul Curzon; Insup Lee; Oleg Sokolsky; Harold W. Thimbleby;
PUBLISHED: 2013, SOURCE: 32nd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2013 in Computer Safety, Reliability, and Security - 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings, VOLUME: 8153
INDEXED IN: Scopus DBLP CrossRef: 8
IN MY: ORCID | DBLP
46
TITLE: PVSio-web: a tool for rapid prototyping device user interfaces in PVS
AUTHORS: Patrick Oladimeji; Paolo Masci ; Paul Curzon; Harold W Thimbleby;
PUBLISHED: 2013, SOURCE: ECEASST, VOLUME: 69
INDEXED IN: DBLP
IN MY: ORCID | DBLP
47
TITLE: Verification of interactive software for medical devices: PCA infusion pumps and FDA regulation as an example
AUTHORS: Paolo Masci ; Anaheed Ayoub; Paul Curzon ; Michael D Harrison; Insup Lee; Harold W Thimbleby;
PUBLISHED: 2013, SOURCE: 5th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2013 in ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS'13, London, United Kingdom - June 24 - 27, 2013
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
48
TITLE: JCSI: A tool for checking secure information flow in Java Card applications  Full Text
AUTHORS: Marco Avvenuti; Cinzia Bernardeschi; Nicoletta De Francesco; Paolo Masci ;
PUBLISHED: 2012, SOURCE: Journal of Systems and Software, VOLUME: 85, ISSUE: 11
INDEXED IN: Scopus DBLP CrossRef: 3
IN MY: ORCID | DBLP
49
TITLE: Safer "5-key" number entry user interfaces using differential formal analysis
AUTHORS: Abigail Cauchi; Andy Gimblett; Harold W Thimbleby; Paul Curzon; Paolo Masci ;
PUBLISHED: 2012, SOURCE: BCS-HCI '12 Proceedings of the 26th Annual BCS Interaction Specialist Group Conference on People and Computers, BCS-HCI 2012, 12-14 September 2012, Birmingham, UK
INDEXED IN: DBLP
IN MY: ORCID | DBLP
50
TITLE: Supporting Field Investigators with PVS: A Case Study in the Healthcare Domain
AUTHORS: Paolo Masci ; Dominic Furniss; Paul Curzon; Michael D Harrison ; Ann Blandford;
PUBLISHED: 2012, SOURCE: 4th International Workshop on Software Engineering for Resilient Systems, SERENE 2012 in Software Engineering for Resilient Systems - 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings, VOLUME: 7527
INDEXED IN: Scopus DBLP CrossRef: 5
IN MY: ORCID | DBLP
Page 5 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