Georg Hofferek
Georg Hofferek
Afiliación desconocida
No hay ninguna dirección de correo electrónico verificada.
TítuloCitado porAño
Synthesizing robust systems
R Bloem, K Chatterjee, K Greimel, TA Henzinger, G Hofferek, ...
Acta Informatica 51 (3-4), 193-220, 2014
RATSY–a new requirements analysis tool with synthesis
R Bloem, A Cimatti, K Greimel, G Hofferek, R Könighofer, M Roveri, ...
International Conference on Computer Aided Verification, 425-429, 2010
Debugging formal specifications using simple counterstrategies
R Könighofer, G Hofferek, R Bloem
2009 Formal Methods in Computer-Aided Design, 152-159, 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-6 …, 2013
Symbolically synthesizing small circuits.
R Ehlers, R Könighofer, G Hofferek
FMCAD 12, 91-100, 2012
Debugging unrealizable specifications with model-based diagnosis
R Könighofer, G Hofferek, R Bloem
Haifa Verification Conference, 29-45, 2010
Coupon recalculation for the GPS authentication scheme
G Hofferek, J Wolkerstorfer
International Conference on Smart Card Research and Advanced Applications …, 2008
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
Synthesizing robust systems with RATSY
R Bloem, HJ Gamauf, G Hofferek, B Könighofer, R Könighofer
arXiv preprint arXiv:1207.1268, 2012
Synthesis of synchronization using uninterpreted functions
R Bloem, G Hofferek, B Könighofer, R Könighofer, S Außerlechner, ...
2014 Formal Methods in Computer-Aided Design (FMCAD), 35-42, 2014
FoREnSiC–an automatic debugging environment for C programs
R Bloem, R Drechsler, G Fey, A Finder, G Hofferek, R Könighofer, J Raik, ...
Haifa Verification Conference, 260-265, 2012
Generalized reactivity (1) synthesis without a monolithic strategy
M Schlaipfer, G Hofferek, R Bloem
Haifa Verification Conference, 20-34, 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
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
Controller synthesis with uninterpreted functions
G Hofferek
Ph. D. thesis, Graz University of Technology (July 2014), 2014
Suraq—A Controller Synthesis Tool Using Uninterpreted Functions
G Hofferek, A Gupta
Haifa Verification Conference, 68-74, 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
Automated synthesis and design-error repair of systems
G Hofferek
2012 IEEE 15th International Symposium on Design and Diagnostics of …, 2012
Transaction-Level Diagnosis
G Hofferek, R Könighofer, G Fey, A Finder, E Larsson, U Repinski, J Raik
., 2011
Status on Post-Silicon and In-Situ Repair
E Larsson, U Ingelsson, G Carlsson, A Jutman, G Hofferek
., 2011
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20