Emanuel Regnath

Learn More
In this paper, we present Smart2, an advanced smartphone charger that mitigates battery's capacity fading, which until now has usually been ignored. Smart2 exploits the fact that many users charge their phones over night. Since the overnight charging duration is unnecessarily long, the battery is subjected to a high average state of charge (SOC), which(More)
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 capabilities and limitations of its latest version in the context of building a flight stack for a high-altitude unmanned glider. Towards that, we deliberately applied static analysis(More)
  • 1