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: 4th NASA Formal Methods Symposium, NFM 2012 in NASA Formal Methods - 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings, VOLUME: 7226
INDEXED IN: Scopus DBLP CrossRef: 3
IN MY: ORCID | DBLP
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: 2011 10th International Symposium on Autonomous Decentralized Systems, ISADS 2011 in 10th International Symposium on Autonomous Decentralized Systems, ISADS 2011, Tokyo & Hiroshima, Japan, March 23-17, 2011
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
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: 7th Conference of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2011 in Information Quality in e-Health - 7th Conference of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2011, Graz, Austria, November 25-26, 2011. Proceedings, VOLUME: 7058
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
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: 1st International Workshop on Engineering Interactive Computing Systems for Medicine and Health Care, EICS4Med 2011 - Co-located with the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2011 in Proceedings of the 1st International Workshop on Engineering Interactive Computing Systems for Medicine and Health Care (EICS4Med 2011), Pisa, Italy, June 13, 2011, VOLUME: 727
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
55
TITLE: Modelling Distributed Cognition Systems in PVS
AUTHORS: Paolo Masci ; Paul Curzon; Ann Blandford; Dominic Furniss;
PUBLISHED: 2011, SOURCE: ECEASST, VOLUME: 45
INDEXED IN: DBLP
IN MY: ORCID | 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: 3rd International Workshop on Software Engineering for Resilient Systems, SERENE 2011 in Software Engineering for Resilient Systems - Third International Workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011. Proceedings, VOLUME: 6968
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP
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: ECEASST, VOLUME: 45
INDEXED IN: DBLP
IN MY: ORCID | 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: 13th European Workshop on Dependable Computing, EWDC 2011 in Proceedings of the 13th European Workshop on Dependable Computing, EWDC '11, Pisa, Italy, May 11-12, 2011
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
59
TITLE: Towards Automated Dependability Analysis of Dynamically Connected Systems
AUTHORS: Paolo Masci ; Marco Martinucci; Felicita Di Giandomenico;
PUBLISHED: 2011, SOURCE: 2011 10th International Symposium on Autonomous Decentralized Systems, ISADS 2011 in 10th International Symposium on Autonomous Decentralized Systems, ISADS 2011, Tokyo & Hiroshima, Japan, March 23-17, 2011
INDEXED IN: Scopus DBLP CrossRef: 5
IN MY: ORCID | DBLP
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: 1st International Workshop on Engineering Interactive Computing Systems for Medicine and Health Care, EICS4Med 2011 - Co-located with the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2011 in Proceedings of the 1st International Workshop on Engineering Interactive Computing Systems for Medicine and Health Care (EICS4Med 2011), Pisa, Italy, June 13, 2011, VOLUME: 727
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
Page 6 of 8. Total results: 80.

A place for researchers and their institutions

Useful Links

Get Help

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