Publications

Selected Publications by Category and Date

• Journal Publications
• Conference Publications
• Workshop Publications
• Technical Reports
• Miscellaneous Articles

Please see the SERL PublicationsWebsite for additional publications.

Technical reports may be obtained from the University of Colorado Computer Science Web Site. The specific reports for the author are accessible here

Note that the source for some publications may not be available if that publication has appeared in a conference or journal.

Journal Publications

• "A Testbed for Configuration Management Policy Programming," A. van der Hoek, A. Carzaniga, D. Heimbigner, and A. L. Wolf. IEEE Transactions on Software Engineering 28(1):79-99 (Jan.2002).

• "An Architecture-Based Approach to Self-Adaptive Software," P. Oreizy, M. Gorlick, R. N. Taylor, D. Heimbigner, G. Johnson, N. Medvidovic, A, Quilici, D. Rosenblum, and A. L. Wolf. IEEE Intelligent Systems Special Issue on Self-Adaptive Software, 14(3):54-62 (May/June 1999).

• "Software Process Modeling and Execution within Virtual Environments," J. Doppke, D. Heimbigner, and A. Wolf. ACM Transactions on Software Engineering 7(1):1-40 (January 1998).

• "APPL/A: A Language for Software Process Programming," S. M. Sutton, Jr., D. Heimbigner, and L. J. Osterweil. ACM Transactions on Software Engineering 4(3):221-286 (July 1995).

• "A Toolkit for the Incremental Implementation of Heterogeneous Database Management Systems," P. Drew, R. King, and D. Heimbigner. VLDB Journal 1(2): 241-284 (1992).

• "A Federated System for Software Management," D. Heimbigner. IEEE Database Engineering Special Issue on Federated Databases. September 1987.

• "A Federated Architecture for Information Management," D. Heimbigner and D. Mcleod. ACM Transaction on Office Information Systems 3(3):253-278 (July 1985).

Conference Publications

• "Client-Side Deception Using Architectural Degradation," D. Heimbigner, Proceedings of the 2005 International Conference on Security and Management, Las Vegas, NV, June 2005. [pdf]

• "Expressive and Efficient Peer-to-Peer Queries," D. Heimbigner, Proceedings of the 2005 Hawaii International Conference on System Sciences (HICSS-38), Big Island, HA, 3-6 Jan., 2005. [pdf]

• "Managing Access Rights for Terminated Employees [An Adaptive Security System],"
  D. Heimbigner, Proceedings of the 2004 International Conference on Security and Management, Las Vegas, NV, June 2004. [pdf]

• "Deployment and Dynamic Reconfiguration Planning for Distributed Software Systems," N. Arshad, D. Heimbigner and A. L. Wolf, Proceedings of the 15th IEEE International Conference on Tools with Artificial Intelligence, Sacramento, CA, November 2003. [pdf]

• "A Tamper-Detecting Implementation of Lisp," D. Heimbigner, Proceedings of the 2003 International Conference on Security and Management, Las Vegas, NV, June 2003. [pdf]

• "Reconfiguration in the Enterprise JavaBean Component Model," M.J. Rutherford, K. Anderson, A. Carzaniga, D. Heimbigner, and A.L. Wolf, Proceedings of IFIP/ACM Working Conference on Component Deployment, Berlin, Germany, June 2002. [pdf]

• "Achieving Survivability of Complex and Dynamic with the Willow Framework," A. L. Wolf, D. Heimbigner, K. Anderson, A. Carzaniga, and N. Ryan. Proc. of the Working Conference on Complex and Dynamic Systems Architecture, Brisbane, Australia, December 2001.

• "Adapting Publish/Subscribe Middleware to Achieve Gnutella-like Functionality," D. Heimbigner. 2001 ACM Symposium on Applied Computing (SAC 2001): Special Track on Coordination Models, Languages and Applications pp. 176-181, 11-14 March 2001, Las Vegas, NV.

