Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

MediCHI: safer interaction in medical devices.

K. Li, S. Ding, Z. Dong, L. Qin, P. Masci, C. Vincent, H. Thimbleby, A. Cauchi, A. Lewis, S. Xing, S. Sun, E. Liu, J. Di, J. Wang, and M. Welch-Brady. CHI Extended Abstracts, page 3267-3270. ACM, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

PD Dr. Paolo Malgaretti University of Stuttgart

Paolo Carlo Danesini University of Stuttgart

Other publications of authors with the same name

Experiences with the TinyOS Communication Library.P. Corsini, P. Masci, and A. Vecchio. Wireless Information Systems, page 47-55. INSTICC Press, (2006)Developing and Verifying User Interface Requirements for Infusion Pumps: A Refinement Approach.R. Ruksenas, P. Masci, M. Harrison, and P. Curzon. ECEASST, (2013)Towards a Formalization of System Requirements for an Integrated Clinical Environment.C. Bernardeschi, A. Domenici, and P. Masci. EAI Endorsed Trans. Self-Adaptive Systems, 2 (6): e3 (2016)On Enabling Dependability Assurance in Heterogeneous Networks through Automated Model-Based Analysis.P. Masci, N. Nostro, and F. Giandomenico. SERENE, volume 6968 of Lecture Notes in Computer Science, page 78-92. Springer, (2011)Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web.C. Fayollas, C. Martinie, P. Palanque, P. Masci, M. Harrison, J. Campos, and S. e Silva. F-IDE@FM, volume 240 of EPTCS, page 1-19. (2016)Integrating User Design and Formal Models within PVSio-Web.N. Watson, S. Reeves, and P. Masci. F-IDE@FLoC, volume 284 of EPTCS, page 95-104. (2018)Comparing Actual Practice and User Manuals: A Case Study Based on Programmable Infusion Pumps.A. Blandford, A. Cauchi, P. Curzon, P. Eslambolchilar, D. Furniss, A. Gimblett, H. Huang, P. Lee, Y. Li, P. Masci and 4 other author(s). EICS4Med, volume 727 of CEUR Workshop Proceedings, page 59-64. CEUR-WS.org, (2011)Formal Modelling as a Component of User Centred Design.M. Harrison, P. Masci, and J. Campos. STAF Workshops, volume 11176 of Lecture Notes in Computer Science, page 274-289. Springer, (2018)Combining PVSio with Stateflow.P. Masci, Y. Zhang, P. Jones, P. Oladimeji, E. D'Urso, C. Bernardeschi, P. Curzon, and H. Thimbleby. NASA Formal Methods, volume 8430 of Lecture Notes in Computer Science, page 209-214. Springer, (2014)A use error taxonomy for improving human-machine interface design in medical devices.C. Silva, P. Masci, Y. Zhang, P. Jones, and J. Campos. SIGBED Review, 16 (2): 24-30 (2019)

PUMA

Disambiguation of "Masci, Paolo"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

MediCHI: safer interaction in medical devices.

Please choose a person to relate this publication to

PD Dr. Paolo Malgaretti University of Stuttgart

Paolo Carlo Danesini University of Stuttgart

Other publications of authors with the same name

Disambiguation

PUMA

Disambiguation of "Masci, Paolo"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML MediCHI: safer interaction in medical devices.

Please choose a person to relate this publication to

PD Dr. Paolo Malgaretti University of Stuttgart

Paolo Carlo Danesini University of Stuttgart

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

MediCHI: safer interaction in medical devices.