| 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 | 542 | 2012 |
| Program repair as a game B Jobstmann, A Griesmayer, R Bloem Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005 | 297 | 2005 |
| Better quality in synthesis through quantitative objectives R Bloem, K Chatterjee, TA Henzinger, B Jobstmann Computer Aided Verification: 21st International Conference, CAV 2009 …, 2009 | 259 | 2009 |
| Optimizations for LTL synthesis B Jobstmann, R Bloem 2006 Formal Methods in Computer Aided Design, 117-124, 2006 | 204 | 2006 |
| Instantaneous soundness checking of industrial business process models D Fahland, C Favre, B Jobstmann, J Koehler, N Lohmann, H Völzer, ... Business Process Management: 7th International Conference, BPM 2009, Ulm …, 2009 | 195 | 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 | 164 | 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 | 150 | 2007 |
| Environment assumptions for synthesis K Chatterjee, TA Henzinger, B Jobstmann CONCUR 2008-Concurrency Theory: 19th International Conference, CONCUR 2008 …, 2008 | 148 | 2008 |
| Graph games and reactive synthesis R Bloem, K Chatterjee, B Jobstmann Handbook of model checking, 921-962, 2018 | 133 | 2018 |
| Anzu: A Tool for Property Synthesis: (Tool Paper) B Jobstmann, S Galler, M Weiglhofer, R Bloem Computer Aided Verification: 19th International Conference, CAV 2007, Berlin …, 2007 | 133 | 2007 |
| 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 | 104 | 2008 |
| Finding and fixing faults S Staber, B Jobstmann, R Bloem Correct Hardware Design and Verification Methods: 13th IFIP WG 10.5 Advanced …, 2005 | 97 | 2005 |
| Synthesizing robust systems R Bloem, K Chatterjee, K Greimel, TA Henzinger, G Hofferek, ... Acta Informatica 51, 193-220, 2014 | 93 | 2014 |
| Synthesizing robust systems R Bloem, K Greimel, TA Henzinger, B Jobstmann 2009 Formal Methods in Computer-Aided Design, 85-92, 2009 | 82 | 2009 |
| Measuring and synthesizing systems in probabilistic environments K Chatterjee, TA Henzinger, B Jobstmann, R Singh Journal of the ACM (JACM) 62 (1), 1-34, 2015 | 72 | 2015 |
| Algorithmic program synthesis: introduction R Bodík, B Jobstmann International journal on software tools for technology transfer 15, 397-411, 2013 | 69 | 2013 |
| Finding and fixing faults B Jobstmann, S Staber, A Griesmayer, R Bloem Journal of Computer and System Sciences 78 (2), 441-460, 2012 | 62 | 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 | 58 | 2011 |
| Robustness in the presence of liveness R Bloem, K Chatterjee, K Greimel, TA Henzinger, B Jobstmann Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010 | 56 | 2010 |
| Model checking transactional memories R Guerraoui, TA Henzinger, B Jobstmann, V Singh Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008 | 54 | 2008 |
Roderick BloemGraz University of TechnologyVerified email at iaik.tugraz.at
