Structured programming - theory and practice. - Richard C. Linger; Harlan D. Mills; Bernard I. Witt (Addison-Wesley, 1979)

The Management of Software Engineering. Part III: Software Design Practices. - Richard C. Linger (IBM Syst. J., 1980)

Software specification using the SPECIAL language. - C. Sekar Chandersekaran; Richard C. Linger (J. Syst. Softw., 1981)

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

Box Structured Information Systems. - Harlan D. Mills; Richard C. Linger; Alan R. Hevner (IBM Syst. J., 1987)

Cleanroom Software Engineering. - Harlan D. Mills; Michael G. Dyer; Richard C. Linger (IEEE Softw., 1987)

A case study in cleanroom software engineering: the IBM COBOL Structuring Facility. - Richard C. Linger; Harlan D. Mills (COMPSAC, 1988)

Software maintenance as an engineering discipline. - Richard C. Linger (ICSM, 1988)

Mathematics-Based Software Engineering for Completely Validated Software. - Richard C. Linger (ICSE, 1989)

Using Function Abstraction to Understand Program Behavior. - Philip A. Hausler; Mark G. Pleszkoch; Richard C. Linger; Alan R. Hevner (IEEE Softw., 1990)

The IBM Cleanroom Software Engineering Technology Transfer Program. - R. A. Sprangler; Richard C. Linger (CSEE, 1992)

Eliminating non-traversable paths from structured programs. - Mark G. Pleszkoch; Richard C. Linger; Alan R. Hevner (ICSM, 1992)

Cleanroom Software Engineering for Zero-Defect Software. - Richard C. Linger (ICSE, 1993)

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

Adopting Cleanroom Software Engineering with a Phased Approach. - Philip A. Hausler; Richard C. Linger; Carmen J. Trammell (IBM Syst. J., 1994)

Cleanroom Process Model. - Richard C. Linger (IEEE Softw., 1994)

The incremental development process in Cleanroom software engineering. - Carmen J. Trammell; Mark G. Pleszkoch; Richard C. Linger; Alan R. Hevner (Decis. Support Syst., 1996)

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

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

Issues in Requirements Definition for Survivable Systems. - Richard C. Linger (ICRE, 1998)

Requirements Definition for Survivable Network Systems. - Richard C. Linger; Nancy R. Mead; Howard F. Lipson (ICRE, 1998)

Case Study in Survivable Network System Analysis - Robert J. Ellison; Richard C. Linger; Thomas A. Longstaff; Nancy R. Mead (CoRR, 1998)

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

Systematic Generation of Stochastic Diversity as an Intrusion Barrier in Survivable Systems Software. - Richard C. Linger (HICSS, 1999)

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

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

Survivable Network System Analysis: A Case Study. - Robert J. Ellison; Richard C. Linger; Thomas A. Longstaff; Nancy R. Mead (IEEE Softw., 1999)

Survivability Analysis of Network Specifications. - Somesh Jha; Jeannette M. Wing; Richard C. Linger; Thomas A. Longstaff (DSN, 2000)

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

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

Managing Software Development for Survivable Systems. - Nancy R. Mead; Richard C. Linger; John McHugh; Howard F. Lipson (Ann. Softw. Eng., 2001)

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

Minitrack Introduction. - Ann E. Kelley Sobel; Richard C. Linger (HICSS, 2002)

Testing and Certification of Trustworthy Systems Introduction to Minitrack. - Alan R. Hevner; Richard C. Linger; Gwendolyn H. Walton (HICSS, 2003)

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

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

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

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

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

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

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

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

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

Introducing function extraction into software testing. - Mark G. Pleszkoch; Richard C. Linger; Alan R. Hevner (Data Base, 2008)

The impacts of function extraction technology on program comprehension: A controlled experiment. - Rosann Webb Collins; Alan R. Hevner; Gwendolyn H. Walton; Richard C. Linger (Inf. Softw. Technol., 2008)

Computing the behavior of malicious code with function extraction technology. - Richard C. Linger; Stacy J. Prowell; Kirk Sayre (CSIIRW, 2009)

