Edit Profile Bloem, Roderick Compute Distance To: Compute Author ID: bloem.roderick Published as: Bloem, R.; Bloem, Roderick External Links: MGP · Wikidata Documents Indexed: 43 Publications since 1997, including 4 Books all top 5 Co-Authors 0 single-authored 8 Jobstmann, Barbara 8 Könighofer, Robert 7 Jacobs, Swen 7 Somenzi, Fabio 4 Chatterjee, Krishnendu 4 Könighofer, Bettina 4 Ravi, Kavita 3 Griesmayer, Andreas 3 Henzinger, Thomas A. 3 Pill, Ingo 3 Staber, Stefan 3 Wang, Chao 2 Cimatti, Alessandro 2 Engelfriet, Joost 2 Fey, Görschwin 2 Greimel, Karin 2 Hachtel, Gary D. 2 Hofferek, Georg 2 Khalimov, Ayrat 2 Konnov, Igor V. 2 Mangard, Stefan 2 Roveri, Marco 2 Veith, Helmut 2 Widder, Josef 1 Alshiekh, Mohammed 1 Arbel, Eli 1 Biere, Armin 1 Braud-Santoni, Nicolas 1 Chockler, Hana 1 Clarke, Edmund Melson jun. 1 Cook, Byron 1 Drechsler, Rolf 1 Ebrahimi, Masoud 1 Ehlers, Rüdiger 1 Gabow, Harold N. 1 Greif, Fabian 1 Groß, Hannes 1 Gurumurthy, Sankar 1 Humphrey, Laura 1 Iusupov, Rinat 1 Karl, Anja F. 1 Lazić, Marijana 1 Piterman, Nir 1 Pnueli, Amir 1 Riener, Heinz 1 Röck, Franz 1 Rubin, Sasha 1 Sa’ar, Yaniv 1 Schilling, Robert J. 1 Seidl, Martina 1 Semprini, Simone 1 Strichman, Ofer 1 Sülflow, André 1 Tabuada, Paulo 1 Topcu, Ufuk 1 Vardi, Moshe Y. 1 Vizel, Yakir 1 Wang, Chao 1 Winter, Johannes all top 5 Serials 4 Formal Methods in System Design 3 Journal of Computer and System Sciences 2 Acta Informatica 2 Lecture Notes in Computer Science 1 International Journal of Foundations of Computer Science 1 Logical Methods in Computer Science 1 Synthesis Lectures on Distributed Computing Theory all top 5 Fields 42 Computer science (68-XX) 5 Mathematical logic and foundations (03-XX) 5 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 General and overarching topics; collections (00-XX) 3 Information and communication theory, circuits (94-XX) 1 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 32 Publications have been cited 271 times in 203 Documents Cited by ▼ Year ▼ Better quality in synthesis through quantitative objectives. Zbl 1242.68151Bloem, Roderick; Chatterjee, Krishnendu; Henzinger, Thomas A.; Jobstmann, Barbara 33 2009 Efficient Büchi automata form LTL formulae. Zbl 0974.68086Somenzi, Fabio; Bloem, Roderick 27 2000 Synthesis of Reactive(1) designs. Zbl 1247.68050Bloem, Roderick; Jobstmann, Barbara; Piterman, Nir; Pnueli, Amir; Sa’ar, Yaniv 22 2012 A comparison of tree transductions defined by monadic second order logic and by attribute grammars. Zbl 0960.68086Bloem, Roderick; Engelfriet, Joost 22 2000 An algorithm for strongly connected component analysis in \(n \log n\) symbolic steps. Zbl 1110.68161Bloem, Roderick; Gabow, Harold N.; Somenzi, Fabio 19 2006 Synthesizing robust systems. Zbl 1302.93079Bloem, Roderick; Chatterjee, Krishnendu; Greimel, Karin; Henzinger, Thomas A.; Hofferek, Georg; Jobstmann, Barbara; Könighofer, Bettina; Könighofer, Robert 17 2014 Program repair as a game. Zbl 1081.68572Jobstmann, Barbara; Griesmayer, Andreas; Bloem, Roderick 16 2005 Efficient decision procedures for model checking of linear time logic properties. Zbl 1046.68579Bloem, Roderick; Ravi, Kavita; Somenzi, Fabio 12 1999 Decidability of parameterized verification. Zbl 1400.68006Bloem, Roderick; Jacobs, Swen; Khalimov, Ayrat; Konnov, Igor; Rubin, Sasha; Veith, Helmut; Widder, Josef 10 2015 SAT-based synthesis methods for safety specs. Zbl 1428.68040Bloem, Roderick; Könighofer, Robert; Seidl, Martina 10 2014 Fault localization and correction with QBF. Zbl 1214.94086Staber, Stefan; Bloem, Roderick 9 2007 Symbolic implementation of alternating automata. Zbl 1160.68401Bloem, R.; Cimatti, A.; Pill, I.; Roveri, M.; Semprini, S. 7 2006 Graph games and reactive synthesis. Zbl 1392.68233Bloem, Roderick; Chatterjee, Krishnendu; Jobstmann, Barbara 6 2018 Handbook of model checking. Zbl 1390.68001Clarke, Edmund M. (ed.); Henzinger, Thomas A. (ed.); Veith, Helmut (ed.); Bloem, Roderick (ed.) 6 2018 Towards efficient parameterized synthesis. Zbl 1426.68051Khalimov, Ayrat; Jacobs, Swen; Bloem, Roderick 6 2013 Finding and fixing faults. Zbl 1263.68112Jobstmann, Barbara; Staber, Stefan; Griesmayer, Andreas; Bloem, Roderick 6 2012 Monadic second order logic and node relations on graphs and trees. Zbl 0888.03025Bloem, Roderick; Engelfriet, Joost 6 1997 Parameterized synthesis. Zbl 1352.68155Jacobs, Swen; Bloem, Roderick 5 2012 Fair simulation minimization. Zbl 1010.68086Gurumurthy, Sankar; Bloem, Roderick; Somenzi, Fabio 4 2002 Synthesis of self-stabilising and Byzantine-resilient distributed systems. Zbl 1411.68073Bloem, Roderick; Braud-Santoni, Nicolas; Jacobs, Swen 3 2016 Cooperative reactive synthesis. Zbl 06527565Bloem, Roderick; Ehlers, Rüdiger; Könighofer, Robert 3 2015 Parameterized synthesis. Zbl 1325.68149Jacobs, Swen; Bloem, Roderick 3 2014 Open implication. Zbl 1155.68436Greimel, Karin; Bloem, Roderick; Jobstmann, Barbara; Vardi, Moshe 3 2008 Compositional SCC analysis for language emptiness. Zbl 1100.68059Wang, Chao; Bloem, Roderick; Hachtel, Gary D.; Ravi, Kavita; Somenzi, Fabio 3 2006 Debugging design errors by using unsatisfiable cores. Zbl 1156.68315Sülflow, Andre; Fey, Görschwin; Bloem, Roderick; Drechsler, Rolf 2 2008 Symbolic implementation of alternating automata. Zbl 1142.68418Bloem, Roderick; Cimatti, Alessandro; Pill, Ingo; Roveri, Marco 2 2007 Repair of Boolean programs with an application to C. Zbl 1188.68188Griesmayer, Andreas; Bloem, Roderick; Cook, Byron 2 2006 Analysis of symbolic SCC hull algorithms. Zbl 1019.68629Somenzi, Fabio; Ravi, Kavita; Bloem, Roderick 2 2002 Divide and compose: SCC refinement for language emptiness. Zbl 1006.68531Wang, Chao; Bloem, Roderick; Hachtel, Gary D.; Ravi, Kavita; Somenzi, Fabio 2 2001 Shield synthesis: runtime enforcement for reactive systems. Zbl 1420.68119Bloem, Roderick; Könighofer, Bettina; Könighofer, Robert; Wang, Chao 1 2015 Debugging unrealizable specifications with model-based diagnosis. Zbl 1325.68152Könighofer, Robert; Hofferek, Georg; Bloem, Roderick 1 2011 Finding and fixing faults. Zbl 1159.68341Staber, Stefan; Jobstmann, Barbara; Bloem, Roderick 1 2005 Graph games and reactive synthesis. Zbl 1392.68233Bloem, Roderick; Chatterjee, Krishnendu; Jobstmann, Barbara 6 2018 Handbook of model checking. Zbl 1390.68001Clarke, Edmund M. (ed.); Henzinger, Thomas A. (ed.); Veith, Helmut (ed.); Bloem, Roderick (ed.) 6 2018 Synthesis of self-stabilising and Byzantine-resilient distributed systems. Zbl 1411.68073Bloem, Roderick; Braud-Santoni, Nicolas; Jacobs, Swen 3 2016 Decidability of parameterized verification. Zbl 1400.68006Bloem, Roderick; Jacobs, Swen; Khalimov, Ayrat; Konnov, Igor; Rubin, Sasha; Veith, Helmut; Widder, Josef 10 2015 Cooperative reactive synthesis. Zbl 06527565Bloem, Roderick; Ehlers, Rüdiger; Könighofer, Robert 3 2015 Shield synthesis: runtime enforcement for reactive systems. Zbl 1420.68119Bloem, Roderick; Könighofer, Bettina; Könighofer, Robert; Wang, Chao 1 2015 Synthesizing robust systems. Zbl 1302.93079Bloem, Roderick; Chatterjee, Krishnendu; Greimel, Karin; Henzinger, Thomas A.; Hofferek, Georg; Jobstmann, Barbara; Könighofer, Bettina; Könighofer, Robert 17 2014 SAT-based synthesis methods for safety specs. Zbl 1428.68040Bloem, Roderick; Könighofer, Robert; Seidl, Martina 10 2014 Parameterized synthesis. Zbl 1325.68149Jacobs, Swen; Bloem, Roderick 3 2014 Towards efficient parameterized synthesis. Zbl 1426.68051Khalimov, Ayrat; Jacobs, Swen; Bloem, Roderick 6 2013 Synthesis of Reactive(1) designs. Zbl 1247.68050Bloem, Roderick; Jobstmann, Barbara; Piterman, Nir; Pnueli, Amir; Sa’ar, Yaniv 22 2012 Finding and fixing faults. Zbl 1263.68112Jobstmann, Barbara; Staber, Stefan; Griesmayer, Andreas; Bloem, Roderick 6 2012 Parameterized synthesis. Zbl 1352.68155Jacobs, Swen; Bloem, Roderick 5 2012 Debugging unrealizable specifications with model-based diagnosis. Zbl 1325.68152Könighofer, Robert; Hofferek, Georg; Bloem, Roderick 1 2011 Better quality in synthesis through quantitative objectives. Zbl 1242.68151Bloem, Roderick; Chatterjee, Krishnendu; Henzinger, Thomas A.; Jobstmann, Barbara 33 2009 Open implication. Zbl 1155.68436Greimel, Karin; Bloem, Roderick; Jobstmann, Barbara; Vardi, Moshe 3 2008 Debugging design errors by using unsatisfiable cores. Zbl 1156.68315Sülflow, Andre; Fey, Görschwin; Bloem, Roderick; Drechsler, Rolf 2 2008 Fault localization and correction with QBF. Zbl 1214.94086Staber, Stefan; Bloem, Roderick 9 2007 Symbolic implementation of alternating automata. Zbl 1142.68418Bloem, Roderick; Cimatti, Alessandro; Pill, Ingo; Roveri, Marco 2 2007 An algorithm for strongly connected component analysis in \(n \log n\) symbolic steps. Zbl 1110.68161Bloem, Roderick; Gabow, Harold N.; Somenzi, Fabio 19 2006 Symbolic implementation of alternating automata. Zbl 1160.68401Bloem, R.; Cimatti, A.; Pill, I.; Roveri, M.; Semprini, S. 7 2006 Compositional SCC analysis for language emptiness. Zbl 1100.68059Wang, Chao; Bloem, Roderick; Hachtel, Gary D.; Ravi, Kavita; Somenzi, Fabio 3 2006 Repair of Boolean programs with an application to C. Zbl 1188.68188Griesmayer, Andreas; Bloem, Roderick; Cook, Byron 2 2006 Program repair as a game. Zbl 1081.68572Jobstmann, Barbara; Griesmayer, Andreas; Bloem, Roderick 16 2005 Finding and fixing faults. Zbl 1159.68341Staber, Stefan; Jobstmann, Barbara; Bloem, Roderick 1 2005 Fair simulation minimization. Zbl 1010.68086Gurumurthy, Sankar; Bloem, Roderick; Somenzi, Fabio 4 2002 Analysis of symbolic SCC hull algorithms. Zbl 1019.68629Somenzi, Fabio; Ravi, Kavita; Bloem, Roderick 2 2002 Divide and compose: SCC refinement for language emptiness. Zbl 1006.68531Wang, Chao; Bloem, Roderick; Hachtel, Gary D.; Ravi, Kavita; Somenzi, Fabio 2 2001 Efficient Büchi automata form LTL formulae. Zbl 0974.68086Somenzi, Fabio; Bloem, Roderick 27 2000 A comparison of tree transductions defined by monadic second order logic and by attribute grammars. Zbl 0960.68086Bloem, Roderick; Engelfriet, Joost 22 2000 Efficient decision procedures for model checking of linear time logic properties. Zbl 1046.68579Bloem, Roderick; Ravi, Kavita; Somenzi, Fabio 12 1999 Monadic second order logic and node relations on graphs and trees. Zbl 0888.03025Bloem, Roderick; Engelfriet, Joost 6 1997 all cited Publications top 5 cited Publications all top 5 Cited by 385 Authors 16 Chatterjee, Krishnendu 10 Bloem, Roderick 10 Kupferman, Orna 9 Jobstmann, Barbara 8 Henzinger, Thomas A. 6 Engelfriet, Joost 6 Vardi, Moshe Y. 5 Zimmermann, Martín G. 4 Bonakdarpour, Borzoo 4 Kulkarni, Sandeep S. 4 Majumdar, Rupak 4 Maneth, Sebastian 4 Raskin, Jean-François 4 Rauch Henzinger, Monika 4 Schuppan, Viktor 3 Abdulla, Parosh Aziz 3 Beyersdorff, Olaf 3 Blinkhorn, Joshua 3 Bresolin, Davide 3 Bury, Marc 3 Chen, Yu-Fang 3 Clemente, Lorenzo 3 Ehlers, Rüdiger 3 Finkbeiner, Bernd 3 Fisman, Dana 3 Gentilini, Raffaella 3 Jacobs, Swen 3 Könighofer, Robert 3 Konnov, Igor V. 3 Larsen, Kim Guldstrand 3 Li, Jianwen 3 Piazza, Carla 3 Policriti, Alberto 3 Pu, Geguang 3 Randour, Mickael 3 Rybakov, Vladimir Vladimirovich 3 Santone, Antonella 3 Topcu, Ufuk 3 Tsai, Ming-Hsien 3 Tsay, Yih-Kuen 3 Veith, Helmut 3 Velner, Yaron 3 Vogler, Heiko 3 von Essen, Christian 3 Zhang, Lijun 2 Alur, Rajeev 2 Aminof, Benjamin 2 Baier, Christel 2 Ben-David, Shoham 2 Bollig, Beate 2 Bošnački, Dragan 2 Bouyer, Patricia 2 Brihaye, Thomas 2 Černý, Pavol 2 Chang, Jinn-Shu 2 Chockler, Hana 2 De Pril, Julie 2 Dimitrova, Rayna 2 Dovier, Agostino 2 Doyen, Laurent 2 Droste, Manfred 2 Esparza, Javier 2 Faghih, Fathiyeh 2 Falcone, Yliès 2 Faran, Rachel 2 Filiot, Emmanuel 2 Gradara, Sara 2 Hagihara, Shigeki 2 He, Jifeng 2 Holík, Lukáš 2 Klein, Joachim 2 Könighofer, Bettina 2 Křetínský, Jan 2 Krinninger, Sebastian 2 Lenzen, Christoph 2 Lin, Yiyan 2 Liu, Jun 2 Maletti, Andreas 2 Markey, Nicolas 2 Mayr, Richard M. 2 Mönnich, Uwe 2 Morawietz, Frank 2 Neider, Daniel 2 Neven, Frank 2 Ozay, Necmiye 2 Păun, Gheorghe 2 Peitl, Tomáš 2 Piterman, Nir 2 Pnueli, Amir 2 Pradic, Pierre 2 Radhakrishna, Arjun 2 Riba, Colin 2 Rozenberg, Grzegorz 2 Rubin, Sasha 2 Rybicki, Joel 2 Sardina, Sebastian 2 Schmuck, Anne-Kathrin 2 Seidl, Martina 2 Shimakawa, Masaya 2 Sickert, Salomon ...and 285 more Authors all top 5 Cited in 34 Serials 24 Theoretical Computer Science 22 Formal Methods in System Design 20 Acta Informatica 13 Information and Computation 8 Journal of Computer and System Sciences 7 Logical Methods in Computer Science 6 Information Processing Letters 6 Formal Aspects of Computing 5 Discrete Event Dynamic Systems 4 Journal of Automated Reasoning 4 Distributed Computing 4 Theory of Computing Systems 3 Artificial Intelligence 2 Algorithmica 2 International Journal of Foundations of Computer Science 2 Annals of Mathematics and Artificial Intelligence 2 ACM Transactions on Computational Logic 2 Journal of Logical and Algebraic Methods in Programming 1 Discrete Applied Mathematics 1 Automatica 1 Systems & Control Letters 1 Science of Computer Programming 1 Annals of Pure and Applied Logic 1 Journal of Computer Science and Technology 1 International Journal of Bifurcation and Chaos in Applied Sciences and Engineering 1 Cybernetics and Systems Analysis 1 The Bulletin of Symbolic Logic 1 Journal of Combinatorial Optimization 1 Journal of the ACM 1 Discrete Mathematics and Theoretical Computer Science. DMTCS 1 Mathematics in Computer Science 1 Nonlinear Analysis. Hybrid Systems 1 Numerical Algebra, Control and Optimization 1 Computer Science Review all top 5 Cited in 10 Fields 187 Computer science (68-XX) 69 Mathematical logic and foundations (03-XX) 33 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 15 Systems theory; control (93-XX) 9 Combinatorics (05-XX) 4 Operations research, mathematical programming (90-XX) 3 General and overarching topics; collections (00-XX) 3 Information and communication theory, circuits (94-XX) 1 Numerical analysis (65-XX) 1 Biology and other natural sciences (92-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.