Paolo Masci
Paolo Masci
Senior Research Scientist, National Institute of Aerospace, Langley Research Center, Hampton, VA
Email verificata su nianet.org - Home page
TitoloCitata daAnno
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
612006
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
Proceedings of the 5th ACM SIGCHI Symposium on Engineering Interactive …, 2013
502013
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
482015
Formal Verification of Medical Device User Interfaces Using PVS
P Masci, Y Zhang, P Jones, P Curzon, H Thimbleby
Proceedings of the 17th International Conference on Fundamental Approaches …, 2014
442014
Safer “5-key” number entry user interfaces using Differential Formal Analysis
A Cauchi, A Gimblett, H Thimbleby, P Curzon, P Masci
Proceedings of the 26th Annual BCS Interaction Specialist Group Conference …, 2012
442012
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
PVSio-web 2.0: Joining PVS to Human-Computer Interaction
P Masci, P Oladimeji, Y Zhang, P Jones, P Curzon, H Thimbleby
27th International Conference on Computer Aided Verification (CAV 2015), 2015
36*2015
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
362015
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
342013
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
322015
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
Safecomp2013, 32nd International Conference on Computer Safety, Reliability …, 2013
282013
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
282011
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
252007
Early prototyping of wireless sensor network algorithms in PVS
C Bernardeschi, P Masci, H Pfeifer
Safecomp08, 27th International Conference on Computer Safety, Reliability …, 2008
222008
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
212014
Analysis of Wireless Sensor Network Protocols in Dynamic Scenarios.
C Bernardeschi, P Masci, H Pfeifer
Symposium on Self-Stabilizing Systems (SSS09) 5873, 105-119, 2009
202009
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
192017
Towards automated dependability analysis of dynamically connected systems
P Masci, M Martinucci, F Di Giandomenico
2011 Tenth International Symposium on Autonomous Decentralized Systems, 139-146, 2011
182011
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
172017
Combining PVSio with Stateflow
P Masci, Y Zhang, P Jones, P Oladimeji, E D’Urso, C Bernardeschi, ...
NASA Formal Methods Symposium, 209-214, 2014
172014
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20