Logo - SERL

Papers:

Deployment and Dynamic Reconfiguration Planning for Distributed Software Systems
  Proc. of the 15th IEEE Int'l Conf. on Tools with Artificial Intelligence, 3-5 November 2003, Sacramento, CA.
  Naveed Arshad (email), Dennis Heimbigner (email), Alexander L. Wolf (email)
A Tamper-Detecting Implementation of Lisp
  Proceedings of the 2003 International Conference on Security and Management, Las Vegas, NV, June 2003
  Dennis Heimbigner (email)
An Experience in Evaluating Publish/Subscribe Services in a Wireless Network
  Workshop on Software and Performance. In conjunction with International Symposium on Software Testing and Analysis (ISSTA). Rome, Italy. July, 2002.
  Mauro Caporuscio (email), Antonio Carzaniga (email), Alexander L. Wolf (email) [pdf][ps]
On Relating Functional Specifications to Architectural Specifications: A Case Study
  Technical Report CU-CS-933-02, Department of Computer Science, University of Colorado, Boulder, Colorado, June 2002
  Flavio Corradini, Paola Inverardi (email), Alexander L. Wolf (email) [pdf]
Reconfiguration in the Enterprise JavaBean Component Model
  Proceedings of the IFIP/ACM Working Conference on Component Deployment, Lecture Notes in Computer Science 2370, Springer-Verlag, Berlin, 2002, pp. 67-81
  Matt Rutherford (email), Ken Anderson (email), Antonio Carzaniga (email), Dennis Heimbigner (email), Alexander L. Wolf (email) [pdf]
Using the Structure of XML to Generate Notifications and Subscriptions in Siena
  Christopher R. Corliss, M.S., Department of Computer Science, Univeristy of Colorado at Boulder, May 2002
  Chris Corliss (email) [pdf]
A Benchmark Suite for Distributed Publish/Subscribe Systems
  Technical Report CU-CS-927-02, Department of Computer Science, University of Colorado, Boulder, Colorado, April 2002.
  Antonio Carzaniga (email), Alexander L. Wolf (email) [pdf]
Intrusion Management Using Configurable Architecture Models
  Technical Report CU-CS-929-02, Department of Computer Science, University of Colorado, Boulder, Colorado, April 2002
  Dennis Heimbigner (email), Alexander L. Wolf (email) [pdf]
Mobility Support in the Siena Publish/Subscribe Middleware
  Mauro Caporuscio, Laurea, Dipartimento di Informatica, Universita dell'Aquila, March 2002
  Mauro Caporuscio (email) [ps]
A Testbed for Configuration Management Policy Programming
  IEEE Transactions on Software Engineering, vol. 28, no. 1, January 2002, pp. 79-99
  André van der Hoek (email), Antonio Carzaniga (email), Dennis Heimbigner (email), Alexander L. Wolf (email) [pdf]
Security Issues and Requirements for Internet-Scale Publish-Subscribe Systems
  35th Hawaii International Conference on System Sciences, Big Island, Hawaii, January 2002.
  Chenxi Wang, Antonio Carzaniga (email), David Evans, Alexander L. Wolf (email) [pdf]
A Block-Cipher Mode of Operation for Parallelizable Message Authentication
  Advances in Cryptology -- EUROCRYPT '02, Amsterdam, The Netherlands, 2002
  John R. Black (email), Phillip Rogaway [pdf][ps]
Black-Box Analysis of the Block-Cipher-Based Hash-Function Constructions from PGV
  Advances in Cryptology -- CRYPTO '02, Santa Barbara, CA, USA, 2002
  John R. Black (email), Phillip Rogaway, Thomas Shrimpton [pdf][ps]
Ciphers with Arbitrary Finite Domains
  RSA Data Security Conference, Cryptographer's Track (RSA CT '02), San Jose, CA, USA, 2002
  John R. Black (email), Phillip Rogaway [pdf][ps]
