Robert Könighofer
Title
Cited by
Cited by
Year
Synthesizing robust systems
R Bloem, K Chatterjee, K Greimel, TA Henzinger, G Hofferek, ...
Acta Informatica 51 (3-4), 193-220, 2014
1312014
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
1122010
Automated error localization and correction for imperative programs
R Könighofer, R Bloem
2011 Formal Methods in Computer-Aided Design (FMCAD), 91-100, 2011
842011
A fast and cache-timing resistant implementation of the AES
R Könighofer
Cryptographers’ Track at the RSA Conference, 187-202, 2008
752008
SAT-based synthesis methods for safety specs
R Bloem, R Könighofer, M Seidl
International Conference on Verification, Model Checking, and Abstract …, 2014
632014
Debugging formal specifications using simple counterstrategies
R Könighofer, G Hofferek, R Bloem
2009 Formal Methods in Computer-Aided Design, 152-159, 2009
602009
Shield synthesis
R Bloem, B Könighofer, R Könighofer, C Wang
International Conference on Tools and Algorithms for the Construction and …, 2015
572015
How to handle assumptions in synthesis
R Bloem, R Ehlers, S Jacobs, R Könighofer
arXiv preprint arXiv:1407.5395, 2014
402014
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
332013
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
292014
Symbolically synthesizing small circuits
R Ehlers, R Künighofer, G Hofferek
2012 Formal Methods in Computer-Aided Design (FMCAD), 91-100, 2012
272012
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
262017
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
252017
Cooperative reactive synthesis
R Bloem, R Ehlers, R Könighofer
International Symposium on Automated Technology for Verification and …, 2015
212015
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
192016
Debugging unrealizable specifications with model-based diagnosis
R Könighofer, G Hofferek, R Bloem
Haifa Verification Conference, 29-45, 2010
192010
Partial witnesses from preprocessed quantified Boolean formulas
M Seidl, R Könighofer
2014 Design, Automation & Test in Europe Conference & Exhibition (DATE), 1-6, 2014
172014
Repair with on-the-fly program analysis
R Könighofer, R Bloem
Haifa Verification Conference, 56-71, 2012
172012
Synthesizing cooperative reactive mission plans
R Ehlers, R Könighofer, R Bloem
2015 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2015
162015
The 3rd reactive synthesis competition (SYNTCOMP 2016): Benchmarks, participants & results
S Jacobs, R Bloem, R Brenguier, A Khalimov, F Klein, R Könighofer, ...
arXiv preprint arXiv:1609.00507, 2016
152016
The system can't perform the operation now. Try again later.
Articles 1–20