research
∙
07/30/2021
Beep-And-Sleep: Message and Energy Efficient Set Cover
We observe message-efficient distributed algorithms for the Set Cover pr...
share
research
∙
06/11/2021
Model-based Safety and Security Co-analysis: a Survey
We survey the state-of-the-art on model-based formalisms for safety and ...
research
∙
10/12/2018
A Bounding Box Overlay for Competitive Routing in Hybrid Communication Networks
In this work, we present a new approach for competitive routing in wirel...
research
∙
08/30/2018
Self-stabilizing Overlays for high-dimensional Monotonic Searchability
We extend the concept of monotonic searchability for self-stabilizing sy...
research
∙
10/25/2017
Competitive Routing in Hybrid Communication Networks
Routing is a challenging problem for wireless ad hoc networks, especiall...
research
∙
10/23/2017