John C. Knight

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 M. Anthony Aiello

> Home > Persons > John C. Knight

Publications

2017
[c89]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/HockingAKA17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/HockingAKA17
Ashlie B. Hocking, M. Anthony Aiello, John C. Knight, Nikos Aréchiga:
Input Space Partitioning to Enable Massively Parallel Proof. NFM 2017: 139-145
2016
[c85]
- view
  authority control:
- export record
  dblp key:
  - conf/hase/HockingAKA16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hase/HockingAKA16
Ashlie B. Hocking, M. Anthony Aiello, John C. Knight, Nikos Aréchiga:
Proving Critical Properties of Simulink Models. HASE 2016: 189-196
2015
[c81]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/HockingAK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/HockingAK15
Ashlie B. Hocking, M. Anthony Aiello, John C. Knight:
Static analysis of physical properties in Simulink models. ISSRE Workshops 2015: 8-11
[c80]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/KnightRAW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/KnightRAW15
John C. Knight, Jonathan C. Rowanhill, M. Anthony Aiello, Kimberly S. Wasson:
A Comprehensive Safety Lifecycle. SAFECOMP Workshops 2015: 38-49
2014
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/HockingKAS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/HockingKAS14
Ashlie B. Hocking, John C. Knight, M. Anthony Aiello, Shinichi Shiraishi:
Proving Model Equivalence in Model Based Design. ISSRE Workshops 2014: 18-21
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/AielloHKR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/AielloHKR14
M. Anthony Aiello, Ashlie B. Hocking, John C. Knight, Jonathan C. Rowanhill:
SCT: A Safety Case Toolkit. ISSRE Workshops 2014: 216-219
[c71]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/HockingKAS14a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/HockingKAS14a
Ashlie B. Hocking, John C. Knight, M. Anthony Aiello, Shinichi Shiraishi:
Arguing Software Compliance with ISO 26262. ISSRE Workshops 2014: 226-231
2005
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/StrunkKA05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/StrunkKA05
Elisabeth A. Strunk, John C. Knight, M. Anthony Aiello:
Assured Reconfiguration of Fail-Stop Systems. DSN 2005: 2-11

a service of

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.