Richard C. Linger

According to our database, Richard C. Linger authored at least 67 papers between 1979 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Invariant relations for affine loops.

Wided Ghardallou, Hessamaldin Mohammadi, Richard C. Linger, Mark G. Pleszkoch, Ji Meng Loh, Ali Mili

Acta Informatica, September, 2024

2022

Computing Program Functions.

Hessamaldin Mohammadi, Wided Ghardallou, Richard C. Linger, Ali Mili

Proceedings of the 10th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2022

2019

Augmenting Internet of Things (IoT) Architectures with Semantic Capabilities.

Alan R. Hevner, Richard C. Linger

Proceedings of the Art of Structuring, 2019

2018

Flow semantics for intellectual control in IoT systems.

Richard C. Linger, Alan R. Hevner

J. Decis. Syst., 2018

2017

Agile Research for Cybersecurity: Creating Authoritative, Actionable Knowledge When Speed Matters.

Richard C. Linger, Luanne Chamberlain, Matt Bishop, Melissa Dark

Proceedings of the 50th Hawaii International Conference on System Sciences, 2017

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

Proceedings of the 49th Hawaii International Conference on System Sciences, 2016

Introduction to Cybersecurity and Software Assurance Minitrack.

Luanne Burns Goldrich, Richard George, Rick Linger

Proceedings of the 49th Hawaii International Conference on System Sciences, 2016

2015

Realism in Teaching Cybersecurity Research: The Agile Research Process.

Melissa Dark, Matt Bishop, Richard C. Linger, Luanne Goldrich

Proceedings of the Information Security Education Across the Curriculum, 2015

Controlling Combinatorial Complexity in Software and Malware Behavior Computation.

Mark G. Pleszkoch, Rick Linger

Proceedings of the 10th Annual Cyber and Information Security Research Conference, 2015

2014

Introduction to Enlightened Cybersecurity and Software Assurance Minitrack.

Luanne Burns Goldrich, Richard C. Linger, Richard George

Proceedings of the 47th Hawaii International Conference on System Sciences, 2014

2013

Introduction to Software Cybersecurity, Assurance, and Testing Minitrack.

Luanne Burns, Rick Linger, Jim Alves-Foss

Proceedings of the 46th Hawaii International Conference on System Sciences, 2013

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

Proceedings of the Cyber Security and Information Intelligence, 2013

2012

Automated vulnerability detection for compiled smart grid software.

Stacy J. Prowell, Mark G. Pleszkoch, Kirk Sayre, Richard C. Linger

Proceedings of the IEEE PES Innovative Smart Grid Technologies Conference, 2012

Automated Behavior Computation for Software Analysis and Validation.

Mark G. Pleszkoch, Richard C. Linger, Stacy J. Prowell, Kirk Sayre, Luanne Burns

Proceedings of the 45th Hawaii International International Conference on Systems Science (HICSS-45 2012), 2012

2011

Function Extraction Technology: Computing the Behavior of Malware.

Richard C. Linger, Kirk Sayre, Tim Daly, Mark G. Pleszkoch

Proceedings of the 44th Hawaii International International Conference on Systems Science (HICSS-44 2011), 2011

Evaluating a Disruptive Innovation: Function Extraction Technology in Software Development.

Rosann W. Collins, Alan R. Hevner, Richard C. Linger

Proceedings of the 44th Hawaii International International Conference on Systems Science (HICSS-44 2011), 2011

Behavior computation for smart grid software analysis.

Richard C. Linger, Mark G. Pleszkoch, Stacy J. Prowell, Kirk Sayre

Proceedings of the 7th Cyber Security and Information Intelligence Research Workshop, 2011

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, Joseph Childs

IEEE Trans. Reliab., 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

Computing the behavior of malware.

Richard C. Linger, Mark G. Pleszkoch, Kirk Sayre, Tim Daly

Proceedings of the 6th Cyber Security and Information Intelligence Research Workshop, 2010

2009

Computational Evaluation of Software Security Attributes.

