Paolo Manuel Masci


AuthID: R-00G-VYY

Publicações Confirmadas: 80



21
TÍTULO: IWC Special Issue in Human Factors and Interaction Design for Critical Systems  Full Text
AUTORES: Huawei Tu; Paolo Masci ; Chris Vincent; Karen Yunqiu Li; Harold Thimbleby;
PUBLICAÇÃO: 2016, FONTE: Interacting with Computers, VOLUME: 28, NÚMERO: 2
INDEXADO EM: DBLP CrossRef
NO MEU: ORCID | DBLP
22
TÍTULO: Modeling Communication Network Requirements for an Integrated Clinical Environment in the Prototype Verification System
AUTORES: Cinzia Bernardeschi; Andrea Domenici; Paolo Masci ;
PUBLICAÇÃO: 2016, FONTE: IEEE Symposium on Computers and Communication (ISCC) in 2016 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATION (ISCC), VOLUME: 2016-August
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
23
TÍTULO: PVSio-web: mathematically based tool support for the design of interactive and interoperable medical systems
AUTORES: Paolo Masci ; Patrick Oladimeji; Piergiuseppe Mallozzi; Paul Curzon; Harold Thimbleby;
PUBLICAÇÃO: 2016, FONTE: EAI Endorsed Trans. Collaborative Computing, VOLUME: 2, NÚMERO: 7
INDEXADO EM: DBLP CrossRef
NO MEU: ORCID | DBLP
24
TÍTULO: Templates as heuristics for proving properties of medical devices
AUTORES: Michael D Harrison ; José Creissac Campos ; Paolo Masci ; Paul Curzon;
PUBLICAÇÃO: 2016, FONTE: 5th EAI International Conference on Wireless Mobile Communication and Healthcare - Transforming Healthcare through Innovations in Mobile and Wireless Technologies, MOBIHEALTH 2015 in EAI Endorsed Trans. Creative Technologies, VOLUME: 3, NÚMERO: 8
INDEXADO EM: Scopus DBLP CrossRef Handle
NO MEU: ORCID | DBLP
25
TÍTULO: Towards a Formalization of System Requirements for an Integrated Clinical Environment
AUTORES: Cinzia Bernardeschi; Andrea Domenici; Paolo Masci ;
PUBLICAÇÃO: 2016, FONTE: EAI Endorsed Trans. Self-Adaptive Systems, VOLUME: 2, NÚMERO: 6
INDEXADO EM: DBLP CrossRef: 1
NO MEU: ORCID | DBLP
26
TÍTULO: Early identification of software causes of use-related hazards in medical devices
AUTORES: Paul Curzon; Harold Thimbleby; Paolo Masci ;
PUBLICAÇÃO: 2015, FONTE: Proceedings of the 5th EAI International Conference on Wireless Mobile Communication and Healthcare - "Transforming healthcare through innovations in mobile and wireless technologies"
INDEXADO EM: CrossRef: 1
NO MEU: ORCID
27
TÍTULO: Exploring medical device design and use through layers of Distributed Cognition: How a glucometer is coupled with its context  Full Text
AUTORES: Dominic Furniss; Paolo Masci ; Paul Curzon; Astrid Mayer; Ann Blandford;
PUBLICAÇÃO: 2015, FONTE: Journal of Biomedical Informatics, VOLUME: 53
INDEXADO EM: Scopus DBLP CrossRef: 9
NO MEU: ORCID | DBLP
28
TÍTULO: Proceedings Second International Workshop on Formal Integrated Development Environment, F-IDE 2015, Oslo, Norway, June 22, 2015  Full Text
AUTORES: Catherine Dubois; Paolo Masci ; Dominique Méry;
PUBLICAÇÃO: 2015, FONTE: F-IDE@FM, VOLUME: 187
INDEXADO EM: DBLP CrossRef: 1
NO MEU: ORCID | DBLP
29
TÍTULO: PVSio-web 2.0: Joining PVS to HCI
AUTORES: Paolo Masci ; Patrick Oladimeji; Yi Zhang; Paul L. Jones; Paul Curzon; Harold W. Thimbleby;
PUBLICAÇÃO: 2015, FONTE: 27th International Conference on Computer Aided Verification, CAV 2015 in Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I, VOLUME: 9206
INDEXADO EM: Scopus DBLP CrossRef: 10
NO MEU: ORCID | DBLP
30
TÍTULO: Reusing models and properties in the analysis of similar interactive devices  Full Text
AUTORES: Michael D Harrison ; Jose Creissac Campos ; Paolo Masci ;
PUBLICAÇÃO: 2015, FONTE: INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, VOLUME: 11, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 13
NO MEU: ORCID | DBLP
Página 3 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