85 citations · 387 across the 29 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.NI2015★ 59 cited
Neighbor discovery latency in BLE-like duty-cycled protocols
Philipp Kindt, Marco Saur, Michael Balszun +1
Neighbor discovery is the procedure using which two wireless devices initiate a first contact. In low power ad-hoc networks, radios are duty-cycled and the latency until a packet m…
cs.SE2015★ 2 cited
Approaches for Software Verification of an Emergency Recovery System for Micro Air Vehicles
Martin Becker, Markus Neumair, Alexander Söhn +1
This paper describes the development and verification of a competitive parachute system for Micro Air Vehicles, in particular focusing on verification of the embedded software. We…