Paolo Manuel Masci


AuthID: R-00G-VYY

Publicações Confirmadas: 80



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