| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Nils Müllner, Oliver E. Theel, Martin Fränzle |
Combining Decomposition and Reduction for State Space Analysis of a Self-Stabilizing System.  |
AINA  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Kamenik, Oliver E. Theel |
Optimized data-available storage for energy-limited wireless sensor networks. |
LCN |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nils Müllner, Oliver E. Theel |
The Degree of Masking Fault Tolerance vs. Temporal Redundancy. |
AINA Workshops |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kinga Kiss Iakab, Christian Storm, Oliver E. Theel |
Consistency-Driven Probabilistic Quorum System Construction for Improving Operation Availability. |
ICDCN |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
probabilistic data replication, operation availabilities, distributed systems, data consistency |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Abhishek Dhama, Oliver E. Theel |
A Tranformational Approach for Designing Scheduler-Oblivious Self-stabilizing Algorithms. |
SSS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Storm, Oliver E. Theel |
A General Approach to Analyzing Quorum-Based Heterogeneous Dynamic Data Replication Schemes. |
ICDCN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Oehlerking, Oliver E. Theel |
A Decompositional Proof Scheme for Automated Convergence Proofs of Stochastic Hybrid Systems. |
ATVA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Timo Warns, Christian Storm, Oliver E. Theel |
How to be a More Efficient Snoop: Refined Probe Complexity of Quorum Sets. |
PDCAT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Oehlerking, Oliver E. Theel |
Decompositional Construction of Lyapunov Functions for Hybrid Systems. |
HSCC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Abhishek Dhama, Oliver E. Theel, Pepijn Crouzen, Holger Hermanns, Ralf Wimmer, Bernd Becker |
Dependability Engineering of Silent Self-stabilizing Systems. |
SSS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nils Müllner, Abhishek Dhama, Oliver E. Theel |
Derivation of Fault Tolerance Measures of Self-Stabilizing Algorithms by Simulation. |
Annual Simulation Symposium |
2008 |
DBLP DOI BibTeX RDF |
Simulation, Fault Tolerance, Reliability, Availability, Self-Stabilization |
| 1 | Christian Storm, Timo Warns, Oliver E. Theel |
Flexible Heterogeneous Strict Quorum-Based Dynamic Data Replication Schemes. |
PRDC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Oehlerking, Henning Burchardt, Oliver E. Theel |
Fully Automated Stability Verification for Piecewise Affine Systems. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Abhishek Dhama, Jens Oehlerking, Oliver E. Theel |
Verification of Orbitally Self-Stabilizing Distributed Algorithms Using Lyapunov Functions and Poincare Maps. |
ICPADS |
2006 |
DBLP DOI BibTeX RDF |
Poincar´e maps, Fault Tolerance, Verification, Hybrid Systems, Self-Stabilization, Lyapunov Theory |
| 1 | Abhishek Dhama, Oliver E. Theel, Timo Warns |
Reliability and Availability Analysis of Self-stabilizing Systems. |
SSS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Storm, Oliver E. Theel, Carl von Ossietzky |
Highly Adaptable Dynamic Quorum Schemes for Managing Replicated Data. |
ARES |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Burchardt, Jens Oehlerking, Oliver E. Theel |
Towards Push-of-a-Button Stability Verification for Discrete-Time Hybrid Systems. |
PRDC |
2005 |
DBLP DOI BibTeX RDF |
Discrete-Time Hybrid Systems, Stability, LMIs, Automatic Verification, Lyapunov Theory |
| 1 | Thomas Strauß, Oliver E. Theel |
Integration of a Dynamic Object Replication Framework in Enterprise JavaBeans. |
Parallel and Distributed Computing and Networks |
2005 |
DBLP BibTeX RDF |
|
| 1 | Jens Oehlerking, Abhishek Dhama, Oliver E. Theel |
Towards Automatic Convergence Verification of Self-stabilizing Algorithms. |
Self-Stabilizing Systems |
2005 |
DBLP DOI BibTeX RDF |
Verification, Distributed Algorithms, Convergence, Hybrid Systems, Self-Stabilization, Lyapunov Functions, Piecewise Affine Systems |
| 1 | Heiko Niemann, Wilhelm Hasselbring, Michael Hülsmann, Oliver E. Theel |
Realisierung eines adaptiven Replikationsmanagers mittels J2EE-Technologie. |
BTW |
2003 |
DBLP BibTeX RDF |
|
| 1 | Thomas Strauß, Oliver E. Theel |
Integration of a Dynamic Object Replication Framework in Java. |
PDP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Oliver E. Theel |
A New Verification Technique for Self-Stabilizing Distributed Algorithms based on Variable Structure Systems and Ljapunov Theory. (PDF / PS) |
HICSS |
2001 |
DBLP DOI BibTeX RDF |
Verification Methodology, Non-Linear Dynamic Systems, Ljapunov Theory, Distributed Computing, Stability, Self-Stabilization, Software Fault Tolerance |
| 1 | Oliver E. Theel |
An Exercise in Proving Self-Stabilization through Ljapunov Functions. |
ICDCS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Brett D. Fleisch, Heiko Michel, Sachin K. Shah, Oliver E. Theel |
Fault tolerance and configurability in DSM coherence protocols. |
IEEE Concurrency |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Oliver E. Theel |
Exploitation of Ljapunov Theory for Verifying Self-Stabilizing Algorithms. |
DISC |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Oliver E. Theel |
A verification technique for self-stabilizing algorithms based on Ljapunov's "Second Method" (brief announcement). |
PODC |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Oliver E. Theel, Thomas Strauß |
An Excursion to the Zoo of Dynamic Coterie-Based Replication Schemes. (PDF / PS) |
ICPP |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Oliver E. Theel, Markus Pizka |
Distributed Caching and Replication - Introduction. (PDF / PS) |
HICSS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Oliver E. Theel, Felix C. Gärtner |
An exercise in proving convergence through transfer functions. |
WSS |
1999 |
DBLP BibTeX RDF |
|
| 1 | Henning Pagnia, Oliver E. Theel |
Improving Replication Protocols through Priorities. (PDF / PS) |
HPDC |
1998 |
DBLP DOI BibTeX RDF |
Replication Control Protocols, Performance Optimization, Software Fault Tolerance |
| 1 | Achour Mostéfaoui, Oliver E. Theel |
Shrinking Timestamp Sizes of Event Ordering Protocols. (PDF / PS) |
ICPADS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Oliver E. Theel, Henning Pagnia |
Optimal Replica Control Protocols Exhibit Symmetric Operation Availabilities. |
FTCS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Oliver E. Theel, Michel Raynal |
Static and Dynamic Adaptation of Transactional Consistency. |
HICSS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
1996 |
DBLP DOI BibTeX RDF |
dynamic coherence protocols, fault-tolerance, Distributed systems, adaptability, availability, distributed shared memory, stochastic modeling |
| 1 | Oliver E. Theel, Brett D. Fleisch |
The Boundary-Restricted Coherence Protocol for Scalable and Highly Available Distributed Shared Memory Systems. |
Comput. J. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
1995 |
DBLP BibTeX RDF |
|
| 1 | Oliver E. Theel, Henning Pagnia-Koch |
General Design of Grid-Based Data Replication Schemes Using Graphs and a Few Rules. |
ICDCS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Oliver E. Theel |
Vereinheitlichtes Konzept zur Konstruktion hochverfügbarer Dienste. |
|
1993 |
RDF |
|
| 1 | Oliver E. Theel |
A General Framework for Modelling Data Replication Schemes. |
MASCOTS |
1993 |
DBLP BibTeX RDF |
|
| 1 | Oliver E. Theel |
General Structured Voting: A Flexible Framework for Modelling Cooperations. |
ICDCS |
1993 |
DBLP BibTeX RDF |
|
| 1 | Bernd Freisleben, Hans-Henning Koch, Oliver E. Theel |
Providing Low Cost Read Access to Replicated Data with Multi-Level Voting. |
INDC |
1992 |
DBLP BibTeX RDF |
|
| 1 | Bernd Freisleben, Hans-Henning Koch, Oliver E. Theel |
The Electoral District Strategy of Replicated Data in Distrinuted Systems. |
Fault-Tolerant Computing Systems |
1991 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")