Richard C. Linger

Publication Activity (10 Years)

Years Active: 1980-2024
Publications (10 Years): 6

Top Topics

Causal Relations

Actionable Knowledge

Invariant Descriptors

Discovered Rules

Top Venues

World Conference on Information Security Education

Acta Informatica

Publications

Wided Ghardallou, Hessamaldin Mohammadi, Richard C. Linger, Mark G. Pleszkoch, Ji Meng Loh, Ali Mili
Invariant relations for affine loops. Acta Informatica 61 (3) (2024)
Hessamaldin Mohammadi, Wided Ghardallou, Richard C. Linger, Ali Mili
Computing Program Functions. FormaliSE@ICSE (2022)
Richard C. Linger, Alan R. Hevner
Flow semantics for intellectual control in IoT systems. J. Decis. Syst. 27 (2) (2018)
Richard C. Linger, Luanne Chamberlain, Matt Bishop, Melissa Dark
Agile Research for Cybersecurity: Creating Authoritative, Actionable Knowledge When Speed Matters. HICSS (2017)
A. J. Risko, Luanne Burns Goldrich, Nykia Jackson, Robert Gatlin, Brian R. Gattoni, Richard C. Linger
Using the eR&D Approach to Pilot Deployment and Assessment in DHS. HICSS (2016)
Melissa Dark, Matt Bishop, Richard C. Linger, Luanne Goldrich
Realism in Teaching Cybersecurity Research: The Agile Research Process. World Conference on Information Security Education (2015)
Luanne Burns Goldrich, Richard C. Linger, Richard George
Introduction to Enlightened Cybersecurity and Software Assurance Minitrack. HICSS (2014)
Richard C. Linger, Mark G. Pleszkoch, Stacy J. Prowell, Kirk Sayre, T. Scott Ankrum
Computing legacy software behavior to understand functionality and security properties: an IBM/370 demonstration. CSIIRW (2013)
Stacy J. Prowell, Mark G. Pleszkoch, Kirk Sayre, Richard C. Linger
Automated vulnerability detection for compiled smart grid software. ISGT (2012)
Mark G. Pleszkoch, Richard C. Linger, Stacy J. Prowell, Kirk Sayre, Luanne Burns
Automated Behavior Computation for Software Analysis and Validation. HICSS (2012)
Rosann W. Collins, Alan R. Hevner, Richard C. Linger
Evaluating a Disruptive Innovation: Function Extraction Technology in Software Development. HICSS (2011)
Richard C. Linger, Mark G. Pleszkoch, Stacy J. Prowell, Kirk Sayre
Behavior computation for smart grid software analysis. CSIIRW (2011)
Richard C. Linger, Kirk Sayre, Tim Daly, Mark G. Pleszkoch
Function Extraction Technology: Computing the Behavior of Malware. HICSS (2011)
Richard C. Linger, Mark G. Pleszkoch, Kirk Sayre, Tim Daly
Computing the behavior of malware. CSIIRW (2010)
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. Int. J. Secur. Softw. Eng. 1 (4) (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 Trans. Reliab. 59 (3) (2010)
Gwendolyn H. Walton, Thomas A. Longstaff, Richard C. Linger
Computational Evaluation of Software Security Attributes. HICSS (2009)
Richard C. Linger, Stacy J. Prowell, Kirk Sayre
Computing the behavior of malicious code with function extraction technology. CSIIRW (2009)
Rosann Webb Collins, Alan R. Hevner, Gwendolyn H. Walton, Richard C. Linger
The impacts of function extraction technology on program comprehension: A controlled experiment. Inf. Softw. Technol. 50 (11) (2008)
Mark G. Pleszkoch, Richard C. Linger, Alan R. Hevner
Introducing function extraction into software testing. Data Base 39 (3) (2008)
Alan R. Hevner, Richard C. Linger, Gwendolyn H. Walton
Next-Generation Software Engineering Introduction to Minitrack. HICSS (2007)
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)
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 Serv. Res. 3 (3) (2006)
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)
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, 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)
Richard C. Linger, Mark G. Pleszkoch
Function Extraction (FX) Technology: Automated Calculation of Program Behavior for High-Assurance Systems. HASE (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: Minitrack Introduction. HICSS (2004)
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)
Alan R. Hevner, Richard C. Linger, Gwendolyn H. Walton
Testing and Certification of Trustworthy Systems Introduction to Minitrack. HICSS (2003)
Ann E. Kelley Sobel, Richard C. Linger
Minitrack Introduction. HICSS (2002)
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)
Ann E. Kelley Sobel, Richard C. Linger
Advances in Software Specification and Verification - Minitrack Introduction. HICSS (2001)
Nancy R. Mead, Richard C. Linger, John McHugh, Howard F. Lipson
Managing Software Development for Survivable Systems. Ann. Softw. Eng. 11 (1) (2001)
Somesh Jha, Jeannette M. Wing, Richard C. Linger, Thomas A. Longstaff
Survivability Analysis of Network Specifications. DSN (2000)
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 Comput. 3 (6) (1999)
Robert Oshana, Richard C. Linger
Capability Maturity Model Software Development using Cleanroom Software Engineering Principles - Results of an Industry Project. HICSS (1999)
Richard C. Linger
Systematic Generation of Stochastic Diversity as an Intrusion Barrier in Survivable Systems Software. HICSS (1999)
Robert J. Ellison, Richard C. Linger, Thomas A. Longstaff, Nancy R. Mead
Survivable Network System Analysis: A Case Study. IEEE Softw. 16 (4) (1999)
Alan R. Hevner, Richard C. Linger
Methods and Tools for Information Systems Development - Introduction. HICSS (1999)
Richard C. Linger
Issues in Requirements Definition for Survivable Systems. ICRE (1998)
Alan R. Hevner, Richard C. Linger
Methods and Tools for Information Systems Development: Introduction to Minitrack. HICSS (6) (1998)
Robert J. Ellison, Richard C. Linger, Thomas A. Longstaff, Nancy R. Mead
Case Study in Survivable Network System Analysis CoRR (1998)
Richard C. Linger, Nancy R. Mead, Howard F. Lipson
Requirements Definition for Survivable Network Systems. ICRE (1998)
Richard C. Linger, Carmen J. Trammell
Integrating Software Development Technology and Management: Cleanroom Software Engineering and the CMM for Software. HICSS (3) (1997)
Carmen J. Trammell, Mark G. Pleszkoch, Richard C. Linger, Alan R. Hevner
The incremental development process in Cleanroom software engineering. Decis. Support Syst. 17 (1) (1996)
Philip A. Hausler, Richard C. Linger
From software craft to software engineering: the Cleanroom method. SEKE (1994)
Richard C. Linger
Cleanroom Process Model. IEEE Softw. 11 (2) (1994)
Philip A. Hausler, Richard C. Linger, Carmen J. Trammell
Adopting Cleanroom Software Engineering with a Phased Approach. IBM Syst. J. 33 (1) (1994)
Richard C. Linger
Cleanroom Software Engineering for Zero-Defect Software. ICSE (1993)
Mark G. Pleszkoch, Richard C. Linger, Alan R. Hevner
Eliminating non-traversable paths from structured programs. ICSM (1992)
R. A. Sprangler, Richard C. Linger
The IBM Cleanroom Software Engineering Technology Transfer Program. CSEE (1992)
Philip A. Hausler, Mark G. Pleszkoch, Richard C. Linger, Alan R. Hevner
Using Function Abstraction to Understand Program Behavior. IEEE Softw. 7 (1) (1990)
Richard C. Linger
Mathematics-Based Software Engineering for Completely Validated Software. ICSE (1989)
Richard C. Linger
Software maintenance as an engineering discipline. ICSM (1988)
Richard C. Linger, Harlan D. Mills
A case study in cleanroom software engineering: the IBM COBOL Structuring Facility. COMPSAC (1988)
Harlan D. Mills, Richard C. Linger, Alan R. Hevner
Box Structured Information Systems. IBM Syst. J. 26 (4) (1987)
Harlan D. Mills, Michael G. Dyer, Richard C. Linger
Cleanroom Software Engineering. IEEE Softw. 4 (5) (1987)
Harlan D. Mills, Richard C. Linger
Data Structured Programming: Program Design without Arrays and Pointers. IEEE Trans. Software Eng. 12 (2) (1986)
C. Sekar Chandersekaran, Richard C. Linger
Software specification using the SPECIAL language. J. Syst. Softw. 2 (1) (1981)
Richard C. Linger
The Management of Software Engineering. Part III: Software Design Practices. IBM Syst. J. 19 (4) (1980)