Encryption-Scheme Security in the Presence of Key-Dependent Messages
  Selected Areas in Cryptography -- SAC '02, St. John's, Newfoundland, Canada, 2002
  John R. Black (email), Phillip Rogaway, Thomas Shrimpton [pdf][ps]
Side-Channel Attacks on Symmetric Encryption Schemes: The Case for Authenticated Encryption
  11th USENIX Security Symposium -- USENIX Security '02, San Francisco, USA, 2002
  John R. Black (email), Hector Urtubia [pdf][ps]
Achieving Survivability of Complex and Dynamic Software with the Willow Framework
  Proc. of the Working Conference on Complex and Dynamic Systems Architecture, December 2001, Brisbane, Australia
  Alexander L. Wolf (email), Dennis Heimbigner (email), Ken Anderson (email), Antonio Carzaniga (email), Nathan Ryan (email)
EJB-ARK: Enterprise JavaBean Automatic Reconfiguration frameworK
  Matthew J. Rutherford, M.S., Department of Computer Science, Univeristy of Colorado at Boulder, December 2001
  Matt Rutherford (email) [ps]
The Willow Architecture: Comprehensive Survivability for Large-Scale Distributed Applications
  Technical Report CU-CS-926-01, Department of Computer Science, University of Colorado, Boulder, Colorado, December 2001
  John Knight, Dennis Heimbigner (email), Alexander L. Wolf (email), Antonio Carzaniga (email), Jonathan Hill, Premkumar Devanbu, Michael Gertz [pdf]
Fast Forwarding for Content-Based Networking
  Technical Report CU-CS-922-01, Department of Computer Science, University of Colorado, Boulder, Colorado, November 2001.
  Antonio Carzaniga (email), Jing Deng (email), Alexander L. Wolf (email) [pdf][ps]
The Willow Survivability Architecture
  Fourth Information Survivability Workshop, Vancouver, British Columbia, October 2001 (postponed to March 2002)
  John Knight, Dennis Heimbigner (email), Alexander L. Wolf (email), Antonio Carzaniga (email), Jonathan Hill, Premkumar Devanbu [pdf]
Architecture-Level Dependence Analysis for Software Systems
  International Journal of Software Engineering and Knowledge Engineering, Vol. 11, No. 4, August 2001, pp. 431-452.
  Judith Stafford (email), Alexander L. Wolf (email)
Design and Evaluation of a Wide-Area Event Notification Service
  ACM Transactions on Computer Systems, vol. 9, no. 3, August 2001, pp. 332-383.
  Antonio Carzaniga (email), David S. Rosenblum, Alexander L. Wolf (email) [pdf]
Configuration Management Culture as the Kernel to Success in Software Process Improvement Efforts
  Software Process Technology, 8th European Workshop, EWSPT 2001, Witten, Germany, June 19-21, 2001, Proceedings. Lecture Notes in Computer Science 2077 Springer 2001, ISBN 3-540-42264-1
  Tom Green (email), Ken Anderson (email) [pdf]
Adapting Publish/Subscribe Middleware to Achieve Gnutella-like Functionality
  2001 ACM Symposium on Applied Computing (SAC 2001): Special Track on Coordination Models, Languages and Applications (to appear), 11-14 March 2001, Las Vegas, NV.
  Dennis Heimbigner (email) [pdf]
