Paolo Masci

发表

Debugging PVS specifications of control logics via event-driven simulation

Cinzia Bernardeschi, Luca Cassano, Andrea Domenici, 2010 .

A use error taxonomy for improving human-machine interface design in medical devices

Yi Zhang, Paolo Masci, Carlos Silva, 2019, SIGBED.

PVSio-web: mathematically based tool support for the design of interactive and interoperable medical systems

Harold W. Thimbleby, Paul Curzon, Paolo Masci, 2015, EAI Endorsed Trans. Collab. Comput..

Data Leakage in Java Applets with Exception Mechanism

Antonella Santone, Cinzia Bernardeschi, Paolo Masci, 2018, ITASEC.

Automated theorem proving for the systematic analysis of an infusion pump

Michael D. Harrison, Paul Curzon, José Creissac Campos, 2013, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

Automated synthesis of dependable mediators for heterogeneous interoperable systems

Felicita Di Giandomenico, Paolo Masci, Nicola Nostro, 2014, Reliab. Eng. Syst. Saf..

Proceedings Second International Workshop on Formal Integrated Development Environment

Paolo Masci, Catherine Dubois, Dominique M'ery, 2015 .

Co-simulation of Semi-autonomous Systems: The Line Follower Robot Case Study

Cinzia Bernardeschi, Paolo Masci, Maurizio Palmieri, 2017, SEFM Workshops.

Integrated Simulation of Implantable Cardiac Pacemaker Software and Heart Models

Cinzia Bernardeschi, Andrea Domenici, Paolo Masci, 2014, CARDIOTECHNIX 2014.

The benefits of using interactive device simulations as training material for clinicians: an experience report with a contrast media injector used in CT

Davide Caramella, Cinzia Bernardeschi, Paolo Masci, 2018, SIGBED.

Integrating the PVSio-web modelling and prototyping environment with Overture

Peter Gorm Larsen, Paul Curzon, Paolo Masci, 2015 .

Modeling and Analysis of Human Memory Load in Multitasking Scenarios: Late-Breaking Results

Giovanna Broccia, Paolo Milazzo, Paolo Masci, 2018, EICS.

Research: User Interface Software Errors in Medical Devices: Study of U.S. Recall Data.

Yi Zhang, Paolo Masci, Paul Jones, 2019, Biomedical instrumentation & technology.

Resilient Computing Courseware

Neeraj Suri, Marco Winckler, Miguel Correia, 2009 .

Event-driven simulation of control logics from logical specifications, Technical ReportDIIEIT-2010-05-01

Cinzia Bernardeschi, Luca Cassano, Andrea Domenici, 2010 .

VirtuS: a configurable layer for post-deployment adaptation of sensor network

