Issue 2/2017
Special issue: In Memoriam Helmut Veith
Content (7 Articles)
Preface of the Special Issue in Memoriam Helmut Veith
Georg Gottlob, Thomas A. Henzinger, Georg Weissenbacher
Open Access
Para: parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms
Igor Konnov, Marijana Lazić, Helmut Veith, Josef Widder
On compiling Boolean circuits optimized for secure multi-party computation
Niklas Büscher, Martin Franz, Andreas Holzer, Helmut Veith, Stefan Katzenbeisser
Open Access
Shield synthesis
Bettina Könighofer, Mohammed Alshiekh, Roderick Bloem, Laura Humphrey, Robert Könighofer, Ufuk Topcu, Chao Wang
Program synthesis for interactive-security systems
William R. Harris, Somesh Jha, Thomas W. Reps, Sanjit A. Seshia
A methodology to take credit for high-level verification during RTL verification
Frederic Doucet, Robert Kurshan
Keeping logic in the trivium of computer science: a teaching perspective
J. A. Makowsky, A. Zamansky