Paolo Manuel Masci


AuthID: R-00G-VYY

Publicações Confirmadas: 80



21
TÍTULO: Modeling Communication Network Requirements for an Integrated Clinical Environment in the Prototype Verification System
AUTORES: Bernardeschi, C; Domenici, A; Masci, P ;
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: 2
22
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. Collab. Comput., VOLUME: 2, NÚMERO: 7
INDEXADO EM: DBLP CrossRef: 3
23
TÍTULO: Special Issue in Human Factors and Interaction Design for Critical Systems
AUTORES: Huawei Tu; Paolo Masci ; Chris J Vincent; Karen Yunqiu Li; Harold Thimbleby;
PUBLICAÇÃO: 2016, FONTE: Interact. Comput., VOLUME: 28, NÚMERO: 2
INDEXADO EM: DBLP CrossRef: 1
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: EAI Endorsed Trans. Creative Technol., VOLUME: 3, NÚMERO: 8
INDEXADO EM: Scopus DBLP CrossRef Handle
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 Adapt. Syst., VOLUME: 2, NÚMERO: 6
INDEXADO EM: DBLP CrossRef: 2
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
AUTORES: Dominic Furniss; Paolo Masci ; Paul Curzon; Astrid Mayer; Ann Blandford;
PUBLICAÇÃO: 2015, FONTE: J. Biomed. Informatics, VOLUME: 53
INDEXADO EM: Scopus DBLP CrossRef: 25
28
TÍTULO: Proceedings Second International Workshop on Formal Integrated Development Environment, F-IDE 2015, Oslo, Norway, June 22, 2015
AUTORES: Catherine Dubois; Paolo Masci ; Dominique Méry;
PUBLICAÇÃO: 2015, FONTE: F-IDE@FM, VOLUME: 187
INDEXADO EM: DBLP CrossRef: 1
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: CAV (1), VOLUME: 9206
INDEXADO EM: Scopus DBLP CrossRef: 21
30
TÍTULO: Reusing models and properties in the analysis of similar interactive devices
AUTORES: Harrison, MD ; Campos, JC ; Masci, P ;
PUBLICAÇÃO: 2015, FONTE: INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, VOLUME: 11, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 21 Handle
Página 3 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