Alessio Vecchio, Paolo Corsini, Paolo Masci, 2006, 2006 International Conference on Wireless and Mobile Communications (ICWMC'06).

Integrating User Design and Formal Models within PVSio-Web pdf

Steve Reeves, Paolo Masci, Nathaniel Watson, 2018, F-IDE@FLoC.

Checking User-Centred Design Principles in Distributed Cognition Models: A Case Study in the Healthcare Domain

Paul Curzon, Paolo Masci, P. Curzon, 2011, USAB.

Towards Dependable Number Entry for Medical Devices

Harold W. Thimbleby, Paul Curzon, Parisa Eslambolchilar, 2011, EICS4Med.

PVSio-web: a tool for rapid prototyping device user interfaces in PVS

Harold W. Thimbleby, Paul Curzon, Paolo Masci, 2013, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

Extending STPA to Improve the Analysis of User Interface Software in Medical Devices

Yi Zhang, José Creissac Campos, Paolo Masci, 2018 .

A preliminary hazard analysis for the GIP number entry software

Paolo Masci, 2014 .

Experiences with the TinyOS Communication Library

Alessio Vecchio, Paolo Corsini, Paolo Masci, 2006, Wireless Information Systems.

Supporting the Analysis of Safety Critical User Interfaces

Philippe A. Palanque, Célia Martinie, Michael D. Harrison, 2020, ACM Trans. Comput. Hum. Interact..

PVSio-web 2.0: Joining PVS to HCI

Yi Zhang, Harold W. Thimbleby, Paul Curzon, 2015, CAV.

Developing and Verifying User Interface Requirements for Infusion Pumps: A Refinement Approach

Paul Curzon, Paolo Masci, Rimvydas Ruksenas, 2016, From Action Systems to Distributed Systems.

Decomposing bytecode verification by abstract interpretation

Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini, 2008, TOPL.

Dependability Analysis and Verification for Connected Systems

Felicita Di Giandomenico, Hongyang Qu, Marta Z. Kwiatkowska, 2010, ISoLA.

Java bytecode verification with dynamic structures

Luca Martini, Cinzia Bernardeschi, Paolo Masci, 2004, IASTED Conf. on Software Engineering and Applications.

Consolidated dependability framework

Francesca Lonetti, Eda Marchetti, Valérie Issarny, 2012 .

PVSio-web 2.0: Joining PVS to Human-Computer Interaction

Paul Curzon, Harold Thimbleby, Paolo Masci, 2015, International Conference on Computer Aided Verification.

Analysis of Wireless Sensor Network Protocols in Dynamic Scenarios

Cinzia Bernardeschi, Paolo Masci, Holger Pfeifer, 2009, SSS.

Using PVSio-web and SAPERE for rapid prototyping of user interfaces in Integrated Clinical Environments

Paul Curzon, Giovanna Di Marzo Serugendo, Paolo Masci, 2015 .

Logic-Based Formalization of System Requirements for Integrated Clinical Environments

Andrea Domenici, Cinzia Bernardeschi, Paolo Masci, 2019, Automated Reasoning for Systems Biology and Medicine.

Proceedings 4th Workshop on Formal Integrated Development Environment, F-IDE@FLoC 2018, Oxford, England, 14 July 2018

Rosemary Monahan, Paolo Masci, Virgile Prevosto, 2018, F-IDE@FLoC.

Opportunistic computing forwireless sensor networks

Paolo Corsini, Paolo Masci, 2007 .

Safety Analysis of Software Components of a Dialysis Machine Using Model Checking

Michael D. Harrison, José Creissac Campos, Paolo Masci, 2017, FACS.

The benefits of formalising design guidelines: a case study on the predictability of drug infusion pumps

Harold W. Thimbleby, Paul Curzon, Paolo Masci, 2013, Innovations in Systems and Software Engineering.

Configuration and tuning of sensor network applications through virtual sensors

Alessio Vecchio, Paolo Corsini, Paolo Masci, 2006, Fourth Annual IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOMW'06).

Verification of User Interface Software: The Example of Use-Related Safety Requirements and Programmable Medical Devices

Michael D. Harrison, Paul Curzon, José Creissac Campos, 2017, IEEE Transactions on Human-Machine Systems.

Towards a Formalization of System Requirements for an Integrated Clinical Environment

Andrea Domenici, Cinzia Bernardeschi, Paolo Masci, 2016, EAI Endorsed Trans. Self Adapt. Syst..

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

Ann Blandford, Paul Curzon, Dominic Furniss, 2011, EWDC '11.

Developing and Verifying User Interface Requirements for Infusion Pumps: A Refinement Approach

Michael D. Harrison, Paul Curzon, Paolo Masci, 2013, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

On formalising interactive number entry on infusion pumps

Harold W. Thimbleby, Paul Curzon, Paolo Masci, 2011, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

Modeling communication network requirements for an integrated clinical environment in the Prototype Verification System

Andrea Domenici, Paolo Masci, Cinzia Bernardeschi, 2016, 2016 IEEE Symposium on Computers and Communication (ISCC).

IWC Special Issue in Human Factors and Interaction Design for Critical Systems

Harold W. Thimbleby, Paolo Masci, Huawei Tu, 2016, Interact. Comput..

On Enabling Dependability Assurance in Heterogeneous Networks through Automated Model-Based Analysis

Felicita Di Giandomenico, Paolo Masci, Nicola Nostro, 2011, SERENE.

Issues in number entry user interface styles: Recommendations for mitigation

Harold W. Thimbleby, Paul Curzon, Paolo Masci, 2016, EAI Endorsed Trans. Creative Technol..

Analysis of FPGAs Using the SAN Formalism

Cinzia Bernardeschi, Luca Cassano, Andrea Domenici, 2010 .

Experiences with Streamlining Formal Methods Tools

Paolo Masci, 2019, FM Workshops.

Verification of interactive software for medical devices: PCA infusion pumps and FDA regulation as an example

Insup Lee, Harold W. Thimbleby, Michael D. Harrison, 2013, EICS.

A Flexible Framework for FMI-Based Co-Simulation of Human-Centred Cyber-Physical Systems

Cinzia Bernardeschi, Paolo Masci, Maurizio Palmieri, 2018, STAF Workshops.

Formal Verification of Medical Device User Interfaces Using PVS

Yi Zhang, Harold W. Thimbleby, Paul Curzon, 2014, FASE.

Comparing Actual Practice and User Manuals: A Case Study Based on Programmable Infusion Pumps

Harold W. Thimbleby, Ann Blandford, Paul Curzon, 2011, EICS4Med.

Formal Modelling as a Component of User Centred Design

Michael D. Harrison, José Creissac Campos, Paolo Masci, 2018, STAF Workshops.

Automated theorem proving for the systematic analysis of interactive systems

Michael D. Harrison, Paul Curzon, Paolo Masci, 2013 .

TOM: A Model-Based GUI Testing Framework

José Creissac Campos, Miguel Pinto, Paolo Masci, 2017, FACS.

Modelling and Evaluation of a Game-Theory Approach for Airborne Conflict Resolution in Omnet++

Paolo Masci, Alessandra Tedeschi, 2009, 2009 Second International Conference on Dependability.

Templates as heuristics for proving properties of medical devices

Michael D. Harrison, Paul Curzon, José Creissac Campos, 2016, EAI Endorsed Trans. Creative Technol..

Using PVS to Investigate Incidents through the Lens of Distributed Cognition

Michael D. Harrison, Paul Curzon, Paolo Masci, 2012, NASA Formal Methods.

Opportunistic computing for wireless sensor networks

Alessio Vecchio, Paolo Corsini, Marco Avvenuti, 2007, 2007 IEEE Internatonal Conference on Mobile Adhoc and Sensor Systems.

Early identification of software causes of use-related hazards in medical devices

Paul Curzon, Harold Thimbleby, Paolo Masci, 2015 .

Model Based Design and Safety Analysis of Medical Device User Interfaces

Yi Zhang, Paolo Masci, Paul Jones, 2015 .

A Generic User Interface Architecture for Analyzing Use Hazards in Infusion Pump Software

Yi Zhang, Harold W. Thimbleby, Paul Curzon, 2014, MCPS.

Exploring medical device design and use through layers of Distributed Cognition: How a glucometer is coupled with its context

Ann Blandford, Paul Curzon, Dominic Furniss, 2015, J. Biomed. Informatics.

Proceedings of the Third Workshop on Formal Integrated Development Environment, F-IDE@FM 2016, Limassol, Cyprus, November 8, 2016

Paolo Masci, Catherine Dubois, Dominique M'ery, 2017, F-IDE@FM.

On formalising interactive number entry on infusion pumps

Paul Curzon, Harold Thimbleby, Paolo Masci, 2011 .

JCSI: A tool for checking secure information flow in Java Card applications

Nicoletta De Francesco, Marco Avvenuti, Cinzia Bernardeschi, 2012, J. Syst. Softw..

Safer "5-key" number entry user interfaces using differential formal analysis

Harold W. Thimbleby, Paul Curzon, Paolo Masci, 2012, BCS HCI.

A Hazard Analysis Method for Systematic Identification of Safety Requirements for User Interface Software in Medical Devices

Yi Zhang, José Creissac Campos, Paul L. Jones, 2017, SEFM.

Towards Automated Dependability Analysis of Dynamically Connected Systems

Felicita Di Giandomenico, Paolo Masci, Marco Martinucci, 2011, 2011 Tenth International Symposium on Autonomous Decentralized Systems.

Dependability Analysis of Diffusion Protocols in Wireless Networks with Heterogeneous Node Capabilities

Silvano Chiaradonna, Felicita Di Giandomenico, Paolo Masci, 2010, 2010 European Dependable Computing Conference.

Formal techniques in the safety analysis of software components of a new dialysis machine

Michael D. Harrison, José Creissac Campos, Paolo Masci, 2019, Sci. Comput. Program..

A Space-Aware Bytecode Verifier for Java Cards

Giuseppe Lettieri, Luca Martini, Cinzia Bernardeschi, 2005, Bytecode@ETAPS.

An application adaptation layer for wireless sensor networks

Alessio Vecchio, Paolo Corsini, Marco Avvenuti, 2007, Pervasive Mob. Comput..

Using postdomination to reduce space requirements of data flow analysis

Giuseppe Lettieri, Luca Martini, Cinzia Bernardeschi, 2006, Inf. Process. Lett..

Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web

Philippe A. Palanque, Célia Martinie, Michael D. Harrison, 2017, F-IDE@FM.

Early Prototyping of Wireless Sensor Network Algorithms in PVS

Cinzia Bernardeschi, Paolo Masci, Holger Pfeifer, 2008, SAFECOMP.

Metrics for QoS analysis in dynamic, evolving and heterogeneous connected systems

Felicita Di Giandomenico, Antinisca Di Marco, Antonia Bertolino, 2010, WODA '10.

A PVS-Simulink Integrated Environment for Model-Based Analysis of Cyber-Physical Systems

Andrea Domenici, Cinzia Bernardeschi, Paolo Masci, 2018, IEEE Transactions on Software Engineering.

Model-Based Development of the Generic PCA Infusion Pump User Interface Prototype in PVS

Insup Lee, Harold W. Thimbleby, Paul Curzon, 2013, SAFECOMP.

Using PVSio-web to Demonstrate Software Issues in Medical User Interfaces

Harold W. Thimbleby, Paul Curzon, Paolo Masci, 2014, FHIES/SEHC.

Using PVS to support the analysis of distributed cognition systems

Ann Blandford, Paul Curzon, Dominic Furniss, 2013, Innovations in Systems and Software Engineering.

Services for fault-tolerant conflict resolution in air traffic management

Paolo Masci, Alessandra Tedeschi, Henrique Moniz, 2008, SERENE '08.

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

Ann Blandford, Michael D. Harrison, Paul Curzon, 2012, SERENE.

Automated Refinement of Dependability Analysis through Monitoring in Dynamically Connected Systems

Antonello Calabrò, Felicita Di Giandomenico, Antonia Bertolino, 2011, 2011 Tenth International Symposium on Autonomous Decentralized Systems.

A Tool for Signal Probability Analysis of FPGA-Based Systems

Cinzia Bernardeschi, Luca Cassano, Andrea Domenici, 2011 .

Reusing models and properties in the analysis of similar interactive devices

Michael D. Harrison, José Creissac Campos, Paolo Masci, 2013, Innovations in Systems and Software Engineering.

Demonstrating that Medical Devices Satisfy User Related Safety Requirements

Michael D. Harrison, Paul Curzon, José Creissac Campos, 2014, FHIES/SEHC.

Using Control Dependencies for Space-Aware Bytecode Verification

Giuseppe Lettieri, Luca Martini, Cinzia Bernardeschi, 2006, Comput. J..

Detecting data leakage in malicious Java applets

Paolo Masci, 2006 .

Balancing the formal and the informal in user-centred design

Michael D. Harrison, José Creissac Campos, Paolo Masci, 2021, Interact. Comput..

Energy-efficient reception of large preambles in MAC protocols for wireless sensor networks

Alessio Vecchio, Paolo Corsini, Marco Avvenuti, 2007 .

ReSIST : Resilience for Survivability in IST

Neeraj Suri, Philippe A. Palanque, Miguel Correia, 2008 .

Patterns and templates for automated verification of user interface software design in PVS

Michael D. Harrison, José Creissac Campos, Paolo Masci, 2016 .

Electronic Communications of the EASST Volume 45 ( 2011 ) Proceedings of the Fourth International Workshop on Formal Methods for Interactive Systems ( FMIS 2011 ) The benefits of formalising interactive number entry Case studies with drug infusion pumps

Paul Curzon, Harold Thimbleby, Paolo Masci, 2011 .

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

Ann Blandford, Paul Curzon, Dominic Furniss, 2014, Applied ergonomics.