Coupon Recalculation for the GPS Authentication Scheme. - Georg Hofferek; Johannes Wolkerstorfer (CARDIS, 2008)

Formal Analysis of a TPM-Based Secrets Distribution and Storage Scheme. - Ronald Toegl; Georg Hofferek; Karin Greimel; Adrian Leung; Raphael Chung-Wei Phan; Roderick Bloem (ICYCS, 2008)

Debugging formal specifications using simple counterstrategies. - Robert Könighofer; Georg Hofferek; Roderick Bloem (FMCAD, 2009)

RATSY - A New Requirements Analysis Tool with Synthesis. - Roderick Bloem; Alessandro Cimatti; Karin Greimel; Georg Hofferek; Robert Könighofer; Marco Roveri; Viktor Schuppan; Richard Seeber (CAV, 2010)

Debugging Unrealizable Specifications with Model-Based Diagnosis. - Robert Könighofer; Georg Hofferek; Roderick Bloem (Haifa Verification Conference, 2010)

Generalized Reactivity(1) Synthesis without a Monolithic Strategy. - Matthias Schlaipfer; Georg Hofferek; Roderick Bloem (Haifa Verification Conference, 2011)

Controller synthesis for pipelined circuits using uninterpreted functions. - Georg Hofferek; Roderick Bloem (MEMOCODE, 2011)

Automated synthesis and design-error repair of systems. - Georg Hofferek (DDECS, 2012)

Symbolically synthesizing small circuits. - Rüdiger Ehlers; Robert Könighofer; Georg Hofferek (FMCAD, 2012)

FoREnSiC- An Automatic Debugging Environment for C Programs. - Roderick Bloem; Rolf Drechsler; Görschwin Fey; Alexander Finder; Georg Hofferek; Robert Könighofer; Jaan Raik; Urmas Repinski; André Sülflow (Haifa Verification Conference, 2012)

Synthesizing Robust Systems with RATSY - Roderick Bloem; Hans-Jürgen Gamauf; Georg Hofferek; Bettina Könighofer; Robert Könighofer (SYNT, 2012)

Synthesizing multiple boolean functions using interpolation on a single proof. - Georg Hofferek; Ashutosh Gupta; Bettina Könighofer; Jie-Hong Roland Jiang; Roderick Bloem (FMCAD, 2013)

Debugging formal specifications: a practical approach using model-based diagnosis and counterstrategies. - Robert Könighofer; Georg Hofferek; Roderick Bloem (Int. J. Softw. Tools Technol. Transf., 2013)

Synthesis of synchronization using uninterpreted functions. - Roderick Bloem; Georg Hofferek; Bettina Könighofer; Robert Könighofer; Simon Ausserlechner; Raphael Spork (FMCAD, 2014)

Suraq - A Controller Synthesis Tool Using Uninterpreted Functions. - Georg Hofferek; Ashutosh Gupta (Haifa Verification Conference, 2014)

Synthesizing robust systems. - Roderick Bloem; Krishnendu Chatterjee; Karin Greimel; Thomas A. Henzinger; Georg Hofferek; Barbara Jobstmann; Bettina Könighofer; Robert Könighofer (Acta Informatica, 2014)