Paul Curzon

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Paul L. Jones

> Home > Persons > Paul Curzon

Publications

2015
[c66]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/MasciOZJCT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/MasciOZJCT15
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: 470-478
2014
[c64]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fase/MasciZJCT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/MasciZJCT14
Paolo Masci, Yi Zhang, Paul L. Jones, Paul Curzon, Harold W. Thimbleby:
Formal Verification of Medical Device User Interfaces Using PVS. FASE 2014: 200-214
[c61]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/mcps/MasciZJTC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mcps/MasciZJTC14
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: 1-14
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/MasciZJODBCT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/MasciZJODBCT14
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: 209-214

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.