Gwendolyn H. Walton, Thomas A. Longstaff, Richard C. Linger

Proceedings of the 42st Hawaii International International Conference on Systems Science (HICSS-42 2009), 2009

Computing the behavior of malicious code with function extraction technology.

Richard C. Linger, Stacy J. Prowell, Kirk Sayre

Proceedings of the Fifth Cyber Security and Information Intelligence Research Workshop, 2009

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

Introducing function extraction into software testing.

Mark G. Pleszkoch, Richard C. Linger, Alan R. Hevner

Data Base, 2008

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

Proceedings of the 40th Hawaii International International Conference on Systems Science (HICSS-40 2007), 2007

Next-Generation Software Engineering Introduction to Minitrack.

Alan R. Hevner, Richard C. Linger, Gwendolyn H. Walton

Proceedings of the 40th Hawaii International International Conference on Systems Science (HICSS-40 2007), 2007

2006

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

2005

A Study of Service Composition with QoS Management.

Casey K. Fung, Patrick C. K. Hung, Guijun Wang, Richard C. Linger, Gwendolyn H. Walton

Proceedings of the 2005 IEEE International Conference on Web Services (ICWS 2005), 2005

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

Proceedings of the 38th Hawaii International Conference on System Sciences (HICSS-38 2005), 2005

2004

Improving Network System Security with Function Extraction Technology for Automated Calculation of Program Behavior.

Mark G. Pleszkoch, Richard C. Linger

Proceedings of the 37th Hawaii International Conference on System Sciences (HICSS-37 2004), 2004

Testing and Certification of Trustworthy Systems: Minitrack Introduction.

Alan R. Hevner, Richard C. Linger, Gwendolyn H. Walton

Proceedings of the 37th Hawaii International Conference on System Sciences (HICSS-37 2004), 2004

Function Extraction (FX) Technology: Automated Calculation of Program Behavior for High-Assurance Systems.

Richard C. Linger, Mark G. Pleszkoch

Proceedings of the 8th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2004), 2004

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

Proceedings of the 8th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2004), 2004

2003

Testing and Certification of Trustworthy Systems Introduction to Minitrack.

Alan R. Hevner, Richard C. Linger, Gwendolyn H. Walton

Proceedings of the 36th Hawaii International Conference on System Sciences (HICSS-36 2003), 2003

2002

Minitrack Introduction.

Ann E. Kelley Sobel, Richard C. Linger

Proceedings of the 35th Hawaii International Conference on System Sciences (HICSS-35 2002), 2002

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

Proceedings of the 35th Hawaii International Conference on System Sciences (HICSS-35 2002), 2002

2001

Managing Software Development for Survivable Systems.

Nancy R. Mead, Richard C. Linger, John McHugh, Howard F. Lipson

Ann. Softw. Eng., 2001

Advances in Software Specification and Verification - Minitrack Introduction.

Ann E. Kelley Sobel, Richard C. Linger

Proceedings of the 34th Annual Hawaii International Conference on System Sciences (HICSS-34), 2001

2000

Advances in Software Specification and Verification - Introduction.

Ann E. Kelley Sobel, Richard C. Linger

Proceedings of the 33rd Annual Hawaii International Conference on System Sciences (HICSS-33), 2000

Survivability Analysis of Network Specifications.

Somesh Jha, Jeannette M. Wing, Richard C. Linger, Thomas A. Longstaff

Proceedings of the 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 2000

1999

Survivable Network System Analysis: A Case Study.

Robert J. Ellison, Richard C. Linger, Thomas A. Longstaff, Nancy R. Mead

IEEE Softw., 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

Capability Maturity Model Software Development using Cleanroom Software Engineering Principles - Results of an Industry Project.

Robert S. Oshana, Richard C. Linger

Proceedings of the 32nd Annual Hawaii International Conference on System Sciences (HICSS-32), 1999

Systematic Generation of Stochastic Diversity as an Intrusion Barrier in Survivable Systems Software.

