Search filters

List of works by Paolo Masci

7 Themes for guiding situated ergonomic assessments of medical devices: a case study of an inpatient glucometer.

scientific article published on 20 June 2014

Automated Refinement of Dependability Analysis through Monitoring in Dynamically Connected Systems

scientific article published in March 2011

Dependability Analysis and Verification for Connected Systems

scientific article published in 2010

Exploring medical device design and use through layers of distributed cognition: how a glucometer is coupled with its context

scientific article published on 20 December 2014

Formal analysis of the application programming interface of the PVS verification system

scientific article published in 2022

Supporting Field Investigators with PVS: A Case Study in the Healthcare Domain

scientific article published in 2012

Towards a formal framework for reasoning about the resilience of dynamic interactive systems

scientific article published in 2011

Using PVS to support the analysis of distributed cognition systems

scientific article published on 3 April 2013

Paulina is supported by:

About Paulina

Help