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: 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
INDEXADO EM: Scopus DBLP CrossRef: 3
NO MEU: ORCID | DBLP
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: 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
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
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: 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
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
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: ECEASST, VOLUME: 45
INDEXADO EM: DBLP
NO MEU: ORCID | 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: 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
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP
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: ECEASST, VOLUME: 45
INDEXADO EM: DBLP
NO MEU: ORCID | 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: 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
INDEXADO EM: Scopus DBLP CrossRef: 5
NO MEU: ORCID | DBLP
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

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