Paolo Manuel Masci


AuthID: R-00G-VYY

Confirmed Publications: 80



51
TITLE: Using PVS to Investigate Incidents through the Lens of Distributed Cognition
AUTHORS: Paolo Masci ; Huayi Huang; Paul Curzon; Michael D Harrison ;
PUBLISHED: 2012, SOURCE: NASA Formal Methods, VOLUME: 7226 LNCS
INDEXED IN: Scopus DBLP CrossRef: 4
52
TITLE: Automated Refinement of Dependability Analysis through Monitoring in Dynamically Connected Systems
AUTHORS: Antonia Bertolino; Antonello Calabrò; Felicita Di Giandomenico; Marco Martinucci; Paolo Masci ;
PUBLISHED: 2011, SOURCE: ISADS
INDEXED IN: Scopus DBLP CrossRef: 1
53
TITLE: Checking User-Centred Design Principles in Distributed Cognition Models: A Case Study in the Healthcare Domain
AUTHORS: Paolo Masci ; Paul Curzon;
PUBLISHED: 2011, SOURCE: USAB, VOLUME: 7058 LNCS
INDEXED IN: Scopus DBLP CrossRef: 3
54
TITLE: Comparing Actual Practice and User Manuals: A Case Study Based on Programmable Infusion Pumps PDF
AUTHORS: Ann Blandford; Abigail Cauchi; Paul Curzon; Parisa Eslambolchilar; Dominic Furniss; Andy Gimblett; Huayi Huang; Paul Lee; Yunqiu Li; Paolo Masci ; Patrick Oladimeji; Atish Rajkomar; Rimvydas Ruksenas; Harold Thimbleby;
PUBLISHED: 2011, SOURCE: EICS4Med, VOLUME: 727
INDEXED IN: Scopus DBLP
55
TITLE: Modelling Distributed Cognition Systems in PVS
AUTHORS: Paolo Masci ; Paul Curzon; Ann Blandford; Dominic Furniss;
PUBLISHED: 2011, SOURCE: Electron. Commun. Eur. Assoc. Softw. Sci. Technol., VOLUME: 45
INDEXED IN: DBLP
56
TITLE: On Enabling Dependability Assurance in Heterogeneous Networks through Automated Model-Based Analysis
AUTHORS: Paolo Masci ; Nicola Nostro; Felicita Di Giandomenico;
PUBLISHED: 2011, SOURCE: SERENE, VOLUME: 6968 LNCS
INDEXED IN: Scopus DBLP CrossRef: 3
57
TITLE: On formalising interactive number entry on infusion pumps
AUTHORS: Paolo Masci ; Rimvydas Ruksenas; Patrick Oladimeji; Abigail Cauchi; Andy Gimblett; Karen Yunqiu Li; Paul Curzon; Harold W Thimbleby;
PUBLISHED: 2011, SOURCE: Electron. Commun. Eur. Assoc. Softw. Sci. Technol., VOLUME: 45
INDEXED IN: DBLP
58
TITLE: Towards a formal framework for reasoning about the resilience of dynamic interactive systems
AUTHORS: Paolo Masci ; Paul Curzon; Huayi Huang; Rimvydas Ruksenas; Ann Blandford; Dominic Furniss; Atish Rajkomar;
PUBLISHED: 2011, SOURCE: EWDC
INDEXED IN: Scopus DBLP CrossRef
59
TITLE: Towards Automated Dependability Analysis of Dynamically Connected Systems
AUTHORS: Paolo Masci ; Marco Martinucci; Felicita Di Giandomenico;
PUBLISHED: 2011, SOURCE: ISADS
INDEXED IN: Scopus DBLP CrossRef: 7
60
TITLE: Towards Dependable Number Entry for Medical Devices PDF
AUTHORS: Abigail Cauchi; Paul Curzon; Parisa Eslambolchilar; Andy Gimblett; Huayi Huang; Paul Lee; Yunqiu Li; Paolo Masci ; Patrick Oladimeji; Rimvydas Ruksenas; Harold Thimbleby;
PUBLISHED: 2011, SOURCE: EICS4Med, VOLUME: 727
INDEXED IN: Scopus DBLP
Page 6 of 8. Total results: 80.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service