Seguir
Paolo Masci
Paolo Masci
Research Scientist, Associate Principal, AMA/NASA Langley Research Center
Dirección de correo verificada de nasa.gov - Página principal
Título
Citado por
Citado por
Año
Verification of interactive software for medical devices: PCA infusion pumps and FDA regulation as an example
P Masci, P Curzon, M Harrison, A Ayoub, I Lee, H Thimbleby
ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 81--90, 2013
682013
Increasing the efficiency of preamble sampling protocols for wireless sensor networks
M Avvenuti, P Corsini, P Masci, A Vecchio
Proceedings of the 1st Mobile Computing and Wireless Communication …, 2006
622006
PVSio-web 2.0: Joining PVS to Human-Computer Interaction
P Masci, P Oladimeji, Y Zhang, P Jones, P Curzon, H Thimbleby
Computer Aided Verification (CAV), Springer LNCS, vol 9206, pp 470-478, 2015
61*2015
The benefits of formalising design guidelines: A case study on the predictability of drug infusion pumps
P Masci, R Rukšenas, P Oladimeji, A Cauchi, A Gimblett, Y Li, P Curzon, ...
Innovations in Systems and Software Engineering 11 (2), 73-93, 2015
562015
Formal Verification of Medical Device User Interfaces Using PVS
P Masci, Y Zhang, P Jones, P Curzon, H Thimbleby
ETAPS/FASE, Lecture Notes in Computer Science, Springer 8411, 2014
552014
A PVS-Simulink Integrated Environment for Model-Based Analysis of Cyber-Physical Systems
C Bernardeschi, A Domenici, P Masci
IEEE Transactions on Software Engineering, 2017
502017
Exploring medical device design and use through layers of distributed cognition: how a glucometer is coupled with its context
D Furniss, P Masci, P Curzon, A Mayer, A Blandford
Journal of biomedical informatics 53, 330-341, 2015
492015
Reusing models and properties in the analysis of similar interactive devices
MD Harrison, JC Campos, P Masci
Innovations in Systems and Software Engineering 11 (2), 95-111, 2015
472015
Model-based development of the Generic PCA infusion pump user interface prototype in PVS
P Masci, A Ayoub, P Curzon, I Lee, O Sokolsky, H Thimbleby
Conference on Computer Safety, Reliability and Security (Safecomp), 228-240, 2013
472013
PVSio-web: a tool for rapid prototyping device user interfaces in PVS
P Oladimeji, P Masci, P Curzon, H Thimbleby
Electronic Communications of the EASST 69, 2013
452013
Safer “5-key” number entry user interfaces using Differential Formal Analysis
A Cauchi, A Gimblett, H Thimbleby, P Curzon, P Masci
BCS Interaction Specialist Group Conference on People and Computers (BCS-HCI …, 2012
452012
Opportunistic computing for wireless sensor networks
M Avvenuti, P Corsini, P Masci, A Vecchio
Proceedings of IEEE International Conference on Mobile Adhoc and Sensor …, 2007
422007
Verification of user interface software: the example of use-related safety requirements and programmable medical devices
MD Harrison, P Masci, JC Campos, P Curzon
IEEE Transactions on Human-Machine Systems 47 (6), 834-846, 2017
412017
7 Themes for guiding situated ergonomic assessments of medical devices: A case study of an inpatient glucometer
D Furniss, P Masci, P Curzon, A Mayer, A Blandford
Applied ergonomics 45 (6), 1668-1677, 2014
362014
On formalising interactive number entry on infusion pumps
P Masci, R Ruksenas, P Oladimeji, A Cauchi, A Gimblett, Y Li, P Curzon, ...
Electronic Communications of the EASST 45, 2011
332011
Formal techniques in the safety analysis of software components of a new dialysis machine
MD Harrison, L Freitas, M Drinnan, JC Campos, P Masci, C di Maria, ...
Science of Computer Programming 175, 17-34, 2019
302019
An application adaptation layer for wireless sensor networks
M Avvenuti, P Corsini, P Masci, A Vecchio
Pervasive and Mobile Computing 3 (4), 413-438, 2007
292007
Demonstrating that medical devices satisfy user related safety requirements
MD Harrison, P Masci, JC Campos, P Curzon
International Symposium on Foundations of Healthcare Information Engineering …, 2017
272017
A framework for FMI-based co-simulation of human–machine interfaces
M Palmieri, C Bernardeschi, P Masci
Software and Systems Modeling 19 (3), 601-623, 2020
252020
A generic user interface architecture for analyzing use hazards in infusion pump software
P Masci, Y Zhang, P Jones, H Thimbleby, P Curzon
M-CPS, Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2014
242014
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20