OCB: A Mode of Operation Providing Privacy+Authenticity
  ACM Conference on Computer and Communications Security (CCS '01), Philadelphia, PA, USA, 2001
  Phillip Rogaway, Mihir Bellare, John R. Black (email), Ted Krovetz
Bend, Don't Break: Using Reconfiguration to Achieve Survivability
  Third Information Survivability Workshop, Boston, Massachusetts, October 2000
  Alexander L. Wolf (email), Dennis Heimbigner (email), John Knight, Premkumar Devanbu, Michael Gertz, Antonio Carzaniga (email) [pdf]
Annotating Components to Support Component-Based Static Analyses of Software Systems
  Grace Hopper Celebration of Women in Computing 2000, Hyannis, Massachusetts, September 2000
  Judith Stafford (email), Alexander L. Wolf (email) [ps]
A Formal, Language-Independent, and Compositional Approach to Control Dependence Analysis
  Judith A. Stafford, Ph.D., Department of Computer Science, Univeristy of Colorado at Boulder, August 2000
  Judith Stafford (email) [ps]
An Infrastructure to Generate Experimental Workloads for Persistent Object System Performance Evaluation
  Thorna O. Humphries, Ph.D., Department of Computer Science, Univeristy of Colorado at Boulder, August 2000
  Thorna O. Humphries [pdf][ps]
http://www.cs.colorado.edu/users/alw/doc/AvailablePubs.html#podc00
  Nineteenth Annual ACM Symposium on Principles of Distributed Computing, Portland, Oregon, July 2000, pp. 219-227.
  Antonio Carzaniga (email), David S. Rosenblum, Alexander L. Wolf (email) [pdf]
Static Checking of System Behaviors Using Derived Component Assumptions
  ACM Transactions on Software Engineering and Methodology, vol. 9, no. 3, July 2000, pp. 239-272
  Paola Inverardi (email), Alexander L. Wolf (email), Daniel Yankelevich [pdf]
A Reusable, Distributed Repository for Configuration Management
  André van der Hoek, Ph.D., Department of Computer Science, Univeristy of Colorado at Boulder, May 2000
  André van der Hoek (email) [pdf][ps]
Content-Based Addressing and Routing: A General Model and its Application
  Technical Report CU-CS-902-00, Department of Computer Science, University of Colorado, Boulder, Colorado, January 2000.
  Antonio Carzaniga (email), David S. Rosenblum, Alexander L. Wolf (email) [pdf][ps]
A Suggestion on Handling Arbitrary-Length Messages with the CBC MAC
  NIST Symmetric Key Block Cipher Modes of Operation Workshop, Baltimore, MD, 2000
  John R. Black (email), Phillip Rogaway [pdf][ps]
An Infrastructure for Generating and Sharing Experimental Workloads for Persistent Object Systems
  Software-Practice and Experience, vol. 30, issue 4, 2000, pp. 387-417.
  Thorna O. Humphries, Artur Klauser, Alexander L. Wolf (email), Benjamin G. Zorn [pdf]
CBC MACs for Arbitrary Length Messages: The Three-Key Constructions
  Advances in Cryptology -- CRYPTO '00, Santa Barbara, CA, USA, 2000
  John R. Black (email), Phillip Rogaway [pdf][ps]
Foundations for Software Configuration Management Policies Using Graph Transformations
  Fundamental Approaches to Software Engineering 2000, Lecture Notes in Computer Science 1783, Springer-Verlag, Berlin, 2000, pp. 304-318.
  Francesco Parisi-Presicce, Alexander L. Wolf (email) [ps]
Message Authentication Codes
  Thesis: UC Davis, 2000
  John R. Black (email) [pdf][ps]
A Conceptual Basis for Feature Engineering
  Journal of Systems and Software, Vol. 49, No. 1, December 1999, pp. 3-15.
  C. Reid Turner (email), Alfonso Fuggetta, Luigi Lavazza, Alexander L. Wolf (email) [pdf][ps]
Analysis and Design for a Next Generation Software Release Management System
  Robert A. Smith, M.S., Department of Computer Science, Univeristy of Colorado at Boulder, December 1999
  Robert Smith (email) [pdf]
Capturing Architectural Configurability: Variants, Options, and Evolution
  Technical Report CU-CS-895-99, Department of Computer Science, University of Colorado, Boulder, Colorado, December 1999
  André van der Hoek (email), Dennis Heimbigner (email), Alexander L. Wolf (email) [ps]
Architecture-Based Software Engineering
  Technical Report CU-CS-891-99, Department of Computer Science, University of Colorado, Boulder, Colorado, November 1999
  Judith Stafford (email), Alexander L. Wolf (email) [ps]
A Framework for Analyzing Configurations of Deployable Software Systems
  Fifth IEEE International Conference on Engineering of Complex Computer Systems, Las Vegas, Nevada, October 1999, pp. 32-42
  Dennis Heimbigner (email), Richard Hall (email), Alexander L. Wolf (email) [pdf]
Agent-Based Software Configuration and Deployment
  Richard S. Hall, Ph.D., Department of Computer Science, Univeristy of Colorado at Boulder, May 1999
  Richard Hall (email) [pdf]
Challenges for Distributed Event Services: Scalability vs. Expressiveness
  ICSE '99 Workshop on Engineering Distributed Objects (EDO '99), Los Angeles, California, May 1999.
  Antonio Carzaniga (email), David S. Rosenblum, Alexander L. Wolf (email) [pdf][ps]
