Home     Top: Software Engineering    Subtopics:   Data Structures   Parallelism   Randomized Algorithms

Change ordering:   Authority   Hubs (tutorials)   Date   Expected authority       Show abstracts
Ordered by the number of citations

This directory is created automatically and some papers may be mislabeled. Only document within the CiteSeer database are listed. The directory is intended to provide entry points for browsing the database and is not intended to be authoritative. Papers may not appear in all relevant categories. For example, papers in a sub-category may not appear in higher level categories.

255   Foundations for the Study of Software Architecture - Perry, Wolf (1992)   (Correct)
179   Orca: A Language For Parallel Programming Of Distributed Systems - Bal, Kaashoek, Tanenbaum (1992)   (Correct)
170   KIDS: A Semi-Automatic Program Development System - Smith (1990)   (Correct)
168   The Challenges of Mobile Computing - Forman, Zahorjan (1994)   (Correct)
163   Formal Methods: State of the Art and Future Directions - Clarke, Wing (1996)   (Correct)
158   Intelligent Agents: Theory and Practice - Wooldridge, Jennings (1995)   (Correct)
157   An Old-Fashioned Recipe for Real Time - Abadi, Lamport (1993)   (Correct)
142   Software Agents - Genesereth, Ketchpel (1994)   (Correct)
142   From Structured Documents to Novel Query Facilities - Christophides, Abiteboul, Cluet.. (1996)   (Correct)
141   Specification and Analysis of System Architecture Using Rapide - Luckham, Kenney, Augustin, Vera.. (1995)   (Correct)
140   The Temporal Logic of Actions - Lamport (1994)   (Correct)
138   A Survey of Program Slicing Techniques - Tip (1995)   (Correct)
127   Specifying Distributed Software Architectures - Magee, Dulay, Eisenbach, Kramer (1994)   (Correct)
123   Executable Object Modeling with Statecharts - Harel, Gery (1997)   (Correct)
118   Standard ML of New Jersey - Appel, MacQueen (1991)   (Correct)
116   CENTAUR: the system - Borras, Clément, Despeyrouz.. (1988)   (Correct)
109   Shared Memory Consistency Models: A Tutorial - Adve, Gharachorloo (1995)   (Correct)
102   Prudent Engineering Practice for Cryptographic Protocols - Abadi, Needham (1995)   (Correct)
98   The Model Checker SPIN - Holzmann (1997)   (Correct)
92   RMM: A Methodology for Structured Hypermedia Design - Isakowitz, Stohr, Balasubramanian (1995)   (Correct)
89   An Event-Based Architecture Definition Language - Luckham, Vera (1995)   (Correct)
88   Constructing Distributed Systems In Conic - Magee, Kramer, Sloman (1989)   (Correct)
87   The Design and Implementation of a Mobile Internetworking Architecture - Ioannidis, Maguire, Jr. (1993)   (Correct)
84   The Standard Template Library - Stepanov, Lee (1995)   (Correct)
80   Acme: An Architecture Description Interchange Language - Garlan (1997)   (Correct)
80   Exploiting Style in Architectural Design Environments - Garlan, Allen, Ockerbloom (1994)   (Correct)
79   Reasoning about Time in Higher-Level Language Software - Shaw (1989)   (Correct)
78   The Syntax Definition Formalism SDF - Reference Manual - - Heering, Hendriks, Klint, Rekers (1992)   (Correct)
75   Interval-Based Conceptual Models for Time-Dependent Multimedia Data - Little, Ghafoor (1993)   (Correct)
74   The Evolving Philosophers Problem: Dynamic Change Management. - Kramer (1990)   (Correct)
69   VIS: A System for Verification and Synthesis - Brayton, Sangiovanni-Vincentelli.. (1996)   (Correct)
67   Software Process Model Evolution in the SPADE Environment - Bandinelli, Fuggetta, Ghezzi (1993)   (Correct)
65   The STATEMATE Semantics of Statecharts - Harel, Naamad (1996)   (Correct)
65   A Practical System for Intermodule Code Optimization at Link-Time - Srivastava, Wall (1992)   (Correct)
63   Inconsistency Handling in Multi-Perspective Specifications - Finkelstein, Gabbay, Hunter, Kramer, .. (1994)   (Correct)
61   Systematic Concurrent Object-Oriented Programming - Meyer (1993)   (Correct)
59   Model Checking Large Software Specifications - Anderson (1996)   (Correct)
59   Threads and Input/Output in the Synthesis Kernel - Massalin, Pu (1995)   (Correct)
59   Access Control for Collaborative Environments - Shen, Dewan   (Correct)
56   A Framework for Expressing the Relationships Between Multiple Views.. - Nuseibeh, Kramer, Finkelstein (1994)   (Correct)
55   Measured Capacity of an Ethernet: Myths and Reality - Boggs, Mogul, Kent (1988)   (Correct)
55   A Sense of Self for Unix Processes - Forrest, Hofmeyr, Somayaji, Longstaff (1996)   (Correct)
54   The QoS Broker - Nahrstedt, Smith (1995)   (Correct)
53   The Inscape Environment - Perry (1989)   (Correct)
52   Formalizing Style to Understand Descriptions of Software Architecture - Abowd, Allen, Garlan (1995)   (Correct)
51   Designing Distributed Applications with Mobile Code Paradigms - Carzaniga, Picco, Vigna (1997)   (Correct)
48   SAAM: A Method for Analyzing the Properties of Software Architectures - Kazman, Bass, Abowd, Webb (1994)   (Correct)
48   An International Survey of Industrial Applications of Formal Methods: .. - Craigen, Gerhart, Ralston (1993)   (Correct)
47   Programming and verifying real-time systems by means of the.. - Halbwachs, LAGNIER, RATEL (1994)   (Correct)
46   Compositional Reachability Analysis Using Process Algebra - Yeh, Young (1991)   (Correct)
46   Assuring Good Style for Object-Oriented Programs - Lieberherr, Holland (1989)   (Correct)
45   SHADE: Technology for Knowledge-Based Collaborative Engineering - McGuire, Kuokka, al. (1993)   (Correct)
45   Engineering and Analysis of Fixed Priority Schedulers - Katcher (1993)   (Correct)
45   Transactional Memory: Architectural Support for Lock-Free Data.. - Herlihy, Moss (1993)   (Correct)
44   Specification-based Test Oracles for Reactive Systems - Richardson, Aha, O'Malley (1992)   (Correct)
42   Software-Extended Coherent Shared Memory: Performance and Cost - Chaiken, Agarwal (1994)   (Correct)
42   Comparing Detection Methods For Software Requirements Inspections: A.. - Porter, Votta, Jr., Basili (1995)   (Correct)
42   A Framework for Classifying and Comparing Architecture Description.. - Medvidovic (1997)   (Correct)
42   A Classification and Comparison Framework for Software Architecture.. - Medvidovic (1996)   (Correct)
41   Building Reliable Distributed Systems with CORBA - Landis, Maffeis (1997)   (Correct)
40   Seven More Myths of Formal Methods - Bowen, Hinchey (1995)   (Correct)
40   Software Visualization in the Large - Ball, Eick (1996)   (Correct)
39   A Methodology for Agent-Oriented Analysis and Design - Wooldridge, Jennings, Kinny (1999)   (Correct)
39   The Amulet Environment: New Models for Effective User Interface.. - Myers (1996)   (Correct)
39   An Overview of Production Rules in Database Systems - Hanson, Widom (1993)   (Correct)
39   A Type-Based Approach to Program Security - Volpano, Smith (1997)   (Correct)
38   A High-Level and Flexible Framework for Implementing Multi-User.. - Dewan, Choudhary (1992)   (Correct)
38   Guaranteeing Real-Time Requirements with Resource-Based Calibration.. - Gerber, Hong, Saksena (1995)   (Correct)
38   Preliminary Design of JML: A Behavioral Interface Specification.. - Leavens, Baker, Ruby (1999)   (Correct)
38   A Survey of Agent-Oriented Methodologies - Iglesias, Garijo, Gonzalez (1999)   (Correct)
37   The ADAPTIVE Communication Environment: An Object-Oriented Network.. - Schmidt (1993)   (Correct)
37   Password Security: A Case History - Morris (1979)   (Correct)
37   Productive Parallel Programming: The PCN Approach - Foster, Olson, Tuecke (1992)   (Correct)
37   A Component- and Message-Based Architectural Style for GUI Software - Taylor, Medvidovic, Anderson, Jr.. (1996)   (Correct)
37   Environment Centered Analysis and Design of Coordination Mechanisms - Decker (1995)   (Correct)
37   A Status Report on Research in Transparent Informed Prefetching - Patterson, Gibson, Satyanarayanan (1993)   (Correct)
37   Deductive Composition of Astronomical Software from Subroutine.. - Stickel, Waldinger, Lowry.. (1994)   (Correct)
36   Conceptual Modelling of Database Applications Using an Extended ER.. - Engels, Gogolla, Hohenstein.. (1992)   (Correct)
36   The Swarm Simulation System: A Toolkit for Building Multi-agent.. - Minar, Burkhart, Langton, Askenazi (1996)   (Correct)
35   A Knowledge-Based Configurator that Supports Sales, Engineering, and.. - Jon Wright (1993)   (Correct)
35   Fundamentals Of Deductive Program Synthesis - Manna, Waldinger (1992)   (Correct)
35   LCLint: A Tool for Using Specifications to Check Code - Evans (1994)   (Correct)
34   Glue-Nail: A Deductive Database System - Phipps, A.Derr, Ross (1991)   (Correct)
34   Fine-Grained Revision Control for Collaborative Software Development - Magnusson, Asklund, Minör (1993)   (Correct)
34   Security Models - McLean (1994)   (Correct)
33   PERTS: A Prototyping Environment for Real-Time Systems - Liu, Redondo, Deng, Tia, Bettati.. (1993)   (Correct)
33   Software Interconnection Models - Perry (1987)   (Correct)
33   Data Flow Analysis for Verifying Properties of Concurrent Programs - Dwyer (1994)   (Correct)
33   Enhancing the Nuprl Proof Development System and Applying it to.. - Jackson (1995)   (Correct)
33   Techniques for Process Model Evolution in EPOS - Jaccheri, Conradi (1993)   (Correct)
32   Some Efficient Architecture Simulation Techniques - Bedichek (1990)   (Correct)
32   A characterization of the stochastic process underlying a stochastic.. - Ciardo, German, Lindemann (1994)   (Correct)
32   Accurate Binding-Time Analysis For Imperative Languages: Flow.. - Hornof, Noyé   (Correct)
32   Server Operating Systems - Kaashoek, Engler, Ganger, Wallach (1996)   (Correct)
32   Map Learning and High-Speed Navigation in RHINO - Thrun, Bücken, Burgard, Fox.. (1998)   (Correct)
32   The Infeasibility of Experimental Quantification of Life-Critical.. - Butler, Finelli (1991)   (Correct)
31   LIME: Linda Meets Mobility - Picco, Murphy, Roman (1999)   (Correct)
31   Adaptive Object-Oriented Programming using Graph-Based Customization - Lieberherr (1994)   (Correct)
31   Tool support for object-oriented patterns - Florijn, Meijers, van Winsen (1997)   (Correct)
31   An Industrial Strength Theorem Prover for a Logic Based on Common Lisp - Kaufmann, Moore (1997)   (Correct)
31   Bro: A System for Detecting Network Intruders in Real-Time - Paxson (1998)   (Correct)
31   Software Reliability via Run-Time Result-Checking - Wasserman, Blum (1994)   (Correct)
31   Coordination Models and Languages - Papadopoulos, ARBAB (1998)   (Correct)
31   A Field Guide to Boxology: Preliminary Classification of.. - Shaw, Clements (1996)   (Correct)
30   Parametric Shape Analysis via 3-Valued Logic - Sagiv, Reps, Wilhelm (1999)   (Correct)
30   Utilizing Symmetry when Model Checking under Fairness Assumptions: An .. - Emerson, Sistla (1999)   (Correct)
29   Scenario-Based Analysis of Software Architecture - Kazman (1996)   (Correct)
29   Closure and Convergence: A Foundation of Fault-Tolerant Computing - Arora, Gouda (1993)   (Correct)
29   The Bird-Meertens Formalism as a Parallel Model - Skillicorn (1993)   (Correct)
28   A Formal Framework for Agency and Autonomy - Luck, d'Inverno (1995)   (Correct)
28   Dynamic Slicing in the Presence of Unconstrained Pointers - Agrawal (1991)   (Correct)
28   Formalizing Space Shuttle Software Requirements - Crow, Di Vito (1996)   (Correct)
28   The Relationship between Slices and Module Cohesion - Ott, Thuss (1989)   (Correct)
28   Constructing Specification Morphisms - Smith (1993)   (Correct)
27   Precise Interprocedural Dataflow Analysis with Applications to.. - Sagiv, Reps, Horwitz (1995)   (Correct)
27   Pitfalls of Agent-Oriented Development - Wooldridge, Jennings (1998)   (Correct)
27   Privacy via Subsumption - Riecke (1998)   (Correct)
27   A Pattern Matching Model for Misuse Intrusion Detection - Kumar, Spafford (1994)   (Correct)
27   Oracles for Checking Temporal Properties of Concurrent Systems - Laura Dillon (1994)   (Correct)
26   On the Modularity of Termination of Term Rewriting Systems - Ohlebusch (1993)   (Correct)
26   Formulations and Formalisms in Software Architecture - Shaw (1995)   (Correct)
26   The Zeno Argumentation Framework - Gordon (1997)   (Correct)
26   Distributed Programming with Logic Tuple Spaces - Ciancarini (1994)   (Correct)
26   Dynamically Discovering Likely Program Invariants to Support Program.. - Ernst, Cockrell, Griswold, Notkin (1999)   (Correct)
26   A Control-Flow Normalization Algorithm and Its Complexity - Ammarguellat (1992)   (Correct)
25   The COPS Security Checker System - Farmer, Spafford (1992)   (Correct)
25   Computational Reflection in Software Process Modeling: the SLANG.. - Bandinelli, Fuggetta (1993)   (Correct)
24   Independently Extensible Systems - Software Engineering Potential and .. - Szyperski (1996)   (Correct)
24   Stack-Based Typed Assembly Language - Morrisett, Crary, Walker, Glew (1998)   (Correct)
24   Sequencing Run-Time Reconfigured Hardware with Software - Wirthlin (1996)   (Correct)
24   Virtual Schemas and Bases - Santos, Abiteboul, Delobel (1994)   (Correct)
24   A Module System for Scheme - Curtis, Rauen (1990)   (Correct)
24   Agent-Based Software Engineering - Mike Wooldridge (1994)   (Correct)
24   Using Semantic Differencing to Reduce the Cost of Regression Testing - Binkley (1992)   (Correct)
24   A Graphical Interval Logic for Specifying Concurrent Systems - Dillon (1994)   (Correct)
23   Evolution of Object Behavior using Context Relations - Seiter, Palsberg, Lieberherr (1996)   (Correct)
23   Evaluating the Tradeoffs of Mobile Code Design Paradigms in Network.. - Baldi (1998)   (Correct)
23   Interactive Foundations of Computing - Wegner (1997)   (Correct)
23   A Software Engineering Experiment in Software Component Generation - Kieburtz, McKinney, Bell, Hook.. (1996)   (Correct)
23   On the Occur-check Free Prolog Programs - Apt, Pellegrini (1994)   (Correct)
23   Symbolic Analysis for Parallelizing Compilers - Haghighat (1994)   (Correct)
23   Software Synthesis for DSP Using Ptolemy - Pino, Ha, Lee, Buck (1993)   (Correct)
22   A Model for Secure Protocols and Their Compositions - Heintze, Tygar (1996)   (Correct)
22   Critical System Properties: Survey and Taxonomy - Rushby (1994)   (Correct)
22   Experiences Using Lightweight Formal Methods for Requirements Modeling - Easterbrook, Lutz, Covington, Kelly, .. (1998)   (Correct)
22   Taming Control Flow: A Structured Approach to Eliminating Goto.. - Erosa, Hendren (1994)   (Correct)
22   Coordinating Multiagent Applications on the WWW: A Reference.. - Ciancarini, Tolksdorf, Vitali.. (1998)   (Correct)
22   Speeding up Slicing - Reps, Horwitz, Sagiv, Rosay (1994)   (Correct)
22   Transformational Approach to Transportation Scheduling - Smith, Parra (1993)   (Correct)
22   Applying formal methods to software testing - Stocks (1993)   (Correct)
22   Cost Models for Future Software Life Cycle Processes: COCOMO 2.0 - Boehm, Clark, Horowitz, Westland.. (1995)   (Correct)
22   A Packaging System For Heterogeneous Execution Environments - Callahan, Purtilo (1991)   (Correct)
21   Targeting Safety-Related Errors During Software Requirements Analysis - Lutz (1996)   (Correct)
21   Issues in Wireless Mobile Computing - Duchamp (1992)   (Correct)
21   ViewPoint Oriented Software Development - Finkelstein (1990)   (Correct)
21   Debugging Optimized Code Without Being Misled: Currency Determination - Copperman (1993)   (Correct)
21   Why are Human-Computer Interfaces Difficult to Design and Implement? - Myers (1993)   (Correct)
21   Guaranteeing End-to-End Timing Constraints by Calibrating.. - Gerber (1994)   (Correct)
21   Specifying and Analyzing Dynamic Software Architectures - Allen, Douence, Garlan (1998)   (Correct)
21   New Methods for Competitive Coevolution - Rosin, Belew (1996)   (Correct)
20   An Experiment to Assess the Cost-Benefits of Code Inspections in.. - Porter, Toman, Siy, Votta (1997)   (Correct)
20   Relationships between Design Patterns - Zimmer (1994)   (Correct)
19   Architectures for an Event Notification Service Scalable to Wide-area .. - Carzaniga (1998)   (Correct)
19   A Framework for Undoing Actions in Collaborative Systems - Prakash, Knister (1994)   (Correct)
19   AutoFocus - A Tool for Distributed Systems Specification - Huber, Schätz, Schmidt, Spies (1996)   (Correct)
19   Perspectives on Optimistically Replicated, Peer-to-Peer Filing - Page, Jr., al. (1997)   (Correct)
19   Optimizing Array Bound Checks Using Flow Analysis - Gupta (1993)   (Correct)
19   Ethical Web Agents - Eichmann (1994)   (Correct)
19   Navigating Large Networks with Hierarchies - Eick, Wills (1993)   (Correct)
19   Measuring Functional Cohesion - Bieman, Ott (1994)   (Correct)
19   Managing Inconsistent Specifications: Reasoning, Analysis, and Action - Hunter, Nuseibeh (1998)   (Correct)
19   Formal Refinement Patterns for Goal-Driven Requirements Elaboration - Darimont, van Lamsweerde (1996)   (Correct)
19   On the Inference of Configuration Structures from Source Code - Krone, Snelting (1994)   (Correct)
19   A Toolkit for Constructing Type- and Constraint-Based Program Analyses - Aiken, Fähndrich, Foster, Su (1998)   (Correct)
19   Interval Computation as Deduction in CHIP - Lee, van Emden (1993)   (Correct)
19   Composite Design Patterns - Riehle (1997)   (Correct)
18   Towards a Social Level Characterisation of Socially Responsible Agents - Jennings, Campos (1997)   (Correct)
18   Forcing Behavioral Subtyping Through Specification Inheritance - Dhara, Leavens (1997)   (Correct)
18   A Constructive Approach to the Design of Distributed Systems - Kramer, Magee, Finkelstein (1990)   (Correct)
18   Managing Inconsistent Specifications: Reasoning, Analysis and Action - Hunter (1995)   (Correct)
18   Formal Requirements Analysis of an Avionics Control System - Dutertre, Stavridou (1997)   (Correct)
17   Global Arrays: A Non-Uniform-Memory-Access Programming Model For.. - Nieplocha, Harrison, Littlefield   (Correct)
17   Compositional Programming Abstractions for Mobile Computing - McCann, Roman (1998)   (Correct)
17   Static Slicing in the Presence of GOTO Statements - Choi, Ferrante (1994)   (Correct)
17   A Framework for Network Protocol Software - Hueni, Johnson, Engel   (Correct)
17   Property Specification Patterns for Finite-State Verification - Matthew Dwyer (1998)   (Correct)

CiteSeer - citeseer.org - Terms of Service - Privacy Policy - Copyright © 1997-2002 NEC Research Institute