Georg Hofferek

Publication Activity (10 Years)

Years Active: 2008-2014
Publications (10 Years): 0

Top Topics

Controller Synthesis

Hardware Designs

Boolean Functions

Membership Queries

Top Venues

Haifa Verification Conference

Publications

Roderick Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas A. Henzinger, Georg Hofferek, Barbara Jobstmann, Bettina Könighofer, Robert Könighofer
Synthesizing robust systems. Acta Informatica 51 (3-4) (2014)
Georg Hofferek, Ashutosh Gupta
Suraq - A Controller Synthesis Tool Using Uninterpreted Functions. Haifa Verification Conference (2014)
Roderick Bloem, Georg Hofferek, Bettina Könighofer, Robert Könighofer, Simon Ausserlechner, Raphael Spork
Synthesis of synchronization using uninterpreted functions. FMCAD (2014)
Georg Hofferek, Ashutosh Gupta, Bettina Könighofer, Jie-Hong Roland Jiang, Roderick Bloem
Synthesizing multiple boolean functions using interpolation on a single proof. FMCAD (2013)
Georg Hofferek, Ashutosh Gupta, Bettina Könighofer, Jie-Hong Roland Jiang, Roderick Bloem
Synthesizing Multiple Boolean Functions using Interpolation on a Single Proof. CoRR (2013)
Robert Könighofer, Georg Hofferek, Roderick Bloem
Debugging formal specifications: a practical approach using model-based diagnosis and counterstrategies. Int. J. Softw. Tools Technol. Transf. 15 (5-6) (2013)
Rüdiger Ehlers, Robert Könighofer, Georg Hofferek
Symbolically synthesizing small circuits. FMCAD (2012)
Georg Hofferek
Automated synthesis and design-error repair of systems. DDECS (2012)
Roderick Bloem, Hans-Jürgen Gamauf, Georg Hofferek, Bettina Könighofer, Robert Könighofer
Synthesizing Robust Systems with RATSY SYNT (2012)
Roderick Bloem, Rolf Drechsler, Görschwin Fey, Alexander Finder, Georg Hofferek, Robert Könighofer, Jaan Raik, Urmas Repinski, André Sülflow
FoREnSiC- An Automatic Debugging Environment for C Programs. Haifa Verification Conference (2012)
Matthias Schlaipfer, Georg Hofferek, Roderick Bloem
Generalized Reactivity(1) Synthesis without a Monolithic Strategy. Haifa Verification Conference (2011)
Georg Hofferek, Roderick Bloem
Controller synthesis for pipelined circuits using uninterpreted functions. MEMOCODE (2011)
Roderick Bloem, Alessandro Cimatti, Karin Greimel, Georg Hofferek, Robert Könighofer, Marco Roveri, Viktor Schuppan, Richard Seeber
RATSY - A New Requirements Analysis Tool with Synthesis. CAV (2010)
Robert Könighofer, Georg Hofferek, Roderick Bloem
Debugging Unrealizable Specifications with Model-Based Diagnosis. Haifa Verification Conference (2010)
Robert Könighofer, Georg Hofferek, Roderick Bloem
Debugging formal specifications using simple counterstrategies. FMCAD (2009)
Georg Hofferek, Johannes Wolkerstorfer
Coupon Recalculation for the GPS Authentication Scheme. CARDIS (2008)
Ronald Toegl, Georg Hofferek, Karin Greimel, Adrian Leung, Raphael Chung-Wei Phan, Roderick Bloem
Formal Analysis of a TPM-Based Secrets Distribution and Storage Scheme. ICYCS (2008)