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 Kevin J. Sullivan

> Home > Persons > John C. Knight

Publications

2017
[c90]
- view
  authority control:
- export record
  dblp key:
  - conf/hase/XiangKS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hase/XiangKS17
Jian Xiang, John C. Knight, Kevin J. Sullivan:
Is My Software Consistent with the Real World? HASE 2017: 1-4
2016
[c86]
- view
  authority control:
- export record
  dblp key:
  - conf/hase/XiangKS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hase/XiangKS16
Jian Xiang, John C. Knight, Kevin J. Sullivan:
Synthesis of Logic Interpretations. HASE 2016: 114-121
2015
[c78]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/XiangKS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/XiangKS15
Jian Xiang, John C. Knight, Kevin J. Sullivan:
Real-World Types and Their Application. SAFECOMP 2015: 471-484
2003
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/discex/KnightSS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/discex/KnightSS03
John C. Knight, Elisabeth A. Strunk, Kevin J. Sullivan:
Towards a Rigorous Definition of Information System Survivability. DISCEX (1) 2003: 78-89
1999
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/SullivanKDG99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/SullivanKDG99
Kevin J. Sullivan, John C. Knight, Xing Du, Steve Geist:
Information Survivability Control Systems. ICSE 1999: 184-192
1996
[c22]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/icse/SullivanK96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/SullivanK96
Kevin J. Sullivan, John C. Knight:
Experience Assessing an Architectural Approach to Large-Scale Systematic Reuse. ICSE 1996: 220-229

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.