 | 2009 |
| 41 |  | Gwendolyn H. Walton,
Thomas A. Longstaff,
Richard C. Linger:
Computational Evaluation of Software Security Attributes.
HICSS 2009: 1-10 |
| 2008 |
| 40 |  | Mark G. Pleszkoch,
Richard C. Linger,
Alan R. Hevner:
Introducing function extraction into software testing.
DATA BASE 39(3): 41-50 (2008) |
| 39 |  | 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) |
| 2007 |
| 38 |  | Alan R. Hevner,
Richard C. Linger,
Gwendolyn H. Walton:
Next-Generation Software Engineering Introduction to Minitrack.
HICSS 2007: 276 |
| 37 |  | 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 |
| 2006 |
| 36 |  | 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) |
| 2005 |
| 35 |  | 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 |
| 34 |  | Alan R. Hevner,
Richard C. Linger,
Gwendolyn H. Walton:
Testing and Certification of Trustworthy Systems Introduction to Minitrack.
HICSS 2005 |
| 33 |  | 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 |
| 2004 |
| 32 |  | 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 |
| 31 |  | Richard C. Linger,
Mark G. Pleszkoch:
Function Extraction (FX) Technology: Automated Calculation of Program Behavior for High-Assurance Systems.
HASE 2004: 267-268 |
| 30 |  | Mark G. Pleszkoch,
Richard C. Linger:
Improving Network System Security with Function Extraction Technology for Automated Calculation of Program Behavior.
HICSS 2004 |
| 29 |  | Alan R. Hevner,
Richard C. Linger,
Gwendolyn H. Walton:
Testing and Certification of Trustworthy Systems: Minitrack Introduction.
HICSS 2004 |
| 2003 |
| 28 |  | Alan R. Hevner,
Richard C. Linger,
Gwendolyn H. Walton:
Testing and Certification of Trustworthy Systems Introduction to Minitrack.
HICSS 2003: 336 |
| 2002 |
| 27 |  | Ann E. Kelley Sobel,
Richard C. Linger:
Minitrack Introduction.
HICSS 2002: 275 |
| 26 |  | 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 |
| 2001 |
| 25 |  | Ann E. Kelley Sobel,
Richard C. Linger:
Advances in Software Specification and Verification - Minitrack Introduction.
HICSS 2001 |
| 24 |  | 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) |
| 2000 |
| 23 |  | Sanjay K. Jha,
Jeannette M. Wing,
Richard C. Linger,
Thomas A. Longstaff:
Survivability Analysis of Network Specifications.
DSN 2000: 613-622 |
| 22 |  | Ann E. Kelley Sobel,
Richard C. Linger:
Advances in Software Specification and Verification - Introduction.
HICSS 2000 |
| 1999 |
| 21 |  | Robert Oshana,
Richard C. Linger:
Capability Maturity Model Software Development using Cleanroom Software Engineering Principles - Results of an Industry Project.
HICSS 1999 |
| 20 |  | Alan R. Hevner,
Richard C. Linger:
Methods and Tools for Information Systems Development - Introduction.
HICSS 1999 |
| 19 |  | Richard C. Linger:
Systematic Generation of Stochastic Diversity as an Intrusion Barrier in Survivable Systems Software.
HICSS 1999 |
| 18 |  | 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) |
| 17 |  | 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) |
| 1998 |
| 16 |  | Alan R. Hevner,
Richard C. Linger:
Methods and Tools for Information Systems Development: Introduction to Minitrack.
HICSS (6) 1998: 72 |
| 15 |  | Richard C. Linger,
Nancy R. Mead,
Howard F. Lipson:
Requirements Definition for Survivable Network Systems.
ICRE 1998: 14-23 |
| 14 |  | Richard C. Linger:
Issues in Requirements Definition for Survivable Systems.
ICRE 1998: 198- |
| 13 |  | Robert J. Ellison,
Richard C. Linger,
Thomas A. Longstaff,
Nancy R. Mead:
Case Study in Survivable Network System Analysis
CoRR cs.SE/9811011: (1998) |
| 1997 |
| 12 |  | 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 |
| 1994 |
| 11 |  | Philip A. Hausler,
Richard C. Linger:
From software craft to software engineering: the Cleanroom method.
SEKE 1994: 172-179 |
| 10 |  | 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) |
| 9 |  | Richard C. Linger:
Cleanroom Process Model.
IEEE Software 11(2): 50-58 (1994) |
| 1993 |
| 8 |  | Richard C. Linger:
Cleanroom Software Engineering for Zero-Defect Software.
ICSE 1993: 2-13 |
| 1992 |
| 7 |  | R. A. Sprangler,
Richard C. Linger:
The IBM Cleanroom Software Engineering Technology Transfer Program.
CSEE 1992: 380-394 |
| 1990 |
| 6 |  | 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) |
| 1989 |
| 5 |  | Richard C. Linger:
Mathematics-Based Software Engineering for Completely Validated Software.
ICSE 1989: 358 |
| 1987 |
| 4 |  | Harlan D. Mills,
Richard C. Linger,
Alan R. Hevner:
Box Structured Information Systems.
IBM Systems Journal 26(4): 395-413 (1987) |
| 1986 |
| 3 |  | Harlan D. Mills,
Richard C. Linger:
Data Structured Programming: Program Design without Arrays and Pointers.
IEEE Trans. Software Eng. 12(2): 192-197 (1986) |
| 1981 |
| 2 |  | C. Sekar Chandersekaran,
Richard C. Linger:
Software specification using the SPECIAL language.
Journal of Systems and Software 2(1): 31-38 (1981) |
| 1980 |
| 1 |  | Richard C. Linger:
The Management of Software Engineering. Part III: Software Design Practices.
IBM Systems Journal 19(4): 432-450 (1980) |