Oliver E. Theel

Eike Möhlmann, Oliver E. Theel: Stabhyli: a tool for automatic stability verification of non-linear hybrid systems. HSCC 2013: 107-112

Nils Müllner, Oliver E. Theel, Martin Fränzle: Combining Decomposition and Reduction for State Space Analysis of a Self-Stabilizing System. AINA 2012: 936-943

Pepijn Crouzen, Ernst Moritz Hahn, Holger Hermanns, Abhishek Dhama, Oliver E. Theel, Ralf Wimmer, Bettina Braitling, Bernd Becker: Bounded Fairness for Probabilistic Distributed Algorithms. ACSD 2011: 89-97

Nils Müllner, Oliver E. Theel: The Degree of Masking Fault Tolerance vs. Temporal Redundancy. AINA Workshops 2011: 21-28

Jens Kamenik, Oliver E. Theel: Optimized data-available storage for energy-limited wireless sensor networks. LCN 2011: 1011-1019

Kinga Kiss Iakab, Christian Storm, Oliver E. Theel: Consistency-Driven Probabilistic Quorum System Construction for Improving Operation Availability. ICDCN 2010: 446-458

Kinga Kiss Iakab, Oliver E. Theel: The Impact of Partial Orders among Strict and Probabilistic Quorums on the Data Consistency vs. Operation Availabilities Trade-Off. ISPA 2010: 507-514

Ralf Wimmer, Bettina Braitling, Bernd Becker, Ernst Moritz Hahn, Pepijn Crouzen, Holger Hermanns, Abhishek Dhama, Oliver E. Theel: Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic Systems. QEST 2010: 27-36

Abhishek Dhama, Oliver E. Theel: A Tranformational Approach for Designing Scheduler-Oblivious Self-stabilizing Algorithms. SSS 2010: 80-95

Jens Oehlerking, Oliver E. Theel: A Decompositional Proof Scheme for Automated Convergence Proofs of Stochastic Hybrid Systems. ATVA 2009: 151-165

Jens Oehlerking, Oliver E. Theel: Decompositional Construction of Lyapunov Functions for Hybrid Systems. HSCC 2009: 276-290

Christian Storm, Oliver E. Theel: A General Approach to Analyzing Quorum-Based Heterogeneous Dynamic Data Replication Schemes. ICDCN 2009: 349-361

Timo Warns, Christian Storm, Oliver E. Theel: How to be a More Efficient Snoop: Refined Probe Complexity of Quorum Sets. PDCAT 2009: 354-359

Abhishek Dhama, Oliver E. Theel, Pepijn Crouzen, Holger Hermanns, Ralf Wimmer, Bernd Becker: Dependability Engineering of Silent Self-stabilizing Systems. SSS 2009: 238-253

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

Christian Storm, Timo Warns, Oliver E. Theel: Flexible Heterogeneous Strict Quorum-Based Dynamic Data Replication Schemes. PRDC 2008: 200-207

Jens Oehlerking, Henning Burchardt, Oliver E. Theel: Fully Automated Stability Verification for Piecewise Affine Systems. HSCC 2007: 741-745

Christian Storm, Oliver E. Theel, Carl von Ossietzky: Highly Adaptable Dynamic Quorum Schemes for Managing Replicated Data. ARES 2006: 245-253

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

Abhishek Dhama, Oliver E. Theel, Timo Warns: Reliability and Availability Analysis of Self-stabilizing Systems. SSS 2006: 244-261

Jens Oehlerking, Henning Burchardt, Oliver E. Theel: Towards automatic verification of affine hybrid system stability. SIGBED Review 2(2): 27-30 (2005)

Thomas Strauß, Oliver E. Theel: Integration of a Dynamic Object Replication Framework in Enterprise JavaBeans. Parallel and Distributed Computing and Networks 2005: 461-466

Henning Burchardt, Jens Oehlerking, Oliver E. Theel: Towards Push-of-a-Button Stability Verification for Discrete-Time Hybrid Systems. PRDC 2005: 374-378

Jens Oehlerking, Abhishek Dhama, Oliver E. Theel: Towards Automatic Convergence Verification of Self-stabilizing Algorithms. Self-Stabilizing Systems 2005: 198-213

Heiko Niemann, Wilhelm Hasselbring, Michael Hülsmann, Oliver E. Theel: Realisierung eines adaptiven Replikationsmanagers mittels J2EE-Technologie. BTW 2003: 443-452

Thomas Strauß, Oliver E. Theel: Integration of a Dynamic Object Replication Framework in Java. PDP 2003: 258-265

Oliver E. Theel: A New Verification Technique for Self-Stabilizing Distributed Algorithms based on Variable Structure Systems and Ljapunov Theory. HICSS 2001

Oliver E. Theel: An Exercise in Proving Self-Stabilization through Ljapunov Functions. ICDCS 2001: 727-730

Brett D. Fleisch, Heiko Michel, Sachin K. Shah, Oliver E. Theel: Fault tolerance and configurability in DSM coherence protocols. IEEE Concurrency 8(2): 10-21 (2000)

Oliver E. Theel: A verification technique for self-stabilizing algorithms based on Ljapunov's "Second Method" (brief announcement). PODC 2000: 331

Oliver E. Theel: Exploitation of Ljapunov Theory for Verifying Self-Stabilizing Algorithms. DISC 2000: 209-222

Oliver E. Theel, Markus Pizka: Distributed Caching and Replication - Introduction. HICSS 1999

Oliver E. Theel, Thomas Strauß: An Excursion to the Zoo of Dynamic Coterie-Based Replication Schemes. ICPP 1999: 344-

Oliver E. Theel, Felix C. Gärtner: An exercise in proving convergence through transfer functions. WSS 1999: 41-47

Oliver E. Theel, Henning Pagnia: Optimal Replica Control Protocols Exhibit Symmetric Operation Availabilities. FTCS 1998: 252-261

Henning Pagnia, Oliver E. Theel: Improving Replication Protocols through Priorities. HPDC 1998: 342-343

Achour Mostéfaoui, Oliver E. Theel: Shrinking Timestamp Sizes of Event Ordering Protocols. ICPADS 1998: 193-202

Oliver E. Theel, Michel Raynal: Static and Dynamic Adaptation of Transactional Consistency. HICSS (1) 1997: 533-542

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)

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)

Oliver E. Theel, Henning Pagnia-Koch: General Design of Grid-Based Data Replication Schemes Using Graphs and a Few Rules. ICDCS 1995: 395-403

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

Oliver E. Theel: Vereinheitlichtes Konzept zur Konstruktion hochverfügbarer Dienste. TH Darmstadt 1993, pp. I-IX, 1-209

Oliver E. Theel: General Structured Voting: A Flexible Framework for Modelling Cooperations. ICDCS 1993: 227-236

Oliver E. Theel: A General Framework for Modelling Data Replication Schemes. MASCOTS 1993: 247-250

Bernd Freisleben, Hans-Henning Koch, Oliver E. Theel: Providing Low Cost Read Access to Replicated Data with Multi-Level Voting. INDC 1992: 357-376

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

Bernd Freisleben, Hans-Henning Koch, Oliver E. Theel: Replication management in large networks. LCN 1991: 629-637