Остановите войну!
for scientists:
default search action
Paul Curzon
- > Home > Persons > Paul Curzon
Publications
- 2017
- [j32]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) - [p3]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 - 2016
- [j30]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) - [j29]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) - [j28]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) - [p2]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
- [j25]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) - [j24]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) - [j23]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) - [c66]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 - 2014
- [c64]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 - [c63]Michael D. Harrison, Paolo Masci, José Creissac Campos, Paul Curzon:
Demonstrating that Medical Devices Satisfy User Related Safety Requirements. FHIES/SEHC 2014: 113-128 - [c62]Paolo Masci, Patrick Oladimeji, Paul Curzon, Harold Thimbleby:
Using PVSio-web to Demonstrate Software Issues in Medical User Interfaces. FHIES/SEHC 2014: 214-221 - [c61]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 - [c60]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
- [j20]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) - [j19]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) - [j18]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) - [c58]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 - [c55]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
- [c52]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 - [c50]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 - [c49]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
- [j16]Paolo Masci, Paul Curzon, Ann Blandford, Dominic Furniss:
Modelling Distributed Cognition Systems in PVS. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 45 (2011) - [j15]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) - [c46]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 - [c45]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 - [c44]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 - [c40]Paolo Masci, Paul Curzon:
Checking User-Centred Design Principles in Distributed Cognition Models: A Case Study in the Healthcare Domain. USAB 2011: 95-108
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 2024-05-08 23:55 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint