Paul Curzon

According to our database, Paul Curzon authored at least 113 papers between 1990 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Teaching CS with and through other forms of knowledge.

Paul Curzon, Jane Waite, Karl Maton

Proceedings of the 19th WiPSCE Conference on Primary and Secondary Computing Education Research, 2024

2023

Conjuring with Computation - A Manual of Magic and Computing for Beginners

Paul Curzon, Peter W. McOwan

WorldScientific, ISBN: 9789811264351, 2023

2020

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

Jane Waite, Paul Curzon, William Marsh, Sue Sentance

Comput. Educ., 2020

Using semantic waves to analyse the effectiveness of unplugged computing activities.

Paul Curzon, Jane Waite, Karl Maton, James Donohue

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.

Ali Fahmi, Hamit Soyel, William Marsh, Paul Curzon, Amy MacBrayne, Frances Humby

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.

Jane Waite, Karl Maton, Paul Curzon, Lucinda Tuttiett

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.

Jane Lisa Waite, Paul Curzon, William Marsh, Sue Sentance, Alex Hadwen-Bennett

Int. J. Comput. Sci. Educ. Sch., 2018

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

Jane Waite, Paul Curzon, William Marsh, Sue Sentance

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.

Michael D. Harrison, Paolo Masci, José Creissac Campos, Paul Curzon

IEEE Trans. Hum. Mach. Syst., 2017

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

Jane Waite, Paul Curzon, William Marsh, Sue Sentance

Proceedings of the 12th Workshop on Primary and Secondary Computing Education, 2017

The Power of Computational Thinking - Games, Magic and Puzzles to Help You Become a Computational Thinker

Paul Curzon, Peter W. McOwan

WorldScientific, ISBN: 9781786341860, 2017

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

Michael D. Harrison, Paolo M. Masci, José Creissac Campos, Paul Curzon

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

Modelling the User.

Paul Curzon, Rimvydas Ruksenas

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

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

Issues in number entry user interface styles: Recommendations for mitigation.

Harold Thimbleby, Patrick Oladimeji, Paolo Masci, Paul Curzon

EAI Endorsed Trans. Creative Technol., 2016

Templates as heuristics for proving properties of medical devices.

Michael D. Harrison, José Creissac Campos, Paolo Masci, Paul Curzon

EAI Endorsed Trans. Creative Technol., 2016

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

Paolo Masci, Patrick Oladimeji, Piergiuseppe Mallozzi, Paul Curzon, Harold Thimbleby

EAI Endorsed Trans. Collab. Comput., 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

Abstraction and common classroom activities.

Jane Waite, Paul Curzon, William Marsh, Sue Sentance

Proceedings of the 11th Workshop in Primary and Secondary Computing Education, 2016

Modelling information resources and their salience in medical device design.

Michael D. Harrison, José Creissac Campos, Rimvydas Ruksenas, Paul Curzon

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.

Rimvydas Ruksenas, Paolo Masci, Paul Curzon

Proceedings of the From Action Systems to Distributed Systems - The Refinement Approach., 2016

2015

Service security and privacy as a socio-technical problem.

Giampaolo Bella, Paul Curzon, Gabriele Lenzini

J. Comput. Secur., 2015

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

Dominic Furniss, Paolo Masci, Paul Curzon, Astrid Mayer, Ann Blandford

J. Biomed. Informatics, 2015

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

Paolo Masci, Rimvydas Ruksenas, Patrick Oladimeji, Abigail Cauchi, Andy Gimblett, Karen Yunqiu Li, Paul Curzon, Harold W. Thimbleby

Innov. Syst. Softw. Eng., 2015

Using PVS to support the analysis of distributed cognition systems.

Paolo Masci, Paul Curzon, Dominic Furniss, Ann Blandford

Innov. Syst. Softw. Eng., 2015

Exploring older women's confidence during route planning.

Judy Wilson, Paul Curzon, Elke Duncker

Behav. Inf. Technol., 2015

PVSio-web 2.0: Joining PVS to HCI.

Paolo Masci, Patrick Oladimeji, Yi Zhang, Paul L. Jones, Paul Curzon, Harold W. Thimbleby

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.

Rimvydas Ruksenas, Paul Curzon, Ann Blandford, Jonathan Back

Formal Aspects Comput., 2014

Introducing teachers to computational thinking using unplugged storytelling.

Paul Curzon, Peter W. McOwan, Nicola Plant, Laura R. Meagher

Proceedings of the 9th Workshop in Primary and Secondary Computing Education, 2014

Combining PVSio with Stateflow.

Paolo Masci, Yi Zhang, Paul L. Jones, Patrick Oladimeji, Enrico D'Urso, Cinzia Bernardeschi, Paul Curzon, Harold Thimbleby

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.

Paolo Masci, Yi Zhang, Paul L. Jones, Harold Thimbleby, Paul Curzon

Proceedings of the 5th Workshop on Medical Cyber-Physical Systems, 2014

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

Paolo Masci, Patrick Oladimeji, Paul Curzon, Harold Thimbleby

Proceedings of the Software Engineering in Health Care - 4th International Symposium, 2014

Demonstrating that Medical Devices Satisfy User Related Safety Requirements.

Michael D. Harrison, Paolo Masci, José Creissac Campos, Paul Curzon

Proceedings of the Software Engineering in Health Care - 4th International Symposium, 2014

Formal Verification of Medical Device User Interfaces Using PVS.

Paolo Masci, Yi Zhang, Paul L. Jones, Paul Curzon, Harold W. Thimbleby

Proceedings of the Fundamental Approaches to Software Engineering, 2014

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

Giampaolo Bella, Paul Curzon, Rosario Giustolisi, Gabriele Lenzini

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.

Rimvydas Ruksenas, Paolo Masci, Michael D. Harrison, 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, Paul Curzon, Harold W. Thimbleby

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

Automated theorem proving for the systematic analysis of an infusion pump.

Michael D. Harrison, Paolo Masci, José Creissac Campos, Paul Curzon

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

cs4fn and computational thinking unplugged.

Paul Curzon

Proceedings of the 8th Workshop in Primary and Secondary Computing Education, 2013

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

Tim Bell, Daniela Marghitu, Lynn Lambert, Paul Curzon

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.

Paolo Masci, Anaheed Ayoub, Paul Curzon, Insup Lee, Oleg Sokolsky, Harold W. Thimbleby

Proceedings of the Computer Safety, Reliability, and Security, 2013

Making computing interesting to school students: teachers' perspectives.

Jonathan Back, Jo Brodie, Paul Curzon, Chrystie Myketiak, Peter W. McOwan, Laura R. Meagher

Proceedings of the Innovation and Technology in Computer Science Education conference 2013, 2013

Integrating Formal Predictions of Interactive System Behaviour with User Evaluation.

Rimvydas Ruksenas, Paul Curzon, Michael D. Harrison

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.

Paolo Masci, Anaheed Ayoub, Paul Curzon, Michael D. Harrison, Insup Lee, Harold W. Thimbleby

Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2013

2012

Teachers' perceptions of the value of research-based school lectures.

Jonathan Back, Paul Curzon, Chrystie Myketiak, Peter W. McOwan, Laura R. Meagher

Proceedings of the Workshop in Primary and Secondary Computing Education, 2012

Supporting Field Investigators with PVS: A Case Study in the Healthcare Domain.

Paolo Masci, Dominic Furniss, Paul Curzon, Michael D. Harrison, Ann Blandford

Proceedings of the Software Engineering for Resilient Systems - 4th International Workshop, 2012

Using PVS to Investigate Incidents through the Lens of Distributed Cognition.

Paolo Masci, Huayi Huang, Paul Curzon, Michael D. Harrison

Proceedings of the NASA Formal Methods, 2012

cs4fn: a flexible model for computer science outreach.

Chrystie Myketiak, Paul Curzon, Jonathan Back, Peter W. McOwan, Laura R. Meagher

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.

Abigail Cauchi, Andy Gimblett, Harold W. Thimbleby, Paul Curzon, Paolo Masci

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.

Rimvydas Ruksenas, Paul Curzon

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

On formalising interactive number entry on infusion pumps.

Paolo Masci, Rimvydas Ruksenas, Patrick Oladimeji, Abigail Cauchi, Andy Gimblett, Karen Yunqiu Li, Paul Curzon, Harold W. Thimbleby

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

Modelling Distributed Cognition Systems in PVS.

Paolo Masci, Paul Curzon, Ann Blandford, Dominic Furniss

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 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

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

Paolo Masci, Paul Curzon

Proceedings of the Information Quality in e-Health, 2011

Introducing students to computer science with programmes that don't emphasise programming.

Tim Bell, Paul Curzon, Quintin I. Cutts, Valentina Dagiene, Bruria Haberman

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.

Jonathan Back, Paul Curzon, Chrystie Myketiak, Peter W. McOwan

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.

Tim Bell, Paul Curzon, Quintin I. Cutts, Valentina Dagiene, Bruria Haberman

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.

Paolo Masci, Paul Curzon, Huayi Huang, Rimvydas Ruksenas, Ann Blandford, Dominic Furniss, Atish Rajkomar

Proceedings of the 13th European Workshop on Dependable Computing, 2011

Towards Dependable Number Entry for Medical Devices.

Abigail Cauchi, Paul Curzon, Parisa Eslambolchilar, Andy Gimblett, Huayi Huang, Paul Lee, Yunqiu Li, Paolo Masci, Patrick Oladimeji, Rimvydas Ruksenas, Harold Thimbleby

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.

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

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.

Dominic Furniss, Ann Blandford, Paul Curzon

Proceedings of the International Conference on Human Factors in Computing Systems, 2011

2009

Verification-guided modelling of salience and cognitive load.

Rimvydas Ruksenas, Jonathan Back, Paul Curzon, Ann Blandford

Formal Aspects Comput., 2009

Editorial.

Antonio Cerone, Paul Curzon, David Duce

Formal Aspects Comput., 2009

Computational thinking (CT): on weaving it in.

Paul Curzon, Joan Peckham, Harriet G. Taylor, Amber Settle, Eric Roberts

Proceedings of the 14th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2009

Enthusing & inspiring with reusable kinaesthetic activities.

Paul Curzon, Peter W. McOwan, Quintin I. Cutts, Tim Bell

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.

Dominic Furniss, Ann Blandford, Paul Curzon

Proceedings of the Maturing Usability - Quality in Software, Interaction and Value, 2008

Modelling and analysing cognitive causes of security breaches.

Rimvydas Ruksenas, Paul Curzon, Ann Blandford

Innov. Syst. Softw. Eng., 2008

Formal methods for interactive systems.

Antonio Cerone, Paul Curzon

Innov. Syst. Softw. Eng., 2008

Modelling Rational User Behaviour as Games between an Angel and a Demon.

Rimvydas Ruksenas, Paul Curzon, Ann Blandford

Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

Engaging with computer science through magic shows.

Paul Curzon, Peter W. McOwan

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.

Ann Blandford, Paul Curzon, Joanne K. Hyde, George Papatzanis

Proceedings of the Interactive Systems. Design, 2008

2007

Providing a formal linkage between MDG and HOL.

Haiyan Xiong, Paul Curzon, Sofiène Tahar, Ann Blandford

Formal Methods Syst. Des., 2007

An approach to formal verification of human-computer interaction.

Paul Curzon, Rimvydas Ruksenas, Ann Blandford

Formal Aspects Comput., 2007

Formal Modelling of Salience and Cognitive Load.

Rimvydas Ruksenas, Jonathan Back, Paul Curzon, Ann Blandford

Proceedings of the 2nd International Workshop on Formal Methods for Interactive Systems, 2007

Serious fun in computer science.

Paul Curzon

Proceedings of the 12th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2007

Recognising Erroneous and Exploratory Interactions.

Jonathan Back, Ann Blandford, Paul Curzon

Proceedings of the Human-Computer Interaction, 2007

Combining Human Error Verification and Timing Analysis.

Rimvydas Ruksenas, Paul Curzon, Ann Blandford, Jonathan Back

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.

Georgios Papatzanis, Paul Curzon, Ann Blandford

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.

Dominic Furniss, Ann Blandford, Paul Curzon

Proceedings of the 14th European Conference on Cognitive Ergonomics: invent! explore!, 2007

Slip errors and cue salience.

Jonathan Back, Ann Blandford, Paul Curzon

Proceedings of the 14th European Conference on Cognitive Ergonomics: invent! explore!, 2007

