Paul Curzon

Orcid: 0000-0002-1301-9734

According to our database1, Paul Curzon authored at least 110 papers between 1990 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2020
Difficulties with design: The challenges of teaching design in K-5 programming.
Comput. Educ., 2020

Using semantic waves to analyse the effectiveness of unplugged computing activities.
Proceedings of the WiPSCE '20: Workshop in Primary and Secondary Computing Education, 2020

From Personalised Predictions to Targeted Advice: Improving Self-Management in Rheumatoid Arthritis.
Proceedings of the Integrated Citizen Centered Digital Health and Social Care - Citizens as Data Producers and Service co-Creators, 2020

2019
Unplugged Computing and Semantic Waves: Analysing Crazy Characters.
Proceedings of the 1st UK & Ireland Computing Education Research Conference, 2019

2018
Abstraction in action: K-5 teachers' uses of levels of abstraction, particularly the design level, in teaching programming.
Int. J. Comput. Sci. Educ. Sch., 2018

Comparing K-5 teachers' reported use of design in teaching programming and planning in teaching writing.
Proceedings of the 13th Workshop in Primary and Secondary Computing Education, 2018

2017
Verification of User Interface Software: The Example of Use-Related Safety Requirements and Programmable Medical Devices.
IEEE Trans. Hum. Mach. Syst., 2017

K-5 Teachers' Uses of Levels of Abstraction Focusing on Design.
Proceedings of the 12th Workshop on Primary and Secondary Computing Education, 2017

The Specification and Analysis of Use Properties of a Nuclear Control System.
Proceedings of the Handbook of Formal Methods in Human-Computer Interaction., 2017

Modelling the User.
Proceedings of the Handbook of Formal Methods in Human-Computer Interaction., 2017

2016
Safer Interactive Medical Device Design: Insights from the CHI+MED Project.
EAI Endorsed Trans. Security Safety, 2016

Issues in number entry user interface styles: Recommendations for mitigation.
EAI Endorsed Trans. Creative Technol., 2016

Templates as heuristics for proving properties of medical devices.
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

Impact on procurement and training by research on the interaction design of medical devices.
EAI Endorsed Trans. Collab. Comput., 2016

Abstraction and common classroom activities.
Proceedings of the 11th Workshop in Primary and Secondary Computing Education, 2016

Modelling information resources and their salience in medical device design.
Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 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
Service security and privacy as a socio-technical problem.
J. Comput. Secur., 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

Using PVS to support the analysis of distributed cognition systems.
Innov. Syst. Softw. Eng., 2015

Exploring older women's confidence during route planning.
Behav. Inf. Technol., 2015

PVSio-web 2.0: Joining PVS to HCI.
Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014
Combining human error verification and timing analysis: a case study on an infusion pump.
Formal Aspects Comput., 2014

Introducing teachers to computational thinking using unplugged storytelling.
Proceedings of the 9th Workshop in Primary and Secondary Computing Education, 2014

Combining PVSio with Stateflow.
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

Using PVSio-web to Demonstrate Software Issues in Medical User Interfaces.
Proceedings of the Software Engineering in Health Care - 4th International Symposium, 2014

Demonstrating that Medical Devices Satisfy User Related Safety Requirements.
Proceedings of the Software Engineering in Health Care - 4th International Symposium, 2014

Formal Verification of Medical Device User Interfaces Using PVS.
Proceedings of the Fundamental Approaches to Software Engineering, 2014

A Socio-technical Methodology for the Security and Privacy Analysis of Services.
Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014

2013
Developing and Verifying User Interface Requirements for Infusion Pumps: A Refinement Approach.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

PVSio-web: a tool for rapid prototyping device user interfaces in PVS.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

Automated theorem proving for the systematic analysis of an infusion pump.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

cs4fn and computational thinking unplugged.
Proceedings of the 8th Workshop in Primary and Secondary Computing Education, 2013

Computer science unplugged, robotics, and outreach activities (abstract only).
Proceedings of the 44th ACM Technical Symposium on Computer Science Education, 2013

