Felix Pauck
Felix Pauck
Paderborn University
Bestätigte E-Mail-Adresse bei foellix.de - Startseite
TitelZitiert vonJahr
Do Android taint analysis tools keep their promises?
F Pauck, E Bodden, H Wehrheim
Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018
42018
Validity of software verification results on approximate hardware
T Isenberg, MC Jakobs, F Pauck, H Wehrheim
IEEE Embedded Systems Letters 10 (1), 22-25, 2017
12017
Deriving approximation tolerance constraints from verification runs
T Isenberg, MC Jakobs, F Pauck, H Wehrheim
arXiv preprint arXiv:1604.08784, 2016
12016
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–3