Login / Signup
Katja Tietze
Publication Activity (10 Years)
Years Active: 2011-2015
Publications (10 Years): 0
Top Topics
Decision Trees
Specification Language
Symbolic Execution
Static Analysis
Top Venues
Haifa Verification Conference
</>
Publications
</>
Martin Nowack
,
Katja Tietze
,
Christof Fetzer
Parallel Symbolic Execution: Merging In-Flight Requests.
Haifa Verification Conference
(2015)
Ivan Gudymenko
,
Katrin Borcea-Pfitzmann
,
Katja Tietze
Privacy Implications of the Internet of Things.
AmI Workshops
(2011)
Katja Tietze
,
Thomas Schlegel
On Modeling a Social Networking Service Description.
GeNeMe
(2011)