| 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 | 133 | 2010 |
| 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 | 109 | 2015 |
| Automated error localization and correction for imperative programs R Könighofer, R Bloem 2011 Formal Methods in Computer-Aided Design (FMCAD), 91-100, 2011 | 107 | 2011 |
| 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 | 103 | 2008 |
| SAT-based synthesis methods for safety specs R Bloem, R Könighofer, M Seidl Verification, Model Checking, and Abstract Interpretation: 15th …, 2014 | 93 | 2014 |
| Synthesizing robust systems R Bloem, K Chatterjee, K Greimel, TA Henzinger, G Hofferek, ... Acta Informatica 51, 193-220, 2014 | 83 | 2014 |
| Debugging formal specifications using simple counterstrategies R Könighofer, G Hofferek, R Bloem 2009 Formal Methods in Computer-Aided Design, 152-159, 2009 | 72 | 2009 |
| 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 | 66 | 2017 |
| How to handle assumptions in synthesis R Bloem, R Ehlers, S Jacobs, R Könighofer arXiv preprint arXiv:1407.5395, 2014 | 60 | 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-6 …, 2013 | 52 | 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 | 47 | 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 | 39 | 2014 |
| Cooperative reactive synthesis R Bloem, R Ehlers, R Könighofer Automated Technology for Verification and Analysis: 13th International …, 2015 | 29 | 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 |
| Synthesizing cooperative reactive mission plans R Ehlers, R Könighofer, R Bloem 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2015 | 27 | 2015 |
| Repair with on-the-fly program analysis R Könighofer, R Bloem Hardware and Software: Verification and Testing: 8th International Haifa …, 2013 | 25 | 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 | 25 | 2013 |
| Debugging unrealizable specifications with model-based diagnosis R Könighofer, G Hofferek, R Bloem Hardware and Software: Verification and Testing: 6th International Haifa …, 2011 | 25 | 2011 |
| 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 | 22 | 2016 |
| Assume-guarantee synthesis for concurrent reactive programs with partial information R Bloem, K Chatterjee, S Jacobs, R Könighofer Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015 | 22 | 2015 |
