A structured approach to the verification of low level microcode. - Paul Curzon (1990)

A Verified Compiler for a Structured Assembly Language. - Paul Curzon (TPHOLs, 1991)

A Programming Logic for a Verified Structured Assembly Language. - Paul Curzon (LPAR, 1992)

Deriving Correctness Properties of Compiled Code. - Paul Curzon (Formal Methods Syst. Des., 1993)

The Formal Verification of an ATM Network. - Paul Curzon (PODC, 1994)

Tracking Design Changes with Formal Verification. - Paul Curzon (TPHOLs, 1994)

Problems encountered in the machine-assisted proof of hardware. - Paul Curzon (CHARME, 1995)

A case study on design for provability. - Paul Curzon; Ian M. Leslie (ICECCS, 1995)

Virtual Theories. - Paul Curzon (TPHOLs, 1995)

Tracking Design Changes with Formal Machine - Checked Proof. - Paul Curzon (Comput. J., 1995)

A Comparison of MDG and HOL for Hardware Verification. - Sofiène Tahar; Paul Curzon (TPHOLs, 1996)

Three Approaches to Hardware Verification: HOL, MDG and VIS Compared. - Sofiène Tahar; Paul Curzon; Jianping Lu (FMCAD, 1998)

Why do students take programming modules? - Paul Curzon; Janet Rix (ITiCSE, 1998)

Importing MDG Verification Results into HOL. - Haiyan Xiong; Paul Curzon; Sofiène Tahar (TPHOLs, 1999)

Comparing HOL and MDG: a Case Study on the Verification of an ATM Switch Fabric. - Sofiène Tahar; Paul Curzon (Nord. J. Comput., 1999)

Formal hardware verification by integrating HOL and MDG. - V. K. Pisini; Sofiène Tahar; Paul Curzon; Otmane Aït Mohamed; Xiaoyu Song (ACM Great Lakes Symposium on VLSI, 2000)

Hierarchical Verification Using an MDG-HOL Hybrid Tool. - Iskander Kort; Sofiène Tahar; Paul Curzon (CHARME, 2001)

Detecting Multiple Classes of User Errors. - Paul Curzon; Ann Blandford (EHCI, 2001)

PUMA Footprints: Linking Theory and Craft Skill in Usability Evaluation. - Ann Blandford; Richard Butterworth; Paul Curzon (INTERACT, 2001)

From a Formal User Model to Design Rules. - Paul Curzon; Ann Blandford (DSV-IS, 2002)

Formally Linking MDG and HOL Based on a Verified MDG System. - Haiyan Xiong; Paul Curzon; Sofiène Tahar; Ann Blandford (IFM, 2002)

Hierarchical formal verification using a hybrid tool. - Skander Kort; Sofiène Tahar; Paul Curzon (Int. J. Softw. Tools Technol. Transf., 2003)

Formally Justifying User-Centred Design Rules: A Case Study on Post-completion Errors. - Paul Curzon; Ann Blandford (IFM, 2004)

Strategies for Finding Government Information by Older People. - Paul Curzon; Suzette Keith; Judy Wilson; Gill Whitney (User Interfaces for All, 2004)

Models of interactive systems: a case study on programmable user modelling. - Ann Blandford; Richard Butterworth; Paul Curzon (Int. J. Hum. Comput. Stud., 2004)

A Study into the Effect of Digitisation Projects on the Management and Stability of Historic Photograph Collections. - Veronica Davis Perkins; Richard Butterworth; Paul Curzon; Bob Fields (ECDL, 2005)

Successful strategies of older people for finding information. - Paul Curzon; Judy Wilson; Gill Whitney (Interact. Comput., 2005)

Usability and Computer Games: Working Group Report. - T. C. Nicholas Graham; Paul Curzon; Gavin J. Doherty; Philippe A. Palanque; Richard Potter; Christopher Roast; Shamus P. Smith (DSV-IS, 2006)

Formal Modelling of Cognitive Interpretation. - Rimvydas Ruksenas; Paul Curzon; Jonathan Back; Ann Blandford (DSV-IS, 2006)

Preface. - Antonio Cerone; Paul Curzon (FMIS@ICFEM, 2006)

