Theel, Oliver (2001)
On a control-theoretic approach for proving termination.
Konferenzveröffentlichung, Bibliographie

Theel, Oliver (2001)
An exercise in proving self-stabiization through Ljapunov functions.
Konferenzveröffentlichung, Bibliographie

Theel, Oliver (2001)
A new verification technique for self-stabilizing distributed algorithms based on variable structure systems and Ljapuov theory.
Konferenzveröffentlichung, Bibliographie

Theel, Oliver (2000)
(Brief announcement:) A verification technique for self-stabilizing algorithms based on Ljapunov's 'Second method'.
Konferenzveröffentlichung, Bibliographie

Theel, Oliver (2000)
Exploitation of Ljapunov theory for verifying self-stabilizing algorithms.
Konferenzveröffentlichung, Bibliographie

Theel, Oliver (2000)
Proving convergence and closure of self-stabilizing algorithms through Ljapunov's 'Second method'.
Konferenzveröffentlichung, Bibliographie

Theel, Oliver (2000)
Verification of Dijkstra's self stabilizing token ring algorithm by means of non-linear control system analysis.
Konferenzveröffentlichung, Bibliographie

Theel, Oliver ; Strauß, (1998)
Automatic generation of dynamic coterie-based replication schemes.
Konferenzveröffentlichung, Bibliographie

Theel, Oliver ; Pagnia, H. ; Berger, A. ; Liebig, C.
Hrsg.: 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)
Konferenzveröffentlichung, 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)
Konferenzveröffentlichung, Bibliographie

Theel, Oliver ; Gärtner, F. C.
Hrsg.: 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)
Konferenzveröffentlichung, Bibliographie

Theel, Oliver ; Pagnia, (1998)
Optimal replica control protocols exhibit symmetric operation availabilities.
Konferenzveröffentlichung, Bibliographie

Theel, Oliver (1997)
Static and dynamic adaptation of transactional consistency.
Konferenzveröffentlichung, Bibliographie

Theel, Oliver ; Pagnia, (1996)
Bounded dynamic data allocation in distributed systems.
Konferenzveröffentlichung, 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
Artikel, Bibliographie

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

Theel, Oliver ; Pagnia, (1996)
Static and dynamic analysis of bounded dynamic data allocation in distributed systems.
Buch, 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
Artikel, Bibliographie