Follow
Robert Könighofer
Title
Cited by
Cited by
Year
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
1292010
Automated error localization and correction for imperative programs
R Könighofer, R Bloem
2011 Formal Methods in Computer-Aided Design (FMCAD), 91-100, 2011
1022011
Shield synthesis
R Bloem, B Könighofer, R Könighofer, C Wang
International conference on tools and algorithms for the construction and …, 2015
972015
A fast and cache-timing resistant implementation of the AES
R Könighofer
Cryptographers’ Track at the RSA Conference, 187-202, 2008
972008
SAT-based synthesis methods for safety specs
R Bloem, R Könighofer, M Seidl
International Conference on Verification, Model Checking, and Abstract …, 2014
902014
Synthesizing robust systems
R Bloem, K Chatterjee, K Greimel, TA Henzinger, G Hofferek, ...
Acta Informatica 51 (3), 193-220, 2014
792014
Debugging formal specifications using simple counterstrategies
R Könighofer, G Hofferek, R Bloem
2009 Formal Methods in Computer-Aided Design, 152-159, 2009
722009
Shield synthesis
B Könighofer, M Alshiekh, R Bloem, L Humphrey, R Könighofer, U Topcu, ...
Formal Methods in System Design 51 (2), 332-361, 2017
572017
How to handle assumptions in synthesis
R Bloem, R Ehlers, S Jacobs, R Könighofer
arXiv preprint arXiv:1407.5395, 2014
512014
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
472013
The first reactive synthesis competition (SYNTCOMP 2014)
S Jacobs, R Bloem, R Brenguier, R Ehlers, T Hell, R Könighofer, ...
International journal on software tools for technology transfer 19 (3), 367-390, 2017
392017
SAT-based methods for circuit synthesis
R Bloem, U Egly, P Klampfl, R Konighofer, F Lonsing
2014 Formal Methods in Computer-Aided Design (FMCAD), 31-34, 2014
362014
Cooperative reactive synthesis
R Bloem, R Ehlers, R Könighofer
International Symposium on Automated Technology for Verification and …, 2015
282015
Symbolically synthesizing small circuits
R Ehlers, R Künighofer, G Hofferek
2012 Formal Methods in Computer-Aided Design (FMCAD), 91-100, 2012
282012
Synthesizing cooperative reactive mission plans
R Ehlers, R Könighofer, R Bloem
2015 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2015
262015
Debugging unrealizable specifications with model-based diagnosis
R Könighofer, G Hofferek, R Bloem
Haifa Verification Conference, 29-45, 2010
232010
Repair with on-the-fly program analysis
R Könighofer, R Bloem
Haifa Verification Conference, 56-71, 2012
222012
The second reactive synthesis competition (SYNTCOMP 2015)
S Jacobs, R Bloem, R Brenguier, R Könighofer, GA Pérez, JF Raskin, ...
arXiv preprint arXiv:1602.01171, 2016
212016
Assume-guarantee synthesis for concurrent reactive programs with partial information
R Bloem, K Chatterjee, S Jacobs, R Könighofer
International Conference on Tools and Algorithms for the Construction and …, 2015
212015
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
202012
The system can't perform the operation now. Try again later.
Articles 1–20