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: Electron. Commun. Eur. Assoc. Softw. Sci. Technol., VOLUME: 69
INDEXADO EM: Scopus DBLP Handle
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: Electron. Commun. Eur. Assoc. Softw. Sci. Technol., VOLUME: 69
INDEXADO EM: 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 J 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: CHI Extended Abstracts
INDEXADO EM: 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: SAFECOMP, VOLUME: 8153 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 21
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: Electron. Commun. Eur. Assoc. Softw. Sci. Technol., VOLUME: 69
INDEXADO EM: 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: EICS
INDEXADO EM: Scopus DBLP
48
TÍTULO: JCSI: A tool for checking secure information flow in Java Card applications
AUTORES: Marco Avvenuti; Cinzia Bernardeschi; Nicoletta De Francesco; Paolo Masci ;
PUBLICAÇÃO: 2012, FONTE: J. Syst. Softw., VOLUME: 85, NÚMERO: 11
INDEXADO EM: Scopus DBLP CrossRef: 9
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
INDEXADO EM: 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: SERENE, VOLUME: 7527 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 6
Página 5 de 8. Total de resultados: 80.

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

Links Úteis

Ajuda

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