Oliver E. Theel

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