Georg Hofferek

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