Model-Based Development of the Generic PCA Infusion Pump User Interface Prototype in PVS.
Proceedings of the Computer Safety, Reliability, and Security, 2013

Making computing interesting to school students: teachers' perspectives.
Proceedings of the Innovation and Technology in Computer Science Education conference 2013, 2013

Integrating Formal Predictions of Interactive System Behaviour with User Evaluation.
Proceedings of the Integrated Formal Methods, 10th International Conference, 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

2012
Teachers' perceptions of the value of research-based school lectures.
Proceedings of the Workshop in Primary and Secondary Computing Education, 2012

Supporting Field Investigators with PVS: A Case Study in the Healthcare Domain.
Proceedings of the Software Engineering for Resilient Systems - 4th International Workshop, 2012

Using PVS to Investigate Incidents through the Lens of Distributed Cognition.
Proceedings of the NASA Formal Methods, 2012

cs4fn: a flexible model for computer science outreach.
Proceedings of the Annual Conference on Innovation and Technology in Computer Science Education, 2012

Safer "5-key" number entry user interfaces using differential formal analysis.
Proceedings of the BCS-HCI '12 Proceedings of the 26th Annual BCS Interaction Specialist Group Conference on People and Computers, 2012

2011
Abstract Models and Cognitive Mismatch in Formal Verification.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

On formalising interactive number entry on infusion pumps.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

Modelling Distributed Cognition Systems in PVS.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

Capturing the distinction between task and device errors in a formal model of user behaviour.
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

Introducing students to computer science with programmes that don't emphasise programming.
Proceedings of the 16th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2011

A study in engaging female students in computer science using role models.
Proceedings of the 16th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2011

Overcoming Obstacles to CS Education by Using Non-programming Outreach Programmes.
Proceedings of the Informatics in Schools. Contributing to 21st Century Education, 2011

Towards a formal framework for reasoning about the resilience of dynamic interactive systems.
Proceedings of the 13th European Workshop on Dependable Computing, 2011

Towards Dependable Number Entry for Medical Devices.
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

Confessions from a grounded theory PhD: experiences and lessons learnt.
Proceedings of the International Conference on Human Factors in Computing Systems, 2011

2009
Verification-guided modelling of salience and cognitive load.
Formal Aspects Comput., 2009

Editorial.
Formal Aspects Comput., 2009

Computational thinking (CT): on weaving it in.
Proceedings of the 14th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2009

Enthusing & inspiring with reusable kinaesthetic activities.
Proceedings of the 14th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2009

2008
Usability Work in Professional Website Design: Insights from Practitioners' Perspectives.
Proceedings of the Maturing Usability - Quality in Software, Interaction and Value, 2008

Modelling and analysing cognitive causes of security breaches.
Innov. Syst. Softw. Eng., 2008

Formal methods for interactive systems.
Innov. Syst. Softw. Eng., 2008

Modelling Rational User Behaviour as Games between an Angel and a Demon.
Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

Engaging with computer science through magic shows.
Proceedings of the 13th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2008

EMU in the Car: Evaluating Multimodal Usability of a Satellite Navigation System.
Proceedings of the Interactive Systems. Design, 2008

2007
Providing a formal linkage between MDG and HOL.
Formal Methods Syst. Des., 2007

An approach to formal verification of human-computer interaction.
Formal Aspects Comput., 2007

Formal Modelling of Salience and Cognitive Load.
Proceedings of the 2nd International Workshop on Formal Methods for Interactive Systems, 2007

Serious fun in computer science.
Proceedings of the 12th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2007

Recognising Erroneous and Exploratory Interactions.
Proceedings of the Human-Computer Interaction, 2007

Combining Human Error Verification and Timing Analysis.
Proceedings of the Engineering Interactive Systems - EIS 2007 Joint Working Conferences, 2007

Identifying Phenotypes and Genotypes: A Case Study Evaluating an In-Car Navigation System.
Proceedings of the Engineering Interactive Systems - EIS 2007 Joint Working Conferences, 2007

Usability evaluation methods in practice: understanding the context in which they are embedded.
Proceedings of the 14th European Conference on Cognitive Ergonomics: invent! explore!, 2007

