Oliver E. Theel

Proceedings of the Intelligent Computing, 2020

Introducing Novel Crossover and Mutation Operators into Data Replication Strategies for Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE Pacific Rim International Symposium on Dependable Computing, 2020

Use of Genetic Programming Operators in Data Replication and Fault Tolerance.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Conference on Parallel and Distributed Systems, 2020

Designing New Data Replication Strategies Automatically.

[BibT_eX]

[DOI]

Proceedings of the Agents and Artificial Intelligence, 12th International Conference, 2020

Design of Scenario-based Application-optimized Data Replication Strategies through Genetic Programming.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Agents and Artificial Intelligence, 2020

A Genetic Programming-Based Multi-Objective Optimization Approach to Data Replication Strategies for Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE Congress on Evolutionary Computation, 2020

2019

CONE: A Connected Dominating Set-Based Flooding Protocol for Wireless Sensor Networks.

[BibT_eX]

[DOI]

Dennis Lisiecki

Sensors, 2019

Competition: Using DeCoT+ to Collect Data under Interference.

[BibT_eX]

[DOI]

Proceedings of the 2019 International Conference on Embedded Wireless Systems and Networks, 2019

2018

Bandit Learning with Concurrent Transmissions for Energy-Efficient Flooding in Sensor Networks.

[BibT_eX]

[DOI]

Alex Yuan Gao

EAI Endorsed Trans. Ind. Networks Intell. Syst., 2018

Quality of service control in proactive wireless sensor networks via lifetime planning.

[BibT_eX]

[DOI]

Int. J. Sens. Networks, 2018

DeCoT: A Dependable Concurrent Transmission-Based Protocol for Wireless Sensor Networks.

[BibT_eX]

[DOI]

IEEE Access, 2018

Concurrent Transmission-based Packet Concatenation in Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE Conference on Local Computer Networks, 2018

Packet-in-Packet: Concatenation with Concurrent Transmission for Data Collection in Low-Power Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Conference on Parallel and Distributed Systems, 2018

Predicting Read- and Write-Operation Availabilities of Quorum Protocols based on Graph Properties.

[BibT_eX]

[DOI]

Oliver Kramer

Proceedings of the 10th International Conference on Agents and Artificial Intelligence, 2018

Competition: Using Enhanced OF∂COIN to Monitor Multiple Concurrent Events under Adverse Conditions.

[BibT_eX]

[DOI]

Proceedings of the 2018 International Conference on Embedded Wireless Systems and Networks, 2018

A Highly Available Replicated Service Registry for Service Discovery in a Highly Dynamic Deployment Infrastructure.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Conference on Services Computing, 2018

2017

An Improved BLE Indoor Localization with Kalman-Based Fusion: An Experimental Study.

[BibT_eX]

[DOI]

Sensors, 2017

A Novel Highly Available Data Replication Strategy Exploiting Data Semantics, Coding Techniques and Prior At-Hand Knowledge.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE Pacific Rim International Symposium on Dependable Computing, 2017

Increasing the Accuracy of Cost and Availability Predictions of Quorum Protocols.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE Pacific Rim International Symposium on Dependable Computing, 2017

Less is More: Learning More with Concurrent Transmissions for Energy-Efficient Flooding.

[BibT_eX]

[DOI]

Alex Yuan Gao

Proceedings of the 14th EAI International Conference on Mobile and Ubiquitous Systems: Computing, 2017

An efficient and updatable item-to-item frequency matrix for frequent itemset generation.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Internet of things and Cloud Computing, 2017

MOR: Multichannel Opportunistic Routing for Wireless Sensor Networks.

[BibT_eX]

[DOI]

Olaf Landsiedel

Proceedings of the 2017 International Conference on Embedded Wireless Systems and Networks, 2017

A Component-Based Highly Available Data Replication Strategy Exploiting Operation Types and Hybrid Communication Mechanisms.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Services Computing, 2017

2016

Improving Energy Efficiency in QoS-Constrained Wireless Sensor Networks.

[BibT_eX]

[DOI]

Int. J. Distributed Sens. Networks, 2016

2015

Relaxing data consistency along different dimensions for increasing operation availabilities.

