2008 |
75 | EE | Anh Nguyen-Tuong,
David Evans,
John C. Knight,
Benjamin Cox,
Jack W. Davidson:
Security through redundant data diversity.
DSN 2008: 187-196 |
74 | EE | Xiang Yin,
John C. Knight,
Elisabeth A. Nguyen,
Westley Weimer:
Formal Verification by Reverse Synthesis.
SAFECOMP 2008: 305-319 |
2007 |
73 | EE | Patrick J. Graydon,
John C. Knight,
Elisabeth A. Strunk:
Assurance Based Development of Critical Systems.
DSN 2007: 347-357 |
72 | EE | Zach Hill,
Jonathan C. Rowanhill,
Anh Nguyen-Tuong,
Glenn S. Wasson,
John C. Knight,
Jim Basney,
Marty Humphrey:
Meeting virtual organization performance goals through adaptive grid reconfiguration.
GRID 2007: 177-184 |
71 | EE | Jonathan C. Rowanhill,
Glenn S. Wasson,
Zach Hill,
Jim Basney,
Yuliyan Kiryakov,
John C. Knight,
Anh Nguyen-Tuong,
Andrew S. Grimshaw,
Marty Humphrey:
Dynamic System-Wide Reconfiguration of Grid Deployments in Response to Intrusion Detections.
HPCC 2007: 260-272 |
2006 |
70 | EE | John C. Knight:
Future Trends of Software Technology and Applications Model-Based Development.
COMPSAC (1) 2006: 18 |
69 | EE | Wei Hu,
Jason Hiser,
Daniel Williams,
Adrian Filipi,
Jack W. Davidson,
David Evans,
John C. Knight,
Anh Nguyen-Tuong,
Jonathan C. Rowanhill:
Secure and practical defense against code-injection attacks using software dynamic translation.
VEE 2006: 2-12 |
68 | EE | Patrick J. Graydon,
John C. Knight,
Elisabeth A. Strunk:
Achieving Dependable Systems by Synergistic Development of Architectures and Assurance Cases.
WADS 2006: 362-382 |
67 | EE | John C. Knight,
Nancy G. Leveson:
Software and higher education.
Commun. ACM 49(1): 160 (2006) |
66 | EE | Elisabeth A. Strunk,
John C. Knight:
Dependability through Assured Reconfiguration in Embedded System Software.
IEEE Trans. Dependable Sec. Comput. 3(3): 172-187 (2006) |
2005 |
65 | EE | Elisabeth A. Strunk,
John C. Knight,
M. Anthony Aiello:
Assured Reconfiguration of Fail-Stop Systems.
DSN 2005: 2-11 |
64 | EE | Andrew S. Grimshaw,
Marty A. Humphrey,
John C. Knight,
Anh Nguyen-Tuong,
Jonathan C. Rowanhill,
Glenn S. Wasson,
Jim Basney:
The Development of Dependable and Survivable Grids.
International Conference on Computational Science (2) 2005: 729-737 |
63 | EE | Kimberly S. Wasson,
Kendra N. Schmid,
Robyn R. Lutz,
John C. Knight:
Using Occurrence Properties of Defect Report Data to Improve Requirements.
RE 2005: 253-262 |
62 | EE | John C. Knight:
Focusing software education on engineering.
ACM SIGSOFT Software Engineering Notes 30(2): 3-5 (2005) |
2004 |
61 | EE | John C. Knight:
Focusing Software Education on Engineering.
CSEE&T 2004: 2-3 |
60 | EE | Elisabeth A. Strunk,
John C. Knight:
Assured Reconfiguration of Embedded Real-Time Software.
DSN 2004: 367-376 |
59 | EE | Jonathan C. Rowanhill,
Philip E. Varner,
John C. Knight:
Efficient Hierarchic Management For Reconfiguration of Networked Information Systems.
DSN 2004: 517-526 |
58 | | William S. Greenwell,
Elisabeth A. Strunk,
John C. Knight:
Failure Analysis and the Safety-Case Lifecycle.
Human Error, Safety and Systems Development 2004: 163-176 |
57 | EE | John C. Knight:
An Introduction to Computing System Dependability.
ICSE 2004: 730-731 |
56 | EE | Riccardo Scandariato,
John C. Knight:
The Design and Evaluation of a Defense System for Internet Worms.
SRDS 2004: 164-173 |
55 | EE | John C. Knight:
Editorial: AE Introduction.
IEEE Trans. Software Eng. 30(1): 1-2 (2004) |
54 | EE | John C. Knight:
Editorial: The State of TSE.
IEEE Trans. Software Eng. 30(2): 81- (2004) |
53 | EE | John C. Knight:
Editorial: AE Farewell.
IEEE Trans. Software Eng. 30(5): 281- (2004) |
52 | EE | John C. Knight:
Editorial: AE Introduction.
IEEE Trans. Software Eng. 30(8): 489-490 (2004) |
2003 |
51 | EE | John C. Knight,
Elisabeth A. Strunk,
Kevin J. Sullivan:
Towards a Rigorous Definition of Information System Survivability.
DISCEX (1) 2003: 78-89 |
50 | EE | John C. Knight,
Jonathan Hill,
Philip E. Varner,
Premkumar T. Devanbu,
Alexander L. Wolf,
Dennis Heimbigner:
Willow System Demonstration.
DISCEX (2) 2003: 123-125 |
49 | EE | John C. Knight:
Computing Systems Dependability.
ICSE 2003: 742-743 |
48 | EE | Kimberly S. Wasson,
John C. Knight,
Elisabeth A. Strunk,
Sean R. Travis:
Tools Supporting the Communication of Critical Domain Knowledge in High-Consequence Systems Development.
SAFECOMP 2003: 317-330 |
47 | EE | John C. Knight,
Elisabeth A. Strunk:
Achieving Critical System Survivability Through Software Architectures.
WADS 2003: 51-78 |
46 | EE | John C. Knight:
New AEIC Introduction and AE Farewell.
IEEE Trans. Software Eng. 29(11): 961 (2003) |
45 | EE | John C. Knight:
Editorial: AE Introduction.
IEEE Trans. Software Eng. 29(4): 289 (2003) |
44 | EE | John C. Knight:
AE Farewell.
IEEE Trans. Software Eng. 29(8): 673 (2003) |
2002 |
43 | EE | John C. Knight:
Safety critical systems: challenges and directions.
ICSE 2002: 547-550 |
42 | EE | John C. Knight:
Dependability of embedded systems.
ICSE 2002: 685-686 |
41 | EE | John C. Knight:
Software Challenges in Aviation Systems.
SAFECOMP 2002: 106-112 |
40 | | John C. Knight:
Desert Island Books.
Autom. Softw. Eng. 9(3): 321-334 (2002) |
39 | EE | John C. Knight,
Nancy G. Leveson:
Should software engineers be licensed?.
Commun. ACM 45(11): 87-90 (2002) |
38 | EE | John C. Knight:
Editorial: New AE Introduction/Farewell.
IEEE Trans. Software Eng. 28(12): 1105 (2002) |
37 | EE | John C. Knight:
AE Introduction.
IEEE Trans. Software Eng. 28(3): 209 (2002) |
2001 |
36 | EE | Chenxi Wang,
Jonathan Hill,
John C. Knight,
Jack W. Davidson:
Protection of Software-Based Survivability Mechanisms.
DSN 2001: 193-202 |
35 | | John C. Knight:
Erroneous Requirements: A Linguistic Basis for Their Occurrence and an Approach to Their Reduction.
HASE 2001: 3-4 |
34 | EE | John C. Knight,
Matthew C. Elder:
Fault Tolerant Distributed Information Systems.
ISSRE 2001: 132-137 |
33 | EE | John C. Knight,
Kimberly S. Hanks,
Sean R. Travis:
Tool Support for Production Use of Formal Techniques.
ISSRE 2001: 242-253 |
2000 |
32 | EE | Chenxi Wang,
John C. Knight,
Matthew C. Elder:
On Computer Viral Infection and the Effect of Immunization.
ACSAC 2000: 246-256 |
1999 |
31 | EE | Kevin J. Sullivan,
John C. Knight,
Xing Du,
Steve Geist:
Information Survivability Control Systems.
ICSE 1999: 184-192 |
30 | EE | John C. Knight,
P. Thomas Fletcher,
Brian R. Hicks:
Tool Support for Production Use of Formal Techniques.
World Congress on Formal Methods 1999: 1854 |
1998 |
29 | EE | John C. Knight:
Challenges in the Utilization of Formal Methods.
FTRTFT 1998: 1-17 |
28 | | John C. Knight,
Michael F. Dunn:
Software Quality Through Domain-Driven Certification.
Ann. Software Eng. 5: 293-315 (1998) |
1997 |
27 | | John C. Knight,
Susan S. Brilliant:
Preliminary Evaluation of a Formal Approach to User Interface Specification.
ZUM 1997: 329-346 |
26 | | Paul Ammann,
Dahlard L. Lukes,
John C. Knight:
Applying Data Redundancy to Differential Equation Solvers.
Ann. Software Eng. 4: 65-77 (1997) |
25 | | James C. French,
John C. Knight,
Allison L. Powell:
Applying Hypertext Structures to Software Documentation.
Inf. Process. Manage. 33(2): 219-231 (1997) |
1996 |
24 | EE | Kevin J. Sullivan,
John C. Knight:
Experience Assessing an Architectural Approach to Large-Scale Systematic Reuse.
ICSE 1996: 220-229 |
23 | EE | Allison L. Powell,
James C. French,
John C. Knight:
A systematic approach to creating and maintaining software documentation.
SAC 1996: 201-208 |
1994 |
22 | EE | John C. Knight,
Aaron G. Cass,
Antonio M. Fernández,
Kevin G. Wika:
Testing a Safety-Critical Application.
ISSTA 1994: 199 |
21 | EE | John C. Knight,
Jane C. Prey,
William A. Wulf:
Undergraduate computer science education: a new curriculum philosophy & overview.
SIGCSE 1994: 155-159 |
20 | EE | John C. Knight,
Bev Littlewood:
Guest Editors' Introduction: Critical Task of Writing Dependable Software.
IEEE Software 11(1): 16-20 (1994) |
19 | EE | Paul Ammann,
Susan S. Brilliant,
John C. Knight:
The Effect of Imperfect Error Detection on Reliability Assessment via Life Testing.
IEEE Trans. Software Eng. 20(2): 142-148 (1994) |
1993 |
18 | EE | Michael F. Dunn,
John C. Knight:
Automating the Detection of Reusable Parts in Existing Software.
ICSE 1993: 381-390 |
17 | | John C. Knight,
E. Ann Myers:
An Improved Inspection Technique.
Commun. ACM 36(11): 50-61 (1993) |
1992 |
16 | | John C. Knight,
Darrell M. Kienzle:
Preliminary Experience Using Z to Specify a Safety-Critical System.
Z User Workshop 1992: 109-118 |
1991 |
15 | EE | Michael F. Dunn,
John C. Knight:
Software Reuse in an Industrial Setting: A Case Study.
ICSE 1991: 329-338 |
14 | EE | Dave E. Eckhardt,
Alper K. Caglayan,
John C. Knight,
Larry D. Lee,
David F. McAllister,
Mladen A. Vouk,
John P. J. Kelly:
An Experimental Evaluation of Software Redundancy as a Strategy For Improving Reliability.
IEEE Trans. Software Eng. 17(7): 692-702 (1991) |
1990 |
13 | EE | Susan S. Brilliant,
John C. Knight,
Nancy G. Leveson:
Analysis of Faults in an N-Version Software Experiment.
IEEE Trans. Software Eng. 16(2): 238-247 (1990) |
12 | EE | Nancy G. Leveson,
Stephen S. Cha,
John C. Knight,
Timothy J. Shimeall:
The Use of Self Checks and Voting in Software Error Detection: An Empirical Study.
IEEE Trans. Software Eng. 16(4): 432-443 (1990) |
1989 |
11 | | John C. Knight,
Paul Ammann:
Issues Influencing the Use of N-Version Programming.
IFIP Congress 1989: 217-222 |
10 | | John C. Knight:
Can Software Faults be Tolerated? (Position Statement).
IFIP Congress 1989: 501 |
9 | EE | Susan S. Brilliant,
John C. Knight,
Nancy G. Leveson:
The Consistent Comparison Problem in N-Version Software.
IEEE Trans. Software Eng. 15(11): 1481-1485 (1989) |
1988 |
8 | | Paul Ammann,
John C. Knight:
Data Diversity: An Approach to Software Fault Tolerance.
IEEE Trans. Computers 37(4): 418-425 (1988) |
1987 |
7 | | John C. Knight,
John I. A. Urquhart:
On the Implementation and Use of Ada on Fault-Tolerant Distributed Systems.
IEEE Trans. Software Eng. 13(5): 553-563 (1987) |
1986 |
6 | | John C. Knight,
Nancy G. Leveson:
An Experimental Evaluation of the Assumption of Independence in Multiversion Programming.
IEEE Trans. Software Eng. 12(1): 96-109 (1986) |
1985 |
5 | | John C. Knight,
Paul Ammann:
An Experimental Evaluation of Simple Methods for Seeding Program Errors.
ICSE 1985: 337-342 |
4 | | John C. Knight,
James L. Russel:
Software Development Tools for Microcontrollers.
Softw., Pract. Exper. 15(5): 459-472 (1985) |
1983 |
3 | | Thomas Anderson,
John C. Knight:
A Framework for Software Fault Tolerance in Real-Time Systems.
IEEE Trans. Software Eng. 9(3): 355-364 (1983) |
2 | | John C. Knight,
Douglas D. Dunlop:
On the Design of a Special-purpose Scientific Programming Language.
Softw., Pract. Exper. 13(10): 893-907 (1983) |
1 | | W. Robert Collings,
Robert E. Noonan,
Samuel T. Gregory,
John C. Knight,
Roy W. Hamm:
Comprehensive Tools for Assembler Construction.
Softw., Pract. Exper. 13(5): 447-451 (1983) |