| 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 | 179 | 2015 |
| Synthesizing robust systems R Bloem, K Chatterjee, K Greimel, TA Henzinger, G Hofferek, ... Acta Informatica 51 (3), 193-220, 2014 | 178 | 2014 |
| 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 | 146 | 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 | 125 | 2011 |
| A fast and cache-timing resistant implementation of the AES R Könighofer Cryptographers’ Track at the RSA Conference, 187-202, 2008 | 120 | 2008 |
| SAT-based synthesis methods for safety specs R Bloem, R Könighofer, M Seidl International Conference on Verification, Model Checking, and Abstract …, 2014 | 108 | 2014 |
| 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 | 92 | 2017 |
| Debugging formal specifications using simple counterstrategies R Könighofer, G Hofferek, R Bloem 2009 Formal Methods in Computer-Aided Design, 152-159, 2009 | 78 | 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 | 65 | 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 (3), 367-390, 2017 | 56 | 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 | 40 | 2014 |
| Cooperative reactive synthesis R Bloem, R Ehlers, R Könighofer International Symposium on Automated Technology for Verification and …, 2015 | 35 | 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 | 34 | 2015 |
| Synthesizing cooperative reactive mission plans R Ehlers, R Könighofer, R Bloem 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2015 | 31 | 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 Haifa Verification Conference, 56-71, 2012 | 28 | 2012 |
| 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 | 27 | 2016 |
| FoREnSiC–an automatic debugging environment for C programs R Bloem, R Drechsler, G Fey, A Finder, G Hofferek, R Könighofer, J Raik, ... Haifa Verification Conference, 260-265, 2012 | 27 | 2012 |
| Debugging unrealizable specifications with model-based diagnosis R Könighofer, G Hofferek, R Bloem Haifa Verification Conference, 29-45, 2010 | 27 | 2010 |
