P. Curzon

发表

The Verified Compilation of Vista Programs

P. Curzon, 1994 .

Exploring organisational competences in Human Factors and UX project work: managing careers, project tactics and organisational strategy

A. Blandford, P. Curzon, D. Furniss, 2018, Ergonomics.

Computational thinking - a guide for teachers

P. Curzon, A. Csizmadia, Mark Dorling, 2015 .

Why do students take programming modules?

P. Curzon, Janet Rix, 1998, ITiCSE.

A Formal Justi cation of a Design Rule for Avoiding Post-completion Errors

A. Blandford, P. Curzon, 2003 .

270 CS 4 FN and Computational Thinking Unplugged

P. Curzon, 2014 .

Hybrid tool integrating HOL theorem proving with MDG model checking

P. Curzon, S. Tahar, R. Mizouni, 2004, Proceedings. The 16th International Conference on Microelectronics, 2004. ICM 2004..

Of What Use Is a Veried Compiler Specication? of What Use Is a Veried Compiler Specication?

P. Curzon, 1992 .

The Importance ofProof Maintenance and Reengineering

P. Curzon, 1995 .

Comparing Hol, Mdg and Vis: a Case Study on the Veriication of an Atm Switch Fabric

P. Curzon, S. Tahar, Jianping Lu, 1999 .

The Formal Veri cation of the Fairisle ATM Switching Element

Paul Curzon, P. Curzon, 1994 .

Importing the Results of Automatic Hardware Veri cation into HOL

P. Curzon, Haiyan Xiong, 1999 .

The Formal Veri cation of the Fairisle Switch : The 4 x 4 Switching Fabric

P. Curzon, 1994 .

Narrative perspective, person references, and evidentiality in clinical incident reports

P. Curzon, Chrystie Myketiak, S. Concannon, 2017 .

The Open University ’ s repository of research publications and other research outputs Exploring unlikely errors using video games : An example in number entry research Conference Item

A. Cox, H. Thimbleby, P. Curzon, 2016 .

2 CROSS-CULTURAL INTERFACE DESIGN STRATEGY

P. Curzon, E. Duncker, Serengul Smith, 2004 .

Magic and Algorithms

Paul Curzon, Peter W. McOwan, P. McOwan, 2017 .

The Specification and Analysis of Use Properties of a Nuclear Control System

Michael D. Harrison, Paul Curzon, José Creissac Campos, 2017, Handbook of Formal Methods in Human-Computer Interaction.

A Veriied Compiler for a Structured Assembly Language a Veriied Compiler for a Structured Assembly Language

P. Curzon, 2007 .

Embedding and Veri cation of an MDG-HDL Translator in HOL

A. Blandford, P. Curzon, S. Tahar, 2022 .

The First Principles of the Information Safety Framework

Ann Blandford, Paul Curzon, Huayi Huang, 2014 .

Editorial

Antonio Cerone, Paul Curzon, David Duce, 2009, Formal Aspects of Computing.

Information seeking strategies used by older people.

P. Curzon, G. Whitney, Judy Wilson, 2004 .

So What is Computational Thinking

Paul Curzon, Peter W. McOwan, P. McOwan, 2017 .

Build a Brain

Paul Curzon, Peter W. McOwan, P. McOwan, 2017 .

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

Paul Curzon, Harold Thimbleby, Paolo Masci, 2015, International Conference on Computer Aided Verification.

Preface

Antonio Cerone, Paul Curzon, P. Curzon, 2007, Electron. Notes Theor. Comput. Sci..

Using semantic waves to analyse the effectiveness of unplugged computing activities

Paul Curzon, Jane Waite, Karl Maton, 2020, WiPSCE.

CHI + MED : Multidisciplinary Computer – Human Interaction research for the design and safe use of interactive medical devices

Ann Blandford, Paul Curzon, Harold Thimbleby, 2010 .

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

William Marsh, Paul Curzon, Sue Sentance, 2017 .

Abstraction in action: K-5 teachers' uses of levels of abstraction, particularly the design level, in teaching programming

William Marsh, Paul Curzon, Sue Sentance, 2018, Int. J. Comput. Sci. Educ. Sch..

Exploring older women's confidence during route planning

Elke Duncker, Paul Curzon, Judy Wilson, 2015, Behav. Inf. Technol..

Experiences route-planning by older people.

P. Curzon, Judy Wilson, 2006 .

Verifying systems to reduce human error

Ann Blandford, Paul Curzon, Jonathan Back, 2008 .

Seeing the Wood and the Trees

Paul Curzon, Peter W. McOwan, P. McOwan, 2017 .

On Intuitionistic Linear Logic

Paul Curzon, Gavin Bierman, Torben Brauner, 2005 .

Confessions from a grounded theory PhD: experiences and lessons learnt

Ann Blandford, Paul Curzon, Dominic Furniss, 2011, CHI.

Making computing interesting to school students: teachers' perspectives

Paul Curzon, Peter W. McOwan, Jonathan Back, 2013, ITiCSE '13.

Exploring medical device design and use through layers of Distributed Cognition: How a glucometer is coupled with its context

Ann Blandford, Paul Curzon, Dominic Furniss, 2015, J. Biomed. Informatics.

Computational thinking

P. Curzon, Mark Dorling, Jane Waite, 2006, Commun. ACM.

New/s Design: Informing Future Design Processes by Understanding Media Reporting of Medical Errors with Medical Devices [invited paper]

Paul Curzon, Chrystie Myketiak, Shauna Concannon, 2015 .

Empathy and medical error research

P. Curzon, Chrystie Myketiak, 2014 .

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

Paul Curzon, Sue Sentance, William Marsh, 2020, Comput. Educ..

Safer "5-key" number entry user interfaces using differential formal analysis

Harold W. Thimbleby, Paul Curzon, Paolo Masci, 2012, BCS HCI.

Computing Without Computers A Gentle Introduction to Computer Programming, Data Structures and Algorithms

Paul Curzon, P. Curzon, 2014 .

A study in engaging female students in computer science using role models

Paul Curzon, Peter W. McOwan, Jonathan Back, 2011, ITiCSE '11.

Hybrid verification integrating HOL theorem proving with MDG model checking

Sofiène Tahar, Paul Curzon, Rabeb Mizouni, 2006, Microelectron. J..

Developing Computational Thinking in the Classroom: A Framework

Cynthia Selby, John Woollard, Paul Curzon, 2014 .

Developing computational thinking in the classroom: a

Paul Curzon, P. Curzon, 2014 .

Comparing K-5 teachers' reported use of design in teaching programming and planning in teaching writing

William Marsh, Paul Curzon, Sue Sentance, 2018, WiPSCE.

User interface design as systems design

Ann Blandford, Paul Curzon, Harold Thimbleby, 2002 .

cs4fn and computational thinking unplugged

Paul Curzon, P. Curzon, 2013, WiPSE '13.

On the embedding of the MDG specification languages in HOL

Sofiène Tahar, Paul Curzon, Rabeb Mizouni, 2003 .

Comparing HOL and MDG: a Case Study on the Verification of an ATM Switch Fabric

Sofiène Tahar, Paul Curzon, P. Curzon, 1999, Nord. J. Comput..

A Comparison of MDG and HOL for Hardware Verification

Sofiène Tahar, Paul Curzon, P. Curzon, 1996, TPHOLs.

Tracking Design Changes with Formal Verification

Paul Curzon, P. Curzon, 1994, TPHOLs.

INTERACTION DESIGN ISSUES FOR CAR NAVIGATION SYSTEMS

Ann Blandford, Paul Curzon, Richard Butterworth, 2002 .

Usability evaluation methods in practice: understanding the context in which they are embedded

Ann Blandford, Paul Curzon, Dominic Furniss, 2007, ECCE '07.

Resilience in Usability Consultancy Practice: The Case for a Positive Resonance Model

Ann Blandford, Paul Curzon, Dominic Furniss, 2007 .

Usability Work in Professional Website Design: Insights from Practitioners' Perspectives

Ann Blandford, Paul Curzon, Dominic Furniss, 2008, Maturing Usability.