2^nd International Workshop on Formal Methods for Interactive Systems.

Paul Curzon, Antonio Cerone

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.

Rabeb Mizouni, Sofiène Tahar, Paul Curzon

Microelectron. J., 2006

Detecting Cognitive Causes of Confidentiality Leaks.

Rimvydas Ruksenas, Paul Curzon, Ann Blandford

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

Preface.

Antonio Cerone, Paul Curzon

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

Formal Modelling of Cognitive Interpretation.

Rimvydas Ruksenas, Paul Curzon, Jonathan Back, Ann Blandford

Proceedings of the Interactive Systems. Design, 2006

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

Proceedings of the Interactive Systems. Design, 2006

2005

Successful strategies of older people for finding information.

Paul Curzon, Judy Wilson, Gill Whitney

Interact. Comput., 2005

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

Proceedings of the Research and Advanced Technology for Digital Libraries, 2005

2004

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

Ann Blandford, Richard Butterworth, Paul Curzon

Int. J. Hum. Comput. Stud., 2004

Strategies for Finding Government Information by Older People.

Paul Curzon, Suzette Keith, Judy Wilson, Gill Whitney

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.

Paul Curzon, Ann Blandford

Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

2003

Hierarchical formal verification using a hybrid tool.

Skander Kort, Sofiène Tahar, Paul Curzon

Int. J. Softw. Tools Technol. Transf., 2003

2002

Formally Linking MDG and HOL Based on a Verified MDG System.

Haiyan Xiong, Paul Curzon, Sofiène Tahar, Ann Blandford

Proceedings of the Integrated Formal Methods, Third International Conference, 2002

From a Formal User Model to Design Rules.

Paul Curzon, Ann Blandford

Proceedings of the Interactive Systems. Design, 2002

2001

PUMA Footprints: Linking Theory and Craft Skill in Usability Evaluation.

Ann Blandford, Richard Butterworth, Paul Curzon

Proceedings of the Human-Computer Interaction INTERACT '01: IFIP TC13 International Conference on Human-Computer Interaction, 2001

Detecting Multiple Classes of User Errors.

Paul Curzon, Ann Blandford

Proceedings of the Engineering for Human-Computer Interaction, 2001

Hierarchical Verification Using an MDG-HOL Hybrid Tool.

Iskander Kort, Sofiène Tahar, Paul Curzon

Proceedings of the Correct Hardware Design and Verification Methods, 2001

2000

Formal hardware verification by integrating HOL and MDG.

V. K. Pisini, Sofiène Tahar, Paul Curzon, Otmane Aït Mohamed, Xiaoyu Song

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.

Sofiène Tahar, Paul Curzon

Nord. J. Comput., 1999

Importing MDG Verification Results into HOL.

Haiyan Xiong, Paul Curzon, Sofiène Tahar

Proceedings of the Theorem Proving in Higher Order Logics, 12th International Conference, 1999

1998

Why do students take programming modules?

Paul Curzon, Janet Rix

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.

Sofiène Tahar, Paul Curzon, Jianping Lu

Proceedings of the Formal Methods in Computer-Aided Design, 1998

1996

A Comparison of MDG and HOL for Hardware Verification.

Sofiène Tahar, Paul Curzon

Proceedings of the Theorem Proving in Higher Order Logics, 9th International Conference, 1996

1995

Tracking Design Changes with Formal Machine - Checked Proof.

Paul Curzon

Comput. J., 1995

Virtual Theories.

Paul Curzon

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

A case study on design for provability.

Paul Curzon, Ian M. Leslie

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.

Paul Curzon

Proceedings of the Correct Hardware Design and Verification Methods, 1995

1994

Tracking Design Changes with Formal Verification.

Paul Curzon

Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1994

The Formal Verification of an ATM Network.

Paul Curzon

Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing, 1994

1993

Deriving Correctness Properties of Compiled Code.

Paul Curzon

Formal Methods Syst. Des., 1993

1992

A Programming Logic for a Verified Structured Assembly Language.

Paul Curzon

Proceedings of the Logic Programming and Automated Reasoning, 1992

1991

A Verified Compiler for a Structured Assembly Language.

Paul Curzon

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.

Paul Curzon

PhD thesis, 1990