Configurable Software Architecture in Support of Configuration Management and Software Deployment
  Proceedings of the ICSE99 Doctoral Workshop, Los Angeles, California, May 1999.
  André van der Hoek (email) [ps]
Feature Engineering of Software Systems
  C. Reid Turner, Ph.D., Department of Computer Science, Univeristy of Colorado at Boulder, May 1999
  C. Reid Turner (email) [pdf][ps]
Software Process Validation: Quantitatively Measuring the Correspondence of a Process to a Model
  ACM Transactions on Software Engineering and Methodology, vol. 8, no. 2, April 1999, pp. 147-176
  Jonathan Cook (email), Alexander L. Wolf (email) [pdf]
Specifying the Deployable Software Description Format in XML
  SERL Technical Report CU-SERL-207-99, Software Engineering Research Laboratory, Department of Computer Science University of Colorado, March 1999
  Richard Hall (email), Dennis Heimbigner (email), Alexander L. Wolf (email) [pdf]
Uncovering Architectural Mismatch in Component Behavior
  Science of Computer Programming, vol. 33, no. 2, February 1999, pp. 101-131
  Daniele Compare, Paola Inverardi (email), Alexander L. Wolf (email) [pdf]
A Cooperative Approach to Support Software Deployment Using the Software Dock
  1999 International Conference on Software Engineering, Los Angeles, California, May 1999, pp. 174-183
  Richard Hall (email), Dennis Heimbigner (email), Alexander L. Wolf (email) [pdf]
UMAC: Fast and Secure Message Authentication
  Advances in Cryptology -- CRYPTO '99, Santa Barbara, CA, USA, 1999
  John R. Black (email), Shai Halevi, Hugo Krawczyk, Ted Krovetz, Phillip Rogaway
Architectures for an Event Notification Service Scalable to Wide-area Networks
  PhD Thesis. Politecnico di Milano. December, 1998
  Antonio Carzaniga (email) [pdf][ps]
Architecture-Level Dependence Analysis in Support of Software Maintenance
  Third International Software Architecture Workshop, Orlando, Florida, November 1998, pp. 129-132
  Judith Stafford (email), Alexander L. Wolf (email) [pdf]
Evaluating Software Deployment Languages and Schema
  1998 International Conference on Software Maintenance, Bethesda, Maryland, November 1998, pp. 177-185
  Richard Hall (email), Dennis Heimbigner (email), Alexander L. Wolf (email) [ps]
Event-Based Detection of Concurrency
  SIGSOFT '98: Sixth International Symposium on the Foundations of Software Engineering, Orlando, Florida, November 1998, pp. 35-45.
  Jonathan Cook (email), Alexander L. Wolf (email) [pdf]
Issues in Supporting Event-Based Architectural Styles
  Third International Software Architecture Workshop, Orlando, Florida, November 1998, pp. 17-2
  Antonio Carzaniga (email), Elisabetta Di Nitto, David S. Rosenblum, Alexander L. Wolf (email) [pdf]
Versioned Software Architecture
  Third International Software Architecture Workshop, Orlando, Florida, November 1998, pp. 73-76
  André van der Hoek (email), Dennis Heimbigner (email), Alexander L. Wolf (email) [pdf]