[BibT_eX]

[DOI]

Kinga Lipskoch

Int. J. Parallel Emergent Distributed Syst., 2015

Breaking Dense Structures: Proving Stability of Densely Structured Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 4th International Workshop on Engineering Safety and Security Systems, 2015

Verifying Recurrence Properties in Self-stabilization by Checking the Absence of Finite Counterexamples.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2015

Recurrence in Self-Stabilization.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE Symposium on Reliable Distributed Systems, 2015

A Transformational Approach for the Hardening of Region-Adherent Algorithms.

[BibT_eX]

[DOI]

Dilshod Rahmatov

Jan Steffen Becker

Proceedings of the 21st IEEE Pacific Rim International Symposium on Dependable Computing, 2015

A Self-stabilizing PIF Algorithm for Educated Unique Process Selection.

[BibT_eX]

[DOI]

Proceedings of the Networked Systems - Third International Conference, 2015

QoS Improvement with Lifetime Planning in Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Mobile Ad-hoc and Sensor Networks, 2015

Reliable virtual sensing for wireless sensor networks.

[BibT_eX]

[DOI]

Proceedings of the Tenth IEEE International Conference on Intelligent Sensors, 2015

FuzzyCAT: a novel procedure for refining the F-transform based sensor data compression.

[BibT_eX]

[DOI]

Vasilisa Bashlovkina

Proceedings of the 14th International Conference on Information Processing in Sensor Networks, 2015

FuzzyCAT: A lightweight Adaptive Transform for sensor data compression.

[BibT_eX]

[DOI]

Vasilisa Bashlovkina

Proceedings of the IEEE International Conference on Communication, 2015

Crossing - A Highly Available Quorum Protocol for Arbitrary Planar Topologies.

[BibT_eX]

[DOI]

Proceedings of the Algorithms and Architectures for Parallel Processing, 2015

Hybrid Tools for Hybrid Systems - Proving Stability and Safety at Once.

[BibT_eX]

[DOI]

Willem Hagemann

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2015

2014

Recent energy-preservation endeavours for longlife wireless sensor networks: A concise survey.

[BibT_eX]

[DOI]

Proceedings of the Eleventh International Conference on Wireless and Optical Communications Networks, 2014

Exploiting Synchronicity for Immediate Feedback in Self-Stabilizing PIF Algorithms.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE Pacific Rim International Symposium on Dependable Computing, 2014

Region-Adherent Algorithms: Restricting the Impact of Faults on Service Quality.

[BibT_eX]

[DOI]

Jan Steffen Becker

Dilshod Rahmatov

Proceedings of the 20th IEEE Pacific Rim International Symposium on Dependable Computing, 2014

EAVS: Energy aware virtual sensing for wireless sensor networks.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE Ninth International Conference on Intelligent Sensors, 2014

Composing Thermostatically Controlled Loads to Determine the Reliability against Blackouts.

[BibT_eX]

[DOI]

Martin Fränzle

Proceedings of the 28th International Conference on Advanced Information Networking and Applications Workshops, 2014

Combining Decomposition and Lumping to Evaluate Semi-hierarchical Systems.

[BibT_eX]

[DOI]

Martin Fränzle

Proceedings of the 28th IEEE International Conference on Advanced Information Networking and Applications, 2014

2013

Combining decomposition and reduction for state space analysis of a self-stabilizing system.

[BibT_eX]

[DOI]

Martin Fränzle

J. Comput. Syst. Sci., 2013

Stabhyli: a tool for automatic stability verification of non-linear hybrid systems.

[BibT_eX]

[DOI]

Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013

2011

Optimized data-available storage for energy-limited wireless sensor networks.

[BibT_eX]

[DOI]

Jens Kamenik

Proceedings of the IEEE 36th Conference on Local Computer Networks, 2011

The Degree of Masking Fault Tolerance vs. Temporal Redundancy.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Conference on Advanced Information Networking and Applications Workshops, 2011

Bounded Fairness for Probabilistic Distributed Algorithms.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Application of Concurrency to System Design, 2011

2010

A Tranformational Approach for Designing Scheduler-Oblivious Self-stabilizing Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2010

Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic Systems.

[BibT_eX]