Detecting Cognitive Causes of Confidentiality Leaks. - Rimvydas Ruksenas; Paul Curzon; Ann Blandford (FMIS@ICFEM, 2006)

Hybrid verification integrating HOL theorem proving with MDG model checking. - Rabeb Mizouni; Sofiène Tahar; Paul Curzon (Microelectron. J., 2006)

2nd International Workshop on Formal Methods for Interactive Systems. - Paul Curzon; Antonio Cerone (BCS HCI (2), 2007)

Slip errors and cue salience. - Jonathan Back; Ann Blandford; Paul Curzon (ECCE, 2007)

Usability evaluation methods in practice: understanding the context in which they are embedded. - Dominic Furniss; Ann Blandford; Paul Curzon (ECCE, 2007)

Identifying Phenotypes and Genotypes: A Case Study Evaluating an In-Car Navigation System. - Georgios Papatzanis; Paul Curzon; Ann Blandford (EHCI/DS-VIS, 2007)

Combining Human Error Verification and Timing Analysis. - Rimvydas Ruksenas; Paul Curzon; Ann Blandford; Jonathan Back (EHCI/DS-VIS, 2007)

Recognising Erroneous and Exploratory Interactions. - Jonathan Back; Ann Blandford; Paul Curzon (INTERACT (2), 2007)

Serious fun in computer science. - Paul Curzon (ITiCSE, 2007)

Formal Modelling of Salience and Cognitive Load. - Rimvydas Ruksenas; Jonathan Back; Paul Curzon; Ann Blandford (FMIS@BCS HCI, 2007)

An approach to formal verification of human-computer interaction. - Paul Curzon; Rimvydas Ruksenas; Ann Blandford (Formal Aspects Comput., 2007)

Providing a formal linkage between MDG and HOL. - Haiyan Xiong; Paul Curzon; Sofiène Tahar; Ann Blandford (Formal Methods Syst. Des., 2007)

EMU in the Car: Evaluating Multimodal Usability of a Satellite Navigation System. - Ann Blandford; Paul Curzon; Joanne K. Hyde; George Papatzanis (DSV-IS, 2008)

Engaging with computer science through magic shows. - Paul Curzon; Peter W. McOwan (ITiCSE, 2008)

Modelling Rational User Behaviour as Games between an Angel and a Demon. - Rimvydas Ruksenas; Paul Curzon; Ann Blandford (SEFM, 2008)

Formal methods for interactive systems. - Antonio Cerone; Paul Curzon (Innov. Syst. Softw. Eng., 2008)

Modelling and analysing cognitive causes of security breaches. - Rimvydas Ruksenas; Paul Curzon; Ann Blandford (Innov. Syst. Softw. Eng., 2008)

Usability Work in Professional Website Design: Insights from Practitioners' Perspectives. - Dominic Furniss; Ann Blandford; Paul Curzon (Maturing Usability, 2008)

Enthusing & inspiring with reusable kinaesthetic activities. - Paul Curzon; Peter W. McOwan; Quintin I. Cutts; Tim Bell 001 (ITiCSE, 2009)

Computational thinking (CT): on weaving it in. - Paul Curzon; Joan Peckham; Harriet G. Taylor; Amber Settle; Eric Roberts 001 (ITiCSE, 2009)

Editorial. - Antonio Cerone; Paul Curzon; David Duce (Formal Aspects Comput., 2009)

Verification-guided modelling of salience and cognitive load. - Rimvydas Ruksenas; Jonathan Back; Paul Curzon; Ann Blandford (Formal Aspects Comput., 2009)

Confessions from a grounded theory PhD: experiences and lessons learnt. - Dominic Furniss; Ann Blandford; Paul Curzon (CHI, 2011)

Comparing Actual Practice and User Manuals: A Case Study Based on Programmable Infusion Pumps. - Ann Blandford; Abigail Cauchi; Paul Curzon; Parisa Eslambolchilar; Dominic Furniss; Andy Gimblett; Huayi Huang; Paul Lee; Yunqiu Li; Paolo Masci 001; Patrick Oladimeji; Atish Rajkomar; et al. (EICS4Med, 2011)

Towards Dependable Number Entry for Medical Devices. - Abigail Cauchi; Paul Curzon; Parisa Eslambolchilar; Andy Gimblett; Huayi Huang; Paul Lee; Yunqiu Li; Paolo Masci 001; Patrick Oladimeji; Rimvydas Ruksenas; Harold Thimbleby (EICS4Med, 2011)