Combining PVSio with Stateflow

Harold W. Thimbleby, Paul Curzon, Paul L. Jones, 2014, NASA Formal Methods.

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

Harold W. Thimbleby, Paul Curzon, Paolo Masci, 2013, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

Engaging with computer science through magic shows

Paul Curzon, Peter W. McOwan, P. McOwan, 2008, ITiCSE.

Introducing teachers to computational thinking using unplugged storytelling

Paul Curzon, Peter W. McOwan, Laura R. Meagher, 2014, WiPSCE.

A Virtual HE Teaching and Learning Reading Group SEDA Small Grant Final Report

P. Curzon, J. Harding, 1999 .

Using a Virtual Reading Group : Spreading the Word about Pedagogic Research

P. Curzon, J. Harding, 1999 .

Service security and privacy as a socio-technical problem

Paul Curzon, Gabriele Lenzini, Giampaolo Bella, 2015, J. Comput. Secur..

Computational thinking (CT): on weaving it in

Paul Curzon, Amber Settle, Joan Peckham, 2009, ITiCSE.

Importing MDG Verification Results into HOL

Sofiène Tahar, Paul Curzon, Haiyan Xiong, 1999, TPHOLs.

Improving hardware designs whilst simplifying their proof

Paul Curzon, Ian M. Leslie, I. Leslie, 1996 .

Using PVS to Investigate Incidents through the Lens of Distributed Cognition

Michael D. Harrison, Paul Curzon, Paolo Masci, 2012, NASA Formal Methods.

Tracking Design Changes with Formal Machine - Checked Proof

Paul Curzon, P. Curzon, 1995, Comput. J..

Unplugged Computing and Semantic Waves: Analysing Crazy Characters

Paul Curzon, Karl Maton, Jane Waite, 2019, UKICER.

Who!s looking? Invisible problems with interactive medical devices

George Buchanan, Ann Blandford, Paul Curzon, 2010 .

EMU in the Car: Evaluating Multimodal Usability of a Satellite Navigation System

Ann Blandford, Paul Curzon, George Papatzanis, 2008, DSV-IS.

Process algebraic modelling of attentional capture and human electrophysiology in interactive systems

Howard Bowman, Philip J. Barnard, Li Su, 2009, Formal Aspects of Computing.

Gameful Systems: Play in the digital age for young and old.

Paul Curzon, Peter W. McOwan, Pollie Barden, 2013 .

The magic of HCI: Enthusing kids in playful ways to help solve the Computer Science recruitment problem

Jonathan Black, Paul Curzon, Peter W. McOwan, 2009 .

Enthusing & inspiring with reusable kinaesthetic activities

Timothy C. Bell, Paul Curzon, Peter W. McOwan, 2009, ITiCSE.

Unplugged Computational Thinking for Fun

Paul Curzon, P. Curzon, 2014 .

Overcoming Obstacles to CS Education by Using Non-programming Outreach Programmes

Timothy C. Bell, Paul Curzon, Quintin I. Cutts, 2011, ISSEP.

Verification of User Interface Software: The Example of Use-Related Safety Requirements and Programmable Medical Devices

Michael D. Harrison, Paul Curzon, José Creissac Campos, 2017, IEEE Transactions on Human-Machine Systems.

Exploring unlikely errors using video games: An example in number entry research

Paul Curzon, Anna L. Cox, Harold Thimbleby, 2012 .

Slip errors and cue salience

Ann Blandford, Paul Curzon, Jonathan Back, 2007, ECCE '07.

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

Paul Curzon, Harold Thimbleby, Paolo Masci, 2015 .

Modelling and analysing cognitive causes of security breaches

Ann Blandford, Paul Curzon, Rimvydas Ruksenas, 2008, Innovations in Systems and Software Engineering.

Detecting Cognitive Causes of Confidentiality Leaks

Ann Blandford, Paul Curzon, Rimvydas Ruksenas, 2007, FMIS@ICFEM.

7 Themes for guiding situated ergonomic assessments of medical devices: a case study of an inpatient glucometer.

