Richard C. Linger

Mark G. Pleszkoch, Richard C. Linger, Stacy J. Prowell, Kirk Sayre, Luanne Burns: Automated Behavior Computation for Software Analysis and Validation. HICSS 2012: 5537-5545

Richard C. Linger, Mark G. Pleszkoch, Stacy J. Prowell, Kirk Sayre: Behavior computation for smart grid software analysis. CSIIRW 2011: 51

Rosann Webb Collins, Alan R. Hevner, Richard C. Linger: Evaluating a Disruptive Innovation: Function Extraction Technology in Software Development. HICSS 2011: 1-8

Richard C. Linger, Kirk Sayre, Tim Daly, Mark G. Pleszkoch: Function Extraction Technology: Computing the Behavior of Malware. HICSS 2011: 1-9

Nancy R. Mead, Julia H. Allen, Mark A. Ardis, Thomas B. Hilburn, Andrew J. Kornecki, Richard C. Linger, James McDonald: Development of a Master of Software Assurance Reference Curriculum. IJSSE 1(4): 18-34 (2010)

Norman F. Schneidewind, Mark Montrose, Alec Feinberg, Arbi Ghazarian, Jim McLinn, Christian Hansen, Phillip A. Laplante, Nihal Sinnadurai, Enrico Zio, Richard C. Linger, W. Eric Wong, Shiuh-Pyng Shieh, Joseph Childs: IEEE Reliability Society Technical Operations Annual Technical Report for 2010. IEEE Transactions on Reliability 59(3): 449-482 (2010)

Richard C. Linger, Mark G. Pleszkoch, Kirk Sayre, Tim Daly: Computing the behavior of malware. CSIIRW 2010: 36

Richard C. Linger, Stacy J. Prowell, Kirk Sayre: Computing the behavior of malicious code with function extraction technology. CSIIRW 2009: 36

Gwendolyn H. Walton, Thomas A. Longstaff, Richard C. Linger: Computational Evaluation of Software Security Attributes. HICSS 2009: 1-10

Mark G. Pleszkoch, Richard C. Linger, Alan R. Hevner: Introducing function extraction into software testing. DATA BASE 39(3): 41-50 (2008)

Rosann Webb Collins, Alan R. Hevner, Gwendolyn H. Walton, Richard C. Linger: The impacts of function extraction technology on program comprehension: A controlled experiment. Information & Software Technology 50(11): 1165-1179 (2008)

Alan R. Hevner, Richard C. Linger, Gwendolyn H. Walton: Next-Generation Software Engineering Introduction to Minitrack. HICSS 2007: 276

Richard C. Linger, Mark G. Pleszkoch, Luanne Burns, Alan R. Hevner, Gwendolyn H. Walton: Next-Generation Software Engineering: Function Extraction for Computation of Software Behavior. HICSS 2007: 277

Casey K. Fung, Patrick C. K. Hung, Richard C. Linger, Guijun Wang, Gwendolyn H. Walton: A Service-Oriented Composition Framework with QoS Management. Int. J. Web Service Res. 3(3): 108-132 (2006)

Casey K. Fung, Patrick C. K. Hung, Richard C. Linger, Gwendolyn H. Walton: Extending Business Process Execution Language for Web Services with Service Level Agreements Expressed in Computational Quality Attributes. HICSS 2005

Alan R. Hevner, Richard C. Linger, Gwendolyn H. Walton: Testing and Certification of Trustworthy Systems Introduction to Minitrack. HICSS 2005

Casey K. Fung, Patrick C. K. Hung, Guijun Wang, Richard C. Linger, Gwendolyn H. Walton: A Study of Service Composition with QoS Management. ICWS 2005: 717-724

Richard C. Linger, Alan R. Hevner, Gwendolyn H. Walton, Mark G. Pleszkoch: Automated Detection of Injected Faults in a Differential Equation Solver Network Systems Development. HASE 2004: 265-266

Richard C. Linger, Mark G. Pleszkoch: Function Extraction (FX) Technology: Automated Calculation of Program Behavior for High-Assurance Systems. HASE 2004: 267-268

Alan R. Hevner, Richard C. Linger, Gwendolyn H. Walton: Testing and Certification of Trustworthy Systems: Minitrack Introduction. HICSS 2004

Mark G. Pleszkoch, Richard C. Linger: Improving Network System Security with Function Extraction Technology for Automated Calculation of Program Behavior. HICSS 2004

Alan R. Hevner, Richard C. Linger, Gwendolyn H. Walton: Testing and Certification of Trustworthy Systems Introduction to Minitrack. HICSS 2003: 336

