2009 |
40 | EE | Gwendolyn H. Walton,
Thomas A. Longstaff,
Richard C. Linger:
Computational Evaluation of Software Security Attributes.
HICSS 2009: 1-10 |
2008 |
39 | EE | Mark G. Pleszkoch,
Richard C. Linger,
Alan R. Hevner:
Introducing function extraction into software testing.
DATA BASE 39(3): 41-50 (2008) |
2007 |
38 | EE | Alan R. Hevner,
Richard C. Linger,
Gwendolyn H. Walton:
Next-Generation Software Engineering Introduction to Minitrack.
HICSS 2007: 276 |
37 | EE | 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 | EE | 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 | EE | 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 | EE | Alan R. Hevner,
Richard C. Linger,
Gwendolyn H. Walton:
Testing and Certification of Trustworthy Systems Introduction to Minitrack.
HICSS 2005 |
33 | EE | 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 | EE | 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 | EE | Richard C. Linger,
Mark G. Pleszkoch:
Function Extraction (FX) Technology: Automated Calculation of Program Behavior for High-Assurance Systems.
HASE 2004: 267-268 |
30 | EE | Mark G. Pleszkoch,
Richard C. Linger:
Improving Network System Security with Function Extraction Technology for Automated Calculation of Program Behavior.
HICSS 2004 |
29 | EE | Alan R. Hevner,
Richard C. Linger,
Gwendolyn H. Walton:
Testing and Certification of Trustworthy Systems: Minitrack Introduction.
HICSS 2004 |
2003 |
28 | EE | Alan R. Hevner,
Richard C. Linger,
Gwendolyn H. Walton:
Testing and Certification of Trustworthy Systems Introduction to Minitrack.
HICSS 2003: 336 |
2002 |
27 | EE | Ann E. Kelley Sobel,
Richard C. Linger:
Minitrack Introduction.
HICSS 2002: 275 |
26 | EE | 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 | EE | 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 | EE | Sanjay K. Jha,
Jeannette M. Wing,
Richard C. Linger,
Thomas A. Longstaff:
Survivability Analysis of Network Specifications.
DSN 2000: 613-622 |
22 | EE | Ann E. Kelley Sobel,
Richard C. Linger:
Advances in Software Specification and Verification - Introduction.
HICSS 2000 |
1999 |
21 | EE | Robert Oshana,
Richard C. Linger:
Capability Maturity Model Software Development using Cleanroom Software Engineering Principles - Results of an Industry Project.
HICSS 1999 |
20 | EE | Alan R. Hevner,
Richard C. Linger:
Methods and Tools for Information Systems Development - Introduction.
HICSS 1999 |
19 | EE | 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 | EE | 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 | EE | Alan R. Hevner,
Richard C. Linger:
Methods and Tools for Information Systems Development: Introduction to Minitrack.
HICSS (6) 1998: 72 |
15 | EE | Richard C. Linger,
Nancy R. Mead,
Howard F. Lipson:
Requirements Definition for Survivable Network Systems.
ICRE 1998: 14-23 |
14 | EE | Richard C. Linger:
Issues in Requirements Definition for Survivable Systems.
ICRE 1998: 198- |
13 | EE | 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 | EE | 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 | EE | Richard C. Linger:
Cleanroom Process Model.
IEEE Software 11(2): 50-58 (1994) |
1993 |
8 | EE | 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 | EE | 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) |