Dependence Analysis for Software Architectures
  Proc. of the ASE'98 Doctoral Symposium, Honolulu, HI, Oct 1998.
  Judith Stafford (email) [pdf][ps]
Investigating the Applicability of Architecture Description in Configuration Management and Software Deployment Systems: A Ménage a Trois
  Technical Report CU-CS-862-98, Department of Computer Science, University of Colorado, Boulder, Colorado, September 1998
  André van der Hoek (email), Dennis Heimbigner (email), Alexander L. Wolf (email) [ps]
Adding Licensing and Access Control to an Internet Accessible Software Release Management Tool
  Michael W. Hollis, M.S., Department of Computer Science, Univeristy of Colorado at Boulder, August 1998
  Michael W. Hollis [ps]
Cost-Effective Analysis of In-Place Software Processes
  IEEE Transactions on Software Engineering, vol. 24, no. 8, August 1998, pp. 650-663.
  Jonathan Cook (email), Lawrence G. Votta, Alexander L. Wolf (email) [pdf]
Design of a Scalable Event Notification Service: Interface and Architecture
  Technical Report CU-CS-863-98, Department of Computer Science, University of Colorado, Boulder, Colorado, August 1998.
  Antonio Carzaniga (email), David S. Rosenblum, Alexander L. Wolf (email) [ps]
Discovering Models of Software Processes from Event-Based Data
  ACM Transactions on Software Engineering and Methodology, vol. 7, no. 3, July 1998, pp. 215-249.
  Jonathan Cook (email), Alexander L. Wolf (email) [pdf]
Balboa: A Framework for Event-Based Process Data Analysis
  Fifth International Conference on the Software Process, Lisle, Illinois, June 1998, pp. 99-110.
  Jonathan Cook (email), Alexander L. Wolf (email) [ps]
A Characterization Framework for Software Deployment Technologies
  Technical Report CU-CS-857-98, Department of Computer Science, University of Colorado, Boulder, Colorado, April 1998.
  Antonio Carzaniga (email), Alfonso Fuggetta, Richard Hall (email), Dennis Heimbigner (email), André van der Hoek (email), Alexander L. Wolf (email) [ps]
Aladdin: A Tool for Architecture-Level Dependence Analysis of Software Systems
  Technical Report CU-CS-858-98, Department of Computer Science, University of Colorado, Boulder, Colorado, April 1998
  Judith Stafford (email), Debra J. Richardson, Alexander L. Wolf (email) [ps]
Feature Engineering
  Ninth International Workshop on Software Specification and Design, Ise-shima, Japan, April 1998, pp.
  C. Reid Turner (email), Alfonso Fuggetta, Luigi Lavazza, Alexander L. Wolf (email) [ps]
Software Deployment: Extending Configuration Management Support into the Field
  Crosstalk, The Journal of Defense Software Engineering, volume 11, number 2, February 1998.
  André van der Hoek (email), Richard Hall (email), Antonio Carzaniga (email), Dennis Heimbigner (email), Alexander L. Wolf (email) [ps]
A Highly Effective Partition Selection Policy for Object Database Garbage Collection
  IEEE Transactions on Knowledge and Data Engineering, vol. 10, no. 1, January/February 1998, pp. 153-172.
  Jonathan Cook (email), Alexander L. Wolf (email), Benjamin G. Zorn
Software Architecture, Configuration Management, and Configurable Distributed Systems: A Ménage a Trois
  Technical Report CU-CS-849-98, Department of Computer Science, University of Colorado, Boulder, Colorado, January 1998
  André van der Hoek (email), Dennis Heimbigner (email), Alexander L. Wolf (email) [ps]
Software Process Modeling and Execution within Virtual Environments
  ACM Transactions on Software Engineering and Methodology, vol. 7, no. 1, January 1998, pp. 1-40.
  Jonathan Cook (email), Dennis Heimbigner (email), Alexander L. Wolf (email) [pdf]
