Paul Curzon

ORCID

Publication Activity (10 Years)

Years Active: 1991-2020
Publications (10 Years): 15

Top Venues

WiPSCE

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

EAI Endorsed Trans. Creative Technol.

EICS

University of Cambridge, UK (PHD)

Education History

University of Cambridge, UK

PHD

Publications

Ali Fahmi, Hamit Soyel, William Marsh, Paul Curzon, Amy MacBrayne, Frances Humby
From Personalised Predictions to Targeted Advice: Improving Self-Management in Rheumatoid Arthritis. EFMI-STC (2020)
Paul Curzon, Jane Waite, Karl Maton, James Donohue
Using semantic waves to analyse the effectiveness of unplugged computing activities. WiPSCE (2020)
Jane Waite, Paul Curzon, William Marsh, Sue Sentance
Difficulties with design: The challenges of teaching design in K-5 programming. Comput. Educ. 150 (2020)
Jane Waite, Karl Maton, Paul Curzon, Lucinda Tuttiett
Unplugged Computing and Semantic Waves: Analysing Crazy Characters. UKICER (2019)
Jane Lisa Waite, Paul Curzon, William Marsh, Sue Sentance, Alex Hadwen-Bennett
Abstraction in action: K-5 teachers' uses of levels of abstraction, particularly the design level, in teaching programming. Int. J. Comput. Sci. Educ. Sch. 2 (1) (2018)
Jane Waite, Paul Curzon, William Marsh, Sue Sentance
Comparing K-5 teachers' reported use of design in teaching programming and planning in teaching writing. WiPSCE (2018)
Michael D. Harrison, Paolo Masci, José Creissac Campos, Paul Curzon
Verification of User Interface Software: The Example of Use-Related Safety Requirements and Programmable Medical Devices. IEEE Trans. Hum. Mach. Syst. 47 (6) (2017)
Jane Waite, Paul Curzon, William Marsh, Sue Sentance
K-5 Teachers' Uses of Levels of Abstraction Focusing on Design. WiPSCE (2017)
Michael D. Harrison, José Creissac Campos, Rimvydas Ruksenas, Paul Curzon
Modelling information resources and their salience in medical device design. EICS (2016)
Paul Lee, Laura R. Meagher, Paul Curzon
Impact on procurement and training by research on the interaction design of medical devices. EAI Endorsed Trans. Collab. Comput. 2 (7) (2016)
Harold Thimbleby, Patrick Oladimeji, Paolo Masci, Paul Curzon
Issues in number entry user interface styles: Recommendations for mitigation. EAI Endorsed Trans. Creative Technol. 3 (8) (2016)
Jane Waite, Paul Curzon, William Marsh, Sue Sentance
Abstraction and common classroom activities. WiPSCE (2016)
Michael D. Harrison, José Creissac Campos, Paolo Masci, Paul Curzon
Templates as heuristics for proving properties of medical devices. EAI Endorsed Trans. Creative Technol. 3 (8) (2016)
Paolo Masci, Patrick Oladimeji, Piergiuseppe Mallozzi, Paul Curzon, Harold Thimbleby
PVSio-web: mathematically based tool support for the design of interactive and interoperable medical systems. EAI Endorsed Trans. Collab. Comput. 2 (7) (2016)
Paul Curzon, Ann Blandford, Harold Thimbleby, Anna Louise Cox
Safer Interactive Medical Device Design: Insights from the CHI+MED Project. EAI Endorsed Trans. Security Safety 3 (9) (2016)
Giampaolo Bella, Paul Curzon, Gabriele Lenzini
Service security and privacy as a socio-technical problem. J. Comput. Secur. 23 (5) (2015)
Paolo Masci, Paul Curzon, Dominic Furniss, Ann Blandford
Using PVS to support the analysis of distributed cognition systems. Innov. Syst. Softw. Eng. 11 (2) (2015)
Judy Wilson, Paul Curzon, Elke Duncker
Exploring older women's confidence during route planning. Behav. Inf. Technol. 34 (7) (2015)
Paolo Masci, Rimvydas Ruksenas, Patrick Oladimeji, Abigail Cauchi, Andy Gimblett, Karen Yunqiu Li, Paul Curzon, Harold W. Thimbleby
The benefits of formalising design guidelines: a case study on the predictability of drug infusion pumps. Innov. Syst. Softw. Eng. 11 (2) (2015)
Paolo Masci, Patrick Oladimeji, Yi Zhang, Paul L. Jones, Paul Curzon, Harold W. Thimbleby
PVSio-web 2.0: Joining PVS to HCI. CAV (1) (2015)
Dominic Furniss, Paolo Masci, Paul Curzon, Astrid Mayer, Ann Blandford
Exploring medical device design and use through layers of Distributed Cognition: How a glucometer is coupled with its context. J. Biomed. Informatics 53 (2015)
Rimvydas Ruksenas, Paul Curzon, Ann Blandford, Jonathan Back
Combining human error verification and timing analysis: a case study on an infusion pump. Formal Aspects Comput. 26 (5) (2014)
Paolo Masci, Yi Zhang, Paul L. Jones, Patrick Oladimeji, Enrico D'Urso, Cinzia Bernardeschi, Paul Curzon, Harold Thimbleby
Combining PVSio with Stateflow. NASA Formal Methods (2014)
Paolo Masci, Yi Zhang, Paul L. Jones, Paul Curzon, Harold W. Thimbleby
Formal Verification of Medical Device User Interfaces Using PVS. FASE (2014)
Paolo Masci, Patrick Oladimeji, Paul Curzon, Harold Thimbleby
Using PVSio-web to Demonstrate Software Issues in Medical User Interfaces. FHIES/SEHC (2014)
Paul Curzon, Peter W. McOwan, Nicola Plant, Laura R. Meagher
Introducing teachers to computational thinking using unplugged storytelling. WiPSCE (2014)
Paolo Masci, Yi Zhang, Paul L. Jones, Harold Thimbleby, Paul Curzon
A Generic User Interface Architecture for Analyzing Use Hazards in Infusion Pump Software. MCPS (2014)
Michael D. Harrison, Paolo Masci, José Creissac Campos, Paul Curzon
Demonstrating that Medical Devices Satisfy User Related Safety Requirements. FHIES/SEHC (2014)
Giampaolo Bella, Paul Curzon, Rosario Giustolisi, Gabriele Lenzini
A Socio-technical Methodology for the Security and Privacy Analysis of Services. COMPSAC Workshops (2014)
Paolo Masci, Anaheed Ayoub, Paul Curzon, Insup Lee, Oleg Sokolsky, Harold W. Thimbleby
Model-Based Development of the Generic PCA Infusion Pump User Interface Prototype in PVS. SAFECOMP (2013)
Patrick Oladimeji, Paolo Masci, Paul Curzon, Harold W. Thimbleby
PVSio-web: a tool for rapid prototyping device user interfaces in PVS. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 69 (2013)
Tim Bell, Daniela Marghitu, Lynn Lambert, Paul Curzon
Computer science unplugged, robotics, and outreach activities (abstract only). SIGCSE (2013)
Rimvydas Ruksenas, Paul Curzon, Michael D. Harrison
Integrating Formal Predictions of Interactive System Behaviour with User Evaluation. IFM (2013)
Rimvydas Ruksenas, Paolo Masci, Michael D. Harrison, Paul Curzon
Developing and Verifying User Interface Requirements for Infusion Pumps: A Refinement Approach. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 69 (2013)
Paul Curzon
cs4fn and computational thinking unplugged. WiPSCE (2013)
Michael D. Harrison, Paolo Masci, José Creissac Campos, Paul Curzon
Automated theorem proving for the systematic analysis of an infusion pump. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 69 (2013)
Paolo Masci, Anaheed Ayoub, Paul Curzon, Michael D. Harrison, Insup Lee, Harold W. Thimbleby
Verification of interactive software for medical devices: PCA infusion pumps and FDA regulation as an example. EICS (2013)
Jonathan Back, Jo Brodie, Paul Curzon, Chrystie Myketiak, Peter W. McOwan, Laura R. Meagher
Making computing interesting to school students: teachers' perspectives. ITiCSE (2013)
Chrystie Myketiak, Paul Curzon, Jonathan Back, Peter W. McOwan, Laura R. Meagher
cs4fn: a flexible model for computer science outreach. ITiCSE (2012)
Paolo Masci, Huayi Huang, Paul Curzon, Michael D. Harrison
Using PVS to Investigate Incidents through the Lens of Distributed Cognition. NASA Formal Methods (2012)
Paolo Masci, Dominic Furniss, Paul Curzon, Michael D. Harrison, Ann Blandford
Supporting Field Investigators with PVS: A Case Study in the Healthcare Domain. SERENE (2012)
Jonathan Back, Paul Curzon, Chrystie Myketiak, Peter W. McOwan, Laura R. Meagher
Teachers' perceptions of the value of research-based school lectures. WiPSCE (2012)
Abigail Cauchi, Andy Gimblett, Harold W. Thimbleby, Paul Curzon, Paolo Masci
Safer "5-key" number entry user interfaces using differential formal analysis. BCS HCI (2012)
Jonathan Back, Paul Curzon, Chrystie Myketiak, Peter W. McOwan
A study in engaging female students in computer science using role models. ITiCSE (2011)
Paolo Masci, Paul Curzon, Ann Blandford, Dominic Furniss
Modelling Distributed Cognition Systems in PVS. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 45 (2011)
Rimvydas Ruksenas, Paul Curzon
Abstract Models and Cognitive Mismatch in Formal Verification. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 45 (2011)
Huayi Huang, Rimvydas Ruksenas, Maartje Ament, Paul Curzon, Anna Louise Cox, Ann Blandford, Duncan P. Brumby
Capturing the distinction between task and device errors in a formal model of user behaviour. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 45 (2011)
Tim Bell, Paul Curzon, Quintin I. Cutts, Valentina Dagiene, Bruria Haberman
Introducing students to computer science with programmes that don't emphasise programming. ITiCSE (2011)
Paolo Masci, Paul Curzon, Huayi Huang, Rimvydas Ruksenas, Ann Blandford, Dominic Furniss, Atish Rajkomar
Towards a formal framework for reasoning about the resilience of dynamic interactive systems. EWDC (2011)
Tim Bell, Paul Curzon, Quintin I. Cutts, Valentina Dagiene, Bruria Haberman
Overcoming Obstacles to CS Education by Using Non-programming Outreach Programmes. ISSEP (2011)
Paolo Masci, Rimvydas Ruksenas, Patrick Oladimeji, Abigail Cauchi, Andy Gimblett, Karen Yunqiu Li, Paul Curzon, Harold W. Thimbleby
On formalising interactive number entry on infusion pumps. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 45 (2011)
Abigail Cauchi, Paul Curzon, Parisa Eslambolchilar, Andy Gimblett, Huayi Huang, Paul Lee, Yunqiu Li, Paolo Masci, Patrick Oladimeji, Rimvydas Ruksenas, Harold Thimbleby
Towards Dependable Number Entry for Medical Devices. EICS4Med (2011)
Paolo Masci, Paul Curzon
Checking User-Centred Design Principles in Distributed Cognition Models: A Case Study in the Healthcare Domain. USAB (2011)
Dominic Furniss, Ann Blandford, Paul Curzon
Confessions from a grounded theory PhD: experiences and lessons learnt. CHI (2011)
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
Comparing Actual Practice and User Manuals: A Case Study Based on Programmable Infusion Pumps. EICS4Med (2011)
Paul Curzon, Peter W. McOwan, Quintin I. Cutts, Tim Bell
Enthusing & inspiring with reusable kinaesthetic activities. ITiCSE (2009)
Paul Curzon, Joan Peckham, Harriet G. Taylor, Amber Settle, Eric Roberts
Computational thinking (CT): on weaving it in. ITiCSE (2009)
Rimvydas Ruksenas, Jonathan Back, Paul Curzon, Ann Blandford
Verification-guided modelling of salience and cognitive load. Formal Aspects Comput. 21 (6) (2009)
Antonio Cerone, Paul Curzon, David Duce
Editorial. Formal Aspects Comput. 21 (6) (2009)
Antonio Cerone, Paul Curzon
Formal methods for interactive systems. Innov. Syst. Softw. Eng. 4 (2) (2008)
Rimvydas Ruksenas, Jonathan Back, Paul Curzon, Ann Blandford
Formal Modelling of Salience and Cognitive Load. Electron. Notes Theor. Comput. Sci. 208 (2008)
Ann Blandford, Paul Curzon, Joanne K. Hyde, George Papatzanis
EMU in the Car: Evaluating Multimodal Usability of a Satellite Navigation System. DSV-IS (2008)
Paul Curzon, Peter W. McOwan
Engaging with computer science through magic shows. ITiCSE (2008)
Rimvydas Ruksenas, Paul Curzon, Ann Blandford
Modelling and analysing cognitive causes of security breaches. Innov. Syst. Softw. Eng. 4 (2) (2008)
Rimvydas Ruksenas, Paul Curzon, Ann Blandford
Modelling Rational User Behaviour as Games between an Angel and a Demon. SEFM (2008)
Antonio Cerone, Paul Curzon
Preface. Electron. Notes Theor. Comput. Sci. 208 (2008)
Haiyan Xiong, Paul Curzon, Sofiène Tahar, Ann Blandford
Providing a formal linkage between MDG and HOL. Formal Methods Syst. Des. 30 (2) (2007)
Georgios Papatzanis, Paul Curzon, Ann Blandford
Identifying Phenotypes and Genotypes: A Case Study Evaluating an In-Car Navigation System. EHCI/DS-VIS (2007)
Paul Curzon
Serious fun in computer science. ITiCSE (2007)
Paul Curzon, Antonio Cerone
International Workshop on Formal Methods for Interactive Systems. BCS HCI (2) (2007)
Jonathan Back, Ann Blandford, Paul Curzon
Recognising Erroneous and Exploratory Interactions. INTERACT (2) (2007)
Paul Curzon, Rimvydas Ruksenas, Ann Blandford
An approach to formal verification of human-computer interaction. Formal Aspects Comput. 19 (4) (2007)
Jonathan Back, Ann Blandford, Paul Curzon
Slip errors and cue salience. ECCE (2007)
Rimvydas Ruksenas, Paul Curzon, Ann Blandford, Jonathan Back
Combining Human Error Verification and Timing Analysis. EHCI/DS-VIS (2007)
Dominic Furniss, Ann Blandford, Paul Curzon
Usability evaluation methods in practice: understanding the context in which they are embedded. ECCE (2007)
Antonio Cerone, Paul Curzon
Preface. Electron. Notes Theor. Comput. Sci. 183 (2007)
Rimvydas Ruksenas, Paul Curzon, Ann Blandford
Detecting Cognitive Causes of Confidentiality Leaks. Electron. Notes Theor. Comput. Sci. 183 (2007)
Rimvydas Ruksenas, Paul Curzon, Jonathan Back, Ann Blandford
Formal Modelling of Cognitive Interpretation. DSV-IS (2006)
T. C. Nicholas Graham, Paul Curzon, Gavin J. Doherty, Philippe A. Palanque, Richard Potter, Christopher Roast, Shamus P. Smith
Usability and Computer Games: Working Group Report. DSV-IS (2006)
Rabeb Mizouni, Sofiène Tahar, Paul Curzon
Hybrid verification integrating HOL theorem proving with MDG model checking. Microelectron. J. 37 (11) (2006)
Paul Curzon, Judy Wilson, Gill Whitney
Successful strategies of older people for finding information. Interact. Comput. 17 (6) (2005)
Veronica Davis Perkins, Richard Butterworth, Paul Curzon, Bob Fields
A Study into the Effect of Digitisation Projects on the Management and Stability of Historic Photograph Collections. ECDL (2005)
Ann Blandford, Richard Butterworth, Paul Curzon
Models of interactive systems: a case study on programmable user modelling. Int. J. Hum. Comput. Stud. 60 (2) (2004)
Paul Curzon, Suzette Keith, Judy Wilson, Gill Whitney
Strategies for Finding Government Information by Older People. User Interfaces for All (2004)
Paul Curzon, Ann Blandford
Formally Justifying User-Centred Design Rules: A Case Study on Post-completion Errors. IFM (2004)
Skander Kort, Sofiène Tahar, Paul Curzon
Hierarchical formal verification using a hybrid tool. Int. J. Softw. Tools Technol. Transf. 4 (3) (2003)
Haiyan Xiong, Paul Curzon, Sofiène Tahar, Ann Blandford
Formally Linking MDG and HOL Based on a Verified MDG System. IFM (2002)
Paul Curzon, Ann Blandford
From a Formal User Model to Design Rules. DSV-IS (2002)
Paul Curzon, Ann Blandford
Detecting Multiple Classes of User Errors. EHCI (2001)
Iskander Kort, Sofiène Tahar, Paul Curzon
Hierarchical Verification Using an MDG-HOL Hybrid Tool. CHARME (2001)
Ann Blandford, Richard Butterworth, Paul Curzon
PUMA Footprints: Linking Theory and Craft Skill in Usability Evaluation. INTERACT (2001)
V. K. Pisini, Sofiène Tahar, Paul Curzon, Otmane Aït Mohamed, Xiaoyu Song
Formal hardware verification by integrating HOL and MDG. ACM Great Lakes Symposium on VLSI (2000)
Sofiène Tahar, Paul Curzon
Comparing HOL and MDG: a Case Study on the Verification of an ATM Switch Fabric. Nord. J. Comput. 6 (4) (1999)
Haiyan Xiong, Paul Curzon, Sofiène Tahar
Importing MDG Verification Results into HOL. TPHOLs (1999)
Paul Curzon, Janet Rix
Why do students take programming modules? ITiCSE (1998)
Sofiène Tahar, Paul Curzon, Jianping Lu
Three Approaches to Hardware Verification: HOL, MDG and VIS Compared. FMCAD (1998)
Sofiène Tahar, Paul Curzon
A Comparison of MDG and HOL for Hardware Verification. TPHOLs (1996)
Paul Curzon
Virtual Theories. TPHOLs (1995)
Paul Curzon
Problems encountered in the machine-assisted proof of hardware. CHARME (1995)
Paul Curzon
Tracking Design Changes with Formal Machine - Checked Proof. Comput. J. 38 (2) (1995)

Paul Curzon.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Paul Curzon