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, ...
Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010
1352010
Shield synthesis: Runtime enforcement for reactive systems
R Bloem, B Könighofer, R Könighofer, C Wang
International conference on tools and algorithms for the construction and …, 2015
1312015
Automated error localization and correction for imperative programs
R Könighofer, R Bloem
2011 Formal Methods in Computer-Aided Design (FMCAD), 91-100, 2011
1132011
A fast and cache-timing resistant implementation of the AES
R Könighofer
Cryptographers’ Track at the RSA Conference, 187-202, 2008
1082008
SAT-based synthesis methods for safety specs
R Bloem, R Könighofer, M Seidl
Verification, Model Checking, and Abstract Interpretation: 15th …, 2014
972014
Synthesizing robust systems
R Bloem, K Chatterjee, K Greimel, TA Henzinger, G Hofferek, ...
Acta Informatica 51, 193-220, 2014
872014
Shield synthesis
B Könighofer, M Alshiekh, R Bloem, L Humphrey, R Könighofer, U Topcu, ...
Formal Methods in System Design 51, 332-361, 2017
772017
Debugging formal specifications using simple counterstrategies
R Könighofer, G Hofferek, R Bloem
2009 Formal Methods in Computer-Aided Design, 152-159, 2009
732009
How to handle assumptions in synthesis
R Bloem, R Ehlers, S Jacobs, R Könighofer
arXiv preprint arXiv:1407.5395, 2014
682014
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
572013
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, 367-390, 2017
522017
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
392014
Cooperative reactive synthesis
R Bloem, R Ehlers, R Könighofer
Automated Technology for Verification and Analysis: 13th International …, 2015
322015
Synthesizing cooperative reactive mission plans
R Ehlers, R Könighofer, R Bloem
2015 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2015
302015
Symbolically synthesizing small circuits
R Ehlers, R Künighofer, G Hofferek
2012 Formal Methods in Computer-Aided Design (FMCAD), 91-100, 2012
292012
Repair with on-the-fly program analysis
R Könighofer, R Bloem
Hardware and Software: Verification and Testing: 8th International Haifa …, 2013
272013
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
272013
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
262015
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
252016
Debugging unrealizable specifications with model-based diagnosis
R Könighofer, G Hofferek, R Bloem
Haifa Verification Conference, 29-45, 2010
252010
The system can't perform the operation now. Try again later.
Articles 1–20