Seguir
Georg Hofferek
Georg Hofferek
Afiliación desconocida
No hay ninguna dirección de correo electrónico verificada.
Título
Citado por
Citado por
Año
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
1322010
Synthesizing robust systems
R Bloem, K Chatterjee, K Greimel, TA Henzinger, G Hofferek, ...
Acta Informatica 51, 193-220, 2014
902014
Debugging formal specifications using simple counterstrategies
R Könighofer, G Hofferek, R Bloem
2009 Formal Methods in Computer-Aided Design, 152-159, 2009
732009
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
572013
Symbolically synthesizing small circuits.
R Ehlers, R Könighofer, G Hofferek
FMCAD 12, 91-100, 2012
302012
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
262013
Debugging unrealizable specifications with model-based diagnosis
R Könighofer, G Hofferek, R Bloem
Haifa Verification Conference, 29-45, 2010
262010
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
212014
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
202013
Synthesizing robust systems with RATSY
R Bloem, HJ Gamauf, G Hofferek, B Könighofer, R Könighofer
arXiv preprint arXiv:1207.1268, 2012
182012
Coupon recalculation for the GPS authentication scheme
G Hofferek, J Wolkerstorfer
International Conference on Smart Card Research and Advanced Applications …, 2008
182008
Generalized reactivity (1) synthesis without a monolithic strategy
M Schlaipfer, G Hofferek, R Bloem
Haifa Verification Conference, 20-34, 2011
112011
Controller synthesis for pipelined circuits using uninterpreted functions
G Hofferek, R Bloem
Ninth ACM/IEEE International Conference on Formal Methods and Models for …, 2011
62011
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
52013
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
52010
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
52008
Controller synthesis with uninterpreted functions
G Hofferek
Ph. D. thesis, Graz University of Technology (July 2014), 2014
32014
Suraq—A Controller Synthesis Tool Using Uninterpreted Functions
G Hofferek, A Gupta
Hardware and Software: Verification and Testing: 10th International Haifa …, 2014
22014
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20