Graph and Hashing Algorithms for Modern Architectures: An Experimental Approach
  Workshop for Algorithm Engineering (WAE '98), Saarbruecken, Germany, 1998
  John R. Black (email), Charles Martel, Hongbin Qi [pdf][ps]
Requirements for Software Deployment Languages and Schema
  8th International Symposium on System Configuration Management, Lecture Notes in Computer Science 1439, Springer-Verlag, Berlin, 1998, pp. 198-203
  Richard Hall (email), Dennis Heimbigner (email), Alexander L. Wolf (email) [pdf]
System Modeling Resurrected
  8th International Symposium on System Configuration Management, Lecture Notes in Computer Science 1439, Springer-Verlag, Berlin, 1998, pp. 140-145.
  André van der Hoek (email), Dennis Heimbigner (email), Alexander L. Wolf (email) [pdf]
Software Deployment Languages and Schema
  Technical Report CU-SERL-204-08, Department of Computer Science, University of Colorado, December 1997.
  Richard Hall (email), Dennis Heimbigner (email), Alexander L. Wolf (email) [ps]
Chaining: A Software Architecture Dependence Analysis Technique
  Technical Report CU-CS-845-97, Department of Computer Science, University of Colorado, Boulder, Colorado, September 1997
  Judith Stafford (email), Debra J. Richardson, Alexander L. Wolf (email) [ps]
An Architecture for Post-Development Configuration Management in a Wide-Area Network
  17th International Conference on Distributed Computing Systems, Baltimore, Maryland, May 1997, pp. 269-278.
  Richard Hall (email), Dennis Heimbigner (email), André van der Hoek (email), Alexander L. Wolf (email) [ps]
Succeedings of the Second International Software Architecture Workshop
  ACM SIGSOFT Software Engineering Notes, vol. 22, no. 1, January 1997, pp. 42-56.
  Alexander L. Wolf (email) [pdf][ps]
A Design Framework for Internet-Scale Event Observation and Notification
  6th European Software Engineering Conference (held jointly with SIGSOFT '97: Fifth International Symposium on the Foundations of Software Engineering), Lecture Notes in Computer Science 1301, Springer, Berlin, 1997, pp. 344-360.
  David S. Rosenblum, Alexander L. Wolf (email) [pdf][ps]
Checking Assumptions in Component Dynamics at the Architectural Level
  Second International Conference on Coordination Models and Languages (COORD '97), Lecture Notes in Computer Science 1282, Springer, Berlin, 1997, pp. 46-63
  Paola Inverardi (email), Alexander L. Wolf (email), Daniel Yankelevich [ps]
Software Release Management
  6th European Software Engineering Conference (held jointly with SIGSOFT '97: Fifth International Symposium on the Foundations of Software Engineering), Lecture Notes in Computer Science 1301, Springer, Berlin, 1997, pp. 159-175
  André van der Hoek (email), Richard Hall (email), Dennis Heimbigner (email), Alexander L. Wolf (email) [ps]
The Software Dock: A Distributed, Agent-based Software Deployment System
  Technical Report CU-CS-832-97, Department of Computer Science, University of Colorado, 1997.
  Richard Hall (email), Dennis Heimbigner (email), André van der Hoek (email), Alexander L. Wolf (email) [pdf]
Process Discovery and Validation through Event Data Analysis
  Jonathan E. Cook, Ph.D., Department of Computer Science, Univeristy of Colorado at Boulder, December 1996
  Jonathan Cook (email) [ps]
Software Testing at the Architectural Level
  Second International Software Architecture Workshop (ISAW-2), San Francisco, California, October 1996, pp. 68-71
  Debra J. Richardson, Alexander L. Wolf (email) [pdf][ps]
Succeedings of the 8th International Workshop on Software Specification and Design
  ACM SIGSOFT Software Engineering Notes, vol. 21, no. 5, September 1996, pp. 21-35.
  Jeff Kramer, Alexander L. Wolf (email) [ps]
Software Process Modeling and Execution within Virtual Environments
  John C. Doppke, M.S., Department of Computer Science, Univeristy of Colorado at Boulder, August 1996
  John Doppke (email) [ps]
Software Process Modeling and Execution Within Virtual Environments
  Technical Report CU-CS-805-96, Department of Computer Science, University of Colorado, July 1996.
  John Doppke (email) [ps]
Semi-automatic, Self-adaptive Control of Garbage Collection Rates in Object Databases
  SIGMOD 1996 International Conference on Management of Data, Montreal, Canada, June 1996, pp. 377-388.
  Jonathan Cook (email), Artur Klauser, Alexander L. Wolf (email), Benjamin G. Zorn [ps]
Software in the Field Needs Process Too
  10th International Software Process Workshop, Dijon, France, June 1996, pp. 71-73.
  Dennis Heimbigner (email), Alexander L. Wolf (email) [ps]
Discovery and Validation of Processes
  NSF Workshop on Workflow and Process Automation in Information Systems, Athens, Georgia, May 1996.
  Jonathan Cook (email), Alexander L. Wolf (email) [ps]
A Facilitator Method for Upstream Design Activities with Diverse Stakeholders
  1996 International Conference on Requirements Engineering, Colorado Springs, Colorado, April 1996, pp. 190-197.
  Regina M. Gonzales, Alexander L. Wolf (email) [ps]
Language-Based Support for Metadata
  First IEEE Metadata Conference, Silver Spring, Maryland, April 1996.
  John Doppke (email), Dennis Heimbigner (email), Alexander L. Wolf (email) [ps]
A Generic, Peer-to-Peer Repository for Distributed Configuration Management
  18th International Conference on Software Engineering, Berlin, Germany, March 1996, pp. 308-317
  André van der Hoek (email), Dennis Heimbigner (email), Alexander L. Wolf (email) [ps]
Multilanguage Interoperability in Distributed Systems: Experience Report
  Proceedings of the 18th International Conference on Software Engineering, Berlin, Germany, March 1996.
  Mark Maybee (email), Dennis Heimbigner (email), L.J. Osterweil [ps]
Generating Testing and Analysis Tools with Aria
  ACM Transactions on Software Engineering and Methodology, vol. 5, no. 1, January 1996, pp. 42-62.
  Premkumar Devanbu, David S. Rosenblum, Alexander L. Wolf (email) [pdf]
Post-Deployment Configuration Management
  6th International Workshop on Software Configuration Management, Lecture Notes in Computer Science 1167, Springer-Verlag, Berlin, 1996, pp. 272-276
  Dennis Heimbigner (email), Alexander L. Wolf (email) [ps]
Automating Process Discovery through Event-Data Analysis
  17th International Conference on Software Engineering, Seattle, Washington, April 1995, pp. 373-386.
  Jonathan Cook (email), Alexander L. Wolf (email) [ps]
Formal Specification and Analysis of Software Architectures Using the Chemical Abstract Machine Model
  IEEE Transactions on Software Engineering, vol. 21, no. 4, April 1995, pp. 373-386
  Paola Inverardi (email), Alexander L. Wolf (email) [ps]
Does Configuration Management Research Have a Future?
  5th International Workshop on Software Configuration Management, Lecture Notes in Computer Science 1005, Springer-Verlag, Berlin, 1995, pp. 305-309
  André van der Hoek (email), Dennis Heimbigner (email), Alexander L. Wolf (email) [ps]
Toward Metrics for Process Validation
  Third International Conference on the Software Process, Reston, Virginia, October 1994, pp. 33-44.
  Jonathan Cook (email), Alexander L. Wolf (email) [ps]
Semantic Synchronization in a Persistent Object System Library
  Sixth International Workshop on Persistent Object Systems (POS6), Tarascon, France, September 1994, pp. 129-146.
  Andrea H. Skarra, Naser S. Barghouti, Alexander L. Wolf (email) [ps]
Automated Construction of Testing and Analysis Tools
  16th International Conference on Software Engineering, Sorrento, Italy, May 1994, pp. 241-250.
  Premkumar Devanbu, David S. Rosenblum, Alexander L. Wolf (email) [ps]
SIGMOD 1994 International Conference on Management of Data, Minneapolis, Minnesota, May 1994, pp. 371-382.
  SIGMOD 1994 International Conference on Management of Data, Minneapolis, Minnesota, May 1994, pp. 371-382.
  Jonathan Cook (email), Alexander L. Wolf (email), Benjamin G. Zorn [ps]
ARPC: Augmented Remote Procedure Call System, Version 402.3f
  Technical Report CU-ARCADIA-100-93, Department of Computer Science, University of Colorado, August 1993.
  Dennis Heimbigner (email) [ps]
Process-Centered Environments (Only) Support Environment-Centered Processes
  Eighth International Software Process Workshop, Wadern, Germany, March 1993, pp. 148-149.
  Alexander L. Wolf (email), David S. Rosenblum [ps]
A Study in Software Process Capture and Analysis
  Second International Conference on the Software Process, Berlin, Germany, February 1993, pp. 115-124.
  Alexander L. Wolf (email), David S. Rosenblum [ps]
The ProcessWall: A Process State Server Approach to Process Programming
  Proceedings of the Fifth ACM/SIGSOFT Conference on Software Development Environments, Washington, D.C., December 1992, pages 159-168
  Dennis Heimbigner (email) [ps]
Foundations for the Study of Software Architecture
  ACM SIGSOFT Software Engineering Notes, vol. 17, no. 4, October 1992, pp. 40-52
  Dewayne E. Perry, Alexander L. Wolf (email) [ps]
Representing Semantically Analyzed C++ Code with Reprise
  Third C++ Technical Conference, Washington, DC, April 1991, pp. 119-134.
  David S. Rosenblum, Alexander L. Wolf (email) [ps]

Presentations:

SIN, A Privacy Enhanced Cyclic Pub/Sub Network: Status and Future Work
  2003-02-04 Cyrus P. Hall
Realizing Dynamic Protocol via Event-Based Parsing
  2002-12-09 Nathan Ryan
Towards Culture/Individual Bias Free Privacy Documentation
  2002-12-02 John Giacomoni [.ppt]
Workload Generation for Pub/Sub System
  2002-11-25 Yanyan Wang [.ppt]
Use of Templates in the Themis Structural Computing Environment
  2002-11-11 Van Lepthien [.ppt]
A Comprehensive Approach to Requirements Traceability
  2002-11-04 Susanne Sherba [.ppt]
Dynamic Reconfiguration using LIRA: ongoing and future work
  2002-10-21 Marco Castaldi [.pdf]
A Tamper-Detecting Implementation of Lisp
  2002-10-14 Dennis Heimbigner [.ppt]
Enhanced Routing with Overlay Networks
  2002-10-07 Matt Rutherford
Cryptography: Design and Applications
  2002-09-23 John R. Black [.pdf]
Economics, Information Security, and the SERL Group
  2002-05-28 John Giacomoni [.ppt]
A Brief Introduction to the Internet-standard Management Framework and the Application Management MIB.
  2002-04-29 Antonio Carzaniga [.ps]
Themis Structural Computing Environment
  2002-04-01 Ken Anderson [.ppt]
Workflow Execution Engine for Digital Libraries
  2002-03-18 Neet Wadhwani, Feng Zhao [.ppt]
Mobility Support in Siena
  2002-03-12 Mauro Caporuscio [.ppt]
Evolving Applications Dynamically
  2002-03-04 Naveed Arshad [.ppt]
Improv: Software Process Improvement for Next to Free
  2002-02-25 Tom Green [.ppt]
Introduction to Publish/Subscribe Systems
  2002-02-18 Jing Deng [.ppt]
ArgoUML
  2002-02-11 Susanne Sherba [.ppt]
SOAP 1.2, Introduction
  2002-02-04 Nathan Ryan [.ppt]
Securing Content Based Routing Publish/Subscribe (SIENA)
  2002-01-28 John Giacomoni [.ppt]
Security Engineering (Overview)
  2002-01-14 John Giacomoni [.ppt]


serl-webmaster@cs.colorado.edu