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 | 152 | 2015 |
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 | 134 | 2010 |
Automated error localization and correction for imperative programs R Könighofer, R Bloem 2011 Formal Methods in Computer-Aided Design (FMCAD), 91-100, 2011 | 120 | 2011 |
A fast and cache-timing resistant implementation of the AES R Könighofer Cryptographers’ Track at the RSA Conference, 187-202, 2008 | 113 | 2008 |
SAT-based synthesis methods for safety specs R Bloem, R Könighofer, M Seidl Verification, Model Checking, and Abstract Interpretation: 15th …, 2014 | 107 | 2014 |
Synthesizing robust systems R Bloem, K Chatterjee, K Greimel, TA Henzinger, G Hofferek, ... Acta Informatica 51, 193-220, 2014 | 93 | 2014 |
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 | 83 | 2017 |
Debugging formal specifications using simple counterstrategies R Könighofer, G Hofferek, R Bloem 2009 Formal Methods in Computer-Aided Design, 152-159, 2009 | 74 | 2009 |
How to handle assumptions in synthesis R Bloem, R Ehlers, S Jacobs, R Könighofer arXiv preprint arXiv:1407.5395, 2014 | 69 | 2014 |
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 | 62 | 2013 |
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 | 55 | 2017 |
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 | 41 | 2014 |
Cooperative reactive synthesis R Bloem, R Ehlers, R Könighofer Automated Technology for Verification and Analysis: 13th International …, 2015 | 33 | 2015 |
Synthesizing cooperative reactive mission plans R Ehlers, R Könighofer, R Bloem 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2015 | 30 | 2015 |
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 | 30 | 2015 |
Symbolically synthesizing small circuits R Ehlers, R Künighofer, G Hofferek 2012 Formal Methods in Computer-Aided Design (FMCAD), 91-100, 2012 | 29 | 2012 |
Repair with on-the-fly program analysis R Könighofer, R Bloem Hardware and Software: Verification and Testing: 8th International Haifa …, 2013 | 28 | 2013 |
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 | 27 | 2013 |
Debugging unrealizable specifications with model-based diagnosis R Könighofer, G Hofferek, R Bloem Haifa Verification Conference, 29-45, 2010 | 27 | 2010 |
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 | 25 | 2016 |