85 citations · 85 across the 3 of their papers we have counts for
4 papers
Challenges in IT Operations Management at a German University Chair -- Ten Years in Retrospect
Martin Geier, Samarjit Chakraborty
Over the last two decades, the majority of German universities adopted various characteristics of the prevailing North-American academic system, resulting in significant changes in…
Development and Verification of a Flight Stack for a High-Altitude Glider in Ada/SPARK 2014
Martin Becker, Emanuel Regnath, Samarjit Chakraborty
SPARK 2014 is a modern programming language and a new state-of-the-art tool set for development and verification of high-integrity software. In this paper, we explore the capabilit…
Security in Automotive Networks: Lightweight Authentication and Authorization
Philipp Mundhenk, Andrew Paverd, Artur Mrowca +4
With the increasing amount of interconnections between vehicles, the attack surface of internal vehicle networks is rising steeply. Although these networks are shielded against ext…
Slotless Protocols for Fast and Energy-Efficient Neighbor Discovery
Philipp H. Kindt, Marco Saur, Samarjit Chakraborty
In mobile ad-hoc networks, neighbor discovery protocols are used to find surrounding devices and to establish a first contact between them. Since the clocks of the devices are not…