• "A Framework for Analyzing Configurations of Deployable Software Systems," D. Heimbigner, R.S. Hall, and A.L. Wolf. Proc. of the Fifth IEEE Int'l Conference on Engineering of Complex Computer Systems, pp. 32-42. Las Vegas, NV, October 1999. [pdf]

• "A Cooperative Approach to Support Software Deployment Using the Software Dock," R. Hall, D. Heimbigner, and A. L. Wolf. Proc. of ICSE'99: The 1999 Int'l Conf. on Software Engineering, pp. 174-183. Los Angeles, CA, May 1999.

• "Evaluating Software Deployment Languages and Schema: An Experience Report," R. Hall, D. Heimbigner, and A. L. Wolf. Proc. of the 1998 Int'l Conf. on Software Maintenance. Bethesda, MD, November 1998.

• "Software Release Management," A. van der Hoek, R. S. Hall, D. Heimbigner, and A. L. Wolf. Sixth European Software Engineering Conference. Sept. 1997, Zurich, Switzerland.

• "An Architecture for Post-Development Configuration Management in a Wide-Area Network," R. S. Hall, D. Heimbigner, A. van der Hoek, and A. L. Wolf. Proc. of the 17th Int'l Conf. on Distributed Computing Systems. Baltimore, MD, May 1997.

• "Language-Based Support for Metadata," J. Doppke, D. Heimbigner, and A.L. Wolf. First IEEE Metadata Conference. Silver Spring, MD, April 1996.

• "A Generic, Peer-to-Peer Repository for Distributed Configuration Management," A. van der Hoek, D. Heimbigner, and A. L. Wolf. Proc. of the 18th Int'l Conf. on Software Engineering. Berlin, FRG, March 1996.

• "Multilanguage Interoperability in Distributed Systems: Experience Report," M. Maybee, D. Heimbigner, and L. J. Osterweil. Proc. of the 18th Int'l Conf. on Software Engineering. Berlin, FRG, March 1996. [pdf]

• "The ProcessWall: A Process State Server Approach to Process Programming," D. Heimbigner. Fifth ACM/SIGSOFT Conf. on Software Development Environments. Washington, D.C., December 1992. [pdf]

• "Issues Encountered in Building a Flexible Software Development Environment: Lessons from the Arcadia Project," R. Kadia (pseudonym for Arcadia Consortium Investigators), Proc. of ACM SIGSOFT Fifth Symposium on Software Development Environments, pp. 169-180. Tyson's Corner, VA, December, 1992.

• "Experiences with an Object Manager for a Process-Centered Environment," D. Heimbigner. Proc. of the 18th Int'l Conf. on Very Large Databases (VLDB92). Vancouver, B.C., August 1992. [pdf]

• "Programming a Software Requirements Specification Process," H. Ziv, S. M. Sutton Jr., Xi. Song, H. Yessayan, M. Maybee, D. Heimbigner, and L. Osterweil. First Int'l Conf. on the Software Process. Redondo Beach, CA, October 1991.

• "Language Constructs for Managing Change in Process-Centered Environments," S. M. Sutton Jr., D. Heimbigner, and L. Osterweil. Fourth ACM/SIGSOFT Conf. on Software Development Environments. Irvine, CA, December 1990.

• "A Graph Transform Model for Configuration Management Environments," D. Heimbigner and S. Krane (Levi). Proc. of the Third ACM-SIGSOFT Symposium on Software Development Environments, pp. 216-225. Boston, MA, November 1988.

• "Keystone: A Federated Software Environment," G. Clemm, D. Heimbigner, L. Williams, and L. Osterweil. ACM SIGPLAN 85 Symposium on Programming Languages and Programming Environments, pp. 80-88. Harwichport, MA, June 1985.

