| Synthesis of reactive (1) designs R Bloem, B Jobstmann, N Piterman, A Pnueli, Y Saʼar Journal of Computer and System Sciences 78 (3), 911-938, 2012 | 286 | 2012 |
| Program repair as a game B Jobstmann, A Griesmayer, R Bloem International conference on computer aided verification, 226-238, 2005 | 215 | 2005 |
| Better quality in synthesis through quantitative objectives R Bloem, K Chatterjee, TA Henzinger, B Jobstmann International Conference on Computer Aided Verification, 140-156, 2009 | 188 | 2009 |
| Optimizations for LTL synthesis B Jobstmann, R Bloem 2006 Formal Methods in Computer Aided Design, 117-124, 2006 | 175 | 2006 |
| Instantaneous soundness checking of industrial business process models D Fahland, C Favre, B Jobstmann, J Koehler, N Lohmann, H Völzer, ... International Conference on Business Process Management, 278-293, 2009 | 154 | 2009 |
| Specify, compile, run: Hardware from PSL R Bloem, S Galler, B Jobstmann, N Piterman, A Pnueli, M Weiglhofer Electronic Notes in Theoretical Computer Science 190 (4), 3-16, 2007 | 123 | 2007 |
| Automatic hardware synthesis from specifications: A case study R Bloem, S Galler, B Jobstmann, N Piterman, A Pnueli, M Weiglhofer 2007 Design, Automation & Test in Europe Conference & Exhibition, 1-6, 2007 | 123 | 2007 |
| Anzu: A tool for property synthesis B Jobstmann, S Galler, M Weiglhofer, R Bloem International Conference on Computer Aided Verification, 258-262, 2007 | 122 | 2007 |
| Synthesizing robust systems R Bloem, K Chatterjee, K Greimel, TA Henzinger, G Hofferek, ... Acta Informatica 51 (3-4), 193-220, 2014 | 121 | 2014 |
| Environment assumptions for synthesis K Chatterjee, TA Henzinger, B Jobstmann International Conference on Concurrency Theory, 147-161, 2008 | 101 | 2008 |
| Interface theories with component reuse L Doyen, TA Henzinger, B Jobstmann, T Petrov Proceedings of the 8th ACM international conference on Embedded software, 79-88, 2008 | 91 | 2008 |
| Finding and fixing faults S Staber, B Jobstmann, R Bloem Advanced Research Working Conference on Correct Hardware Design and …, 2005 | 83 | 2005 |
| Model checking transactional memories R Guerraoui, TA Henzinger, B Jobstmann, V Singh ACM SIGPLAN Notices 43 (6), 372-382, 2008 | 67 | 2008 |
| Finding and fixing faults B Jobstmann, S Staber, A Griesmayer, R Bloem Journal of Computer and System Sciences 78 (2), 441-460, 2012 | 58 | 2012 |
| Formalisms for specifying Markovian population models T Henzinger, B Jobstmann, V Wolf International Journal of Foundations of Computer Science 22 (04), 823-841, 2011 | 42 | 2011 |
| Measuring and synthesizing systems in probabilistic environments K Chatterjee, TA Henzinger, B Jobstmann, R Singh International Conference on Computer Aided Verification, 380-395, 2010 | 41 | 2010 |
| Robustness in the presence of liveness R Bloem, K Chatterjee, K Greimel, TA Henzinger, B Jobstmann International Conference on Computer Aided Verification, 410-424, 2010 | 41 | 2010 |
| Algorithmic program synthesis: introduction R Bodik, B Jobstmann International journal on software tools for technology transfer 15 (5-6 …, 2013 | 31 | 2013 |
| Program repair without regret C Von Essen, B Jobstmann Formal Methods in System Design 47 (1), 26-50, 2015 | 28 | 2015 |
| Synthesis for regular specifications over unbounded domains J Hamza, B Jobstmann, V Kuncak Proceedings of the 2010 Conference on Formal Methods in Computer-Aided …, 2010 | 24 | 2010 |
Roderick BloemGraz University of TechnologyVerified email at iaik.tugraz.at