Manuel Töws, M.Sc.

Address:	Manuel Töws Paderborn University Faculty of Electrical Engineering, Computer Science and Mathematics Warburger Str. 100 D-33098 Paderborn, Germany
Office:	O4.137
Phone:	+49 (0) 5251-60-4272
Fax:	+49 (0) 5251-60-3993
Email:	mtoews(at)mail.uni-paderborn.de
Secretary:	Elisabeth Schlatt Phone: +49 (0) 5251-60-3764 Email: schlatt(at)mail.upb.de Office: O4.125

Teaching

SS 2018

L.079.07502

Proseminar: Android App Analyse

Supervisor

Former Teaching

WS 2017/18	L.079.05101	Modellierung	Organization+Tutor
WS 2017/18	L.079.08000	Seminar: Software Transactional Memory	Supervisor
SS 2017	L.079.05200	Grundlagen der Programmierung 2	Organization+Tutor
SS 2017	L.079.07500	Proseminar: Software Analyse Verfahren und Werkzeuge	Supervisor
WS 2016/17	L.079.05301	Grundlagen der Rechnerarchitektur	Tutor
WS 2016/17	L.079.08000	Seminar: Formal Models for Safe and Secure Systems	Supervisor
SS 2016	L.079.05200	Grundlagen der Programmierung 2	Organization+Tutor
SS 2016	L.079.07500	Proseminar: Moderne Programmiersprachen	Supervisor
WS 2015/16	L.079.07014	Project Group: A³: Android App Analysis	Organization+Supervisor
SS 2015	L.079.07014	Project Group: A³: Android App Analysis	Organization+Supervisor

Publications

2018

Information Flow Certificates

M. Töws, H. Wehrheim, in: Theoretical Aspects of Computing – ICTAC 2018, Springer International Publishing, Cham, 2018, pp. 435–454.

DOI

2017

Policy Dependent and Independent Information Flow Analyses

M. Töws, H. Wehrheim, in: Formal Methods and Software Engineering - 19th International Conference on Formal Engineering Methods (ICFEM 2017), Springer International Publishing, 2017, pp. 362–378.

DOI

2016

A CEGAR Scheme for Information Flow Analysis

M. Töws, H. Wehrheim, in: Proceedings of the 18th International Conference on Formal Engineering Methods (ICFEM 2016), 2016, pp. 466--483.

DOI

PAndA 2 : Analyzing Permission Use and Interplay in Android Apps (Tool Paper)

M.-C. Jakobs, M. Töws, F. Pauck, in: T.E. Ishikawa F, Romanovsky A (Ed.), Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems, 2016.

https://pdfs.semanticscholar.org/58cd/94c8b2335d16aa2558f711cf81b3f7746696.pdf

2014

Statistisches Testen von unbeweisbaren Anforderungen an Programmspezifikationen in SMT-LIB

M. Töws, Statistisches Testen von unbeweisbaren Anforderungen an Programmspezifikationen in SMT-LIB, Universität Paderborn, 2014.

Show all publications