Stabilization Research at Iowa
This Web page is a directory to technical papers, abstracts,
people, and events relating to research on self-stabilizing systems
and protocols at the University of Iowa
Department of Computer Science.
Announcement of WSS99
The Fourth Workshop on Self-Stabilizing
Systems was held in cooperation with ICDCS'99 in
Austin Texas on June 5 1999. For details,
follow this link.
Report on WSS97
The Third Workshop on Self-Stabilizing
Systems was held at the University of California,
Santa Barbara, in August 1997. For further information,
follow this link.
Resources on Stabilization Research
We maintain a
bibliography
of books, articles, conference proceedings, and technical
reports about self-stabilization or applications that employ
stabilizing techniques.
A Web Page
devoted to stabilization
is maintained by Sandeep Sukla at Albany.
Java Simulation
If you have a Java-enabled browser, you can
see a simulation of a self-stabilizing program: follow
this link to see the simulation.
Reports, publications, manuscripts, and abstracts
Reports for 2001
Reports for 2000
- Available and Stabilizing 2-3 Trees
T Herman, T Masuzawa, Technical Report 00-04:
Abstract,
Postscript Document,
DVI file.
- Available Stabilizing Heaps
T Herman, T Masuzawa, Technical Report 00-03:
Abstract,
Postscript Document,
DVI file.
- Fault-Containing Self-Stabilizing Distributed Protocols
S Ghosh, A Gupta, T Herman, and SV Pemmaraju,
Technical Report 00-01:
Abstract,
Postscript Document.
Reports for 1999
Reports for 1998
Reports for 1997
- Observations on time-adaptive self-stabilization.
T Herman, Technical Report TR 97-07:
Abstract,
Postscript Document,
DVI file.
- Fault-containing self-stabilization in distributed systems.
A Gupta, Technical Report TR 97-06 (dissertation):
Postscript Document.
- Superstabilizing mutual exclusion.
T Herman, Technical Report TR 97-04:
Abstract,
Postcript Document,
DVI file.
- Trade-offs in fault-containing self-stabilization.
S Ghosh, SV Pemmaraju:
Abstract,
Postcript Document,
DVI file.
Reports for 1996
Reports for 1995
- Stabilizing phase-clocks.
T Herman, S Ghosh, Information Processing Letters 54:259-265, 1995:
Abstract,
Postscript Document,
DVI file.
- Superstabilizing protocols for distributed dynamic systems.
S Dolev, T Herman, TR95-03:
Abstract,
Postscript Document,
DVI file.
Extended abstract presented at WSS95:
Postscript Document,
DVI file.
Reports for 1994
-
Self-stabilizing algorithms for finding centers and
medians of trees.
MH Karaata, SV Pemmaraju, SC Bruell,
S Ghosh, TR94-03 (Abstract appeared PODC94):
Abstract,
Postscript Document.
-
A Self-Stabilizing Algorithm for the Maximum Flow Problem.
S Ghosh, A Gupta, and SV Pemmaraju, TR94-10:
Abstract,
Postscript Document.
-
A Self-Stabilizing Algorithm for Maximum Matching in Trees.
S Ghosh, A Gupta, MH Karaata, and
SV Pemmaraju, TR94-08:
Abstract,
Postscript Document.
Reports for 1993
-
Self-Stabilizing Algorithms for Posets on a Linear Array.
S Ghosh, MH Karaata, and SV Pemmaraju, TR93-09:
Abstract,
Postscript Document.
-
A self-stabilizing algorithm for coloring planar graphs.
S Ghosh and MH Karaata,
Distributed Computing 7, 1993, pp. 55-59:
Abstract,
DVI File, and
Postscript Document.
-
An alternative solution to a problem on self-stabilization.
S Ghosh, ACM TOPLAS 15, 1993, pp. 735-742:
Abstract,
DVI File, and
Postscript Document.
-
A Stabilizing Rendition of MST Construction.
T Herman, unpublished manuscript:
Abstract,
DVI File, and
Postscript Document.
Reports for 1992, 1991, 1990.
-
Self-stabilization: randomness to reduce space.
T Herman, Distributed Computing 6:95-98, 1992:
Abstract,
Postscript Document,
DVI file.
-
Adaptive programming.
MG Gouda, T Herman, IEEE Transacations on
Software Engineering 17:911-921, 1991:
Abstract,
Postscript Document,
DVI file.
-
Probabilistic self-stabilization.
T Herman, Information Processing Letters 35:63-67, 1990:
Abstract,
Postscript Document,
DVI file.
