| RATSY–a new requirements analysis tool with synthesis R Bloem, A Cimatti, K Greimel, G Hofferek, R Könighofer, M Roveri, ... Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010 | 134 | 2010 |
| Synthesizing robust systems R Bloem, K Chatterjee, K Greimel, TA Henzinger, G Hofferek, ... Acta Informatica 51, 193-220, 2014 | 93 | 2014 |
| Debugging formal specifications using simple counterstrategies R Könighofer, G Hofferek, R Bloem 2009 Formal Methods in Computer-Aided Design, 152-159, 2009 | 74 | 2009 |
| Debugging formal specifications: a practical approach using model-based diagnosis and counterstrategies R Könighofer, G Hofferek, R Bloem International journal on software tools for technology transfer 15 (5), 563-583, 2013 | 62 | 2013 |
| Symbolically synthesizing small circuits. R Ehlers, R Könighofer, G Hofferek FMCAD 12, 91-100, 2012 | 29 | 2012 |
| FoREnSiC– An Automatic Debugging Environment for C Programs R Bloem, R Drechsler, G Fey, A Finder, G Hofferek, R Könighofer, J Raik, ... Hardware and Software: Verification and Testing: 8th International Haifa …, 2013 | 27 | 2013 |
| Debugging unrealizable specifications with model-based diagnosis R Könighofer, G Hofferek, R Bloem Haifa Verification Conference, 29-45, 2010 | 27 | 2010 |
| Synthesis of synchronization using uninterpreted functions R Bloem, G Hofferek, B Könighofer, R Könighofer, S Ausserlechner, ... 2014 Formal Methods in Computer-Aided Design (FMCAD), 35-42, 2014 | 23 | 2014 |
| Synthesizing Multiple Boolean Functions using Interpolation on a Single Proof G Hofferek, A Gupta, B Könighofer, JHR Jiang, R Bloem arXiv preprint arXiv:1308.4767, 2013 | 21 | 2013 |
| Coupon recalculation for the GPS authentication scheme G Hofferek, J Wolkerstorfer International Conference on Smart Card Research and Advanced Applications …, 2008 | 19 | 2008 |
| Synthesizing robust systems with RATSY R Bloem, HJ Gamauf, G Hofferek, B Könighofer, R Könighofer arXiv preprint arXiv:1207.1268, 2012 | 17 | 2012 |
| Generalized reactivity (1) synthesis without a monolithic strategy M Schlaipfer, G Hofferek, R Bloem Haifa Verification Conference, 20-34, 2011 | 12 | 2011 |
| Controller synthesis for pipelined circuits using uninterpreted functions G Hofferek, R Bloem Ninth ACM/IEEE International Conference on Formal Methods and Models for …, 2011 | 6 | 2011 |
| Debugging formal specifications: a practical approach using model-based diagnosis and counterstrategies. STTT 15, 5-6 (2013), 563–583 R Könighofer, G Hofferek, R Bloem | 5 | 2013 |
| Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010 R Bloem, A Cimatti, K Greimel, G Hofferek, R Könighofer, M Roveri, ... Proceedings, 425-429, 2010 | 5 | 2010 |
| Formal analysis of a TPM-based secrets distribution and storage scheme R Toegl, G Hofferek, K Greimel, A Leung, RCW Phan, R Bloem 2008 The 9th International Conference for Young Computer Scientists, 2289-2294, 2008 | 5 | 2008 |
| Controller synthesis with uninterpreted functions G Hofferek Ph. D. thesis, Graz University of Technology (July 2014), 2014 | 3 | 2014 |
| Suraq—A Controller Synthesis Tool Using Uninterpreted Functions G Hofferek, A Gupta Hardware and Software: Verification and Testing: 10th International Haifa …, 2014 | 2 | 2014 |
| FP7 DIAMOND: Design Error Diagnosis and Correction Success Stories J Raik, M Jenihhin, R Könighofer, G Hofferek, A Finder, G Fey IEEE European Test Symposium, 2013 | | 2013 |
| Automated synthesis and design-error repair of systems G Hofferek 2012 IEEE 15th International Symposium on Design and Diagnostics of …, 2012 | | 2012 |
