Oliver E. Theel

100 papers A* 1A 5B 17C 17Misc 4Journal 14Unranked 41

Year	Rank	Type	Title / 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