• "Idd: An Interactive Distributed Debugger," P. Harter, D. Heimbigner, and R. King. Proc. of the 5th IEEE Int'l Conf. on Distributed Computing Systems, pp. 498-506. Denver, CO, May 1985.

• "Towards an Integrated Environment for Accessing External Databases," D. Heimbigner. Proc. of the Second ACM-SIGOA Conf. on Office Information Systems. Toronto, Canada, June 1984.

• "A Multi-Processing Implementation-Oriented Formal Definition of Ada in SEMANOL," F. Belz, E. Blum, and D. Heimbigner, Proc. of the ACM-SIGPLAN Symposium on the Ada Programming Language. Boston, MA, December 1980.

Workshop Publications

• "Dealing with Failures during Failure Recovery of Distributed Systems," N. Arshad, D. Heimbigner, and A. Wolf, Proceedings of the Workshop on Design and Evolution of Autonomic Application Software (DEAS'05), St. Louis, MI, 21 May 2005. [pdf]

• "A Planning Based Approach to Failure Recovery in Distributed Systems," N. Arshad, D. Heimbigner, A. Wolf, Proceedings of the ACM SIGSOFT Workshop on Self-Managed Systems (WOSS'04), Newport Beach, CA, 31 Oct. - 1 Nov. 2004. [pdf]

• "DMTF - CIM to OWL: A Case Study in Ontology Conversion," D. Heimbigner, Ontology in Action Workshop in conjunction with the 2004 Conference on Software Engineering and Knowledge Engineering (SEKE'04), Banff, Alberta Canada, June 21, 2004. [pdf]

• "Common Issues for Remote Analysis and Adaptive Security," D. Heimbigner, 2nd Int'l Workshop on Remote Analysis and Measurement of Software Systems (RAMSS'04), Edinburgh, Scotland, May 24, 2004. [pdf]

• "The Willow Survivability Architecture," J. Knight, D. Heimbigner, A. Wolf, A. Carzaniga, J. Hill, and P. Devanbu. Proc. of the Fourth Information Survivability Workshop (ISW2001), 18-20 March 2002, Vancouver, B.C. [pdf]

• "Pulling it all together with WIT: A tool for integrating Web-based Information," W. D. Reese, D. Heimbigner, A. Wolf. International Workshop on Information Integration on the Web (WIIW 2001). 9-11 April 2001, Rio de Janeiro, Brazil.

• "Bend, Don't Break: Using Reconfiguration to Achieve Survivability," A. Wolf, D. Heimbigner, A. Carzaniga, J. Knight, P. Devanbu, and M. Gertz. Proc. of the Third Information Survivability Workshop (ISW-2000) pp. 187-190, Boston, MASS, 24-26 October 2000. [pdf]

• "Versioned Software Architecture," A. van der Hoek, D. Heimbigner, and A. L. Wolf. Proc. of the 3rd Int'l Software Architecture Workshop. Orlando, FLA, November, 1998.

• "Requirements for Software Deployment Languages," R. Hall, D. Heimbigner, and A. L. Wolf. Proc. of the 8th Int'l Software Configuration Management Workshop. Brussels, Belgium, July 1998. Springer-Verlag Lecture Notes in Computer Science, number 1439.

• "System Modeling Resurrected," A. van der Hoek, D. Heimbigner, and A. L. Wolf. Proc. of the 8th Int'l Software Configuration Management Workshop. Brussels, Belgium, July 1998. Lecture Notes in Computer Science, number 1439.

• "Does Configuration Management Research Have a Future?" A. van der Hoek, D. Heimbigner, and A. L. Wolf. Proc. of the 5th Int'l Software Configuration Management Workshop. Seattle, WA, April 1995.

• "An Argument for the Elimination of Roles," Dennis Heimbigner and Leon J. Osterweil. Proc. of the Ninth Int'l Software Process Workshop. Reston, VA, USA, October 1994. IEEE Computer Society Press, Carlo Ghezzi, Ed. [pdf]

• "A Revisionist Approach to Process Change," Dennis Heimbigner. Proc. of the Eighth Int'l Software Process Workshop, pp. 95-97. Wadern, Schloss Dagstuhl, Germany, March 1993. IEEE Computer Society Press, Wilhelm Schäfer, Ed. [pdf]

• "A Process Server," D. Heimbigner. Proc. of the Seventh Int'l Software Process Workshop, pp. 65-66. Yountville, CA, October 1991. IEEE Computer Society Press, William Riddle, Ed. [pdf]

• "Proscription versus Prescription in Process Centered Environments," D. Heimbigner. Proc. of the Sixth Int'l Software Process Workshop, pp. 99-102. Hakodate, Japan, October, 1990. IEEE Computer Society Press, Takuya Katyama, Ed. [pdf]

• "P4: A Logic Language for Process Programming," D. Heimbigner. Proc. of the Fifth Int'l Software Process Workshop. Kennebunkport, ME, September 1989.

• "Object Management Issues for Software-Process Programming Languages," S. M. Sutton Jr. and D. Heimbigner. Proc. of the 1989 ACM SIGMOD Workshop on Software CAD Databases. Napa, CA, February 1989.

• "Towards a Graph Transform Model for Configuration Management Environments," Steven Levi and D. Heimbigner. Proc. of the Int'l Workshop on Software Version and Configuration Control. Grassau, FRG, January 1988. Edited by Jurgen F. H. Winkler.

Technical Reports

• "Fine Grain Spam Suppression Using Reachback," D. Heimbigner. Department of Computer Science Technical Report CU-CS-1016-06, University of Colorado, November 2006. [pdf]
• "A Tamper-Resistant Programming Language System," D. Heimbigner. Department of Computer Science Technical Report CU-CS-1010-06, University of Colorado, June 2006. [pdf]
• "Dealing with Failures During Failure Recovery of Distributed Systems," N. Arshad, D. Heimbigner, and A. Wolf. Department of Computer Science Technical Report CU-CS-1009-06, University of Colorado, May 2006. [pdf]
• "A Comparison of Planning Based Models for Component Reconfiguration," N. Arshad and D. Heimbigner. Department of Computer Science Technical Report CU-CS-995-05, University of Colorado, April 2005. [pdf]
• "Event-based Document Sensing for Insider Threats," K. Anderson, A. Carzaniga, D. Heimbigner and A. Wolf. Department of Computer Science Technical Report CU-CS-968-04, University of Colorado, February 2004. [pdf]

• "An Efficient Implementation of Query/Advertise," D. Heimbigner, Department of Computer Science Technical Report CU-CS-948-03, University of Colorado, March 2003. [pdf]

• "Extending the Siena Publish/Subscribe Type System," D. Heimbigner, Department of Computer Science Technical Report CU-CS-946-03, University of Col University of Colorado, March 2003. [pdf]

• "A Tamper-Resistant Programming Language," D. Heimbigner, Department of Computer Science Technical Report CU-CS-931-02, University of Colorado, May 2002. [pdf]

• "Intrusion Management Using Configurable Architecture Models," D. Heimbigner and A. Wolf, Department of Computer Science Technical Report CU-CS-929-02, University of Colorado, May 2002. [pdf]

• "The Willow Architecture: Comprehensive Survivability for Large-Scale Distributed Applications," J. Knight, D. Heimbigner, A. Wolf, A. Carzaniga, J. Hill, P. Devanbu and M. Gertz. Department of Computer Science Technical Report CU-CS-926-01, University of Colorado, December 2001.

• "Reconfiguration in the Enterprise JavaBean Component Model," M. J. Rutherford, K. Anderson, A. Carzaniga, D. Heimbigner, and A. L. Wolf . Department of Computer Science Technical Report CU-CS-925-01, University of Colorado, December 2001.

• "Adapting a Publish/Subscribe Middleware to Achieve Gnutella-like Functionality," D. Heimbigner. Department of Computer Science Technical Report CU-CS-909-00, University of Colorado, 2000. [pdf]

• "Specifying the Deployable Software Description Format in XML," R.S. Hall, D. Heimbigner, and A.L. Wolf. SERL Technical Report CU-SERL-207-99, Software Engineering Research Laboratory, Department of Computer Science, University of Colorado, March 1999.

• "Capturing Architectural Configurability: Variants, Options, and Evolution," A. van der Hoek, D. Heimbigner and A. Wolf. Department of Computer Science Technical Report CU-CS-895-99, University of Colorado, 1999.

• "WIT: A Tool for Integrating Web-Accessible Data," W. Reese, D. Heimbigner and A. Wolf. Department of Computer Science Technical Report CU-CS-887-99, University of Colorado, 1999.

• "A Cooperative Approach to Support Software Deployment Using the Software Dock," R. Hall, D. Heimbigner and A. Wolf. Department of Computer Science Technical Report CU-CS-871-98, University of Colorado, 1998.

• "A Reusable, Distributed Repository for Configuration Management Policy Programming," A. van der Hoek, A. Carzaniga, D. Heimbigner, and A.L. Wolf. Department of Computer Science Technical Report CU-CS-864-98, University of Colorado, September 1998.

• "Investigating the Applicability of Architecture Description in Configuration Management and Software Deployment," A. van der Hoek, D. Heimbigner and A. Wolf. Department of Computer Science Technical Report CU-CS-862-98, University of Colorado, 1998.

• "A Characterization Framework for Software Deployment Technologies," A. Carzaniga, A. Fuggetta, R. Hall, D. Heimbigner, A. van der Hoek and A. Wolf. Department of Computer Science Technical Report CU-CS-857-98, University of Colorado, 1998.

• "Software Architecture, Configuration Management, and Configurable Distributed Systems: A Ménage a Trois," A. van der Hoek, D. Heimbigner and A. Wolf. Department of Computer Science Technical Report CU-CS-849-98, University of Colorado, 1998.

• "The Software Dock: A Distributed, Agent-based Software Deployment System," R. Hall, D. Heimbigner, A. van der Hoek and A. Wolf. Department of Computer Science Technical Report CU-CS-832-97, University of Colorado, 1997.

• "Software Process Modeling and Execution with Virtual Environments," J. Doppke, D. Heimbigner and A. Wolf. Department of Computer Science Technical Report CU-CS-821-96, University of Colorado, 1996.

• "Software Release Management," A. van der Hoek, R. Hall, D. Heimbigner and A. Wolf. Department of Computer Science Technical Report CU-CS-806-96, University of Colorado, 1996.

• "A Generic, Peer-to-Peer Repository for Distributed Configuration Management," A. van der Hoek, D. Heimbigner and A. Wolf. Department of Computer Science Technical Report CU-CS-783-95, University of Colorado, 1995.

• "Multilanguage Interoperability in Distributed Systems: Experience Report," M. Maybee, D. Heimbigner and L. Osterweil. Department of Computer Science Technical Report CU-CS-782-95, University of Colorado, 1995.

• "APPL/A: A Language for Software-Process Programming," S.M. Sutton Jr., D. Heimbigner and L. Osterweil. Department of Computer Science Technical Report CU-CS-727-94, University of Colorado, 1994.

• "A Tower of Babel: Providing Flexible and Extensible Environment Services or The Art of Construction Services: Part I," D. Heimbigner. Department of Computer Science Technical Report CU-CS-580-92, University of Colorado, 1992.

• "The ProcessEngine: A Process State Server Approach to Process Programming," D. Heimbigner. Department of Computer Science Technical Report CU-CS-544-91, University of Colorado, 1991.

• "Managing Change in Software Development through Process Programming," S.M. Sutton Jr., D. Heimbigner and L. Osterweil. Department of Computer Science Technical Report CU-CS-531-91, University of Colorado, 1991.

• "Experiences with Exodus in a Software Engineering Environment," D. Heimbigner. Department of Computer Science Technical Report CU-CS-484-90, University of Colorado, 1990 (Revised September 1991).

• "Triton Reference Manual," D. Heimbigner. Department of Computer Science Technical Report CU-CS-483-90, University of Colorado, 1990 (Revised January 1991).

• "Diverse: A User Agent for Accessing External Databases," D. Heimbigner. Department of Computer Science Technical Report CU-CS-453-89, University of Colorado, 1989.

• "APPL/A: A Prototype Language for Software Process Programming," S.M. Sutton Jr., D. Heimbigner and L. Osterweil. Department of Computer Science Technical Report CU-CS-448-89, University of Colorado, 1989.

• "Programmable Relations for Managing Change During Software Development," S.M. Sutton Jr., D. Heimbigner and L. Osterweil. Department of Computer Science Technical Report CU-CS-418-88, University of Colorado, 1988.

• "Active Relations for Specifying and Implementing Software Object Management," D. Heimbigner, L. Osterweil and S.M. Sutton Jr. Department of Computer Science Technical Report CU-CS-406-88, University of Colorado, 1988.

• "Towards a Graph Transform Model for Configuration Management Environments," D. Heimbigner and S. Krane (Levi). Department of Computer Science Technical Report CU-CS-383-88, University of Colorado, 1988.

• "APPL/A: A Language for Managing Relations," D. Heimbigner, S.M. Sutton Jr., and L. Osterweil. Department of Computer Science Technical Report CU-CS-374-87, University of Colorado, 1987.

• "DISTLIB -- A Library for Message-Based Distributed Programs," D. Heimbigner. Department of Computer Science Technical Report CU-CS-352-86, University of Colorado, 1986 (Revised February 1988).

• "A Library for Managing Persistent Storage," D. Heimbigner. Department of Computer Science Technical Report CU-CS-351-86, University of Colorado, 1986 (Revised March 1988).

• "Providing Programmable Relations over Software Objects in Aspen," D. Baker, D. Heimbigner and S.M. Sutton Jr. Department of Computer Science Technical Report CU-CS-350-86, University of Colorado, 1986.

• "Design Possibilities for Zeus: The Tool Object Manager for Arcadia," D. Baker and D. Heimbigner. Department of Computer Science Technical Report CU-CS-318-86, University of Colorado, 1986.

• "Diverse: A User Agent for Accessing External Databases," D. Heimbigner. Department of Computer Science Technical Report CU-CS-306-85, University of Colorado, 1985.

• "A Syntax Directed Database System," D. Heimbigner. Department of Computer Science Technical Report CU-CS-289-85, University of Colorado, 1985.

• "Keystone: A Federated Software Environment," D. Heimbigner. Department of Computer Science Technical Report CU-CS-284-84, University of Colorado, 1984.

• "A Syntactic Database Model," D. Heimbigner. Department of Computer Science Technical Report CU-CS-283-84, University of Colorado, 1984.

• "A Distributed Database System Using Optimistic Concurrency Control," D. Heimbigner. Department of Computer Science Technical Report CU-CS-281-84, University of Colorado, 1984.

• "IDD: An Interactive Distributed Debugger," P. Harter, D. Heimbigner and R. King. Department of Computer Science Technical Report CU-CS-274-84, University of Colorado, 1984.

• "Towards an Integrated Environment for Accessing External Databases," D. Heimbigner. Department of Computer Science Technical Report CU-CS-263-84, University of Colorado, 1984.

Miscellaneous Articles

• "Software Deployment: Extending Configuration Management Support into the Field," A. van der Hoek, R.S. Hall, A. Carzaniga, D. Heimbigner, and A.L. Wolf. Crosstalk, The Journal of Defense Software Engineering 11(2) (February 1998).