Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Richard C. Linger
2010 – today
- 2012
[c33]Mark G. Pleszkoch, Richard C. Linger, Stacy J. Prowell, Kirk Sayre, Luanne Burns: Automated Behavior Computation for Software Analysis and Validation. HICSS 2012: 5537-5545- 2011
- [c32]Richard C. Linger, Mark G. Pleszkoch, Stacy J. Prowell, Kirk Sayre: Behavior computation for smart grid software analysis. CSIIRW 2011: 51
- [c31]Rosann Webb Collins, Alan R. Hevner, Richard C. Linger: Evaluating a Disruptive Innovation: Function Extraction Technology in Software Development. HICSS 2011: 1-8
- [c30]Richard C. Linger, Kirk Sayre, Tim Daly, Mark G. Pleszkoch: Function Extraction Technology: Computing the Behavior of Malware. HICSS 2011: 1-9
- 2010
- [j16]Nancy R. Mead, Julia H. Allen, Mark A. Ardis, Thomas B. Hilburn, Andrew J. Kornecki, Richard C. Linger, James McDonald: Development of a Master of Software Assurance Reference Curriculum. IJSSE 1(4): 18-34 (2010)
- [j15]Norman F. Schneidewind, Mark Montrose, Alec Feinberg, Arbi Ghazarian, Jim McLinn, Christian Hansen, Phillip A. Laplante, Nihal Sinnadurai, Enrico Zio, Richard C. Linger, W. Eric Wong, Shiuh-Pyng Shieh, Joseph Childs: IEEE Reliability Society Technical Operations Annual Technical Report for 2010. IEEE Transactions on Reliability 59(3): 449-482 (2010)
- [c29]Richard C. Linger, Mark G. Pleszkoch, Kirk Sayre, Tim Daly: Computing the behavior of malware. CSIIRW 2010: 36
2000 – 2009
- 2009
- [c28]Richard C. Linger, Stacy J. Prowell, Kirk Sayre: Computing the behavior of malicious code with function extraction technology. CSIIRW 2009: 36
- [c27]Gwendolyn H. Walton, Thomas A. Longstaff, Richard C. Linger: Computational Evaluation of Software Security Attributes. HICSS 2009: 1-10
- 2008
- [j14]Mark G. Pleszkoch, Richard C. Linger, Alan R. Hevner: Introducing function extraction into software testing. DATA BASE 39(3): 41-50 (2008)
- [j13]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
- [c26]Alan R. Hevner, Richard C. Linger, Gwendolyn H. Walton: Next-Generation Software Engineering Introduction to Minitrack. HICSS 2007: 276
- [c25]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
- [j12]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
- [c24]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
- [c23]Alan R. Hevner, Richard C. Linger, Gwendolyn H. Walton: Testing and Certification of Trustworthy Systems Introduction to Minitrack. HICSS 2005
- [c22]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
- [c21]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
- [c20]Richard C. Linger, Mark G. Pleszkoch: Function Extraction (FX) Technology: Automated Calculation of Program Behavior for High-Assurance Systems. HASE 2004: 267-268
- [c19]Alan R. Hevner, Richard C. Linger, Gwendolyn H. Walton: Testing and Certification of Trustworthy Systems: Minitrack Introduction. HICSS 2004
- [c18]Mark G. Pleszkoch, Richard C. Linger: Improving Network System Security with Function Extraction Technology for Automated Calculation of Program Behavior. HICSS 2004
- 2003
- [c17]Alan R. Hevner, Richard C. Linger, Gwendolyn H. Walton: Testing and Certification of Trustworthy Systems Introduction to Minitrack. HICSS 2003: 336
- 2002
- [c16]
- [c15]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
- [j11]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)
- [c14]Ann E. Kelley Sobel, Richard C. Linger: Advances in Software Specification and Verification - Minitrack Introduction. HICSS 2001
- 2000
- [c13]Sanjay K. Jha, Jeannette M. Wing, Richard C. Linger, Thomas A. Longstaff: Survivability Analysis of Network Specifications. DSN 2000: 613-622
- [c12]Ann E. Kelley Sobel, Richard C. Linger: Advances in Software Specification and Verification - Introduction. HICSS 2000
1990 – 1999
- 1999
- [j10]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)
- [j9]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)
- [c11]Alan R. Hevner, Richard C. Linger: Methods and Tools for Information Systems Development - Introduction. HICSS 1999
- [c10]Richard C. Linger: Systematic Generation of Stochastic Diversity as an Intrusion Barrier in Survivable Systems Software. HICSS 1999
- [c9]Robert Oshana, Richard C. Linger: Capability Maturity Model Software Development using Cleanroom Software Engineering Principles - Results of an Industry Project. HICSS 1999
- 1998
- [c8]Alan R. Hevner, Richard C. Linger: Methods and Tools for Information Systems Development: Introduction to Minitrack. HICSS (6) 1998: 72
- [c7]Richard C. Linger, Nancy R. Mead, Howard F. Lipson: Requirements Definition for Survivable Network Systems. ICRE 1998: 14-23
- [c6]
- [i1]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
- [c5]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
- 1996
- [j8]Carmen J. Trammell, Mark G. Pleszkoch, Richard C. Linger, Alan R. Hevner: The incremental development process in Cleanroom software engineering. Decision Support Systems 17(1): 55-71 (1996)
- 1994
- [j7]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)
- [j6]
- [c4]Philip A. Hausler, Richard C. Linger: From software craft to software engineering: the Cleanroom method. SEKE 1994: 172-179
- 1993
- [c3]
- 1992
- [c2]R. A. Sprangler, Richard C. Linger: The IBM Cleanroom Software Engineering Technology Transfer Program. CSEE 1992: 380-394
- 1990
- [j5]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)
1980 – 1989
- 1989
- [c1]Richard C. Linger: Mathematics-Based Software Engineering for Completely Validated Software. ICSE 1989: 358
- 1987
- [j4]Harlan D. Mills, Richard C. Linger, Alan R. Hevner: Box Structured Information Systems. IBM Systems Journal 26(4): 395-413 (1987)
- 1986
- [j3]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
- [j2]C. Sekar Chandersekaran, Richard C. Linger: Software specification using the SPECIAL language. Journal of Systems and Software 2(1): 31-38 (1981)
- 1980
- [j1]Richard C. Linger: The Management of Software Engineering. Part III: Software Design Practices. IBM Systems Journal 19(4): 432-450 (1980)
1970 – 1979
- 1979
- [b1]Richard C. Linger, Harlan D. Mills, Bernard I. Witt: Structured programming - theory and practice. The systems programming series, Addison-Wesley 1979, ISBN 978-0-201-14461-1, pp. I-XIV, 1-402
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-12 20:37 CEST by the dblp team