Oliver E. Theel

Publication Activity (10 Years)

Years Active: 1991-2021
Publications (10 Years): 40

Top Venues

PRDC

EWSN

Sensors

ICPADS

Darmstadt University of Technology, Germany (PHD)

Education History

Darmstadt University of Technology, Germany

PHD

Publications

Christian Linder, Oliver E. Theel
Extending the Concept of Voting Structures to Support Path-Based Replication Strategies. PRDC (2021)
Marvin Banse, Florian Schmalriede, Oliver E. Theel, Andreas Winter
Environmental Wellbeing through Guerilla Sensing. GI-Jahrestagung (2021)
Ernst-Rüdiger Olderog, Martin Fränzle, Oliver E. Theel, Paul Kröger
System correctness under adverse conditions. it Inf. Technol. 63 (5-6) (2021)
Syed Mohtashim Abbas Bokhari, Oliver E. Theel
A Flexible Hybrid Approach to Data Replication in Distributed Systems. SAI (1) (2020)
Syed Mohtashim Abbas Bokhari, Oliver E. Theel
Use of Genetic Programming Operators in Data Replication and Fault Tolerance. ICPADS (2020)
Xiaoyuan Ma, Peilin Zhang, Oliver E. Theel, Jianming Wei
Gathering data with packet-in-packet in wireless sensor networks. Comput. Networks 170 (2020)
Syed Mohtashim Abbas Bokhari, Oliver E. Theel
A Genetic Programming-Based Multi-Objective Optimization Approach to Data Replication Strategies for Distributed Systems. CEC (2020)
Syed Mohtashim Abbas Bokhari, Oliver E. Theel
Introducing Novel Crossover and Mutation Operators into Data Replication Strategies for Distributed Systems. PRDC (2020)
Syed Mohtashim Abbas Bokhari, Oliver E. Theel
Design of Scenario-based Application-optimized Data Replication Strategies through Genetic Programming. ICAART (2) (2020)
Syed Mohtashim Abbas Bokhari, Oliver E. Theel
Designing New Data Replication Strategies Automatically. ICAART (Revised Selected Papers) (2020)
Dennis Lisiecki, Peilin Zhang, Oliver E. Theel
CONE: A Connected Dominating Set-Based Flooding Protocol for Wireless Sensor Networks. Sensors 19 (10) (2019)
Xiaoyuan Ma, Peilin Zhang, Ye Liu, Xin Li, Weisheng Tang, Pei Tian, Jianming Wei, Lei Shu, Oliver E. Theel
Competition: Using DeCoT+ to Collect Data under Interference. EWSN (2019)
Awais Usman, Peilin Zhang, Oliver E. Theel
A Highly Available Replicated Service Registry for Service Discovery in a Highly Dynamic Deployment Infrastructure. SCC (2018)
Peilin Zhang, Alex Yuan Gao, Oliver E. Theel
Bandit Learning with Concurrent Transmissions for Energy-Efficient Flooding in Sensor Networks. EAI Endorsed Trans. Ind. Networks Intell. Syst. 4 (13) (2018)
Peilin Zhang, Xiaoyuan Ma, Oliver E. Theel, Jianming Wei
Packet-in-Packet: Concatenation with Concurrent Transmission for Data Collection in Low-Power Wireless Sensor Networks. ICPADS (2018)
Robert Schadek, Oliver Kramer, Oliver E. Theel
Predicting Read- and Write-Operation Availabilities of Quorum Protocols based on Graph Properties. ICAART (2) (2018)
Xiaoyuan Ma, Peilin Zhang, Weisheng Tang, Xin Li, Wangji He, Fuping Zhang, Jianming Wei, Oliver E. Theel
Competition: Using Enhanced OF∂COIN to Monitor Multiple Concurrent Events under Adverse Conditions. EWSN (2018)
Xiaoyuan Ma, Peilin Zhang, Xin Li, Weisheng Tang, Jianming Wei, Oliver E. Theel
DeCoT: A Dependable Concurrent Transmission-Based Protocol for Wireless Sensor Networks. IEEE Access 6 (2018)
Peilin Zhang, Mohamed Abdelaal, Oliver E. Theel
Quality of service control in proactive wireless sensor networks via lifetime planning. Int. J. Sens. Networks 26 (4) (2018)
Peilin Zhang, Xiaoyuan Ma, Oliver E. Theel, Jianming Wei
Concurrent Transmission-based Packet Concatenation in Wireless Sensor Networks. LCN (2018)
Awais Usman, Peilin Zhang, Oliver E. Theel
An efficient and updatable item-to-item frequency matrix for frequent itemset generation. ICC (2017)
Jenny Röbesaat, Peilin Zhang, Mohamed Abdelaal, Oliver E. Theel
An Improved BLE Indoor Localization with Kalman-Based Fusion: An Experimental Study. Sensors 17 (5) (2017)
Robert Schadek, Oliver E. Theel
Increasing the Accuracy of Cost and Availability Predictions of Quorum Protocols. PRDC (2017)
Peilin Zhang, Alex Yuan Gao, Oliver E. Theel
Less is More: Learning More with Concurrent Transmissions for Energy-Efficient Flooding. MobiQuitous (2017)
Peilin Zhang, Olaf Landsiedel, Oliver E. Theel
MOR: Multichannel Opportunistic Routing for Wireless Sensor Networks. EWSN (2017)
Awais Usman, Robert Schadek, Oliver E. Theel
A Novel Highly Available Data Replication Strategy Exploiting Data Semantics, Coding Techniques and Prior At-Hand Knowledge. PRDC (2017)
Awais Usman, Peilin Zhang, Oliver E. Theel
A Component-Based Highly Available Data Replication Strategy Exploiting Operation Types and Hybrid Communication Mechanisms. SCC (2017)
Mohamed Abdelaal, Oliver E. Theel, Christian Kuka, Peilin Zhang, Yang Gao, Vasilisa Bashlovkina, Daniela Nicklas, Martin Fränzle
Improving Energy Efficiency in QoS-Constrained Wireless Sensor Networks. Int. J. Distributed Sens. Networks 12 (5) (2016)
Eike Möhlmann, Oliver E. Theel
Breaking Dense Structures: Proving Stability of Densely Structured Hybrid Systems. ESSS (2015)
Mohamed Abdelaal, Christian Kuka, Oliver E. Theel, Daniela Nicklas
Reliable virtual sensing for wireless sensor networks. ISSNIP (2015)
Eike Möhlmann, Willem Hagemann, Oliver E. Theel
Hybrid Tools for Hybrid Systems - Proving Stability and Safety at Once. FORMATS (2015)
Oday Jubran, Eike Möhlmann, Oliver E. Theel
Verifying Recurrence Properties in Self-stabilization by Checking the Absence of Finite Counterexamples. SSS (2015)
Robert Schadek, Oliver E. Theel
Crossing - A Highly Available Quorum Protocol for Arbitrary Planar Topologies. ICA3PP (3) (2015)
Vasilisa Bashlovkina, Mohamed Abdelaal, Oliver E. Theel
FuzzyCAT: a novel procedure for refining the F-transform based sensor data compression. IPSN (2015)
Dilshod Rahmatov, Jan Steffen Becker, Oliver E. Theel
A Transformational Approach for the Hardening of Region-Adherent Algorithms. PRDC (2015)
Kinga Lipskoch, Oliver E. Theel
Relaxing data consistency along different dimensions for increasing operation availabilities. Int. J. Parallel Emergent Distributed Syst. 30 (3) (2015)
Oday Jubran, Oliver E. Theel
Recurrence in Self-Stabilization. SRDS (2015)
Mohamed Abdelaal, Peilin Zhang, Oliver E. Theel
QoS Improvement with Lifetime Planning in Wireless Sensor Networks. MSN (2015)
Oday Jubran, Oliver E. Theel
A Self-stabilizing PIF Algorithm for Educated Unique Process Selection. NETYS (2015)
Vasilisa Bashlovkina, Mohamed Abdelaal, Oliver E. Theel
FuzzyCAT: A lightweight Adaptive Transform for sensor data compression. ICC Workshops (2015)
Jan Steffen Becker, Dilshod Rahmatov, Oliver E. Theel
Region-Adherent Algorithms: Restricting the Impact of Faults on Service Quality. PRDC (2014)
Nils Müllner, Oliver E. Theel, Martin Fränzle
Combining Decomposition and Lumping to Evaluate Semi-hierarchical Systems. AINA (2014)
Mohamed Abdelaal, Yang Gao, Martin Fränzle, Oliver E. Theel
EAVS: Energy aware virtual sensing for wireless sensor networks. ISSNIP (2014)
Mohamed Abdelaal, Oliver E. Theel
Recent energy-preservation endeavours for longlife wireless sensor networks: A concise survey. WOCN (2014)
Nils Müllner, Oliver E. Theel, Martin Fränzle
Composing Thermostatically Controlled Loads to Determine the Reliability against Blackouts. AINA Workshops (2014)
Oday Jubran, Oliver E. Theel
Exploiting Synchronicity for Immediate Feedback in Self-Stabilizing PIF Algorithms. PRDC (2014)
Eike Möhlmann, Oliver E. Theel
Stabhyli: a tool for automatic stability verification of non-linear hybrid systems. HSCC (2013)
Nils Müllner, Oliver E. Theel, Martin Fränzle
Combining decomposition and reduction for state space analysis of a self-stabilizing system. J. Comput. Syst. Sci. 79 (7) (2013)
Nils Müllner, Oliver E. Theel, Martin Fränzle
Combining Decomposition and Reduction for State Space Analysis of a Self-Stabilizing System. AINA (2012)
Jens Kamenik, Oliver E. Theel
Optimized data-available storage for energy-limited wireless sensor networks. LCN (2011)
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)
Nils Müllner, Oliver E. Theel
The Degree of Masking Fault Tolerance vs. Temporal Redundancy. AINA Workshops (2011)
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)
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)
Kinga Kiss Iakab, Christian Storm, Oliver E. Theel
Consistency-Driven Probabilistic Quorum System Construction for Improving Operation Availability. ICDCN (2010)
Abhishek Dhama, Oliver E. Theel
A Tranformational Approach for Designing Scheduler-Oblivious Self-stabilizing Algorithms. SSS (2010)
Abhishek Dhama, Oliver E. Theel, Pepijn Crouzen, Holger Hermanns, Ralf Wimmer, Bernd Becker
Dependability Engineering of Silent Self-stabilizing Systems. SSS (2009)
Jens Oehlerking, Oliver E. Theel
Decompositional Construction of Lyapunov Functions for Hybrid Systems. HSCC (2009)
Christian Storm, Oliver E. Theel
A General Approach to Analyzing Quorum-Based Heterogeneous Dynamic Data Replication Schemes. ICDCN (2009)
Timo Warns, Christian Storm, Oliver E. Theel
How to be a More Efficient Snoop: Refined Probe Complexity of Quorum Sets. PDCAT (2009)
Jens Oehlerking, Oliver E. Theel
A Decompositional Proof Scheme for Automated Convergence Proofs of Stochastic Hybrid Systems. ATVA (2009)
Christian Storm, Timo Warns, Oliver E. Theel
Flexible Heterogeneous Strict Quorum-Based Dynamic Data Replication Schemes. PRDC (2008)
Nils Müllner, Abhishek Dhama, Oliver E. Theel
Derivation of Fault Tolerance Measures of Self-Stabilizing Algorithms by Simulation. Annual Simulation Symposium (2008)
Jens Oehlerking, Henning Burchardt, Oliver E. Theel
Fully Automated Stability Verification for Piecewise Affine Systems. HSCC (2007)
Abhishek Dhama, Oliver E. Theel, Timo Warns
Reliability and Availability Analysis of Self-stabilizing Systems. SSS (2006)
Christian Storm, Oliver E. Theel
Highly Adaptable Dynamic Quorum Schemes for Managing Replicated Data. ARES (2006)
Abhishek Dhama, Jens Oehlerking, Oliver E. Theel
Verification of Orbitally Self-Stabilizing Distributed Algorithms Using Lyapunov Functions and Poincare Maps. ICPADS (1) (2006)
Henning Burchardt, Jens Oehlerking, Oliver E. Theel
Towards Push-of-a-Button Stability Verification for Discrete-Time Hybrid Systems. PRDC (2005)
Thomas Strauß, Oliver E. Theel
Integration of a Dynamic Object Replication Framework in Enterprise JavaBeans. Parallel and Distributed Computing and Networks (2005)
Jens Oehlerking, Abhishek Dhama, Oliver E. Theel
Towards Automatic Convergence Verification of Self-stabilizing Algorithms. Self-Stabilizing Systems (2005)
Jens Oehlerking, Henning Burchardt, Oliver E. Theel
Towards automatic verification of affine hybrid system stability. SIGBED Rev. 2 (2) (2005)
Thomas Strauß, Oliver E. Theel
Integration of a Dynamic Object Replication Framework in Java. PDP (2003)
Heiko Niemann, Wilhelm Hasselbring, Michael Hülsmann, Oliver E. Theel
Realisierung eines adaptiven Replikationsmanagers mittels J2EE-Technologie. BTW (2003)
Oliver E. Theel
An Exercise in Proving Self-Stabilization through Ljapunov Functions. ICDCS (2001)
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
Exploitation of Ljapunov Theory for Verifying Self-Stabilizing Algorithms. DISC (2000)
Oliver E. Theel
A verification technique for self-stabilizing algorithms based on Ljapunov's "Second Method" (brief announcement). PODC (2000)
Brett D. Fleisch, Heiko Michel, Sachin K. Shah, Oliver E. Theel
Fault tolerance and configurability in DSM coherence protocols. IEEE Concurr. 8 (2) (2000)
Henning Pagnia, Oliver E. Theel, Hans Schupp
Transparent management of replicated WWW document clusters. ICPADS Workshops (2000)
Oliver E. Theel, Markus Pizka
Distributed Caching and Replication - Introduction. HICSS (1999)
Oliver E. Theel, Felix C. Gärtner
An exercise in proving convergence through transfer functions. WSS (1999)
Oliver E. Theel, Thomas Strauß
An Excursion to the Zoo of Dynamic Coterie-Based Replication Schemes. ICPP (1999)
Achour Mostéfaoui, Oliver E. Theel
Shrinking Timestamp Sizes of Event Ordering Protocols. ICPADS (1998)
Oliver E. Theel, Henning Pagnia
Optimal Replica Control Protocols Exhibit Symmetric Operation Availabilities. FTCS (1998)
Henning Pagnia, Oliver E. Theel, Jürgen Iwik
Replicated Documents for the World-Wide Web. EUROMEDIA (1998)
Henning Pagnia, Oliver E. Theel
Sacrificing True Distribution for Gaining Access Efficiency of Replicated Shared Objects. HICSS (7) (1998)
Henning Pagnia, Oliver E. Theel
Improving Replication Protocols through Priorities. HPDC (1998)
Oliver E. Theel, Michel Raynal
Static and Dynamic Adaptation of Transactional Consistency. HICSS (1) (1997)
Oliver E. Theel, Brett D. Fleisch
A Dynamic Coherence Protocol for Distributed Shared Memory Enforcing High Data Availability at Low Costs. IEEE Trans. Parallel Distributed Syst. 7 (9) (1996)
Oliver E. Theel, Henning Pagnia
Bounded dynamic data allocation in distributed systems. HiPC (1996)
C. Liebig, Henning Pagnia, F. Schwappacher, Oliver E. Theel
A Quality-of-Service Approach for Mobile Users of Replicated Data in Distributed Systems. ESM (1996)
Oliver E. Theel, Brett D. Fleisch
The Boundary-Restricted Coherence Protocol for Scalable and Highly Available Distributed Shared Memory Systems. Comput. J. 39 (6) (1996)
Oliver E. Theel, Henning Pagnia-Koch
General Design of Grid-Based Data Replication Schemes Using Graphs and a Few Rules. ICDCS (1995)
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)
Oliver E. Theel
General Structured Voting: A Flexible Framework for Modelling Cooperations. ICDCS (1993)
Oliver E. Theel
A General Framework for Modelling Data Replication Schemes. MASCOTS (1993)
Bernd Freisleben, Hans-Henning Koch, Oliver E. Theel
Providing Low Cost Read Access to Replicated Data with Multi-Level Voting. INDC (1992)
Bernd Freisleben, Hans-Henning Koch, Oliver E. Theel
Replication management in large networks. LCN (1991)
Bernd Freisleben, Hans-Henning Koch, Oliver E. Theel
The Electoral District Strategy of Replicated Data in Distrinuted Systems. Fault-Tolerant Computing Systems (1991)

Oliver E. Theel.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Oliver E. Theel