| 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] |
|