×

zbMATH — the first resource for mathematics

Bloem, Roderick

Compute Distance To:
Author ID: bloem.roderick Recent zbMATH articles by "Bloem, Roderick"
Published as: Bloem, R.; Bloem, Roderick
External Links: MGP · Wikidata
Documents Indexed: 43 Publications since 1997, including 4 Books

Publications by Year

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.68151
Bloem, Roderick; Chatterjee, Krishnendu; Henzinger, Thomas A.; Jobstmann, Barbara
33
2009
Efficient Büchi automata form LTL formulae. Zbl 0974.68086
Somenzi, Fabio; Bloem, Roderick
27
2000
Synthesis of Reactive(1) designs. Zbl 1247.68050
Bloem, 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.68086
Bloem, Roderick; Engelfriet, Joost
22
2000
An algorithm for strongly connected component analysis in \(n \log n\) symbolic steps. Zbl 1110.68161
Bloem, Roderick; Gabow, Harold N.; Somenzi, Fabio
19
2006
Synthesizing robust systems. Zbl 1302.93079
Bloem, 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.68572
Jobstmann, Barbara; Griesmayer, Andreas; Bloem, Roderick
16
2005
Efficient decision procedures for model checking of linear time logic properties. Zbl 1046.68579
Bloem, Roderick; Ravi, Kavita; Somenzi, Fabio
12
1999
Decidability of parameterized verification. Zbl 1400.68006
Bloem, Roderick; Jacobs, Swen; Khalimov, Ayrat; Konnov, Igor; Rubin, Sasha; Veith, Helmut; Widder, Josef
10
2015
SAT-based synthesis methods for safety specs. Zbl 1428.68040
Bloem, Roderick; Könighofer, Robert; Seidl, Martina
10
2014
Fault localization and correction with QBF. Zbl 1214.94086
Staber, Stefan; Bloem, Roderick
9
2007
Symbolic implementation of alternating automata. Zbl 1160.68401
Bloem, R.; Cimatti, A.; Pill, I.; Roveri, M.; Semprini, S.
7
2006
Graph games and reactive synthesis. Zbl 1392.68233
Bloem, Roderick; Chatterjee, Krishnendu; Jobstmann, Barbara
6
2018
Handbook of model checking. Zbl 1390.68001
Clarke, Edmund M. (ed.); Henzinger, Thomas A. (ed.); Veith, Helmut (ed.); Bloem, Roderick (ed.)
6
2018
Towards efficient parameterized synthesis. Zbl 1426.68051
Khalimov, Ayrat; Jacobs, Swen; Bloem, Roderick
6
2013
Finding and fixing faults. Zbl 1263.68112
Jobstmann, Barbara; Staber, Stefan; Griesmayer, Andreas; Bloem, Roderick
6
2012
Monadic second order logic and node relations on graphs and trees. Zbl 0888.03025
Bloem, Roderick; Engelfriet, Joost
6
1997
Parameterized synthesis. Zbl 1352.68155
Jacobs, Swen; Bloem, Roderick
5
2012
Fair simulation minimization. Zbl 1010.68086
Gurumurthy, Sankar; Bloem, Roderick; Somenzi, Fabio
4
2002
Synthesis of self-stabilising and Byzantine-resilient distributed systems. Zbl 1411.68073
Bloem, Roderick; Braud-Santoni, Nicolas; Jacobs, Swen
3
2016
Cooperative reactive synthesis. Zbl 06527565
Bloem, Roderick; Ehlers, Rüdiger; Könighofer, Robert
3
2015
Parameterized synthesis. Zbl 1325.68149
Jacobs, Swen; Bloem, Roderick
3
2014
Open implication. Zbl 1155.68436
Greimel, Karin; Bloem, Roderick; Jobstmann, Barbara; Vardi, Moshe
3
2008
Compositional SCC analysis for language emptiness. Zbl 1100.68059
Wang, Chao; Bloem, Roderick; Hachtel, Gary D.; Ravi, Kavita; Somenzi, Fabio
3
2006
Debugging design errors by using unsatisfiable cores. Zbl 1156.68315
Sülflow, Andre; Fey, Görschwin; Bloem, Roderick; Drechsler, Rolf
2
2008
Symbolic implementation of alternating automata. Zbl 1142.68418
Bloem, Roderick; Cimatti, Alessandro; Pill, Ingo; Roveri, Marco
2
2007
Repair of Boolean programs with an application to C. Zbl 1188.68188
Griesmayer, Andreas; Bloem, Roderick; Cook, Byron
2
2006
Analysis of symbolic SCC hull algorithms. Zbl 1019.68629
Somenzi, Fabio; Ravi, Kavita; Bloem, Roderick
2
2002
Divide and compose: SCC refinement for language emptiness. Zbl 1006.68531
Wang, Chao; Bloem, Roderick; Hachtel, Gary D.; Ravi, Kavita; Somenzi, Fabio
2
2001
Shield synthesis: runtime enforcement for reactive systems. Zbl 1420.68119
Bloem, Roderick; Könighofer, Bettina; Könighofer, Robert; Wang, Chao
1
2015
Debugging unrealizable specifications with model-based diagnosis. Zbl 1325.68152
Könighofer, Robert; Hofferek, Georg; Bloem, Roderick
1
2011
Finding and fixing faults. Zbl 1159.68341
Staber, Stefan; Jobstmann, Barbara; Bloem, Roderick
1
2005
Graph games and reactive synthesis. Zbl 1392.68233
Bloem, Roderick; Chatterjee, Krishnendu; Jobstmann, Barbara
6
2018
Handbook of model checking. Zbl 1390.68001
Clarke, 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.68073
Bloem, Roderick; Braud-Santoni, Nicolas; Jacobs, Swen
3
2016
Decidability of parameterized verification. Zbl 1400.68006
Bloem, Roderick; Jacobs, Swen; Khalimov, Ayrat; Konnov, Igor; Rubin, Sasha; Veith, Helmut; Widder, Josef
10
2015
Cooperative reactive synthesis. Zbl 06527565
Bloem, Roderick; Ehlers, Rüdiger; Könighofer, Robert
3
2015
Shield synthesis: runtime enforcement for reactive systems. Zbl 1420.68119
Bloem, Roderick; Könighofer, Bettina; Könighofer, Robert; Wang, Chao
1
2015
Synthesizing robust systems. Zbl 1302.93079
Bloem, 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.68040
Bloem, Roderick; Könighofer, Robert; Seidl, Martina
10
2014
Parameterized synthesis. Zbl 1325.68149
Jacobs, Swen; Bloem, Roderick
3
2014
Towards efficient parameterized synthesis. Zbl 1426.68051
Khalimov, Ayrat; Jacobs, Swen; Bloem, Roderick
6
2013
Synthesis of Reactive(1) designs. Zbl 1247.68050
Bloem, Roderick; Jobstmann, Barbara; Piterman, Nir; Pnueli, Amir; Sa’ar, Yaniv
22
2012
Finding and fixing faults. Zbl 1263.68112
Jobstmann, Barbara; Staber, Stefan; Griesmayer, Andreas; Bloem, Roderick
6
2012
Parameterized synthesis. Zbl 1352.68155
Jacobs, Swen; Bloem, Roderick
5
2012
Debugging unrealizable specifications with model-based diagnosis. Zbl 1325.68152
Könighofer, Robert; Hofferek, Georg; Bloem, Roderick
1
2011
Better quality in synthesis through quantitative objectives. Zbl 1242.68151
Bloem, Roderick; Chatterjee, Krishnendu; Henzinger, Thomas A.; Jobstmann, Barbara
33
2009
Open implication. Zbl 1155.68436
Greimel, Karin; Bloem, Roderick; Jobstmann, Barbara; Vardi, Moshe
3
2008
Debugging design errors by using unsatisfiable cores. Zbl 1156.68315
Sülflow, Andre; Fey, Görschwin; Bloem, Roderick; Drechsler, Rolf
2
2008
Fault localization and correction with QBF. Zbl 1214.94086
Staber, Stefan; Bloem, Roderick
9
2007
Symbolic implementation of alternating automata. Zbl 1142.68418
Bloem, Roderick; Cimatti, Alessandro; Pill, Ingo; Roveri, Marco
2
2007
An algorithm for strongly connected component analysis in \(n \log n\) symbolic steps. Zbl 1110.68161
Bloem, Roderick; Gabow, Harold N.; Somenzi, Fabio
19
2006
Symbolic implementation of alternating automata. Zbl 1160.68401
Bloem, R.; Cimatti, A.; Pill, I.; Roveri, M.; Semprini, S.
7
2006
Compositional SCC analysis for language emptiness. Zbl 1100.68059
Wang, Chao; Bloem, Roderick; Hachtel, Gary D.; Ravi, Kavita; Somenzi, Fabio
3
2006
Repair of Boolean programs with an application to C. Zbl 1188.68188
Griesmayer, Andreas; Bloem, Roderick; Cook, Byron
2
2006
Program repair as a game. Zbl 1081.68572
Jobstmann, Barbara; Griesmayer, Andreas; Bloem, Roderick
16
2005
Finding and fixing faults. Zbl 1159.68341
Staber, Stefan; Jobstmann, Barbara; Bloem, Roderick
1
2005
Fair simulation minimization. Zbl 1010.68086
Gurumurthy, Sankar; Bloem, Roderick; Somenzi, Fabio
4
2002
Analysis of symbolic SCC hull algorithms. Zbl 1019.68629
Somenzi, Fabio; Ravi, Kavita; Bloem, Roderick
2
2002
Divide and compose: SCC refinement for language emptiness. Zbl 1006.68531
Wang, Chao; Bloem, Roderick; Hachtel, Gary D.; Ravi, Kavita; Somenzi, Fabio
2
2001
Efficient Büchi automata form LTL formulae. Zbl 0974.68086
Somenzi, Fabio; Bloem, Roderick
27
2000
A comparison of tree transductions defined by monadic second order logic and by attribute grammars. Zbl 0960.68086
Bloem, Roderick; Engelfriet, Joost
22
2000
Efficient decision procedures for model checking of linear time logic properties. Zbl 1046.68579
Bloem, Roderick; Ravi, Kavita; Somenzi, Fabio
12
1999
Monadic second order logic and node relations on graphs and trees. Zbl 0888.03025
Bloem, Roderick; Engelfriet, Joost
6
1997
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

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.