Manuel Töws

According to our database, Manuel Töws authored at least 3 papers between 2016 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Information Flow Certificates.

Manuel Töws, Heike Wehrheim

Proceedings of the Theoretical Aspects of Computing - ICTAC 2018, 2018

2017

Policy Dependent and Independent Information Flow Analyses.

Manuel Töws, Heike Wehrheim

Proceedings of the Formal Methods and Software Engineering, 2017

2016

A CEGAR Scheme for Information Flow Analysis.

Manuel Töws, Heike Wehrheim

Proceedings of the Formal Methods and Software Engineering, 2016