Folgen
Robert Könighofer
Robert Könighofer
Bestätigte E-Mail-Adresse bei iaik.tugraz.at - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
1302010
Automated error localization and correction for imperative programs
R Könighofer, R Bloem
2011 Formal Methods in Computer-Aided Design (FMCAD), 91-100, 2011
1042011
Shield synthesis: Runtime enforcement for reactive systems
R Bloem, B Könighofer, R Könighofer, C Wang
Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015
1032015
A fast and cache-timing resistant implementation of the AES
R Könighofer
Topics in Cryptology–CT-RSA 2008: The Cryptographers’ Track at the RSA …, 2008
982008
SAT-based synthesis methods for safety specs
R Bloem, R Könighofer, M Seidl
Verification, Model Checking, and Abstract Interpretation: 15th …, 2014
912014
Synthesizing robust systems
R Bloem, K Chatterjee, K Greimel, TA Henzinger, G Hofferek, ...
Acta Informatica 51, 193-220, 2014
812014
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, 332-361, 2017
612017
How to handle assumptions in synthesis
R Bloem, R Ehlers, S Jacobs, R Könighofer
arXiv preprint arXiv:1407.5395, 2014
572014
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
482013
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
462017
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
Automated Technology for Verification and Analysis: 13th International …, 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
Repair with on-the-fly program analysis
R Könighofer, R Bloem
Hardware and Software: Verification and Testing: 8th International Haifa …, 2013
252013
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
242013
Debugging unrealizable specifications with model-based diagnosis
R Könighofer, G Hofferek, R Bloem
Hardware and Software: Verification and Testing: 6th International Haifa …, 2011
242011
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
Synthesis of synchronization using uninterpreted functions
R Bloem, G Hofferek, B Könighofer, R Könighofer, S Außerlechner, ...
2014 Formal Methods in Computer-Aided Design (FMCAD), 35-42, 2014
212014
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20