| 22 | -- | 26 | Peter G. Neumann. Risks to the public in computers and related systems |
| 27 | -- | 0 | Serge Demeyer, Harald Gall. Workshop on object-oriented reengineering (WOOR'99) |
| 28 | -- | 29 | Vaclav Rajlich, S. Rank, Norman Wilde, Keith H. Bennett. Report on a workshop on software change and evolution |
| 30 | -- | 0 | Michael Evangelist. The NSF information technology research program |
| 30 | -- | 32 | Will Tracz, Wayne Stidolph. NSF software engineering and lanuage program summaries |
| 32 | -- | 33 | Rajeev Alur. Computer-aided verification of reactive systems |
| 33 | -- | 0 | Paul Ammann. System testing via mutation analysis of model checking specifications |
| 34 | -- | 0 | Paul C. Attie. Efficient formal methods for the synthesis of concurrent programs |
| 34 | -- | 35 | Farokh B. Bastani. Relational programs |
| 35 | -- | 36 | David Binkley. Reducing the cost of regression testing |
| 36 | -- | 37 | Bob Boothe. A fully capable bidirectional debugger |
| 37 | -- | 38 | Tevfik Bultan. A composite model checking toolset for analyzing software systems |
| 38 | -- | 39 | Larry Carter, Jeanne Ferrante. CROPS: coordinated restructuring of programs and storage |
| 38 | -- | 0 | Margaret M. Burnett. NYI award: visual programming languages |
| 39 | -- | 40 | Richard H. Carver. Specification-based testing of concurrent programs |
| 40 | -- | 41 | Betty H. C. Cheng. Integrating object-oriented analysis and formal specifications |
| 41 | -- | 42 | Edmund M. Clarke. Automatic verification of hardware and software systems |
| 42 | -- | 43 | Rance Cleaveland. Specification formalisms for component-based concurrent systems |
| 43 | -- | 44 | Rance Cleaveland, Philip M. Lewis, Scott A. Smolka. Practical techniques for the design, specification, verification, and implementation of concurrent systems |
| 44 | -- | 0 | Jonathan E. Cook. Software process analysis: integrating models and data |
| 45 | -- | 0 | Premkumar T. Devanbu. Framework for debugging domain-specific languages |
| 45 | -- | 46 | Laura K. Dillon. Automated support for testing and debugging of real-time programs using oracles |
| 46 | -- | 49 | Matthew B. Dwyer, John Hatcliff. Adapting programming languages technologies for finite-state verification |
| 49 | -- | 0 | E. Allen Emerson. Automated formal methods: model checking and beyond |
| 49 | -- | 50 | Matthias Felleisen. Components and program analyses |
| 50 | -- | 51 | Phyllis G. Frankl. Assessing and enhancing software testing effectiveness |
| 51 | -- | 52 | Joseph A. Goguen. Hidden algebra and concurrent distributed software |
| 52 | -- | 53 | Deepak Goyal, Y. Annie Liu. Automated development of software for program analysis and transformation |
| 53 | -- | 0 | Carl A. Gunter. Automated analysis of standard ML |
| 54 | -- | 0 | Carl A. Gunter, Elsa L. Gunter, Pamela Zave. Formal software engineering |
| 54 | -- | 55 | Gopal Gupta. Parallel implementation of Prolog: the ACE project |
| 55 | -- | 56 | George T. Heineman. A model for designing adaptable software components |
| 56 | -- | 57 | Thomas A. Henzinger. New directions in computer-aided verification |
| 57 | -- | 58 | Michael Hind. NPIC - New Paltz interprocedural compiler |
| 58 | -- | 0 | Susan Horwitz. Debugging via run-time type checking |
| 59 | -- | 0 | Radha Jagadeesan, Konstantin Läufer, Vineet Gupta. The Triveni project |
| 59 | -- | 0 | Paul Hudak. Principles of functional reactive programming |
| 60 | -- | 0 | Bharat Jayaraman. Research on sets, constraints, and preferences |
| 60 | -- | 61 | Patricia Johann. Testing and enhancing a prototype program fusion engine |
| 61 | -- | 0 | Philip M. Johnson. Project LEAP: lightweight, empirical, anti-measurement dysfunction, and portable software developer improvement |
| 61 | -- | 62 | A. J. Kfoury. Type theory and rewriting theory for expressive, efficient and reliable programming languages |
| 62 | -- | 63 | Gary T. Leavens. Formal methods for multimethod software components |
| 63 | -- | 0 | Harry G. Mairson. Programming language foundations of computation theory |
| 63 | -- | 64 | Spiros Mancoridis. Toward a design environment for recovering and maintaining the structure of software systems |
| 64 | -- | 65 | José Meseguer, Carolyn L. Talcott. Semantic interoperation of open systems |
| 65 | -- | 0 | Naftaly H. Minsky. Towards architectural invariants of evolving systems |
| 65 | -- | 66 | Michael W. Mislove. Semantic models for concurrency |
| 66 | -- | 67 | Gopalan Nadathur. A framework for realizing derivation systems |
| 67 | -- | 68 | George C. Necula, Shree Prakash Rahul. A logic-based approach to software system safety and security |
| 68 | -- | 69 | Ronald A. Olsson. Concurrent programming language support for invocation handling: design and implementation |
| 68 | -- | 0 | Jeff Offutt. Software testing and analysis of object-oriented software |
| 69 | -- | 71 | Benjamin C. Pierce. The essence of objects |
| 71 | -- | 72 | Enrico Pontelli. Parallel and distributed execution of constraint programs |
| 72 | -- | 0 | Václav Rajlich. A model and a tool for change propagation in software |
| 73 | -- | 74 | C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, David Scott Warren. Specification and evaluation of logic-based model checking |
| 73 | -- | 0 | C. R. Ramakrishnan. Tabled logic programming for verification and program analysis |
| 74 | -- | 75 | David F. Redmiles. Improving the design of interactive software |
| 75 | -- | 0 | John C. Reynolds. The design, definition and implementation of programming languages |
| 76 | -- | 77 | Gruia-Catalin Roman, Delbert Hart, Eileen Kraemer. Exploratory visualization |
| 76 | -- | 0 | David C. Rine, Nader Nada. Public case-base and tool kit using a validated RRM |
| 77 | -- | 78 | Gruia-Catalin Roman, Amy L. Murphy. Rapid development of dependable applications over Ad hoc networks |
| 78 | -- | 79 | David S. Rosenblum. CAREER: mechanisms for ensuring the integrity of distributed object systems |
| 79 | -- | 80 | Gregg Rothermel. Testing and maintaining evolving software systems |
| 80 | -- | 0 | Spencer Rugaber, Linda M. Wills. Software evolution and interleaving |
| 80 | -- | 81 | Andre Scedrov. A language-based security analysis |
| 81 | -- | 82 | David Schmidt. Abstract interpretation and program modelling |
| 82 | -- | 0 | Zhong Shao. Typed common intermediate format |
| 82 | -- | 83 | Forrest Shull, Victor R. Basili, Marvin V. Zelkowitz. The experimental validation and packaging of software technologies |
| 84 | -- | 85 | Carol Smidts. An approach to the automatic generation of software functional architecture |
| 84 | -- | 0 | A. Prasad Sistla. Formal methods in concurrent and distributed systems |
| 86 | -- | 87 | David B. Stewart. Automated analysis and fine-tuning of timing properties in embedded real-time systems |
| 86 | -- | 0 | Geoffrey Smith, Dennis M. Volpano. Basic research in information privacy |
| 87 | -- | 88 | Terrance Swift. Principles, practice, and applications of tabled logic programming |
| 88 | -- | 0 | K. C. Tai. Analysis and testing of concurrent object-oriented software |
| 89 | -- | 90 | Pascal Van Hentenryck. Constraint programming |
| 89 | -- | 0 | Jeff Tian. Early measurement and improvement of software reliability |
| 90 | -- | 91 | Bradley T. Vander Zanden. New visualization and debugging technology for one-way dataflow constraints |
| 91 | -- | 92 | Mitchell Wand. Analysis-based program transformations |
| 92 | -- | 0 | Mitchell Wand, William D. Clinger. Optimizing memory usage in higher-order programming languages: theoretical and experimental studies |
| 93 | -- | 0 | Elizabeth L. White. General strategies for dynamic reconfiguration |
| 94 | -- | 0 | Steven J. Zeil. Reliability growth modeling from fault failure rates |
| 95 | -- | 0 | Wayne Stidolph. Evolutionary design of complex software (EDCS) demonstration days 1999 |
| 96 | -- | 0 | Richard N. Taylor, David F. Redmiles. Arabica |
| 96 | -- | 97 | Victoria Stavridou. Architectural analysis of component-based systems |
| 96 | -- | 0 | . Acme and AcmeStudio |
| 96 | -- | 0 | William L. Scherlis. Adaptation and commitment technology (ACT) |
| 97 | -- | 0 | Richard N. Taylor, David F. Redmiles. ArchStudio |
| 97 | -- | 0 | Richard N. Taylor, David F. Redmiles. Argo/UML |
| 97 | -- | 0 | . ARGUS-1: "All-Seeing" architectural analysis |
| 98 | -- | 0 | Richard N. Taylor, David F. Redmiles. Chimera |
| 98 | -- | 0 | Bill Carlson, Chris Garrity. Ewatch |
| 98 | -- | 0 | Garry Brannum. Capability packages for avionics software (CPAS) |
| 98 | -- | 0 | Gail E. Kaiser. Internet-based information management technology |
| 99 | -- | 0 | Dennis Heimbigner, Alexander L. Wolf. Distributed software engineering |
| 99 | -- | 100 | Gio Wiederhold, Dorothea Beringer, Neal Sample, Laurence Melloul. Composition of multi-site software (CHAIMS) |
| 99 | -- | 0 | David Luckham. Complex event processing (CEP) |
| 99 | -- | 0 | Tim Teitelbaum. CodeSurfer |
| 100 | -- | 0 | Bob Blazer. A COTS-based design editor for user specified domains |
| 100 | -- | 0 | Debra Richardson. DAS-BOOT: design-, architecture- and specification-based approaches to object-oriented testing |
| 100 | -- | 101 | Karl J. Lieberherr. Demeter/adaptive programming |
| 101 | -- | 0 | Richard N. Taylor, David F. Redmiles. Expectation-driven event monitoring |
| 101 | -- | 0 | Richard Taylor, David F. Redmiles. Endeavors |
| 101 | -- | 102 | Leon J. Osterweil, Lori A. Clarke. FLAVERS |
| 101 | -- | 0 | Spencer Rugaber. Esprit de Corps Suite |
| 101 | -- | 0 | Steve Vestal. DoME |
| 102 | -- | 0 | Sidney C. Bailin, Dean Allemang. Formal alternative management integrating logical inference and rationals (FAMILIAR) |
| 102 | -- | 103 | Steve Vestal. Incremental constraint engine |
| 103 | -- | 0 | Gail E. Kaiser. Internet-based information management technology |
| 103 | -- | 104 | Don S. Batory. Jakarta Tool Suite (JTS) |
| 103 | -- | 0 | John P. Lehoczky. INSERT - incremental software evolution for real-time systems |
| 104 | -- | 0 | Leon J. Osterweil, Lori A. Clarke. Little-JIL |
| 104 | -- | 0 | Richard N. Taylor, David F. Redmiles. Knowledge depot |
| 104 | -- | 105 | Barry W. Boehm, Nenad Medvidovic. Model-based (systems) architecting and software engineering (MBASE) |
| 104 | -- | 0 | José Meseguer, Carolyn L. Talcott. Maude |
| 105 | -- | 0 | W. Lewis Johnson, Stacy C. Marsella. MediaDoc: automated generation of multimedia explanatory presentations |
| 105 | -- | 106 | Daniel A. Reed, Simon M. Kaplan. ORBIT/VIRTUE - collaboration and visualization support for complex systems evolution |
| 105 | -- | 0 | Gabor Karsai. Model integrated computing (MIC) |
| 105 | -- | 0 | Steve Vestal. MetaH |
| 106 | -- | 0 | Barry W. Boehm, Nenad Medvidovic. Software architecture, analysis, generation, and evolution (SAAGE) |
| 106 | -- | 0 | Michal Young. High assurance technologies |
| 106 | -- | 107 | Debra Richardson. Siddhartha - automated test driver-oracle synthesis |
| 106 | -- | 107 | Bob Balzer. Securely wrapping COTS products |
| 107 | -- | 0 | Debra Richardson. SoBelt: structural and behavioral execution instrumentation tool |
| 107 | -- | 0 | Jim McDonald. Specware |
| 108 | -- | 0 | Richard N. Taylor, David F. Redmiles. WebDAV |
| 108 | -- | 0 | Debra Richardson. TestTalk: software test description language |
| 108 | -- | 0 | Alexander Egyed. UML/Analyzer - a system for defining and analyzing the conceptual integrity of UML models |
| 109 | -- | 113 | L. B. S. Raccoon. A whole new kind of engineering |
| 114 | -- | 0 | Vincent Traas, Jos van Hillegersberg. The software component market on the internet current status and conditions for growth |