Georg Hofferek

Krishnendu Chatterjee

Acta Informatica, 2014

Suraq - A Controller Synthesis Tool Using Uninterpreted Functions.

[BibT_eX]

[DOI]

Ashutosh Gupta

Proceedings of the Hardware and Software: Verification and Testing, 2014

Synthesis of synchronization using uninterpreted functions.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods in Computer-Aided Design, 2014

2013

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

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2013

Synthesizing multiple boolean functions using interpolation on a single proof.

[BibT_eX]

[DOI]

Ashutosh Gupta

Bettina Könighofer

Jie-Hong Roland Jiang

Proceedings of the Formal Methods in Computer-Aided Design, 2013

2012

Synthesizing Robust Systems with RATSY

[BibT_eX]

[DOI]

Proceedings of the Proceedings First Workshop on Synthesis, 2012

FoREnSiC- An Automatic Debugging Environment for C Programs.

[BibT_eX]

[DOI]

Proceedings of the Hardware and Software: Verification and Testing, 2012

Symbolically synthesizing small circuits.

[BibT_eX]

[DOI]

Rüdiger Ehlers

Proceedings of the Formal Methods in Computer-Aided Design, 2012

Automated synthesis and design-error repair of systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, 2011

Generalized Reactivity(1) Synthesis without a Monolithic Strategy.

[BibT_eX]

[DOI]

Matthias Schlaipfer

Proceedings of the Hardware and Software: Verification and Testing, 2011

2010

Debugging Unrealizable Specifications with Model-Based Diagnosis.

[BibT_eX]

[DOI]

Proceedings of the Hardware and Software: Verification and Testing, 2010

RATSY - A New Requirements Analysis Tool with Synthesis.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009

Debugging formal specifications using simple counterstrategies.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Raphael Chung-Wei Phan

Proceedings of the 9th International Conference for Young Computer Scientists, 2008

Coupon Recalculation for the GPS Authentication Scheme.

[BibT_eX]

[DOI]