[DOI]

Proceedings of the QEST 2010, 2010

The Impact of Partial Orders among Strict and Probabilistic Quorums on the Data Consistency vs. Operation Availabilities Trade-Off.

[BibT_eX]

[DOI]

Kinga Kiss Iakab

Proceedings of the IEEE International Symposium on Parallel and Distributed Processing with Applications, 2010

Consistency-Driven Probabilistic Quorum System Construction for Improving Operation Availability.

[BibT_eX]

[DOI]

Kinga Kiss Iakab

Proceedings of the Distributed Computing and Networking, 11th International Conference, 2010

2009

Dependability Engineering of Silent Self-stabilizing Systems.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, 2009

How to be a More Efficient Snoop: Refined Probe Complexity of Quorum Sets.

[BibT_eX]

[DOI]

Timo Warns

Proceedings of the 2009 International Conference on Parallel and Distributed Computing, 2009

A General Approach to Analyzing Quorum-Based Heterogeneous Dynamic Data Replication Schemes.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing and Networking, 10th International Conference, 2009

Decompositional Construction of Lyapunov Functions for Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, 12th International Conference, 2009

A Decompositional Proof Scheme for Automated Convergence Proofs of Stochastic Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2009

2008

Flexible Heterogeneous Strict Quorum-Based Dynamic Data Replication Schemes.

[BibT_eX]

[DOI]

Timo Warns

Proceedings of the 14th IEEE Pacific Rim International Symposium on Dependable Computing, 2008

Derivation of Fault Tolerance Measures of Self-Stabilizing Algorithms by Simulation.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 41st Annual Simulation Symposium (ANSS-41 2008), 2008

2007

Fully Automated Stability Verification for Piecewise Affine Systems.

[BibT_eX]

[DOI]

Henning Burchardt

Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007

2006

Reliability and Availability Analysis of Self-stabilizing Systems.

[BibT_eX]

[DOI]

Timo Warns

Proceedings of the Stabilization, 2006

Verification of Orbitally Self-Stabilizing Distributed Algorithms Using Lyapunov Functions and Poincare Maps.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Parallel and Distributed Systems, 2006

Highly Adaptable Dynamic Quorum Schemes for Managing Replicated Data.

[BibT_eX]

[DOI]

Proceedings of the The First International Conference on Availability, 2006

2005

Towards automatic verification of affine hybrid system stability.

[BibT_eX]

[DOI]

Henning Burchardt

SIGBED Rev., 2005

Towards Automatic Convergence Verification of Self-stabilizing Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Self-Stabilizing Systems, 2005

Towards Push-of-a-Button Stability Verification for Discrete-Time Hybrid Systems.

[BibT_eX]

[DOI]

Henning Burchardt

Proceedings of the 11th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2005), 2005

Integration of a Dynamic Object Replication Framework in Enterprise JavaBeans.

[BibT_eX]

Thomas Strauß

Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Networks, 2005

2003

Integration of a Dynamic Object Replication Framework in Java.

[BibT_eX]

[DOI]

Thomas Strauß

Proceedings of the 11th Euromicro Workshop on Parallel, 2003

Realisierung eines adaptiven Replikationsmanagers mittels J2EE-Technologie.

[BibT_eX]

[DOI]

Proceedings of the BTW 2003, 2003

2001

An Exercise in Proving Self-Stabilization through Ljapunov Functions.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Distributed Computing Systems (ICDCS 2001), 2001

A New Verification Technique for Self-Stabilizing Distributed Algorithms based on Variable Structure Systems and Ljapunov Theory.

[BibT_eX]

[DOI]

Proceedings of the 34th Annual Hawaii International Conference on System Sciences (HICSS-34), 2001

2000

Fault tolerance and configurability in DSM coherence protocols.

[BibT_eX]

[DOI]

IEEE Concurr., 2000

Exploitation of Ljapunov Theory for Verifying Self-Stabilizing Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing, 14th International Conference, 2000

A verification technique for self-stabilizing algorithms based on Ljapunov's "Second Method" (brief announcement).

[BibT_eX]

[DOI]

Proceedings of the Nineteenth Annual ACM Symposium on Principles of Distributed Computing, 2000

