Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPaolo Masci 0001
Paolo M. Masci
Person information
- affiliation: National Institute of Aerospace, Langley Research Center, Hampton, VA, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[e5]Paolo Masci
, Cinzia Bernardeschi, Pierluigi Graziani, Mario Koddenbrock, Maurizio Palmieri:
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops - AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers. Lecture Notes in Computer Science 13765, Springer 2023, ISBN 978-3-031-26235-7 [contents]- 2022
- [j30]Paolo Masci:
Formal analysis of the application programming interface of the PVS verification system. J. Log. Algebraic Methods Program. 128: 100793 (2022) - [c50]Victor A. Carreño, Mariano M. Moscato, Paolo M. Masci, Aaron Dutle:
Interpretation and Formalization of the Right-of-Way Rules. FACS 2022: 59-73 - [c49]Paolo Masci, Aaron Dutle:
Proof Mate: An Interactive Proof Helper for PVS (Tool Paper). NFM 2022: 809-815 - [c48]J. Tanner Slagel, César A. 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: 44-50 - 2021
- [j29]Michael D. Harrison, Paolo Masci, José Creissac Campos:
Balancing the formal and the informal in user-centred design. Interact. Comput. 33(1): 55-72 (2021) - [c47]Tilo Mentler, Philippe A. Palanque, Michael D. Harrison, Kristof Van Laerhoven, Paolo Masci:
Control Rooms from a Human-Computer Interaction Perspective. INTERACT (Workshops) 2021: 281-289 - [c46]Michael D. Harrison, Paolo Masci:
Proving Display Conformance and Action Consistency: The Example of an Integrated Clinical Environment. INTERACT (Workshops) 2021: 316-328 - 2020
- [j28]Maurizio Palmieri, Cinzia Bernardeschi, Paolo Masci:
A framework for FMI-based co-simulation of human-machine interfaces. Softw. Syst. Model. 19(3): 601-623 (2020) - [j27]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): 35:1-35:48 (2020) - [c45]Paolo Masci, César A. Muñoz:
A Graphical Toolkit for the Validation of Requirements for Detect and Avoid Systems. TAP@STAF 2020: 155-166 - [e4]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:
Dependable Computing - EDCC 2020 Workshops - AI4RAILS, DREAMS, DSOGRI, SERENE 2020, Munich, Germany, September 7, 2020, Proceedings. Communications in Computer and Information Science 1279, Springer 2020, ISBN 978-3-030-58461-0 [contents]
2010 – 2019
- 2019
- [j26]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: 17-34 (2019) - [j25]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): 24-30 (2019) - [j24]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): 41-45 (2019) - [j23]Michael D. Harrison, Paolo Masci, José Creissac Campos:
Verification Templates for the Analysis of User Interface Software Design. IEEE Trans. Software Eng. 45(8): 802-822 (2019) - [c44]Paolo Masci:
Experiences with Streamlining Formal Methods Tools. FM Workshops (1) 2019: 5-11 - [c43]Paolo Masci, César A. Muñoz:
An Integrated Development Environment for the Prototype Verification System. F-IDE@FM 2019: 35-49 - [p3]Cinzia Bernardeschi, Andrea Domenici, Paolo Masci:
Logic-Based Formalization of System Requirements for Integrated Clinical Environments. Automated Reasoning for Systems Biology and Medicine 2019: 215-242 - 2018
- [j22]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): 512-533 (2018) - [c42]Giovanna Broccia, Paolo Masci, Paolo Milazzo:
Modeling and Analysis of Human Memory Load in Multitasking Scenarios: Late-Breaking Results. EICS 2018: 9:1-9:7 - [c41]Cinzia Bernardeschi, Paolo Masci, Antonella Santone:
Data Leakage in Java Applets with Exception Mechanism. ITASEC 2018 - [c40]Maurizio Palmieri, Cinzia Bernardeschi, Paolo Masci:
A Flexible Framework for FMI-Based Co-Simulation of Human-Centred Cyber-Physical Systems. STAF Workshops 2018: 21-33 - [c39]Michael D. Harrison, Paolo Masci, José Creissac Campos:
Formal Modelling as a Component of User Centred Design. STAF Workshops 2018: 274-289 - [c38]Nathaniel Watson, Steve Reeves, Paolo Masci:
Integrating User Design and Formal Models within PVSio-Web. F-IDE@FLoC 2018: 95-104 - [e3]Paolo Masci, Rosemary Monahan, Virgile Prevosto:
Proceedings 4th Workshop on Formal Integrated Development Environment, F-IDE@FLoC 2018, Oxford, England, 14 July 2018. EPTCS 284, 2018 [contents] - 2017
- [j21]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): 834-846 (2017) - [c37]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: 137-154 - [c36]Miguel Pinto, Marcelo Gonçalves, Paolo Masci, José Creissac Campos:
TOM: A Model-Based GUI Testing Framework. FACS 2017: 155-161 - [c35]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: 284-299 - [c34]Maurizio Palmieri, Cinzia Bernardeschi, Paolo Masci:
Co-simulation of Semi-autonomous Systems: The Line Follower Robot Case Study. SEFM Workshops 2017: 423-437 - [p2]Michael D. Harrison, Paolo M. Masci, José Creissac Campos, Paul Curzon:
The Specification and Analysis of Use Properties of a Nuclear Control System. Handbook of Formal Methods in Human-Computer Interaction 2017: 379-403 - [e2]Catherine Dubois, Paolo Masci, Dominique Méry:
Proceedings of the Third Workshop on Formal Integrated Development Environment, F-IDE@FM 2016, Limassol, Cyprus, November 8, 2016. EPTCS 240, 2017 [contents] - 2016
- [j20]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): e3 (2016) - [j19]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): e1 (2016) - [j18]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): e2 (2016) - [j17]Huawei Tu, Paolo Masci, Chris J. Vincent, Karen Yunqiu Li, Harold Thimbleby:
IWC Special Issue in Human Factors and Interaction Design for Critical Systems. Interact. Comput. 28(2): 149-150 (2016) - [j16]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): e3 (2016) - [c33]Cinzia Bernardeschi, Andrea Domenici, Paolo Masci:
Modeling communication network requirements for an integrated clinical environment in the Prototype Verification System. ISCC 2016: 135-140 - [c32]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: 1-19 - [p1]Rimvydas Ruksenas, Paolo Masci, Paul Curzon:
Developing and Verifying User Interface Requirements for Infusion Pumps: A Refinement Approach. From Action Systems to Distributed Systems 2016: 215-230 - 2015
- [j15]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): 73-93 (2015) - [j14]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): 95-111 (2015) - [j13]Paolo Masci, Paul Curzon, Dominic Furniss, Ann Blandford:
Using PVS to support the analysis of distributed cognition systems. Innov. Syst. Softw. Eng. 11(2): 113-130 (2015) - [j12]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: 330-341 (2015) - [c31]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: 470-478 - [e1]Catherine Dubois, Paolo Masci, Dominique Méry:
Proceedings Second International Workshop on Formal Integrated Development Environment, F-IDE 2015, Oslo, Norway, June 22, 2015. EPTCS 187, 2015 [contents] - 2014
- [j11]Felicita Di Giandomenico, Massimiliano Leone Itria, Paolo Masci, Nicola Nostro:
Automated synthesis of dependable mediators for heterogeneous interoperable systems. Reliab. Eng. Syst. Saf. 132: 220-232 (2014) - [c30]Paolo Masci, Yi Zhang, Paul L. Jones, Paul Curzon, Harold W. Thimbleby:
Formal Verification of Medical Device User Interfaces Using PVS. FASE 2014: 200-214 - [c29]Michael D. Harrison, Paolo Masci, José Creissac Campos, Paul Curzon:
Demonstrating that Medical Devices Satisfy User Related Safety Requirements. FHIES/SEHC 2014: 113-128 - [c28]Paolo Masci, Patrick Oladimeji, Paul Curzon, Harold Thimbleby:
Using PVSio-web to Demonstrate Software Issues in Medical User Interfaces. FHIES/SEHC 2014: 214-221 - [c27]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: 1-14 - [c26]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: 209-214 - 2013
- [j10]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) - [j9]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) - [j8]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) - [c25]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:
MediCHI: safer interaction in medical devices. CHI Extended Abstracts 2013: 3267-3270 - [c24]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: 81-90 - [c23]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: 228-240 - 2012
- [j7]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): 2479-2493 (2012) - [c22]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: 29-38 - [c21]Paolo Masci, Huayi Huang, Paul Curzon, Michael D. Harrison:
Using PVS to Investigate Incidents through the Lens of Distributed Cognition. NASA Formal Methods 2012: 273-278 - [c20]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: 150-164 - 2011
- [j6]Paolo Masci, Paul Curzon, Ann Blandford, Dominic Furniss:
Modelling Distributed Cognition Systems in PVS. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 45 (2011) - [j5]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) - [c19]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: 53-58 - [c18]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: 59-64 - [c17]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: 109-110 - [c16]Paolo Masci, Marco Martinucci, Felicita Di Giandomenico:
Towards Automated Dependability Analysis of Dynamically Connected Systems. ISADS 2011: 139-146 - [c15]Antonia Bertolino, Antonello Calabrò, Felicita Di Giandomenico, Marco Martinucci, Paolo Masci:
Automated Refinement of Dependability Analysis through Monitoring in Dynamically Connected Systems. ISADS 2011: 315-318 - [c14]Paolo Masci, Nicola Nostro, Felicita Di Giandomenico:
On Enabling Dependability Assurance in Heterogeneous Networks through Automated Model-Based Analysis. SERENE 2011: 78-92 - [c13]Paolo Masci, Paul Curzon:
Checking User-Centred Design Principles in Distributed Cognition Models: A Case Study in the Healthcare Domain. USAB 2011: 95-108 - 2010
- [c12]Paolo Masci, Silvano Chiaradonna, Felicita Di Giandomenico:
Dependability Analysis of Diffusion Protocols in Wireless Networks with Heterogeneous Node Capabilities. EDCC 2010: 145-154 - [c11]Felicita Di Giandomenico, Marta Z. Kwiatkowska, Marco Martinucci, Paolo Masci, Hongyang Qu:
Dependability Analysis and Verification for Connected Systems. ISoLA (2) 2010: 263-277 - [c10]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: 32-37
2000 – 2009
- 2009
- [c9]Cinzia Bernardeschi, Paolo Masci, Holger Pfeifer:
Analysis of Wireless Sensor Network Protocols in Dynamic Scenarios. SSS 2009: 105-119 - 2008
- [j4]Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini, Paolo Masci:
Decomposing bytecode verification by abstract interpretation. ACM Trans. Program. Lang. Syst. 31(1): 3:1-3:63 (2008) - [c8]Cinzia Bernardeschi, Paolo Masci, Holger Pfeifer:
Early Prototyping of Wireless Sensor Network Algorithms in PVS. SAFECOMP 2008: 346-359 - [c7]Paolo Masci, Henrique Moniz, Alessandra Tedeschi:
Services for fault-tolerant conflict resolution in air traffic management. SERENE 2008: 121-125 - 2007
- [j3]Marco Avvenuti, Paolo Corsini, Paolo Masci, Alessio Vecchio:
An application adaptation layer for wireless sensor networks. Pervasive Mob. Comput. 3(4): 413-438 (2007) - [c6]Marco Avvenuti, Paolo Corsini, Paolo Masci, Alessio Vecchio:
Opportunistic computing for wireless sensor networks. MASS 2007: 1-6 - 2006
- [j2]Cinzia Bernardeschi, Giuseppe Lettieri, Luca Martini, Paolo Masci:
Using Control Dependencies for Space-Aware Bytecode Verification. Comput. J. 49(2): 234-248 (2006) - [j1]Cinzia Bernardeschi, Giuseppe Lettieri, Luca Martini, Paolo Masci:
Using postdomination to reduce space requirements of data flow analysis. Inf. Process. Lett. 98(1): 11-18 (2006) - [c5]Paolo Corsini, Paolo Masci, Alessio Vecchio:
VirtuS: a configurable layer for post-deployment adaptation of sensor network. ICWMC 2006: 8 - [c4]Paolo Corsini, Paolo Masci, Alessio Vecchio:
Configuration and tuning of sensor network applications through virtual sensors. PerCom Workshops 2006: 316-320 - [c3]Paolo Corsini, Paolo Masci, Alessio Vecchio:
Experiences with the TinyOS Communication Library. Wireless Information Systems 2006: 47-55 - 2005
- [c2]Cinzia Bernardeschi, Giuseppe Lettieri, Luca Martini, Paolo Masci:
A Space-Aware Bytecode Verifier for Java Cards. Bytecode@ETAPS 2005: 237-254 - 2004
- [c1]Cinzia Bernardeschi, Luca Martini, Paolo Masci:
Java bytecode verification with dynamic structures. IASTED Conf. on Software Engineering and Applications 2004: 559-564
Coauthor Index
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2023-11-22 20:35 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
