2 papers
cs.SE2018
Do Android Taint Analysis Tools Keep Their Promises?
Felix Pauck, Eric Bodden, Heike Wehrheim
In recent years, researchers have developed a number of tools to conduct taint analysis of Android applications. While all the respective papers aim at providing a thorough empiric…
cs.SE2016
Deriving approximation tolerance constraints from verification runs
Tobias Isenberg, Marie-Christine Jakobs, Felix Pauck +1
Approximate computing (AC) is an emerging paradigm for energy-efficient computation. The basic idea of AC is to sacrifice high precision for low energy by allowing for hardware whi…