Paolo Masci
Orcid: 0000-0002-0667-7763Affiliations:
- National Institute of Aerospace, Langley Research Center, Hampton, VA, USA
According to our database1,
Paolo Masci
authored at least 83 papers
between 2004 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2022
Formal analysis of the application programming interface of the PVS verification system.
J. Log. Algebraic Methods Program., 2022
Proceedings of the SOAP '22: 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2022
Proceedings of the NASA Formal Methods - 14th International Symposium, 2022
Proceedings of the Formal Aspects of Component Software - 18th International Conference, 2022
2021
Interact. Comput., 2021
Proceedings of the Sense, Feel, Design - INTERACT 2021 IFIP TC 13 Workshops, Bari, Italy, August 30, 2021
Proving Display Conformance and Action Consistency: The Example of an Integrated Clinical Environment.
Proceedings of the Sense, Feel, Design - INTERACT 2021 IFIP TC 13 Workshops, Bari, Italy, August 30, 2021
2020
Supporting the Analysis of Safety Critical User Interfaces: An Exploration of Three Formal Tools.
ACM Trans. Comput. Hum. Interact., 2020
Softw. Syst. Model., 2020
Proceedings of the Tests and Proofs - 14th International Conference, 2020
2019
Logic-Based Formalization of System Requirements for Integrated Clinical Environments.
Proceedings of the Automated Reasoning for Systems Biology and Medicine, 2019
IEEE Trans. Software Eng., 2019
A use error taxonomy for improving human-machine interface design in medical devices.
SIGBED Rev., 2019
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., 2019
Formal techniques in the safety analysis of software components of a new dialysis machine.
Sci. Comput. Program., 2019
Proceedings of the Proceedings Fifth Workshop on Formal Integrated Development Environment, 2019
Proceedings of the Formal Methods. FM 2019 International Workshops, 2019
2018
A PVS-Simulink Integrated Environment for Model-Based Analysis of Cyber-Physical Systems.
IEEE Trans. Software Eng., 2018
Proceedings of the Proceedings 4th Workshop on Formal Integrated Development Environment, 2018
A Flexible Framework for FMI-Based Co-Simulation of Human-Centred Cyber-Physical Systems.
Proceedings of the Software Technologies: Applications and Foundations, 2018
Proceedings of the Software Technologies: Applications and Foundations, 2018
Proceedings of the Second Italian Conference on Cyber Security, Milan, Italy, February 6th - to, 2018
Modeling and Analysis of Human Memory Load in Multitasking Scenarios: Late-Breaking Results.
Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2018
2017
Verification of User Interface Software: The Example of Use-Related Safety Requirements and Programmable Medical Devices.
IEEE Trans. Hum. Mach. Syst., 2017
Proceedings of the Software Engineering and Formal Methods, 2017
A Hazard Analysis Method for Systematic Identification of Safety Requirements for User Interface Software in Medical Devices.
Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017
Proceedings of the Formal Aspects of Component Software - 14th International Conference, 2017
Proceedings of the Formal Aspects of Component Software - 14th International Conference, 2017
Proceedings of the Handbook of Formal Methods in Human-Computer Interaction., 2017
2016
Towards a Formalization of System Requirements for an Integrated Clinical Environment.
EAI Endorsed Trans. Self Adapt. Syst., 2016
<i>IWC</i> Special Issue in Human Factors and Interaction Design for Critical Systems.
Interact. Comput., 2016
EAI Endorsed Trans. Creative Technol., 2016
EAI Endorsed Trans. Creative Technol., 2016
PVSio-web: mathematically based tool support for the design of interactive and interoperable medical systems.
EAI Endorsed Trans. Collab. Comput., 2016
Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web.
Proceedings of the Third Workshop on Formal Integrated Development Environment, 2016
Modeling communication network requirements for an integrated clinical environment in the Prototype Verification System.
Proceedings of the IEEE Symposium on Computers and Communication, 2016
Developing and Verifying User Interface Requirements for Infusion Pumps: A Refinement Approach.
Proceedings of the From Action Systems to Distributed Systems - The Refinement Approach., 2016
2015
Exploring medical device design and use through layers of Distributed Cognition: How a glucometer is coupled with its context.
J. Biomed. Informatics, 2015
The benefits of formalising design guidelines: a case study on the predictability of drug infusion pumps.
Innov. Syst. Softw. Eng., 2015
Innov. Syst. Softw. Eng., 2015
Innov. Syst. Softw. Eng., 2015
Proceedings of the Computer Aided Verification - 27th International Conference, 2015
2014
Reliab. Eng. Syst. Saf., 2014
Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014
A Generic User Interface Architecture for Analyzing Use Hazards in Infusion Pump Software.
Proceedings of the 5th Workshop on Medical Cyber-Physical Systems, 2014
Proceedings of the Software Engineering in Health Care - 4th International Symposium, 2014
Proceedings of the Software Engineering in Health Care - 4th International Symposium, 2014
Proceedings of the Fundamental Approaches to Software Engineering, 2014
2013
Developing and Verifying User Interface Requirements for Infusion Pumps: A Refinement Approach.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013
Model-Based Development of the Generic PCA Infusion Pump User Interface Prototype in PVS.
Proceedings of the Computer Safety, Reliability, and Security, 2013
Verification of interactive software for medical devices: PCA infusion pumps and FDA regulation as an example.
Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2013
Proceedings of the 2013 ACM SIGCHI Conference on Human Factors in Computing Systems, 2013
2012
J. Syst. Softw., 2012
Proceedings of the Software Engineering for Resilient Systems - 4th International Workshop, 2012
Proceedings of the NASA Formal Methods, 2012
Proceedings of the BCS-HCI '12 Proceedings of the 26th Annual BCS Interaction Specialist Group Conference on People and Computers, 2012
2011
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011
Checking User-Centred Design Principles in Distributed Cognition Models: A Case Study in the Healthcare Domain.
Proceedings of the Information Quality in e-Health, 2011
On Enabling Dependability Assurance in Heterogeneous Networks through Automated Model-Based Analysis.
Proceedings of the Software Engineering for Resilient Systems, 2011
Proceedings of the 10th International Symposium on Autonomous Decentralized Systems, 2011
Automated Refinement of Dependability Analysis through Monitoring in Dynamically Connected Systems.
Proceedings of the 10th International Symposium on Autonomous Decentralized Systems, 2011
Towards a formal framework for reasoning about the resilience of dynamic interactive systems.
Proceedings of the 13th European Workshop on Dependable Computing, 2011
Proceedings of the 1st International Workshop on Engineering Interactive Computing Systems for Medicine and Health Care (EICS4Med 2011), 2011
Comparing Actual Practice and User Manuals: A Case Study Based on Programmable Infusion Pumps.
Proceedings of the 1st International Workshop on Engineering Interactive Computing Systems for Medicine and Health Care (EICS4Med 2011), 2011
2010
Proceedings of the International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2010), 2010
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010
Dependability Analysis of Diffusion Protocols in Wireless Networks with Heterogeneous Node Capabilities.
Proceedings of the Eighth European Dependable Computing Conference, 2010
2009
Proceedings of the Stabilization, 2009
2008
ACM Trans. Program. Lang. Syst., 2008
Proceedings of the SERENE 2008, 2008
Proceedings of the Computer Safety, 2008
2007
Pervasive Mob. Comput., 2007
Proceedings of the IEEE 4th International Conference on Mobile Adhoc and Sensor Systems, 2007
2006
Inf. Process. Lett., 2006
Experiences with the TinyOS Communication Library.
Proceedings of the Wireless Information Systems, 2006
Proceedings of the 4th IEEE Conference on Pervasive Computing and Communications Workshops (PerCom 2006 Workshops), 2006
Proceedings of the Second International Conference on Wireless and Mobile Communications (ICWMC'06), 2006
2005
Proceedings of the First Workshop on Bytecode Semantics, 2005
2004
Java bytecode verification with dynamic structures.
Proceedings of the IASTED Conference on Software Engineering and Applications, 2004