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 2018L.079.07502Proseminar: Android App AnalyseSupervisor
WS 2017/18L.079.05101ModellierungOrganization+Tutor
WS 2017/18L.079.08000Seminar: Software Transactional MemorySupervisor
SS 2017L.079.05200Grundlagen der Programmierung 2Organization+Tutor
SS 2017L.079.07500Proseminar: Software Analyse Verfahren und WerkzeugeSupervisor
WS 2016/17L.079.05301Grundlagen der RechnerarchitekturTutor
WS 2016/17L.079.08000Seminar: Formal Models for Safe and Secure SystemsSupervisor
SS 2016L.079.05200Grundlagen der Programmierung 2Organization+Tutor
SS 2016L.079.07500Proseminar: Moderne ProgrammiersprachenSupervisor
WS 2015/16L.079.07014Project Group: A³: Android App AnalysisOrganization+Supervisor
SS 2015L.079.07014Project Group: A³: Android App AnalysisOrganization+Supervisor

Publications

Information Flow Certificates
M. Töws, H. Wehrheim, in: Theoretical Aspects of Computing – ICTAC 2018, Springer International Publishing, Cham, 2018, pp. 435–454.
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.
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.
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.
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