The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Richard C. Linger: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. R. A. Sprangler, Richard C. Linger
    The IBM Cleanroom Software Engineering Technology Transfer Program. [Citation Graph (0, 0)][DBLP]
    CSEE, 1992, pp:380-394 [Conf]
  2. Sanjay K. Jha, Jeannette M. Wing, Richard C. Linger, Thomas A. Longstaff
    Survivability Analysis of Network Specifications. [Citation Graph (0, 0)][DBLP]
    DSN, 2000, pp:613-622 [Conf]
  3. 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. [Citation Graph (0, 0)][DBLP]
    HASE, 2004, pp:265-266 [Conf]
  4. Richard C. Linger, Mark G. Pleszkoch
    Function Extraction (FX) Technology: Automated Calculation of Program Behavior for High-Assurance Systems. [Citation Graph (0, 0)][DBLP]
    HASE, 2004, pp:267-268 [Conf]
  5. 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. [Citation Graph (0, 0)][DBLP]
    HICSS, 2005, pp:- [Conf]
  6. Alan R. Hevner, Richard C. Linger
    Methods and Tools for Information Systems Development: Introduction to Minitrack. [Citation Graph (0, 0)][DBLP]
    HICSS (6), 1998, pp:72- [Conf]
  7. Alan R. Hevner, Richard C. Linger
    Methods and Tools for Information Systems Development - Introduction. [Citation Graph (0, 0)][DBLP]
    HICSS, 1999, pp:- [Conf]
  8. 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. [Citation Graph (0, 0)][DBLP]
    HICSS, 2002, pp:278- [Conf]
  9. Alan R. Hevner, Richard C. Linger, Gwendolyn H. Walton
    Testing and Certification of Trustworthy Systems Introduction to Minitrack. [Citation Graph (0, 0)][DBLP]
    HICSS, 2003, pp:336- [Conf]
  10. Alan R. Hevner, Richard C. Linger, Gwendolyn H. Walton
    Testing and Certification of Trustworthy Systems: Minitrack Introduction. [Citation Graph (0, 0)][DBLP]
    HICSS, 2004, pp:- [Conf]
  11. Alan R. Hevner, Richard C. Linger, Gwendolyn H. Walton
    Testing and Certification of Trustworthy Systems Introduction to Minitrack. [Citation Graph (0, 0)][DBLP]
    HICSS, 2005, pp:- [Conf]
  12. Richard C. Linger
    Systematic Generation of Stochastic Diversity as an Intrusion Barrier in Survivable Systems Software. [Citation Graph (0, 0)][DBLP]
    HICSS, 1999, pp:- [Conf]
  13. Richard C. Linger, Carmen J. Trammell
    Integrating Software Development Technology and Management: Cleanroom Software Engineering and the CMM for Software. [Citation Graph (0, 0)][DBLP]
    HICSS (3), 1997, pp:188-197 [Conf]
  14. Robert Oshana, Richard C. Linger
    Capability Maturity Model Software Development using Cleanroom Software Engineering Principles - Results of an Industry Project. [Citation Graph (0, 0)][DBLP]
    HICSS, 1999, pp:- [Conf]
  15. Mark G. Pleszkoch, Richard C. Linger
    Improving Network System Security with Function Extraction Technology for Automated Calculation of Program Behavior. [Citation Graph (0, 0)][DBLP]
    HICSS, 2004, pp:- [Conf]
  16. Ann E. Kelley Sobel, Richard C. Linger
    Advances in Software Specification and Verification - Introduction. [Citation Graph (0, 0)][DBLP]
    HICSS, 2000, pp:- [Conf]
  17. Ann E. Kelley Sobel, Richard C. Linger
    Advances in Software Specification and Verification - Minitrack Introduction. [Citation Graph (0, 0)][DBLP]
    HICSS, 2001, pp:- [Conf]
  18. Ann E. Kelley Sobel, Richard C. Linger
    Minitrack Introduction. [Citation Graph (0, 0)][DBLP]
    HICSS, 2002, pp:275- [Conf]
  19. 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. [Citation Graph (0, 0)][DBLP]
    HICSS, 2007, pp:277- [Conf]
  20. Alan R. Hevner, Richard C. Linger, Gwendolyn H. Walton
    Next-Generation Software Engineering Introduction to Minitrack. [Citation Graph (0, 0)][DBLP]
    HICSS, 2007, pp:276- [Conf]
  21. Richard C. Linger
    Issues in Requirements Definition for Survivable Systems. [Citation Graph (0, 0)][DBLP]
    ICRE, 1998, pp:198-0 [Conf]
  22. Richard C. Linger, Nancy R. Mead, Howard F. Lipson
    Requirements Definition for Survivable Network Systems. [Citation Graph (0, 0)][DBLP]
    ICRE, 1998, pp:14-23 [Conf]
  23. Richard C. Linger
    Mathematics-Based Software Engineering for Completely Validated Software. [Citation Graph (0, 0)][DBLP]
    ICSE, 1989, pp:358- [Conf]
  24. Richard C. Linger
    Cleanroom Software Engineering for Zero-Defect Software. [Citation Graph (0, 0)][DBLP]
    ICSE, 1993, pp:2-13 [Conf]
  25. Casey K. Fung, Patrick C. K. Hung, Guijun Wang, Richard C. Linger, Gwendolyn H. Walton
    A Study of Service Composition with QoS Management. [Citation Graph (0, 0)][DBLP]
    ICWS, 2005, pp:717-724 [Conf]
  26. Philip A. Hausler, Richard C. Linger
    From software craft to software engineering: the Cleanroom method. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:172-179 [Conf]
  27. Nancy R. Mead, Richard C. Linger, John McHugh, Howard F. Lipson
    Managing Software Development for Survivable Systems. [Citation Graph (0, 0)][DBLP]
    Ann. Software Eng., 2001, v:11, n:1, pp:45-78 [Journal]
  28. Robert J. Ellison, Richard C. Linger, Thomas A. Longstaff, Nancy R. Mead
    Case Study in Survivable Network System Analysis [Citation Graph (0, 0)][DBLP]
    CoRR, 1998, v:0, n:, pp:- [Journal]
  29. Philip A. Hausler, Richard C. Linger, Carmen J. Trammell
    Adopting Cleanroom Software Engineering with a Phased Approach. [Citation Graph (0, 0)][DBLP]
    IBM Systems Journal, 1994, v:33, n:1, pp:89-109 [Journal]
  30. Richard C. Linger
    The Management of Software Engineering. Part III: Software Design Practices. [Citation Graph (0, 0)][DBLP]
    IBM Systems Journal, 1980, v:19, n:4, pp:432-450 [Journal]
  31. Harlan D. Mills, Richard C. Linger, Alan R. Hevner
    Box Structured Information Systems. [Citation Graph (0, 0)][DBLP]
    IBM Systems Journal, 1987, v:26, n:4, pp:395-413 [Journal]
  32. Robert J. Ellison, David A. Fisher, Richard C. Linger, Howard F. Lipson, Thomas A. Longstaff, Nancy R. Mead
    Survivability: Protecting Your Critical Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Internet Computing, 1999, v:3, n:6, pp:55-63 [Journal]
  33. C. Sekar Chandersekaran, Richard C. Linger
    Software specification using the SPECIAL language. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1981, v:2, n:1, pp:31-38 [Journal]
  34. Robert J. Ellison, Richard C. Linger, Thomas A. Longstaff, Nancy R. Mead
    Survivable Network System Analysis: A Case Study. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 1999, v:16, n:4, pp:70-77 [Journal]
  35. Philip A. Hausler, Mark G. Pleszkoch, Richard C. Linger, Alan R. Hevner
    Using Function Abstraction to Understand Program Behavior. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 1990, v:7, n:1, pp:55-63 [Journal]
  36. Richard C. Linger
    Cleanroom Process Model. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 1994, v:11, n:2, pp:50-58 [Journal]
  37. Harlan D. Mills, Richard C. Linger
    Data Structured Programming: Program Design without Arrays and Pointers. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1986, v:12, n:2, pp:192-197 [Journal]

  38. Computational Evaluation of Software Security Attributes. [Citation Graph (, )][DBLP]


  39. Introducing function extraction into software testing. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.304secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002