Georg Hofferek

According to our database1, Georg Hofferek
  • authored at least 17 papers between 2008 and 2014.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2014
Synthesizing robust systems.
Acta Inf., 2014

Suraq - A Controller Synthesis Tool Using Uninterpreted Functions.
Proceedings of the Hardware and Software: Verification and Testing, 2014

Synthesis of synchronization using uninterpreted functions.
Proceedings of the Formal Methods in Computer-Aided Design, 2014

2013
Debugging formal specifications: a practical approach using model-based diagnosis and counterstrategies.
STTT, 2013

Synthesizing Multiple Boolean Functions using Interpolation on a Single Proof.
CoRR, 2013

Synthesizing multiple boolean functions using interpolation on a single proof.
Proceedings of the Formal Methods in Computer-Aided Design, 2013

2012
Synthesizing Robust Systems with RATSY
Proceedings of the Proceedings First Workshop on Synthesis, 2012

FoREnSiC- An Automatic Debugging Environment for C Programs.
Proceedings of the Hardware and Software: Verification and Testing, 2012

Symbolically synthesizing small circuits.
Proceedings of the Formal Methods in Computer-Aided Design, 2012

Automated synthesis and design-error repair of systems.
Proceedings of the IEEE 15th International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2012

2011
Controller synthesis for pipelined circuits using uninterpreted functions.
Proceedings of the 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, 2011

Generalized Reactivity(1) Synthesis without a Monolithic Strategy.
Proceedings of the Hardware and Software: Verification and Testing, 2011

2010
Debugging Unrealizable Specifications with Model-Based Diagnosis.
Proceedings of the Hardware and Software: Verification and Testing, 2010

RATSY - A New Requirements Analysis Tool with Synthesis.
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009
Debugging formal specifications using simple counterstrategies.
Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009

2008
Formal Analysis of a TPM-Based Secrets Distribution and Storage Scheme.
Proceedings of the 9th International Conference for Young Computer Scientists, 2008

Coupon Recalculation for the GPS Authentication Scheme.
Proceedings of the Smart Card Research and Advanced Applications, 2008


  Loading...