Paolo Manuel Masci


AuthID: R-00G-VYY

Publicações Confirmadas: 80



31
TÍTULO: The benefits of formalising design guidelines: a case study on the predictability of drug infusion pumps
AUTORES: Paolo Masci ; Rimvydas Ruksenas; Patrick Oladimeji; Abigail Cauchi; Andy Gimblett; Karen Yunqiu Li; Paul Curzon; Harold W Thimbleby;
PUBLICAÇÃO: 2015, FONTE: Innov. Syst. Softw. Eng., VOLUME: 11, NÚMERO: 2
INDEXADO EM: Scopus DBLP CrossRef: 20
32
TÍTULO: Using PVS to support the analysis of distributed cognition systems
AUTORES: Paolo Masci ; Paul Curzon; Dominic Furniss; Ann Blandford;
PUBLICAÇÃO: 2015, FONTE: Innov. Syst. Softw. Eng., VOLUME: 11, NÚMERO: 2
INDEXADO EM: Scopus DBLP CrossRef: 11
33
TÍTULO: 7 Themes for guiding situated ergonomic assessments of medical devices: A case study of an inpatient glucometer  Full Text
AUTORES: Furniss, D; Masci, P ; Curzon, P; Mayer, A; Blandford, A;
PUBLICAÇÃO: 2014, FONTE: Applied Ergonomics, VOLUME: 45, NÚMERO: 6
INDEXADO EM: Scopus CrossRef: 11
NO MEU: ORCID
34
TÍTULO: A Generic User Interface Architecture for Analyzing Use Hazards in Infusion Pump Software
AUTORES: Paolo Masci ; Yi Zhang; Paul L Jones; Harold Thimbleby; Paul Curzon;
PUBLICAÇÃO: 2014, FONTE: MCPS, VOLUME: 36
INDEXADO EM: Scopus DBLP
35
TÍTULO: Automated synthesis of dependable mediators for heterogeneous interoperable systems
AUTORES: Felicita Di Giandomenico; Massimiliano Leone Itria; Paolo Masci ; Nicola Nostro;
PUBLICAÇÃO: 2014, FONTE: Reliab. Eng. Syst. Saf., VOLUME: 132
INDEXADO EM: Scopus DBLP CrossRef: 4
36
TÍTULO: Combining PVSio with Stateflow
AUTORES: Paolo Masci ; Yi Zhang; Paul L Jones; Patrick Oladimeji; Enrico D'Urso; Cinzia Bernardeschi; Paul Curzon; Harold Thimbleby;
PUBLICAÇÃO: 2014, FONTE: NASA Formal Methods, VOLUME: 8430 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 7
37
TÍTULO: Formal Verification of Medical Device User Interfaces Using PVS
AUTORES: Paolo Masci ; Yi Zhang; Paul L Jones; Paul Curzon; Harold W Thimbleby;
PUBLICAÇÃO: 2014, FONTE: FASE, VOLUME: 8411 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 24
38
TÍTULO: Integrated simulation of implantable cardiac pacemaker software and heart models
AUTORES: Bernardeschi, C; Domenici, A; Masci, P ;
PUBLICAÇÃO: 2014, FONTE: 2nd International Congress on Cardiovascular Technologies, CARDIOTECHNIX 2014 in CARDIOTECHNIX 2014 - Proceedings of the 2nd International Congress on Cardiovascular Technologies
INDEXADO EM: Scopus
NO MEU: ORCID
39
TÍTULO: Integrated Simulation of Implantable Cardiac Pacemaker Software and Heart Models
AUTORES: Andrea Domenici; Cinzia Bernardeschi; Paolo Masci ;
PUBLICAÇÃO: 2014, FONTE: Proceedings of the 2nd International Congress on Cardiovascular Technologies
INDEXADO EM: CrossRef: 1
NO MEU: ORCID
40
TÍTULO: Using PVSio-web to Demonstrate Software Issues in Medical User Interfaces
AUTORES: Paolo Masci ; Patrick Oladimeji; Paul Curzon; Harold Thimbleby;
PUBLICAÇÃO: 2014, FONTE: FHIES/SEHC
INDEXADO EM: DBLP CrossRef: 3
Página 4 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