Ann E. Kelley Sobel, Richard C. Linger: Minitrack Introduction. HICSS 2002: 275

Alan R. Hevner, Richard C. Linger, Ann E. Kelley Sobel, Gwendolyn H. Walton: The Flow-Service-Quality Framework: Unified Engineering for Large-Scale, Adaptive Systems. HICSS 2002: 278

Nancy R. Mead, Richard C. Linger, John McHugh, Howard F. Lipson: Managing Software Development for Survivable Systems. Ann. Software Eng. 11(1): 45-78 (2001)

Ann E. Kelley Sobel, Richard C. Linger: Advances in Software Specification and Verification - Minitrack Introduction. HICSS 2001

Sanjay K. Jha, Jeannette M. Wing, Richard C. Linger, Thomas A. Longstaff: Survivability Analysis of Network Specifications. DSN 2000: 613-622

Ann E. Kelley Sobel, Richard C. Linger: Advances in Software Specification and Verification - Introduction. HICSS 2000

Robert J. Ellison, David A. Fisher, Richard C. Linger, Howard F. Lipson, Thomas A. Longstaff, Nancy R. Mead: Survivability: Protecting Your Critical Systems. IEEE Internet Computing 3(6): 55-63 (1999)

Robert J. Ellison, Richard C. Linger, Thomas A. Longstaff, Nancy R. Mead: Survivable Network System Analysis: A Case Study. IEEE Software 16(4): 70-77 (1999)

Alan R. Hevner, Richard C. Linger: Methods and Tools for Information Systems Development - Introduction. HICSS 1999

Richard C. Linger: Systematic Generation of Stochastic Diversity as an Intrusion Barrier in Survivable Systems Software. HICSS 1999

Robert Oshana, Richard C. Linger: Capability Maturity Model Software Development using Cleanroom Software Engineering Principles - Results of an Industry Project. HICSS 1999

Alan R. Hevner, Richard C. Linger: Methods and Tools for Information Systems Development: Introduction to Minitrack. HICSS (6) 1998: 72

Richard C. Linger, Nancy R. Mead, Howard F. Lipson: Requirements Definition for Survivable Network Systems. ICRE 1998: 14-23

Richard C. Linger: Issues in Requirements Definition for Survivable Systems. ICRE 1998: 198-

Robert J. Ellison, Richard C. Linger, Thomas A. Longstaff, Nancy R. Mead: Case Study in Survivable Network System Analysis. CoRR cs.SE/9811011 (1998)

Richard C. Linger, Carmen J. Trammell: Integrating Software Development Technology and Management: Cleanroom Software Engineering and the CMM for Software. HICSS (3) 1997: 188-197

Philip A. Hausler, Richard C. Linger, Carmen J. Trammell: Adopting Cleanroom Software Engineering with a Phased Approach. IBM Systems Journal 33(1): 89-109 (1994)

Richard C. Linger: Cleanroom Process Model. IEEE Software 11(2): 50-58 (1994)

Philip A. Hausler, Richard C. Linger: From software craft to software engineering: the Cleanroom method. SEKE 1994: 172-179

Richard C. Linger: Cleanroom Software Engineering for Zero-Defect Software. ICSE 1993: 2-13

R. A. Sprangler, Richard C. Linger: The IBM Cleanroom Software Engineering Technology Transfer Program. CSEE 1992: 380-394

Philip A. Hausler, Mark G. Pleszkoch, Richard C. Linger, Alan R. Hevner: Using Function Abstraction to Understand Program Behavior. IEEE Software 7(1): 55-63 (1990)

Richard C. Linger: Mathematics-Based Software Engineering for Completely Validated Software. ICSE 1989: 358

Harlan D. Mills, Richard C. Linger, Alan R. Hevner: Box Structured Information Systems. IBM Systems Journal 26(4): 395-413 (1987)

Harlan D. Mills, Richard C. Linger: Data Structured Programming: Program Design without Arrays and Pointers. IEEE Trans. Software Eng. 12(2): 192-197 (1986)

C. Sekar Chandersekaran, Richard C. Linger: Software specification using the SPECIAL language. Journal of Systems and Software 2(1): 31-38 (1981)

Richard C. Linger: The Management of Software Engineering. Part III: Software Design Practices. IBM Systems Journal 19(4): 432-450 (1980)

Richard C. Linger, Harlan D. Mills, Bernard I. Witt: Structured programming - theory and practice. The systems programming series, Addison-Wesley 1979, isbn 978-0-201-14461-1, pp. I-XIV, 1-402