@inproceedingsTöws_Wehrheim_2018, place=Cham, title=Information Flow Certificates, DOI=10.1007/978-3-030-02508-3_23, booktitle=Theoretical Aspects of Computing – ICTAC 2018, publisher=Springer International Publishing, author=Töws, Manuel and Wehrheim, Heike, year=2018, pages=435–454 
LibreCat: /record/5774
DOI: 10.1007/978-3-030-02508-3_23

@inproceedingsTöws_Wehrheim_2017, title=Policy Dependent and Independent Information Flow Analyses, DOI=10.1007/978-3-319-68690-5_22, booktitle=Formal Methods and Software Engineering - 19th International Conference  on Formal Engineering Methods (ICFEM 2017), publisher=Springer International Publishing, author=Töws, Manuel and Wehrheim, Heike, year=2017, pages=362–378 
LibreCat: /record/5769
DOI: 10.1007/978-3-319-68690-5_22

@inproceedingsTöws_Wehrheim_2016, series=LNCS, title=A CEGAR Scheme for Information Flow Analysis, DOI=10.1007/978-3-319-47846-3_29, booktitle=Proceedings of the 18th International Conference on Formal Engineering Methods (ICFEM 2016), author=Töws, Manuel and Wehrheim, Heike, year=2016, pages=466--483, collection=LNCS 
LibreCat: /record/227
DOI: 10.1007/978-3-319-47846-3_29

@inproceedingsJakobs_Töws_Pauck_2016, series=School of Computing Science Technical Report Series, title=PAndA 2f: Analyzing Permission Use and Interplay in Android Apps (Tool Paper), booktitle=Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems, author=Jakobs, Marie-Christine and Töws, Manuel and Pauck, Felix, editor=Ishikawa F, Romanovsky A, Troubitsyna EEditor, year=2016, collection=School of Computing Science Technical Report Series 
LibreCat: /record/170

@bookTöws_2014, title=Statistisches Testen von unbeweisbaren Anforderungen an Programmspezifikationen in SMT-LIB, publisher=Universität Paderborn, author=Töws, Manuel, year=2014 
LibreCat: /record/359