Richard C. Linger

Proceedings of the 32nd Annual Hawaii International Conference on System Sciences (HICSS-32), 1999

Methods and Tools for Information Systems Development - Introduction.

Alan R. Hevner, Richard C. Linger

Proceedings of the 32nd Annual Hawaii International Conference on System Sciences (HICSS-32), 1999

1998

Case Study in Survivable Network System Analysis

Robert J. Ellison, Richard C. Linger, Thomas A. Longstaff, Nancy R. Mead

CoRR, 1998

Requirements Definition for Survivable Network Systems.

Richard C. Linger, Nancy R. Mead, Howard F. Lipson

Proceedings of the 3rd International Conference on Requirements Engineering (ICRE '98), 1998

Issues in Requirements Definition for Survivable Systems.

Richard C. Linger

Proceedings of the 3rd International Conference on Requirements Engineering (ICRE '98), 1998

Methods and Tools for Information Systems Development: Introduction to Minitrack.

Alan R. Hevner, Richard C. Linger

Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences, 1998

1997

Integrating Software Development Technology and Management: Cleanroom Software Engineering and the CMM for Software.

Richard C. Linger, Carmen J. Trammell

Proceedings of the 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 1997

1996

The incremental development process in Cleanroom software engineering.

Carmen J. Trammell, Mark G. Pleszkoch, Richard C. Linger, Alan R. Hevner

Decis. Support Syst., 1996

1994

Cleanroom Process Model.

Richard C. Linger

IEEE Softw., 1994

Adopting Cleanroom Software Engineering with a Phased Approach.

Philip A. Hausler, Richard C. Linger, Carmen J. Trammell

IBM Syst. J., 1994

From software craft to software engineering: the Cleanroom method.

Philip A. Hausler, Richard C. Linger

Proceedings of the SEKE'94, 1994

1993

Cleanroom Software Engineering for Zero-Defect Software.

Richard C. Linger

Proceedings of the 15th International Conference on Software Engineering, 1993

1992

Eliminating non-traversable paths from structured programs.

Mark G. Pleszkoch, Richard C. Linger, Alan R. Hevner

Proceedings of the Conference on Software Maintenance, 1992

The IBM Cleanroom Software Engineering Technology Transfer Program.

R. A. Sprangler, Richard C. Linger

Proceedings of the Software Engineering Education, SEI Conference, 1992, Proceedings, 1992

1990

Using Function Abstraction to Understand Program Behavior.

Philip A. Hausler, Mark G. Pleszkoch, Richard C. Linger, Alan R. Hevner

IEEE Softw., 1990

1989

Mathematics-Based Software Engineering for Completely Validated Software.

Richard C. Linger

Proceedings of the 11th International Conference on Software Engineering, 1989

1988

Software maintenance as an engineering discipline.

Richard C. Linger

Proceedings of the Conference on Software Maintenance, 1988

A case study in cleanroom software engineering: the IBM COBOL Structuring Facility.

Richard C. Linger, Harlan D. Mills

Proceedings of the Twelfth International Computer Software and Applications Conference, 1988

1987

Cleanroom Software Engineering.

Harlan D. Mills, Michael G. Dyer, Richard C. Linger

IEEE Softw., 1987

Box Structured Information Systems.

Harlan D. Mills, Richard C. Linger, Alan R. Hevner

IBM Syst. J., 1987

1986

Data Structured Programming: Program Design without Arrays and Pointers.

Harlan D. Mills, Richard C. Linger

IEEE Trans. Software Eng., 1986

1981

Software specification using the SPECIAL language.

C. Sekar Chandersekaran, Richard C. Linger

J. Syst. Softw., 1981

1980

The Management of Software Engineering. Part III: Software Design Practices.

Richard C. Linger

IBM Syst. J., 1980

1979

Structured programming - theory and practice.

Richard C. Linger, Harlan D. Mills, Bernard I. Witt

The systems programming series, Addison-Wesley, ISBN: 978-0-201-14461-1, 1979