Richard C. Linger

66 papers A* 2A 2B 1C 2Journal 20Unranked 37
YearRankTypeTitle / Venue / Authors
2024 C conf
"Function Extraction: A New Paradigm for Producing Secure Code".
NSPW
Richard C. Linger, Mark G. Pleszkoch, Jack McGaughey, John McHugh, Wided Ghardallou, Ali Mili
2024 J jnl
Invariant relations for affine loops.
Acta Informatica
Wided Ghardallou, Hessamaldin Mohammadi, Richard C. Linger, Mark G. Pleszkoch, Ji Meng Loh, Ali Mili
2022 — conf
Computing Program Functions.
FormaliSE@ICSE
Hessamaldin Mohammadi, Wided Ghardallou, Richard C. Linger, Ali Mili
2019 — ch.
Augmenting Internet of Things (IoT) Architectures with Semantic Capabilities.
The Art of Structuring
Alan R. Hevner, Richard C. Linger
2018 J jnl
Flow semantics for intellectual control in IoT systems.
J. Decis. Syst.
Richard C. Linger, Alan R. Hevner
2017 — conf
Agile Research for Cybersecurity: Creating Authoritative, Actionable Knowledge When Speed Matters.
HICSS
Richard C. Linger, Luanne Chamberlain, Matt Bishop, Melissa Dark
2016 — conf
Using the eR&D Approach to Pilot Deployment and Assessment in DHS.
HICSS
A. J. Risko, Luanne Burns Goldrich, Nykia Jackson, Robert Gatlin, Brian R. Gattoni, Richard C. Linger
2015 — conf
Realism in Teaching Cybersecurity Research: The Agile Research Process.
World Conference on Information Security Education
Melissa Dark, Matt Bishop, Richard C. Linger, Luanne Goldrich
2014 — conf
Introduction to Enlightened Cybersecurity and Software Assurance Minitrack.
HICSS
Luanne Burns Goldrich, Richard C. Linger, Richard George
2013 — conf
Computing legacy software behavior to understand functionality and security properties: an IBM/370 demonstration.
CSIIRW
Richard C. Linger, Mark G. Pleszkoch, Stacy J. Prowell, Kirk Sayre, T. Scott Ankrum
2012 — conf
Automated Behavior Computation for Software Analysis and Validation.
HICSS
Mark G. Pleszkoch, Richard C. Linger, Stacy J. Prowell, Kirk Sayre, Luanne Burns
2012 — conf
Automated vulnerability detection for compiled smart grid software.
ISGT
Stacy J. Prowell, Mark G. Pleszkoch, Kirk Sayre, Richard C. Linger
2011 — conf
Behavior computation for smart grid software analysis.
CSIIRW
Richard C. Linger, Mark G. Pleszkoch, Stacy J. Prowell, Kirk Sayre
2011 — conf
Evaluating a Disruptive Innovation: Function Extraction Technology in Software Development.
HICSS
Rosann W. Collins, Alan R. Hevner, Richard C. Linger
2011 — conf
Function Extraction Technology: Computing the Behavior of Malware.
HICSS
Richard C. Linger, Kirk Sayre, Tim Daly, Mark G. Pleszkoch
2010 — conf
Computing the behavior of malware.
CSIIRW
Richard C. Linger, Mark G. Pleszkoch, Kirk Sayre, Tim Daly
2010 J jnl
Development of a Master of Software Assurance Reference Curriculum.
Int. J. Secur. Softw. Eng.
Nancy R. Mead, Julia H. Allen, Mark A. Ardis, Thomas B. Hilburn, Andrew J. Kornecki, Richard C. Linger, James McDonald
2010 J jnl
IEEE Reliability Society Technical Operations Annual Technical Report for 2010.
IEEE Trans. Reliab.
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
2009 — conf
Computational Evaluation of Software Security Attributes.
HICSS
Gwendolyn H. Walton, Thomas A. Longstaff, Richard C. Linger
2009 — conf
Computing the behavior of malicious code with function extraction technology.
CSIIRW
Richard C. Linger, Stacy J. Prowell, Kirk Sayre
2008 J jnl
Introducing function extraction into software testing.
Data Base
Mark G. Pleszkoch, Richard C. Linger, Alan R. Hevner
2008 J jnl
The impacts of function extraction technology on program comprehension: A controlled experiment.
Inf. Softw. Technol.
Rosann Webb Collins, Alan R. Hevner, Gwendolyn H. Walton, Richard C. Linger
2007 — conf
Next-Generation Software Engineering Introduction to Minitrack.
HICSS
Alan R. Hevner, Richard C. Linger, Gwendolyn H. Walton
2007 — conf
Next-Generation Software Engineering: Function Extraction for Computation of Software Behavior.
HICSS
Richard C. Linger, Mark G. Pleszkoch, Luanne Burns, Alan R. Hevner, Gwendolyn H. Walton
2006 J jnl
A Service-Oriented Composition Framework with QoS Management.
Int. J. Web Serv. Res.
Casey K. Fung, Patrick C. K. Hung, Richard C. Linger, Guijun Wang, Gwendolyn H. Walton
2005 A conf
A Study of Service Composition with QoS Management.
ICWS
Casey K. Fung, Patrick C. K. Hung, Guijun Wang, Richard C. Linger, Gwendolyn H. Walton
2005 — conf
Extending Business Process Execution Language for Web Services with Service Level Agreements Expressed in Computational Quality Attributes.
HICSS
Casey K. Fung, Patrick C. K. Hung, Richard C. Linger, Gwendolyn H. Walton
2005 — conf
Testing and Certification of Trustworthy Systems Introduction to Minitrack.
HICSS
Alan R. Hevner, Richard C. Linger, Gwendolyn H. Walton
2004 — conf
Automated Detection of Injected Faults in a Differential Equation Solver Network Systems Development.
HASE
Richard C. Linger, Alan R. Hevner, Gwendolyn H. Walton, Mark G. Pleszkoch
2004 — conf
Function Extraction (FX) Technology: Automated Calculation of Program Behavior for High-Assurance Systems.
HASE
Richard C. Linger, Mark G. Pleszkoch
2004 — conf
Improving Network System Security with Function Extraction Technology for Automated Calculation of Program Behavior.
HICSS
Mark G. Pleszkoch, Richard C. Linger
2004 — conf
Testing and Certification of Trustworthy Systems: Minitrack Introduction.
HICSS
Alan R. Hevner, Richard C. Linger, Gwendolyn H. Walton
2003 — conf
Testing and Certification of Trustworthy Systems Introduction to Minitrack.
HICSS
Alan R. Hevner, Richard C. Linger, Gwendolyn H. Walton
2002 — conf
Minitrack Introduction.
HICSS
Ann E. Kelley Sobel, Richard C. Linger
2002 — conf
The Flow-Service-Quality Framework: Unified Engineering for Large-Scale, Adaptive Systems.
HICSS
Alan R. Hevner, Richard C. Linger, Ann E. Kelley Sobel, Gwendolyn H. Walton
2001 — conf
Advances in Software Specification and Verification - Minitrack Introduction.
HICSS
Ann E. Kelley Sobel, Richard C. Linger
2001 J jnl
Managing Software Development for Survivable Systems.
Ann. Softw. Eng.
Nancy R. Mead, Richard C. Linger, John McHugh, Howard F. Lipson
2000 — conf
Advances in Software Specification and Verification - Introduction.
HICSS
Ann E. Kelley Sobel, Richard C. Linger
2000 A conf
Survivability Analysis of Network Specifications.
DSN
Somesh Jha, Jeannette M. Wing, Richard C. Linger, Thomas A. Longstaff
1999 — conf
Capability Maturity Model Software Development using Cleanroom Software Engineering Principles - Results of an Industry Project.
HICSS
Robert S. Oshana, Richard C. Linger
1999 — conf
Methods and Tools for Information Systems Development - Introduction.
HICSS
Alan R. Hevner, Richard C. Linger
1999 J jnl
Survivability: Protecting Your Critical Systems.
IEEE Internet Comput.
Robert J. Ellison, David A. Fisher, Richard C. Linger, Howard F. Lipson, Thomas A. Longstaff, Nancy R. Mead
1999 J jnl
Survivable Network System Analysis: A Case Study.
IEEE Softw.
Robert J. Ellison, Richard C. Linger, Thomas A. Longstaff, Nancy R. Mead
1999 — conf
Systematic Generation of Stochastic Diversity as an Intrusion Barrier in Survivable Systems Software.
HICSS
Richard C. Linger
1998 J jnl
Case Study in Survivable Network System Analysis
CoRR
Robert J. Ellison, Richard C. Linger, Thomas A. Longstaff, Nancy R. Mead
1998 — conf
Issues in Requirements Definition for Survivable Systems.
ICRE
Richard C. Linger
1998 — conf
Methods and Tools for Information Systems Development: Introduction to Minitrack.
HICSS (6)
Alan R. Hevner, Richard C. Linger
1998 — conf
Requirements Definition for Survivable Network Systems.
ICRE
Richard C. Linger, Nancy R. Mead, Howard F. Lipson
1997 — conf
Integrating Software Development Technology and Management: Cleanroom Software Engineering and the CMM for Software.
HICSS (3)
Richard C. Linger, Carmen J. Trammell
1996 J jnl
The incremental development process in Cleanroom software engineering.
Decis. Support Syst.
Carmen J. Trammell, Mark G. Pleszkoch, Richard C. Linger, Alan R. Hevner
1994 J jnl
Adopting Cleanroom Software Engineering with a Phased Approach.
IBM Syst. J.
Philip A. Hausler, Richard C. Linger, Carmen J. Trammell
1994 J jnl
Cleanroom Process Model.
IEEE Softw.
Richard C. Linger
1994 C conf
From software craft to software engineering: the Cleanroom method.
SEKE
Philip A. Hausler, Richard C. Linger
1993 A* conf
Cleanroom Software Engineering for Zero-Defect Software.
ICSE
Richard C. Linger
1992 — conf
Eliminating non-traversable paths from structured programs.
ICSM
Mark G. Pleszkoch, Richard C. Linger, Alan R. Hevner
1992 — conf
The IBM Cleanroom Software Engineering Technology Transfer Program.
CSEE
R. A. Sprangler, Richard C. Linger
1990 J jnl
Using Function Abstraction to Understand Program Behavior.
IEEE Softw.
Philip A. Hausler, Mark G. Pleszkoch, Richard C. Linger, Alan R. Hevner
1989 A* conf
Mathematics-Based Software Engineering for Completely Validated Software.
ICSE
Richard C. Linger
1988 B conf
A case study in cleanroom software engineering: the IBM COBOL Structuring Facility.
COMPSAC
Richard C. Linger, Harlan D. Mills
1988 — conf
Software maintenance as an engineering discipline.
ICSM
Richard C. Linger
1987 J jnl
Box Structured Information Systems.
IBM Syst. J.
Harlan D. Mills, Richard C. Linger, Alan R. Hevner
1987 J jnl
Cleanroom Software Engineering.
IEEE Softw.
Harlan D. Mills, Michael G. Dyer, Richard C. Linger
1986 J jnl
Data Structured Programming: Program Design without Arrays and Pointers.
IEEE Trans. Software Eng.
Harlan D. Mills, Richard C. Linger
1981 J jnl
Software specification using the SPECIAL language.
J. Syst. Softw.
C. Sekar Chandersekaran, Richard C. Linger
1980 J jnl
The Management of Software Engineering. Part III: Software Design Practices.
IBM Syst. J.
Richard C. Linger
1979 — book
Structured programming - theory and practice.
Richard C. Linger, Harlan D. Mills, Bernard I. Witt