Georg Hofferek
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
5
Active years
2008–2014
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | FMCAD | Synthesis of synchronization using uninterpreted functions. | Roderick Bloem, Georg Hofferek, Bettina Knighofer, Robert Knighofer, Simon Ausserlechner, Raphael Spork |
| 2013 | FMCAD | Synthesizing multiple boolean functions using interpolation on a single proof. | Georg Hofferek, Ashutosh Gupta, Bettina Knighofer, Jie-Hong Roland Jiang, Roderick Bloem |
| 2012 | DDECS | Automated synthesis and design-error repair of systems. | Georg Hofferek |
| 2012 | FMCAD | Symbolically synthesizing small circuits. | Rdiger Ehlers, Robert Knighofer, Georg Hofferek |
| 2011 | MEMOCODE | Controller synthesis for pipelined circuits using uninterpreted functions. | Georg Hofferek, Roderick Bloem |
| 2010 | CAV | RATSY - A New Requirements Analysis Tool with Synthesis. | Roderick Bloem, Alessandro Cimatti, Karin Greimel, Georg Hofferek, Robert Knighofer, Marco Roveri, Viktor Schuppan, Richard Seeber |
| 2009 | FMCAD | Debugging formal specifications using simple counterstrategies. | Robert Knighofer, Georg Hofferek, Roderick Bloem |
| 2008 | CARDIS | Coupon Recalculation for the GPS Authentication Scheme. | Georg Hofferek, Johannes Wolkerstorfer |