An exercise in proving convergence through transfer functions
Theel, O., Gartner, F.C.
Published in Proceedings 19th IEEE International Conference on Distributed Computing Systems (1999)
Published in Proceedings 19th IEEE International Conference on Distributed Computing Systems (1999)
Get full text
Conference Proceeding
Transparent management of replicated WWW document clusters
Pagnia, H., Theel, O., Schupp, H.
Published in Proceedings Seventh International Conference on Parallel and Distributed Systems: Workshops (2000)
Published in Proceedings Seventh International Conference on Parallel and Distributed Systems: Workshops (2000)
Get full text
Conference Proceeding
Towards Automatic Convergence Verification of Self-stabilizing Algorithms
Oehlerking, Jens, Dhama, Abhishek, Theel, Oliver
Published in Lecture notes in computer science (2005)
Published in Lecture notes in computer science (2005)
Get full text
Book Chapter
Conference Proceeding
Derivation of Fault Tolerance Measures of Self-Stabilizing Algorithms by Simulation
Mullner, N., Dhama, A., Theel, O.
Published in 41st Annual Simulation Symposium (anss-41 2008) (01.04.2008)
Published in 41st Annual Simulation Symposium (anss-41 2008) (01.04.2008)
Get full text
Conference Proceeding
Bounded Fairness for Probabilistic Distributed Algorithms
Crouzen, Pepijn, Hahn, Ernst Moritz, Hermanns, H., Dhama, A., Theel, O., Wimmer, R., Braitling, B., Becker, B.
Published in 2011 Eleventh International Conference on Application of Concurrency to System Design (01.06.2011)
Published in 2011 Eleventh International Conference on Application of Concurrency to System Design (01.06.2011)
Get full text
Conference Proceeding
An excursion to the zoo of dynamic Coterie-based replication schemes
Theel, O., Strauss, T.
Published in Proceedings of the 1999 International Conference on Parallel Processing (1999)
Published in Proceedings of the 1999 International Conference on Parallel Processing (1999)
Get full text
Conference Proceeding
An exercise in proving self-stabilization through Lyapunov functions
Theel, O.
Published in Proceedings 21st International Conference on Distributed Computing Systems (2001)
Published in Proceedings 21st International Conference on Distributed Computing Systems (2001)
Get full text
Conference Proceeding
The Degree of Masking Fault Tolerance vs. Temporal Redundancy
Müllner, N, Theel, O
Published in 2011 IEEE Workshops of International Conference on Advanced Information Networking and Applications (01.03.2011)
Published in 2011 IEEE Workshops of International Conference on Advanced Information Networking and Applications (01.03.2011)
Get full text
Conference Proceeding