2001

Theel, Oliver (2001)
On a control-theoretic approach for proving termination.
Conference or Workshop Item, Bibliographie

Theel, Oliver (2001)
An exercise in proving self-stabiization through Ljapunov functions.
Conference or Workshop Item, Bibliographie

Theel, Oliver (2001)
A new verification technique for self-stabilizing distributed algorithms based on variable structure systems and Ljapuov theory.
Conference or Workshop Item, Bibliographie

2000

Theel, Oliver (2000)
(Brief announcement:) A verification technique for self-stabilizing algorithms based on Ljapunov's 'Second method'.
Conference or Workshop Item, Bibliographie

Theel, Oliver (2000)
Exploitation of Ljapunov theory for verifying self-stabilizing algorithms.
Conference or Workshop Item, Bibliographie

Theel, Oliver (2000)
Proving convergence and closure of self-stabilizing algorithms through Ljapunov's 'Second method'.
Conference or Workshop Item, Bibliographie

Theel, Oliver (2000)
Verification of Dijkstra's self stabilizing token ring algorithm by means of non-linear control system analysis.
Conference or Workshop Item, Bibliographie

1998

Theel, Oliver ; Strauß, (1998)
Automatic generation of dynamic coterie-based replication schemes.
Conference or Workshop Item, Bibliographie

Theel, Oliver ; Pagnia, H. ; Berger, A. ; Liebig, C.
ed.: Callaos, Nagib (1998)
Enhancing the world-wide web through transparent integration of document replication.
International Conference on Information Systems, Analysis, and Synthesis. Orlando, Florida (1998)
Conference or Workshop Item, Bibliographie

Theel, Oliver ; Gärtner, F. C. (1998)
Exploiting control theory for proving the stability of distributed algorithms (extended abstract).
28th International Symposium on Fault-Tolerant Computing, Digest of FastAbstracts (FTCS-28). Munich, Germany (23.06.1998-25.06.1998)
Conference or Workshop Item, Bibliographie

Theel, Oliver ; Gärtner, F. C.
ed.: Bajic, V. (1998)
On proving the stability of distributed algorithms: self-stabilization versus control theory.
International Conference on Systems, Signals, Control, Computers (SSCC'98). Durban, South Africa (22.09.1998-24.09.1998)
Conference or Workshop Item, Bibliographie

Theel, Oliver ; Pagnia, (1998)
Optimal replica control protocols exhibit symmetric operation availabilities.
Conference or Workshop Item, Bibliographie

1997

Theel, Oliver (1997)
Static and dynamic adaptation of transactional consistency.
Conference or Workshop Item, Bibliographie

1996

Theel, Oliver ; Pagnia, (1996)
Bounded dynamic data allocation in distributed systems.
Conference or Workshop Item, Bibliographie

Theel, Oliver ; Fleisch, Brett D. (1996)
Design and analysis of highly available and scalable coherence protocols for distributed shared memory systems using stochastic modeling.
In: IEEE Transactions on Parallel and Distributed Systems, 7 (9)
doi: 10.1109/71.536936
Article, Bibliographie

Theel, Oliver (1996)
Static and dynamic adaptation of transactional consistency.
Book, Bibliographie

Theel, Oliver ; Pagnia, (1996)
Static and dynamic analysis of bounded dynamic data allocation in distributed systems.
Book, Bibliographie

Theel, Oliver ; Fleisch, Brett D. (1996)
The boundary-restricted coherence protocol for scalable and highly available distributed shared memory systems.
In: The Computer Journal, 39 (6)
doi: 10.1093/comjnl/39.6.496
Article, Bibliographie