Towards a formal framework for reasoning about the resilience of dynamic interactive systems. - Paolo Masci 001; Paul Curzon; Huayi Huang; Rimvydas Ruksenas; Ann Blandford; Dominic Furniss; Atish Rajkomar (EWDC, 2011)

Overcoming Obstacles to CS Education by Using Non-programming Outreach Programmes. - Tim Bell 001; Paul Curzon; Quintin I. Cutts; Valentina Dagiene; Bruria Haberman (ISSEP, 2011)

A study in engaging female students in computer science using role models. - Jonathan Back; Paul Curzon; Chrystie Myketiak; Peter W. McOwan (ITiCSE, 2011)

Introducing students to computer science with programmes that don't emphasise programming. - Tim Bell 001; Paul Curzon; Quintin I. Cutts; Valentina Dagiene; Bruria Haberman (ITiCSE, 2011)

Checking User-Centred Design Principles in Distributed Cognition Models: A Case Study in the Healthcare Domain. - Paolo Masci 001; Paul Curzon (USAB, 2011)

Capturing the distinction between task and device errors in a formal model of user behaviour. - Huayi Huang; Rimvydas Ruksenas; Maartje Ament; Paul Curzon; Anna Louise Cox; Ann Blandford; Duncan P. Brumby (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

Modelling Distributed Cognition Systems in PVS. - Paolo Masci 001; Paul Curzon; Ann Blandford; Dominic Furniss (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

On formalising interactive number entry on infusion pumps. - Paolo Masci 001; Rimvydas Ruksenas; Patrick Oladimeji; Abigail Cauchi; Andy Gimblett; Karen Yunqiu Li; Paul Curzon; Harold W. Thimbleby (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

Abstract Models and Cognitive Mismatch in Formal Verification. - Rimvydas Ruksenas; Paul Curzon (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

Safer "5-key" number entry user interfaces using differential formal analysis. - Abigail Cauchi; Andy Gimblett; Harold W. Thimbleby; Paul Curzon; Paolo Masci 001 (BCS HCI, 2012)

cs4fn: a flexible model for computer science outreach. - Chrystie Myketiak; Paul Curzon; Jonathan Back; Peter W. McOwan; Laura R. Meagher (ITiCSE, 2012)

Using PVS to Investigate Incidents through the Lens of Distributed Cognition. - Paolo Masci 001; Huayi Huang; Paul Curzon; Michael D. Harrison (NASA Formal Methods, 2012)

Supporting Field Investigators with PVS: A Case Study in the Healthcare Domain. - Paolo Masci 001; Dominic Furniss; Paul Curzon; Michael D. Harrison; Ann Blandford (SERENE, 2012)

Teachers' perceptions of the value of research-based school lectures. - Jonathan Back; Paul Curzon; Chrystie Myketiak; Peter W. McOwan; Laura R. Meagher (WiPSCE, 2012)

Verification of interactive software for medical devices: PCA infusion pumps and FDA regulation as an example. - Paolo Masci 001; Anaheed Ayoub; Paul Curzon; Michael D. Harrison; Insup Lee 001; Harold W. Thimbleby (EICS, 2013)

Integrating Formal Predictions of Interactive System Behaviour with User Evaluation. - Rimvydas Ruksenas; Paul Curzon; Michael D. Harrison (IFM, 2013)

Making computing interesting to school students: teachers' perspectives. - Jonathan Back; Jo Brodie; Paul Curzon; Chrystie Myketiak; Peter W. McOwan; Laura R. Meagher (ITiCSE, 2013)

Model-Based Development of the Generic PCA Infusion Pump User Interface Prototype in PVS. - Paolo Masci 001; Anaheed Ayoub; Paul Curzon; Insup Lee 001; Oleg Sokolsky; Harold W. Thimbleby (SAFECOMP, 2013)

Computer science unplugged, robotics, and outreach activities (abstract only). - Tim Bell 001; Daniela Marghitu; Lynn Lambert; Paul Curzon (SIGCSE, 2013)

cs4fn and computational thinking unplugged. - Paul Curzon (WiPSCE, 2013)

Automated theorem proving for the systematic analysis of an infusion pump. - Michael D. Harrison; Paolo Masci 001; José Creissac Campos; Paul Curzon (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013)

PVSio-web: a tool for rapid prototyping device user interfaces in PVS. - Patrick Oladimeji; Paolo Masci 001; Paul Curzon; Harold W. Thimbleby (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013)

Developing and Verifying User Interface Requirements for Infusion Pumps: A Refinement Approach. - Rimvydas Ruksenas; Paolo Masci 001; Michael D. Harrison; Paul Curzon (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013)

A Socio-technical Methodology for the Security and Privacy Analysis of Services. - Giampaolo Bella; Paul Curzon; Rosario Giustolisi; Gabriele Lenzini (COMPSAC Workshops, 2014)

Formal Verification of Medical Device User Interfaces Using PVS. - Paolo Masci 001; Yi Zhang 051; Paul L. Jones; Paul Curzon; Harold W. Thimbleby (FASE, 2014)

Demonstrating that Medical Devices Satisfy User Related Safety Requirements. - Michael D. Harrison; Paolo Masci 001; José Creissac Campos; Paul Curzon (FHIES/SEHC, 2014)

Using PVSio-web to Demonstrate Software Issues in Medical User Interfaces. - Paolo Masci 001; Patrick Oladimeji; Paul Curzon; Harold Thimbleby (FHIES/SEHC, 2014)

A Generic User Interface Architecture for Analyzing Use Hazards in Infusion Pump Software. - Paolo Masci 001; Yi Zhang 051; Paul L. Jones; Harold Thimbleby; Paul Curzon (MCPS, 2014)

Combining PVSio with Stateflow. - Paolo Masci 001; Yi Zhang 051; Paul L. Jones; Patrick Oladimeji; Enrico D'Urso; Cinzia Bernardeschi; Paul Curzon; Harold Thimbleby (NASA Formal Methods, 2014)

Introducing teachers to computational thinking using unplugged storytelling. - Paul Curzon; Peter W. McOwan; Nicola Plant; Laura R. Meagher (WiPSCE, 2014)

Combining human error verification and timing analysis: a case study on an infusion pump. - Rimvydas Ruksenas; Paul Curzon; Ann Blandford; Jonathan Back (Formal Aspects Comput., 2014)

PVSio-web 2.0: Joining PVS to HCI. - Paolo Masci 001; Patrick Oladimeji; Yi Zhang 051; Paul L. Jones; Paul Curzon; Harold W. Thimbleby (CAV (1), 2015)

Exploring older women's confidence during route planning. - Judy Wilson; Paul Curzon; Elke Duncker (Behav. Inf. Technol., 2015)

Using PVS to support the analysis of distributed cognition systems. - Paolo Masci 001; Paul Curzon; Dominic Furniss; Ann Blandford (Innov. Syst. Softw. Eng., 2015)

The benefits of formalising design guidelines: a case study on the predictability of drug infusion pumps. - Paolo Masci 001; Rimvydas Ruksenas; Patrick Oladimeji; Abigail Cauchi; Andy Gimblett; Karen Yunqiu Li; Paul Curzon; Harold W. Thimbleby (Innov. Syst. Softw. Eng., 2015)

Exploring medical device design and use through layers of Distributed Cognition: How a glucometer is coupled with its context. - Dominic Furniss; Paolo Masci 001; Paul Curzon; Astrid Mayer; Ann Blandford (J. Biomed. Informatics, 2015)

Service security and privacy as a socio-technical problem. - Giampaolo Bella; Paul Curzon; Gabriele Lenzini (J. Comput. Secur., 2015)

Developing and Verifying User Interface Requirements for Infusion Pumps: A Refinement Approach. - Rimvydas Ruksenas; Paolo Masci 001; Paul Curzon (From Action Systems to Distributed Systems, 2016)

Modelling information resources and their salience in medical device design. - Michael D. Harrison; José Creissac Campos; Rimvydas Ruksenas; Paul Curzon (EICS, 2016)

Abstraction and common classroom activities. - Jane Waite; Paul Curzon; William Marsh 001; Sue Sentance (WiPSCE, 2016)

Impact on procurement and training by research on the interaction design of medical devices. - Paul Lee; Laura R. Meagher; Paul Curzon (EAI Endorsed Trans. Collab. Comput., 2016)

PVSio-web: mathematically based tool support for the design of interactive and interoperable medical systems. - Paolo Masci 001; Patrick Oladimeji; Piergiuseppe Mallozzi; Paul Curzon; Harold Thimbleby (EAI Endorsed Trans. Collab. Comput., 2016)

Templates as heuristics for proving properties of medical devices. - Michael D. Harrison; José Creissac Campos; Paolo Masci 001; Paul Curzon (EAI Endorsed Trans. Creative Technol., 2016)

Issues in number entry user interface styles: Recommendations for mitigation. - Harold Thimbleby; Patrick Oladimeji; Paolo Masci 001; Paul Curzon (EAI Endorsed Trans. Creative Technol., 2016)

Safer Interactive Medical Device Design: Insights from the CHI+MED Project. - Paul Curzon; Ann Blandford; Harold Thimbleby; Anna Louise Cox (EAI Endorsed Trans. Security Safety, 2016)

Modelling the User. - Paul Curzon; Rimvydas Ruksenas (Handbook of Formal Methods in Human-Computer Interaction, 2017)

The Specification and Analysis of Use Properties of a Nuclear Control System. - Michael D. Harrison; Paolo M. Masci; José Creissac Campos; Paul Curzon (Handbook of Formal Methods in Human-Computer Interaction, 2017)

The Power of Computational Thinking - Games, Magic and Puzzles to Help You Become a Computational Thinker - Paul Curzon; Peter W. McOwan (The Power of Computational Thinking, 2017)

K-5 Teachers' Uses of Levels of Abstraction Focusing on Design. - Jane Waite; Paul Curzon; William Marsh 001; Sue Sentance (WiPSCE, 2017)

Verification of User Interface Software: The Example of Use-Related Safety Requirements and Programmable Medical Devices. - Michael D. Harrison; Paolo Masci 001; José Creissac Campos; Paul Curzon (IEEE Trans. Hum. Mach. Syst., 2017)

Comparing K-5 teachers' reported use of design in teaching programming and planning in teaching writing. - Jane Waite; Paul Curzon; William Marsh 001; Sue Sentance (WiPSCE, 2018)

Abstraction in action: K-5 teachers' uses of levels of abstraction, particularly the design level, in teaching programming. - Jane Lisa Waite; Paul Curzon; William Marsh 001; Sue Sentance; Alex Hadwen-Bennett (Int. J. Comput. Sci. Educ. Sch., 2018)

Unplugged Computing and Semantic Waves: Analysing Crazy Characters. - Jane Waite; Karl Maton; Paul Curzon; Lucinda Tuttiett (UKICER, 2019)

From Personalised Predictions to Targeted Advice: Improving Self-Management in Rheumatoid Arthritis. - Ali Fahmi; Hamit Soyel; William Marsh 001; Paul Curzon; Amy MacBrayne; Frances Humby (EFMI-STC, 2020)

Using semantic waves to analyse the effectiveness of unplugged computing activities. - Paul Curzon; Jane Waite; Karl Maton; James Donohue (WiPSCE, 2020)

Difficulties with design: The challenges of teaching design in K-5 programming. - Jane Waite; Paul Curzon; William Marsh 001; Sue Sentance (Comput. Educ., 2020)

Conjuring with Computation - A Manual of Magic and Computing for Beginners - Paul Curzon; Peter W. McOwan (Conjuring with Computation, 2023)

Teaching CS with and through other forms of knowledge. - Paul Curzon; Jane Waite; Karl Maton (WiPSCE, 2024)

Dynamic Bayesian network models for self-management of chronic diseases: Rheumatoid arthritis case-study. - Ali Fahmi; Amy MacBrayne; Frances Humby; Paul Curzon; William Marsh 001 (Comput. Biol. Medicine, 2025)

Explainable AI: definition and attributes of a good explanation for health AI. - Evangelia Kyrimi; Scott McLachlan; Jared M. Wohlgemut; Zane B. Perkins; David A. Lagnado; William Marsh 001; Alexander Gimson; Ali Shafti; Ari Ercole; Amitava Banerjee; Ben Glocker; Burkhard Schafer 001; et al. (AI Ethics, 2025)