Ann Blandford, Paul Curzon, Dominic Furniss, 2014, Applied ergonomics.

Modelling information resources and their salience in medical device design

Michael D. Harrison, Paul Curzon, José Creissac Campos, 2016, EICS.

Checking User-Centred Design Principles in Distributed Cognition Models: A Case Study in the Healthcare Domain

Paul Curzon, Paolo Masci, P. Curzon, 2011, USAB.

From Personalised Predictions to Targeted Advice: Improving Self-Management in Rheumatoid Arthritis

W. Marsh, P. Curzon, H. Soyel, 2020, EFMI-STC.

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

Harold W. Thimbleby, Paul Curzon, Paolo Masci, 2013, Innovations in Systems and Software Engineering.

Combining human error verification and timing analysis: a case study on an infusion pump

J. Back, A. Blandford, P. Curzon, 2014, Formal Aspects of Computing.

Combining Human Error Verification and Timing Analysis

Ann Blandford, Paul Curzon, Jonathan Back, 2008, EHCI/DS-VIS.

Models of interactive systems: a case study on programmable user modelling

P. Curzon, R. Butterworth, A. Blandford, 2004, Int. J. Hum. Comput. Stud..

PUMA Footprints: Linking Theory and Craft Skill in Usability Evaluation

Ann Blandford, Paul Curzon, Richard Butterworth, 2001, INTERACT.

Models of Interactive Systems: a Case Study on Programmable User Modelling Models of Interactive Systems: a Case Study on Programmable User Modelling

Ann Blandford, Paul Curzon, Richard Butterworth, 2022 .

An approach to formal verification of human–computer interaction

Ann Blandford, Paul Curzon, Rimvydas Ruksenas, 2007, Formal Aspects of Computing.

Electronic Communications of the EASST Volume 45 ( 2011 ) Proceedings of the Fourth International Workshop on Formal Methods for Interactive Systems ( FMIS 2011 ) The benefits of formalising interactive number entry Case studies with drug infusion pumps

H. Thimbleby, P. Curzon, P. Masci, 2011 .

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

William Marsh, Paul Curzon, Sue Sentance, 2017, WiPSCE.

Using FRAM beyond safety: a case study to explore how sociotechnical systems can flourish or stall

Ann Blandford, Paul Curzon, Dominic Furniss, 2016 .

A Verified Vista Implementation Final Report

Paul Curzon, Qg Cb, P. Curzon, 1993 .

A Socio-technical Methodology for the Security and Privacy Analysis of Services

Paul Curzon, Gabriele Lenzini, Giampaolo Bella, 2014, 2014 IEEE 38th International Computer Software and Applications Conference Workshops.

Experiences formally verifying a network component

Paul Curzon, P. Curzon, 1994, Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance.

Vulnerability: Participatory Design, Older People and Researchers

P. McOwan, P. Curzon, Pollie Barden, 2013 .

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

Harold W. Thimbleby, Paul Curzon, Paolo Masci, 2015, EAI Endorsed Trans. Collab. Comput..

Using PVSio-web and SAPERE for rapid prototyping of user interfaces in Integrated Clinical Environments

Piergiuseppe Mallozzi, P. Curzon, G. Serugendo, 2015 .

Layers, resources and property templates in the specification and analysis of two interactive systems

Michael D. Harrison, Paul Curzon, José Creissac Campos, 2015 .

Integrating the PVSio-web modelling and prototyping environment with Overture

Peter Gorm Larsen, Paul Curzon, Paolo Masci, 2015 .

Verification of the MDG Components Library in HOL

Sofiène Tahar, Paul Curzon, Otmane Ait Mohamed, 1998 .

The Cambridge Handbook of Computing Education Research

Briana B. Morrison, Lauren E. Margulieux, R. Benjamin Shapiro, 2019 .

PVSio-web 2.0: Joining PVS to HCI

Yi Zhang, Harold W. Thimbleby, Paul Curzon, 2015, CAV.

Successful strategies of older people for finding information

Gill Whitney, Paul Curzon, Judy Wilson, 2005, Interact. Comput..