Richard C. Linger Vis

*	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	EE	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)

Coauthor Index

1	Luanne Burns	[37]
2	C. Sekar Chandersekaran	[2]
3	Robert J. Ellison	[13] [17] [18]
4	David A. Fisher	[18]
5	Casey K. Fung	[33] [35] [36]
6	Philip A. Hausler	[6] [10] [11]
7	Alan R. Hevner	[4] [6] [16] [20] [26] [28] [29] [32] [34] [37] [38] [39]
8	Patrick C. K. Hung	[33] [35] [36]
9	Sanjay K. Jha	[23]
10	Howard F. Lipson	[15] [18] [24]
11	Thomas A. Longstaff	[13] [17] [18] [23] [40]
12	John McHugh	[24]
13	Nancy R. Mead	[13] [15] [17] [18] [24]
14	Harlan D. Mills	[3] [4]
15	Robert Oshana	[21]
16	Mark G. Pleszkoch	[6] [30] [31] [32] [37] [39]
17	Ann E. Kelley Sobel	[22] [25] [26] [27]
18	R. A. Sprangler	[7]
19	Carmen J. Trammell	[10] [12]
20	Gwendolyn H. Walton	[26] [28] [29] [32] [33] [34] [35] [36] [37] [38] [40]
21	Guijun Wang	[33] [36]
22	Jeannette M. Wing	[23]

Colors in the list of coauthors