Survivable network systems: An emerging discipline RJ Ellison, DA Fisher, RC Linger, HF Lipson, T Longstaff, NR Mead Technical Report CMU/SEI-97-TR-013, Software Engineering Institute, Carnegie …, 1997 | 736 | 1997 |
Structured programming: theory and practice RC Linger, HD Mills, BI Witt | 688 | 1979 |
Cleanroom software engineering HD Mills, M Dyer, RC Linger | 664 | 1987 |
Attack modeling for information security and survivability AP Moore, RJ Ellison, RC Linger Carnegie Mellon University, Software Engineering Institute, 2001 | 550 | 2001 |
Cleanroom software engineering: technology and process SJ Prowell, CJ Trammell, RC Linger, JH Poore Pearson Education, 1999 | 376 | 1999 |
Survivability: Protecting your critical systems RJ Ellison, DA Fisher, RC Linger, HF Lipson, TA Longstaff, NR Mead IEEE Internet Computing 3 (6), 55-63, 1999 | 279 | 1999 |
Principles of information systems analysis and design HD Mills, RC Linger, AR Hevner | 237 | 1986 |
Cleanroom process model RC Linger IEEE Software 11 (2), 50-58, 1994 | 230 | 1994 |
Survivable network system analysis: A case study RJ Ellison, RC Linger, T Longstaff, NR Mead IEEE software 16 (4), 70-77, 1999 | 192 | 1999 |
Using function abstraction to understand program behavior PA Hausler, MG Pleszkoch, RC Linger, AR Hevner IEEE Software 7 (1), 55-63, 1990 | 171 | 1990 |
Survivable network analysis method NR Mead, RJ Ellison, RC Linger, T Longstaff, J McHugh CMU/SEI, 2000 | 167 | 2000 |
Requirements definition for survivable network systems RC Linger, NR Mead, HF Lipson Proceedings of IEEE International Symposium on Requirements Engineering: RE …, 1998 | 134 | 1998 |
Cleanroom software engineering for zero-defect software RC Linger Proceedings of 1993 15th International Conference on Software Engineering, 2-13, 1993 | 98 | 1993 |
Box structured information systems HD Mills, RC Linger, AR Hevner IBM Systems Journal 26 (4), 395-413, 1987 | 80 | 1987 |
Adopting Cleanroom software engineering with a phased approach PA Hausler, RC Linger, CJ Trammell IBM Systems Journal 33 (1), 89-109, 1994 | 78 | 1994 |
An approach to survivable systems RJ Ellison, DA Fisher, RC Linger, HF Lipson, TA Longstaff, NR Mead NATO IST Symposium on Protecting Information Systems in the 21st Century …, 1999 | 62 | 1999 |
A case study in cleanroom software engineering: The IBM COBOL structuring facility RC Linger, HD Mills | 60 | 1988 |
Data structured programming: Program design without arrays and pointers HD Mills, RC Linger IEEE Transactions on Software Engineering, 192-197, 1986 | 60 | 1986 |
Survivability analysis of distributed systems using attack tree methodology C Fung, YL Chen, X Wang, J Lee, R Tarquini, M Anderson, R Linger MILCOM 2005-2005 IEEE Military Communications Conference, 583-589, 2005 | 53 | 2005 |
Software assurance curriculum project volume I: Master of software assurance reference curriculum NR Mead, JH Allen, M Ardis, TB Hilburn, AJ Kornecki, RC Linger, ... Carnegie Mellon University, 2010 | 47 | 2010 |