Paolo Manuel Masci


AuthID: R-00G-VYY

Publicações Confirmadas: 80



41
TÍTULO: Automated theorem proving for the systematic analysis of an infusion pump
AUTORES: Michael D Harrison ; Paolo Masci ; José Creissac Campos ; Paul Curzon;
PUBLICAÇÃO: 2013, FONTE: ECEASST, VOLUME: 69
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP
42
TÍTULO: Developing and Verifying User Interface Requirements for Infusion Pumps: A Refinement Approach
AUTORES: Rimvydas Ruksenas; Paolo Masci ; Michael D Harrison ; Paul Curzon;
PUBLICAÇÃO: 2013, FONTE: ECEASST, VOLUME: 69
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
43
TÍTULO: MediCHI. safer interaction in medical devices
AUTORES: 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;
PUBLICAÇÃO: 2013, FONTE: CHI '13 Extended Abstracts on Human Factors in Computing Systems on - CHI EA '13
INDEXADO EM: CrossRef: 1
NO MEU: ORCID
44
TÍTULO: MediCHI: safer interaction in medical devices
AUTORES: 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;
PUBLICAÇÃO: 2013, FONTE: 2013 ACM SIGCHI Conference on Human Factors in Computing Systems, CHI '13, Paris, France, April 27 - May 2, 2013, Extended Abstracts
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
45
TÍTULO: Model-Based Development of the Generic PCA Infusion Pump User Interface Prototype in PVS
AUTORES: Paolo Masci ; Anaheed Ayoub; Paul Curzon; Insup Lee; Oleg Sokolsky; Harold W. Thimbleby;
PUBLICAÇÃO: 2013, FONTE: 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
INDEXADO EM: Scopus DBLP CrossRef: 8
NO MEU: ORCID | DBLP
46
TÍTULO: PVSio-web: a tool for rapid prototyping device user interfaces in PVS
AUTORES: Patrick Oladimeji; Paolo Masci ; Paul Curzon; Harold W Thimbleby;
PUBLICAÇÃO: 2013, FONTE: ECEASST, VOLUME: 69
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
47
TÍTULO: Verification of interactive software for medical devices: PCA infusion pumps and FDA regulation as an example
AUTORES: Paolo Masci ; Anaheed Ayoub; Paul Curzon ; Michael D Harrison; Insup Lee; Harold W Thimbleby;
PUBLICAÇÃO: 2013, FONTE: 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
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP
48
TÍTULO: JCSI: A tool for checking secure information flow in Java Card applications  Full Text
AUTORES: Marco Avvenuti; Cinzia Bernardeschi; Nicoletta De Francesco; Paolo Masci ;
PUBLICAÇÃO: 2012, FONTE: Journal of Systems and Software, VOLUME: 85, NÚMERO: 11
INDEXADO EM: Scopus DBLP CrossRef: 3
NO MEU: ORCID | DBLP
49
TÍTULO: Safer "5-key" number entry user interfaces using differential formal analysis
AUTORES: Abigail Cauchi; Andy Gimblett; Harold W Thimbleby; Paul Curzon; Paolo Masci ;
PUBLICAÇÃO: 2012, FONTE: 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
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
50
TÍTULO: Supporting Field Investigators with PVS: A Case Study in the Healthcare Domain
AUTORES: Paolo Masci ; Dominic Furniss; Paul Curzon; Michael D Harrison ; Ann Blandford;
PUBLICAÇÃO: 2012, FONTE: 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
INDEXADO EM: Scopus DBLP CrossRef: 5
NO MEU: ORCID | DBLP
Página 5 de 8. Total de resultados: 80.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service