Paolo Manuel Masci


AuthID: R-00G-VYY

Confirmed Publications: 80



31
TITLE: The benefits of formalising design guidelines: a case study on the predictability of drug infusion pumps  Full Text
AUTHORS: Paolo Masci ; Rimvydas Ruksenas; Patrick Oladimeji; Abigail Cauchi; Andy Gimblett; Karen Yunqiu Li; Paul Curzon; Harold W. Thimbleby;
PUBLISHED: 2015, SOURCE: ISSE, VOLUME: 11, ISSUE: 2
INDEXED IN: Scopus DBLP CrossRef: 10
IN MY: ORCID | DBLP
32
TITLE: Using PVS to support the analysis of distributed cognition systems  Full Text
AUTHORS: Paolo Masci ; Paul Curzon; Dominic Furniss; Ann Blandford;
PUBLISHED: 2015, SOURCE: ISSE, VOLUME: 11, ISSUE: 2
INDEXED IN: Scopus DBLP CrossRef: 6
IN MY: ORCID | DBLP
33
TITLE: 7 Themes for guiding situated ergonomic assessments of medical devices: A case study of an inpatient glucometer  Full Text
AUTHORS: Furniss, D; Masci, P ; Curzon, P; Mayer, A; Blandford, A;
PUBLISHED: 2014, SOURCE: Applied Ergonomics, VOLUME: 45, ISSUE: 6
INDEXED IN: Scopus CrossRef: 11
IN MY: ORCID
34
TITLE: A Generic User Interface Architecture for Analyzing Use Hazards in Infusion Pump Software
AUTHORS: Paolo Masci ; Yi Zhang; Paul L. Jones; Harold Thimbleby; Paul Curzon;
PUBLISHED: 2014, SOURCE: 5th Medical Cyber-Physical Systems Workshop:Medical Device Interoperability, Safety, and Security Assurance, MCPS 2014 in 5th Workshop on Medical Cyber-Physical Systems, MCPS 2014, Berlin, Germany, April 14, 2014, VOLUME: 36
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
35
36
TITLE: Combining PVSio with Stateflow
AUTHORS: Paolo Masci ; Yi Zhang; Paul L. Jones; Patrick Oladimeji; Enrico D'Urso; Cinzia Bernardeschi; Paul Curzon; Harold Thimbleby;
PUBLISHED: 2014, SOURCE: 6th NASA Formal Methods Symposium, NFM 2014 in NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings, VOLUME: 8430
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP
37
TITLE: Formal Verification of Medical Device User Interfaces Using PVS
AUTHORS: Paolo Masci ; Yi Zhang; Paul L. Jones; Paul Curzon; Harold W. Thimbleby;
PUBLISHED: 2014, SOURCE: 17th International Conference on Fundamental Approaches to Software Engineering, FASE 2014 - Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014 in Fundamental Approaches to Software Engineering - 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings, VOLUME: 8411
INDEXED IN: Scopus DBLP CrossRef: 10
IN MY: ORCID | DBLP
38
TITLE: Integrated Simulation of Implantable Cardiac Pacemaker Software and Heart Models
AUTHORS: Andrea Domenici; Cinzia Bernardeschi; Paolo Masci ;
PUBLISHED: 2014, SOURCE: Proceedings of the 2nd International Congress on Cardiovascular Technologies
INDEXED IN: CrossRef: 1
IN MY: ORCID
39
TITLE: Integrated simulation of implantable cardiac pacemaker software and heart models
AUTHORS: Bernardeschi, C; Domenici, A; Masci, P ;
PUBLISHED: 2014, SOURCE: 2nd International Congress on Cardiovascular Technologies, CARDIOTECHNIX 2014 in CARDIOTECHNIX 2014 - Proceedings of the 2nd International Congress on Cardiovascular Technologies
INDEXED IN: Scopus
IN MY: ORCID
40
TITLE: Using PVSio-web to Demonstrate Software Issues in Medical User Interfaces
AUTHORS: Paolo Masci ; Patrick Oladimeji; Paul Curzon; Harold Thimbleby;
PUBLISHED: 2014, SOURCE: Software Engineering in Health Care - 4th International Symposium, FHIES 2014, and 6th International Workshop, SEHC 2014, Washington, DC, USA, July 17-18, 2014, Revised Selected Papers, VOLUME: 9062
INDEXED IN: DBLP CrossRef
IN MY: ORCID | DBLP
Page 4 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