Browsing by Author "Veith, Helmut"
Now showing items 1-5 of 5
-
Compilation for secure two-party computations
Franz, Martin; Holzer, Andreas; Katzenbeisser, Stefan; Schallhart, Christian; Veith, Helmut
143-144 -
Concolic testing of concurrent programs
Farzan, Azadeh; Holzer, Andreas; Razavi, Niloofar; Veith, Helmut
101-102 -
Empirical software metrics for benchmarking of verification tools
Demyanova, Yulia; Pani, Thomas; Veith, Helmut; Zuleger, Florian
67-68 -
Reusing information in multi-goal reachability analyses
Beyer, Dirk; Holzer, Andreas; Tautschnig, Michael; Veith, Helmut
97-98 -
A simple and scalable static analysis for bound analysis and amortized complexity analysis
Sinn, Moritz; Zuleger, Florian; Veith, Helmut
101-102