Computational Evaluation of Software Security Attributes. - Gwendolyn H. Walton; Thomas A. Longstaff; Richard C. Linger (HICSS, 2009)

Computing the behavior of malware. - Richard C. Linger; Mark G. Pleszkoch; Kirk Sayre; Tim Daly (CSIIRW, 2010)

Development of a Master of Software Assurance Reference Curriculum. - Nancy R. Mead; Julia H. Allen; Mark A. Ardis; Thomas B. Hilburn; Andrew J. Kornecki; Richard C. Linger; James McDonald (Int. J. Secur. Softw. Eng., 2010)

IEEE Reliability Society Technical Operations Annual Technical Report for 2010. - Norman F. Schneidewind; Mark Montrose; Alec Feinberg; Arbi Ghazarian; Jim McLinn; Christian K. Hansen; Phillip A. Laplante; Nihal Sinnadurai; Enrico Zio; Richard C. Linger; W. Eric Wong; Shiuh-Pyng Shieh; et al. (IEEE Trans. Reliab., 2010)

Behavior computation for smart grid software analysis. - Richard C. Linger; Mark G. Pleszkoch; Stacy J. Prowell; Kirk Sayre (CSIIRW, 2011)

Evaluating a Disruptive Innovation: Function Extraction Technology in Software Development. - Rosann W. Collins; Alan R. Hevner; Richard C. Linger (HICSS, 2011)

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

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

Automated vulnerability detection for compiled smart grid software. - Stacy J. Prowell; Mark G. Pleszkoch; Kirk Sayre; Richard C. Linger (ISGT, 2012)

Computing legacy software behavior to understand functionality and security properties: an IBM/370 demonstration. - Richard C. Linger; Mark G. Pleszkoch; Stacy J. Prowell; Kirk Sayre; T. Scott Ankrum (CSIIRW, 2013)

Introduction to Software Cybersecurity, Assurance, and Testing Minitrack. - Luanne Burns; Rick Linger; Jim Alves-Foss (HICSS, 2013)

Introduction to Enlightened Cybersecurity and Software Assurance Minitrack. - Luanne Burns Goldrich; Richard C. Linger; Richard George 003 (HICSS, 2014)

Controlling Combinatorial Complexity in Software and Malware Behavior Computation. - Mark G. Pleszkoch; Rick Linger (CISR, 2015)

Realism in Teaching Cybersecurity Research: The Agile Research Process. - Melissa Dark; Matt Bishop; Richard C. Linger; Luanne Goldrich (World Conference on Information Security Education, 2015)

Introduction to Cybersecurity and Software Assurance Minitrack. - Luanne Burns Goldrich; Richard George 003; Rick Linger (HICSS, 2016)

Using the eR&D Approach to Pilot Deployment and Assessment in DHS. - A. J. Risko; Luanne Burns Goldrich; Nykia Jackson; Robert Gatlin; Brian R. Gattoni; Richard C. Linger (HICSS, 2016)

Agile Research for Cybersecurity: Creating Authoritative, Actionable Knowledge When Speed Matters. - Richard C. Linger; Luanne Chamberlain; Matt Bishop; Melissa Dark (HICSS, 2017)

Flow semantics for intellectual control in IoT systems. - Richard C. Linger; Alan R. Hevner (J. Decis. Syst., 2018)

Augmenting Internet of Things (IoT) Architectures with Semantic Capabilities. - Alan R. Hevner; Richard C. Linger (The Art of Structuring, 2019)

Computing Program Functions. - Hessamaldin Mohammadi; Wided Ghardallou; Richard C. Linger; Ali Mili 001 (FormaliSE@ICSE, 2022)

"Function Extraction: A New Paradigm for Producing Secure Code". - Richard C. Linger; Mark G. Pleszkoch; Jack McGaughey; John McHugh; Wided Ghardallou; Ali Mili 001 (NSPW, 2024)

Invariant relations for affine loops. - Wided Ghardallou; Hessamaldin Mohammadi; Richard C. Linger; Mark G. Pleszkoch; Ji Meng Loh; Ali Mili 001 (Acta Informatica, 2024)