 | 2009 |
|---|
| 34 |       | Jens Oehlerking,
Oliver E. Theel:
A Decompositional Proof Scheme for Automated Convergence Proofs of Stochastic Hybrid Systems.
ATVA 2009: 151-165 |
| 33 | | Jens Oehlerking,
Oliver E. Theel:
Decompositional Construction of Lyapunov Functions for Hybrid Systems.
HSCC 2009: 276-290 |
| 32 | | Christian Storm,
Oliver E. Theel:
A General Approach to Analyzing Quorum-Based Heterogeneous Dynamic Data Replication Schemes.
ICDCN 2009: 349-361 |
| 31 | | Abhishek Dhama,
Oliver E. Theel,
Pepijn Crouzen,
Holger Hermanns,
Ralf Wimmer,
Bernd Becker:
Dependability Engineering of Silent Self-stabilizing Systems.
SSS 2009: 238-253 |
| 2008 |
|---|
| 30 | | Nils Müllner,
Abhishek Dhama,
Oliver E. Theel:
Derivation of Fault Tolerance Measures of Self-Stabilizing Algorithms by Simulation.
Annual Simulation Symposium 2008: 183-192 |
| 29 | | Christian Storm,
Timo Warns,
Oliver E. Theel:
Flexible Heterogeneous Strict Quorum-Based Dynamic Data Replication Schemes.
PRDC 2008: 200-207 |
| 2007 |
|---|
| 28 | | Jens Oehlerking,
Henning Burchardt,
Oliver E. Theel:
Fully Automated Stability Verification for Piecewise Affine Systems.
HSCC 2007: 741-745 |
| 2006 |
|---|
| 27 | | Christian Storm,
Oliver E. Theel,
Carl von Ossietzky:
Highly Adaptable Dynamic Quorum Schemes for Managing Replicated Data.
ARES 2006: 245-253 |
| 26 | | Abhishek Dhama,
Jens Oehlerking,
Oliver E. Theel:
Verification of Orbitally Self-Stabilizing Distributed Algorithms Using Lyapunov Functions and Poincare Maps.
ICPADS (1) 2006: 23-30 |
| 25 | | Abhishek Dhama,
Oliver E. Theel,
Timo Warns:
Reliability and Availability Analysis of Self-stabilizing Systems.
SSS 2006: 244-261 |
| 2005 |
|---|
| 24 | | Henning Burchardt,
Jens Oehlerking,
Oliver E. Theel:
Towards Push-of-a-Button Stability Verification for Discrete-Time Hybrid Systems.
PRDC 2005: 374-378 |
| 23 |  | Thomas Strauß,
Oliver E. Theel:
Integration of a Dynamic Object Replication Framework in Enterprise JavaBeans.
Parallel and Distributed Computing and Networks 2005: 461-466 |
| 22 | | Jens Oehlerking,
Abhishek Dhama,
Oliver E. Theel:
Towards Automatic Convergence Verification of Self-stabilizing Algorithms.
Self-Stabilizing Systems 2005: 198-213 |
| 2003 |
|---|
| 21 | | Heiko Niemann,
Wilhelm Hasselbring,
Michael Hülsmann,
Oliver E. Theel:
Realisierung eines adaptiven Replikationsmanagers mittels J2EE-Technologie.
BTW 2003: 443-452 |
| 20 | | Thomas Strauß,
Oliver E. Theel:
Integration of a Dynamic Object Replication Framework in Java.
PDP 2003: 258-265 |
| 2001 |
|---|
| 19 | | Oliver E. Theel:
A New Verification Technique for Self-Stabilizing Distributed Algorithms based on Variable Structure Systems and Ljapunov Theory.
HICSS 2001 |
| 18 | | Oliver E. Theel:
An Exercise in Proving Self-Stabilization through Ljapunov Functions.
ICDCS 2001: 727-730 |
| 2000 |
|---|
| 17 | | Oliver E. Theel:
Exploitation of Ljapunov Theory for Verifying Self-Stabilizing Algorithms.
DISC 2000: 209-222 |
| 16 | | Oliver E. Theel:
A verification technique for self-stabilizing algorithms based on Ljapunov's "Second Method" (brief announcement).
PODC 2000: 331 |
| 1999 |
|---|
| 15 | | Oliver E. Theel,
Markus Pizka:
Distributed Caching and Replication - Introduction.
HICSS 1999 |
| 14 | | Oliver E. Theel,
Thomas Strauß:
An Excursion to the Zoo of Dynamic Coterie-Based Replication Schemes.
ICPP 1999: 344- |
| 13 | | Oliver E. Theel,
Felix C. Gärtner:
An exercise in proving convergence through transfer functions.
WSS 1999: 41-47 |
| 1998 |
|---|
| 12 | | Oliver E. Theel,
Henning Pagnia:
Optimal Replica Control Protocols Exhibit Symmetric Operation Availabilities.
FTCS 1998: 252-261 |
| 11 | | Henning Pagnia,
Oliver E. Theel:
Improving Replication Protocols through Priorities.
HPDC 1998: 342-343 |
| 10 | | Achour Mostéfaoui,
Oliver E. Theel:
Shrinking Timestamp Sizes of Event Ordering Protocols.
ICPADS 1998: 193-202 |
| 1997 |
|---|
| 9 | | Oliver E. Theel,
Michel Raynal:
Static and Dynamic Adaptation of Transactional Consistency.
HICSS (1) 1997: 533-542 |
| 1996 |
|---|
| 8 | | Oliver E. Theel,
Brett D. Fleisch:
The Boundary-Restricted Coherence Protocol for Scalable and Highly Available Distributed Shared Memory Systems.
Comput. J. 39(6): 496-510 (1996) |
| 7 | | Oliver E. Theel,
Brett D. Fleisch:
A Dynamic Coherence Protocol for Distributed Shared Memory Enforcing High Data Availability at Low Costs.
IEEE Trans. Parallel Distrib. Syst. 7(9): 915-930 (1996) |
| 1995 |
|---|
| 6 | | Oliver E. Theel,
Henning Pagnia-Koch:
General Design of Grid-Based Data Replication Schemes Using Graphs and a Few Rules.
ICDCS 1995: 395-403 |
| 5 | | Oliver E. Theel,
Brett D. Fleisch:
Design and Analysis of Highly Availbalbe and Scalable Coherence Protocols for Distributed Shared Memory Systems Using Stochastic Modeling.
ICPP (1) 1995: 126-130 |
| 1993 |
|---|
| 4 | | Oliver E. Theel:
General Structured Voting: A Flexible Framework for Modelling Cooperations.
ICDCS 1993: 227-236 |
| 3 | | Oliver E. Theel:
A General Framework for Modelling Data Replication Schemes.
MASCOTS 1993: 247-250 |
| 1992 |
|---|
| 2 | | Bernd Freisleben,
Hans-Henning Koch,
Oliver E. Theel:
Providing Low Cost Read Access to Replicated Data with Multi-Level Voting.
INDC 1992: 357-376 |
| 1991 |
|---|
| 1 | | Bernd Freisleben,
Hans-Henning Koch,
Oliver E. Theel:
The Electoral District Strategy of Replicated Data in Distrinuted Systems.
Fault-Tolerant Computing Systems 1991: 100-111 |
