Paul Curzon

Difficulties with design: The challenges of teaching design in K-5 programming

Computers & Education 2020cited by 30position: middledoi

K-5 Teachers' Uses of Levels of Abstraction Focusing on Design

2017cited by 39position: middledoi

Using PVSio-web to Demonstrate Software Issues in Medical User Interfaces

Lecture notes in computer science 2017cited by 5position: middledoi

Abstraction and common classroom activities

2016cited by 50position: middledoi

PVSio-web 2.0: Joining PVS to HCI

Lecture notes in computer science 2015cited by 29position: middledoi

Safer Interactive Medical Device Design: Insights from the CHI+MED Project

2015cited by 7position: firstdoi

PVSio-web: mathematically based tool support for the design of interactive and interoperable medical systems

2015cited by 6position: middledoi

PVSio-web 2.0: Joining PVS to Human-Computer Interaction

Computer Aided Verification 2015cited by 3position: last

Early identification of software causes of use-related hazards in medical devices

2015cited by 3position: firstdoi

Issues in number entry user interface styles: Recommendations for mitigation

2015cited by 2position: lastdoi

Formal Verification of Medical Device User Interfaces Using PVS

Lecture notes in computer science 2014cited by 38position: middledoi

PVSio-web: a tool for rapid prototyping device user interfaces in PVS

Technische Universität Berlin – Universitätsbibliothek 2014cited by 28position: middledoi

A Generic User Interface Architecture for Analyzing Use Hazards in Infusion Pump Software

DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) 2014cited by 14position: lastdoi

Combining PVSio with Stateflow

Lecture notes in computer science 2014cited by 13position: middledoi

Human-Computer Interaction and the Formal Certification and Assurance of Medical Devices: The CHI+MED Project

Computer Aided Verification 2014cited by 6position: last

Verification of interactive software for medical devices

2013cited by 92position: middledoi

The benefits of formalising design guidelines: a case study on the predictability of drug infusion pumps

Innovations in Systems and Software Engineering 2013cited by 36position: middledoi

Model-Based Development of the Generic PCA Infusion Pump User Interface Prototype in PVS

Lecture notes in computer science 2013cited by 26position: middledoi

Computer science unplugged, robotics, and outreach activities (abstract only)

2013cited by 0position: lastdoi

Safer “5–key” number entry user interfaces using Differential Formal Analysis

Electronic workshops in computing 2012cited by 29position: middledoi

Recent publications