Paolo Masci

Publication Activity (10 Years)

Years Active: 2004-2022
Publications (10 Years): 38

Top Topics

Formal Verification

Medical Devices

Top Venues

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

Innov. Syst. Softw. Eng.

Publications

Paolo Masci
Formal analysis of the application programming interface of the PVS verification system. J. Log. Algebraic Methods Program. 128 (2022)
J. Tanner Slagel, César Muñoz, Swee Balachandran, Mariano M. Moscato, Aaron Dutle, Paolo Masci, Lauren White
Towards an implementation of differential dynamic logic in PVS. SOAP@PLDI (2022)
Paolo Masci, Aaron Dutle
Proof Mate: An Interactive Proof Helper for PVS (Tool Paper). NFM (2022)
Michael D. Harrison, Paolo Masci, José Creissac Campos
Balancing the formal and the informal in user-centred design. Interact. Comput. 33 (1) (2021)
Michael D. Harrison, Paolo Masci
Proving Display Conformance and Action Consistency: The Example of an Integrated Clinical Environment. INTERACT (Workshops) (2021)
Tilo Mentler, Philippe A. Palanque, Michael D. Harrison, Kristof Van Laerhoven, Paolo Masci
Control Rooms from a Human-Computer Interaction Perspective. INTERACT (Workshops) (2021)
José Creissac Campos, Camille Fayollas, Michael D. Harrison, Célia Martinie, Paolo Masci, Philippe A. Palanque
Supporting the Analysis of Safety Critical User Interfaces: An Exploration of Three Formal Tools. ACM Trans. Comput. Hum. Interact. 27 (5) (2020)
Maurizio Palmieri, Cinzia Bernardeschi, Paolo Masci
A framework for FMI-based co-simulation of human-machine interfaces. Softw. Syst. Model. 19 (3) (2020)
Paolo Masci, César A. Muñoz
A Graphical Toolkit for the Validation of Requirements for Detect and Avoid Systems. TAP@STAF (2020)
Paolo Masci
Experiences with Streamlining Formal Methods Tools. FM Workshops (1) (2019)
Michael D. Harrison, Paolo Masci, José Creissac Campos
Verification Templates for the Analysis of User Interface Software Design. IEEE Trans. Software Eng. 45 (8) (2019)
Carlos Silva, Paolo Masci, Yi Zhang, Paul L. Jones, José Creissac Campos
A use error taxonomy for improving human-machine interface design in medical devices. SIGBED Rev. 16 (2) (2019)
Cinzia Bernardeschi, Paolo Masci, Davide Caramella, Ruggero Dell'Osso
The benefits of using interactive device simulations as training material for clinicians: an experience report with a contrast media injector used in CT. SIGBED Rev. 16 (2) (2019)
Michael D. Harrison, Leo Freitas, Michael J. Drinnan, José Creissac Campos, Paolo Masci, Costanzo di Maria, Michael Whitaker
Formal techniques in the safety analysis of software components of a new dialysis machine. Sci. Comput. Program. 175 (2019)
Paolo Masci, César A. Muñoz
An Integrated Development Environment for the Prototype Verification System. F-IDE@FM (2019)
Maurizio Palmieri, Cinzia Bernardeschi, Paolo Masci
A Flexible Framework for FMI-Based Co-Simulation of Human-Centred Cyber-Physical Systems. STAF Workshops (2018)
Cinzia Bernardeschi, Andrea Domenici, Paolo Masci
A PVS-Simulink Integrated Environment for Model-Based Analysis of Cyber-Physical Systems. IEEE Trans. Software Eng. 44 (6) (2018)
Michael D. Harrison, Paolo Masci, José Creissac Campos
Formal Modelling as a Component of User Centred Design. STAF Workshops (2018)
Giovanna Broccia, Paolo Masci, Paolo Milazzo
Modeling and Analysis of Human Memory Load in Multitasking Scenarios: Late-Breaking Results. EICS (2018)
Nathaniel Watson, Steve Reeves, Paolo Masci
Integrating User Design and Formal Models within PVSio-Web. F-IDE@FLoC (2018)
Cinzia Bernardeschi, Paolo Masci, Antonella Santone
Data Leakage in Java Applets with Exception Mechanism. ITASEC (2018)
Miguel Pinto, Marcelo Gonçalves, Paolo Masci, José Creissac Campos
TOM: A Model-Based GUI Testing Framework. FACS (2017)
Michael D. Harrison, Paolo Masci, José Creissac Campos, Paul Curzon
Verification of User Interface Software: The Example of Use-Related Safety Requirements and Programmable Medical Devices. IEEE Trans. Hum. Mach. Syst. 47 (6) (2017)
Paolo Masci, Yi Zhang, Paul L. Jones, José Creissac Campos
A Hazard Analysis Method for Systematic Identification of Safety Requirements for User Interface Software in Medical Devices. SEFM (2017)
Michael D. Harrison, Michael J. Drinnan, José Creissac Campos, Paolo Masci, Leo Freitas, Costanzo di Maria, Michael Whitaker
Safety Analysis of Software Components of a Dialysis Machine Using Model Checking. FACS (2017)
Maurizio Palmieri, Cinzia Bernardeschi, Paolo Masci
Co-simulation of Semi-autonomous Systems: The Line Follower Robot Case Study. SEFM Workshops (2017)
Huawei Tu, Paolo Masci, Chris Vincent, Karen Yunqiu Li, Harold Thimbleby
Special Issue in Human Factors and Interaction Design for Critical Systems. Interact. Comput. 28 (2) (2016)
Camille Fayollas, Célia Martinie, Philippe A. Palanque, Paolo Masci, Michael D. Harrison, José Creissac Campos, Saulo Rodrigues e Silva
Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web. F-IDE@FM (2016)
Harold Thimbleby, Patrick Oladimeji, Paolo Masci, Paul Curzon
Issues in number entry user interface styles: Recommendations for mitigation. EAI Endorsed Trans. Creative Technol. 3 (8) (2016)
Cinzia Bernardeschi, Andrea Domenici, Paolo Masci
Modeling communication network requirements for an integrated clinical environment in the Prototype Verification System. ISCC (2016)
Michael D. Harrison, José Creissac Campos, Paolo Masci, Paul Curzon
Templates as heuristics for proving properties of medical devices. EAI Endorsed Trans. Creative Technol. 3 (8) (2016)
Cinzia Bernardeschi, Andrea Domenici, Paolo Masci
Towards a Formalization of System Requirements for an Integrated Clinical Environment. EAI Endorsed Trans. Self Adapt. Syst. 2 (6) (2016)
Paolo Masci, Patrick Oladimeji, Piergiuseppe Mallozzi, Paul Curzon, Harold Thimbleby
PVSio-web: mathematically based tool support for the design of interactive and interoperable medical systems. EAI Endorsed Trans. Collab. Comput. 2 (7) (2016)
Paolo Masci, Paul Curzon, Dominic Furniss, Ann Blandford
Using PVS to support the analysis of distributed cognition systems. Innov. Syst. Softw. Eng. 11 (2) (2015)
Michael D. Harrison, José Creissac Campos, Paolo Masci
Reusing models and properties in the analysis of similar interactive devices. Innov. Syst. Softw. Eng. 11 (2) (2015)
Paolo Masci, Rimvydas Ruksenas, Patrick Oladimeji, Abigail Cauchi, Andy Gimblett, Karen Yunqiu Li, Paul Curzon, Harold W. Thimbleby
The benefits of formalising design guidelines: a case study on the predictability of drug infusion pumps. Innov. Syst. Softw. Eng. 11 (2) (2015)
Paolo Masci, Patrick Oladimeji, Yi Zhang, Paul L. Jones, Paul Curzon, Harold W. Thimbleby
PVSio-web 2.0: Joining PVS to HCI. CAV (1) (2015)
Dominic Furniss, Paolo Masci, Paul Curzon, Astrid Mayer, Ann Blandford
Exploring medical device design and use through layers of Distributed Cognition: How a glucometer is coupled with its context. J. Biomed. Informatics 53 (2015)
Felicita Di Giandomenico, Massimiliano Leone Itria, Paolo Masci, Nicola Nostro
Automated synthesis of dependable mediators for heterogeneous interoperable systems. Reliab. Eng. Syst. Saf. 132 (2014)
Paolo Masci, Yi Zhang, Paul L. Jones, Patrick Oladimeji, Enrico D'Urso, Cinzia Bernardeschi, Paul Curzon, Harold Thimbleby
Combining PVSio with Stateflow. NASA Formal Methods (2014)
Paolo Masci, Yi Zhang, Paul L. Jones, Paul Curzon, Harold W. Thimbleby
Formal Verification of Medical Device User Interfaces Using PVS. FASE (2014)
Paolo Masci, Patrick Oladimeji, Paul Curzon, Harold Thimbleby
Using PVSio-web to Demonstrate Software Issues in Medical User Interfaces. FHIES/SEHC (2014)
Paolo Masci, Yi Zhang, Paul L. Jones, Harold Thimbleby, Paul Curzon
A Generic User Interface Architecture for Analyzing Use Hazards in Infusion Pump Software. MCPS (2014)
Michael D. Harrison, Paolo Masci, José Creissac Campos, Paul Curzon
Demonstrating that Medical Devices Satisfy User Related Safety Requirements. FHIES/SEHC (2014)
Paolo Masci, Anaheed Ayoub, Paul Curzon, Insup Lee, Oleg Sokolsky, Harold W. Thimbleby
Model-Based Development of the Generic PCA Infusion Pump User Interface Prototype in PVS. SAFECOMP (2013)
Patrick Oladimeji, Paolo Masci, Paul Curzon, Harold W. Thimbleby
PVSio-web: a tool for rapid prototyping device user interfaces in PVS. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 69 (2013)
Rimvydas Ruksenas, Paolo Masci, Michael D. Harrison, Paul Curzon
Developing and Verifying User Interface Requirements for Infusion Pumps: A Refinement Approach. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 69 (2013)
Karen Yunqiu Li, Sharon Xianghua Ding, Zhanxun Dong, Liping Qin, Paolo Masci, Chris Vincent, Harold W. Thimbleby, Abigail Cauchi, Alexis Lewis, Sisy Baixi Xing, Shouqian Sun, Eric Liu, John Di, Jenson Wang, Mary Welch-Brady
MediCHI: safer interaction in medical devices. CHI Extended Abstracts (2013)
Michael D. Harrison, Paolo Masci, José Creissac Campos, Paul Curzon
Automated theorem proving for the systematic analysis of an infusion pump. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 69 (2013)
Paolo Masci, Anaheed Ayoub, Paul Curzon, Michael D. Harrison, Insup Lee, Harold W. Thimbleby
Verification of interactive software for medical devices: PCA infusion pumps and FDA regulation as an example. EICS (2013)
Marco Avvenuti, Cinzia Bernardeschi, Nicoletta De Francesco, Paolo Masci
JCSI: A tool for checking secure information flow in Java Card applications. J. Syst. Softw. 85 (11) (2012)
Paolo Masci, Huayi Huang, Paul Curzon, Michael D. Harrison
Using PVS to Investigate Incidents through the Lens of Distributed Cognition. NASA Formal Methods (2012)
Paolo Masci, Dominic Furniss, Paul Curzon, Michael D. Harrison, Ann Blandford
Supporting Field Investigators with PVS: A Case Study in the Healthcare Domain. SERENE (2012)
Abigail Cauchi, Andy Gimblett, Harold W. Thimbleby, Paul Curzon, Paolo Masci
Safer "5-key" number entry user interfaces using differential formal analysis. BCS HCI (2012)
Paolo Masci, Paul Curzon, Ann Blandford, Dominic Furniss
Modelling Distributed Cognition Systems in PVS. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 45 (2011)
Paolo Masci, Paul Curzon, Huayi Huang, Rimvydas Ruksenas, Ann Blandford, Dominic Furniss, Atish Rajkomar
Towards a formal framework for reasoning about the resilience of dynamic interactive systems. EWDC (2011)
Paolo Masci, Nicola Nostro, Felicita Di Giandomenico
On Enabling Dependability Assurance in Heterogeneous Networks through Automated Model-Based Analysis. SERENE (2011)
Paolo Masci, Rimvydas Ruksenas, Patrick Oladimeji, Abigail Cauchi, Andy Gimblett, Karen Yunqiu Li, Paul Curzon, Harold W. Thimbleby
On formalising interactive number entry on infusion pumps. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 45 (2011)
Abigail Cauchi, Paul Curzon, Parisa Eslambolchilar, Andy Gimblett, Huayi Huang, Paul Lee, Yunqiu Li, Paolo Masci, Patrick Oladimeji, Rimvydas Ruksenas, Harold Thimbleby
Towards Dependable Number Entry for Medical Devices. EICS4Med (2011)
Antonia Bertolino, Antonello Calabrò, Felicita Di Giandomenico, Marco Martinucci, Paolo Masci
Automated Refinement of Dependability Analysis through Monitoring in Dynamically Connected Systems. ISADS (2011)
Paolo Masci, Marco Martinucci, Felicita Di Giandomenico
Towards Automated Dependability Analysis of Dynamically Connected Systems. ISADS (2011)
Paolo Masci, Paul Curzon
Checking User-Centred Design Principles in Distributed Cognition Models: A Case Study in the Healthcare Domain. USAB (2011)
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
Comparing Actual Practice and User Manuals: A Case Study Based on Programmable Infusion Pumps. EICS4Med (2011)
Antinisca Di Marco, Antonia Bertolino, Felicita Di Giandomenico, Paolo Masci, Antonino Sabetta
Metrics for QoS analysis in dynamic, evolving and heterogeneous connected systems. WODA (2010)
Felicita Di Giandomenico, Marta Z. Kwiatkowska, Marco Martinucci, Paolo Masci, Hongyang Qu
Dependability Analysis and Verification for Connected Systems. ISoLA (2) (2010)
Paolo Masci, Silvano Chiaradonna, Felicita Di Giandomenico
Dependability Analysis of Diffusion Protocols in Wireless Networks with Heterogeneous Node Capabilities. EDCC (2010)
Cinzia Bernardeschi, Paolo Masci, Holger Pfeifer
Analysis of Wireless Sensor Network Protocols in Dynamic Scenarios. SSS (2009)
Paolo Masci, Henrique Moniz, Alessandra Tedeschi
Services for fault-tolerant conflict resolution in air traffic management. SERENE (2008)
Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini, Paolo Masci
Decomposing bytecode verification by abstract interpretation. ACM Trans. Program. Lang. Syst. 31 (1) (2008)
Cinzia Bernardeschi, Paolo Masci, Holger Pfeifer
Early Prototyping of Wireless Sensor Network Algorithms in PVS. SAFECOMP (2008)
Marco Avvenuti, Paolo Corsini, Paolo Masci, Alessio Vecchio
Opportunistic computing for wireless sensor networks. MASS (2007)
Marco Avvenuti, Paolo Corsini, Paolo Masci, Alessio Vecchio
An application adaptation layer for wireless sensor networks. Pervasive Mob. Comput. 3 (4) (2007)
Paolo Corsini, Paolo Masci, Alessio Vecchio
VirtuS: a configurable layer for post-deployment adaptation of sensor network. ICWMC (2006)
Cinzia Bernardeschi, Giuseppe Lettieri, Luca Martini, Paolo Masci
Using postdomination to reduce space requirements of data flow analysis. Inf. Process. Lett. 98 (1) (2006)
Paolo Corsini, Paolo Masci, Alessio Vecchio
Experiences with the TinyOS Communication Library. Wireless Information Systems (2006)
Cinzia Bernardeschi, Giuseppe Lettieri, Luca Martini, Paolo Masci
Using Control Dependencies for Space-Aware Bytecode Verification. Comput. J. 49 (2) (2006)
Paolo Corsini, Paolo Masci, Alessio Vecchio
Configuration and tuning of sensor network applications through virtual sensors. PerCom Workshops (2006)
Cinzia Bernardeschi, Giuseppe Lettieri, Luca Martini, Paolo Masci
A Space-Aware Bytecode Verifier for Java Cards. Electron. Notes Theor. Comput. Sci. 141 (1) (2005)
Cinzia Bernardeschi, Luca Martini, Paolo Masci
Java bytecode verification with dynamic structures. IASTED Conf. on Software Engineering and Applications (2004)