Slip errors and cue salience.
Proceedings of the 14th European Conference on Cognitive Ergonomics: invent! explore!, 2007

2<sup>nd</sup> International Workshop on Formal Methods for Interactive Systems.
Proceedings of the 21st British HCI Group Annual Conference on HCI 2007: HCI...but not as we know it, 2007

2006
Hybrid verification integrating HOL theorem proving with MDG model checking.
Microelectron. J., 2006

Detecting Cognitive Causes of Confidentiality Leaks.
Proceedings of the First International Workshop on Formal Methods for Interactive Systems, 2006

Preface.
Proceedings of the First International Workshop on Formal Methods for Interactive Systems, 2006

Formal Modelling of Cognitive Interpretation.
Proceedings of the Interactive Systems. Design, 2006

Usability and Computer Games: Working Group Report.
Proceedings of the Interactive Systems. Design, 2006

2005
Successful strategies of older people for finding information.
Interact. Comput., 2005

A Study into the Effect of Digitisation Projects on the Management and Stability of Historic Photograph Collections.
Proceedings of the Research and Advanced Technology for Digital Libraries, 2005

2004
Models of interactive systems: a case study on programmable user modelling.
Int. J. Hum. Comput. Stud., 2004

Strategies for Finding Government Information by Older People.
Proceedings of the User-Centered Interaction Paradigms for Universal Access in the Information Society, 2004

Formally Justifying User-Centred Design Rules: A Case Study on Post-completion Errors.
Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

2003
Hierarchical formal verification using a hybrid tool.
Int. J. Softw. Tools Technol. Transf., 2003

2002
Formally Linking MDG and HOL Based on a Verified MDG System.
Proceedings of the Integrated Formal Methods, Third International Conference, 2002

From a Formal User Model to Design Rules.
Proceedings of the Interactive Systems. Design, 2002

2001
PUMA Footprints: Linking Theory and Craft Skill in Usability Evaluation.
Proceedings of the Human-Computer Interaction INTERACT '01: IFIP TC13 International Conference on Human-Computer Interaction, 2001

Detecting Multiple Classes of User Errors.
Proceedings of the Engineering for Human-Computer Interaction, 2001

Hierarchical Verification Using an MDG-HOL Hybrid Tool.
Proceedings of the Correct Hardware Design and Verification Methods, 2001

2000
Formal hardware verification by integrating HOL and MDG.
Proceedings of the 10th ACM Great Lakes Symposium on VLSI 2000, 2000

1999
Comparing HOL and MDG: a Case Study on the Verification of an ATM Switch Fabric.
Nord. J. Comput., 1999

Importing MDG Verification Results into HOL.
Proceedings of the Theorem Proving in Higher Order Logics, 12th International Conference, 1999

1998
Why do students take programming modules?
Proceedings of the 6th Annual Conference on the Teaching of Computing and the 3rd Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 1998

Three Approaches to Hardware Verification: HOL, MDG and VIS Compared.
Proceedings of the Formal Methods in Computer-Aided Design, 1998

1996
A Comparison of MDG and HOL for Hardware Verification.
Proceedings of the Theorem Proving in Higher Order Logics, 9th International Conference, 1996

1995
Tracking Design Changes with Formal Machine - Checked Proof.
Comput. J., 1995

Virtual Theories.
Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1995

A case study on design for provability.
Proceedings of the 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), 1995

Problems encountered in the machine-assisted proof of hardware.
Proceedings of the Correct Hardware Design and Verification Methods, 1995

1994
Tracking Design Changes with Formal Verification.
Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1994

The Formal Verification of an ATM Network.
Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing, 1994

1993
Deriving Correctness Properties of Compiled Code.
Formal Methods Syst. Des., 1993

1992
A Programming Logic for a Verified Structured Assembly Language.
Proceedings of the Logic Programming and Automated Reasoning, 1992

1991
A Verified Compiler for a Structured Assembly Language.
Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, 1991

1990
A structured approach to the verification of low level microcode.
PhD thesis, 1990


  Loading...