Követés
Robert Könighofer
Robert Könighofer
E-mail megerősítve itt: iaik.tugraz.at - Kezdőlap
Cím
Hivatkozott rá
Hivatkozott rá
Év
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
1332015
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
1322010
Automated error localization and correction for imperative programs
R Könighofer, R Bloem
2011 Formal Methods in Computer-Aided Design (FMCAD), 91-100, 2011
1122011
A fast and cache-timing resistant implementation of the AES
R Könighofer
Cryptographers’ Track at the RSA Conference, 187-202, 2008
1092008
SAT-based synthesis methods for safety specs
R Bloem, R Könighofer, M Seidl
Verification, Model Checking, and Abstract Interpretation: 15th …, 2014
1002014
Synthesizing robust systems
R Bloem, K Chatterjee, K Greimel, TA Henzinger, G Hofferek, ...
Acta Informatica 51, 193-220, 2014
902014
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
752017
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
672014
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
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
532017
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
402014
Cooperative reactive synthesis
R Bloem, R Ehlers, R Könighofer
Automated Technology for Verification and Analysis: 13th International …, 2015
312015
Symbolically synthesizing small circuits
R Ehlers, R Künighofer, G Hofferek
2012 Formal Methods in Computer-Aided Design (FMCAD), 91-100, 2012
302012
Synthesizing cooperative reactive mission plans
R Ehlers, R Könighofer, R Bloem
2015 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2015
282015
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
272015
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
262013
Debugging unrealizable specifications with model-based diagnosis
R Könighofer, G Hofferek, R Bloem
Haifa Verification Conference, 29-45, 2010
262010
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
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20