Paolo Masci

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