Transparent management of replicated WWW document clusters.

[BibT_eX]

[DOI]

Hans Schupp

Proceedings of the Seventh International Conference on Parallel and Distributed Systems Workshops, 2000

1999

An exercise in proving convergence through transfer functions.

[BibT_eX]

Felix C. Gärtner

Proceedings of the 1999 ICDCS Workshop on Self-stabilizing Systems, 1999

An Excursion to the Zoo of Dynamic Coterie-Based Replication Schemes.

[BibT_eX]

[DOI]

Thomas Strauß

Proceedings of the International Conference on Parallel Processing 1999, 1999

Distributed Caching and Replication - Introduction.

[BibT_eX]

[DOI]

Markus Pizka

Proceedings of the 32nd Annual Hawaii International Conference on System Sciences (HICSS-32), 1999

1998

Shrinking Timestamp Sizes of Event Ordering Protocols.

[BibT_eX]

[DOI]

Achour Mostéfaoui

Proceedings of the International Conference on Parallel and Distributed Systems, 1998

Improving Replication Protocols through Priorities.

[BibT_eX]

[DOI]

Proceedings of the Seventh IEEE International Symposium on High Performance Distributed Computing, 1998

Sacrificing True Distribution for Gaining Access Efficiency of Replicated Shared Objects.

[BibT_eX]

[DOI]

Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences, 1998

Optimal Replica Control Protocols Exhibit Symmetric Operation Availabilities.

[BibT_eX]

[DOI]

Proceedings of the Digest of Papers: FTCS-28, 1998

Replicated Documents for the World-Wide Web.

[BibT_eX]

Jürgen Iwik

Proceedings of the EUROMEDIA 1998 featuring WEBTEC-MEDIATEC-COMTEC-APTEC, 1998

1997

Static and Dynamic Adaptation of Transactional Consistency.

[BibT_eX]

[DOI]

Michel Raynal

Proceedings of the 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 1997

1996

A Dynamic Coherence Protocol for Distributed Shared Memory Enforcing High Data Availability at Low Costs.

[BibT_eX]

[DOI]

Brett D. Fleisch

IEEE Trans. Parallel Distributed Syst., 1996

The Boundary-Restricted Coherence Protocol for Scalable and Highly Available Distributed Shared Memory Systems.

[BibT_eX]

[DOI]

Brett D. Fleisch

Comput. J., 1996

Bounded dynamic data allocation in distributed systems.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on High Performance Computing, 1996

A Quality-of-Service Approach for Mobile Users of Replicated Data in Distributed Systems.

[BibT_eX]

Proceedings of the Modelling and Simulation, 1996

1995

Design and Analysis of Highly Availbalbe and Scalable Coherence Protocols for Distributed Shared Memory Systems Using Stochastic Modeling.

[BibT_eX]

Brett D. Fleisch

Proceedings of the 1995 International Conference on Parallel Processing, 1995

General Design of Grid-Based Data Replication Schemes Using Graphs and a Few Rules.

[BibT_eX]

[DOI]

Henning Pagnia-Koch

Proceedings of the 15th International Conference on Distributed Computing Systems, Vancouver, British Columbia, Canada, May 30, 1995

1993

A General Framework for Modelling Data Replication Schemes.

[BibT_eX]

Proceedings of the MASCOTS '93, 1993

General Structured Voting: A Flexible Framework for Modelling Cooperations.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Distributed Computing Systems, 1993

Vereinheitlichtes Konzept zur Konstruktion hochverfügbarer Dienste.

[BibT_eX]

[DOI]

PhD thesis, 1993

1992

Providing Low Cost Read Access to Replicated Data with Multi-Level Voting.

[BibT_eX]

Bernd Freisleben

Hans-Henning Koch

Proceedings of the Information Network and Data Communication, 1992

1991

Replication management in large networks.

[BibT_eX]

[DOI]

Bernd Freisleben

Hans-Henning Koch

Proceedings of the 16th Conference on Local Computer Networks, 1991

The Electoral District Strategy of Replicated Data in Distrinuted Systems.

[BibT_eX]

[DOI]

Bernd Freisleben

Hans-Henning Koch