Roderick Bloem

2009
33	EE	Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann: Better Quality in Synthesis through Quantitative Objectives CoRR abs/0904.2638: (2009)
2008
32	EE	André Sülflow, Görschwin Fey, Roderick Bloem, Rolf Drechsler: Using unsatisfiable cores to debug multiple design errors. ACM Great Lakes Symposium on VLSI 2008: 77-82
31	EE	Karin Greimel, Roderick Bloem, Barbara Jobstmann, Moshe Y. Vardi: Open Implication. ICALP (2) 2008: 361-372
30	EE	Ronald Toegl, Georg Hofferek, Karin Greimel, Adrian Leung, Raphael Chung-Wei Phan, Roderick Bloem: Formal Analysis of a TPM-Based Secrets Distribution and Storage Scheme. ICYCS 2008: 2289-2294
29	EE	Görschwin Fey, Stefan Staber, Roderick Bloem, Rolf Drechsler: Automatic Fault Localization for Property Checking. IEEE Trans. on CAD of Integrated Circuits and Systems 27(6): 1138-1149 (2008)
2007
28	EE	Barbara Jobstmann, Stefan Galler, Martin Weiglhofer, Roderick Bloem: Anzu: A Tool for Property Synthesis. CAV 2007: 258-262
27	EE	Roderick Bloem, Roberto Cavada, Ingo Pill, Marco Roveri, Andrei Tchaltsev: RAT: A Tool for the Formal Analysis of Requirements. CAV 2007: 263-267
26	EE	Roderick Bloem, Stefan Galler, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Martin Weiglhofer: Interactive presentation: Automatic hardware synthesis from specifications: a case study. DATE 2007: 1188-1193
25	EE	Stefan Staber, Roderick Bloem: Fault Localization and Correction with QBF. SAT 2007: 355-368
24	EE	Roderick Bloem, Marco Roveri, Fabio Somenzi: Preface. Electr. Notes Theor. Comput. Sci. 174(4): 1 (2007)
23	EE	Andreas Griesmayer, Stefan Staber, Roderick Bloem: Automated Fault Localization for C Programs. Electr. Notes Theor. Comput. Sci. 174(4): 95-111 (2007)
22	EE	Roderick Bloem, Stefan Galler, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Martin Weiglhofer: Specify, Compile, Run: Hardware from PSL. Electr. Notes Theor. Comput. Sci. 190(4): 3-16 (2007)
21	EE	Roderick Bloem, Alessandro Cimatti, Ingo Pill, Marco Roveri: Symbolic Implementation of Alternating Automata. Int. J. Found. Comput. Sci. 18(4): 727-743 (2007)
2006
20	EE	Andreas Griesmayer, Roderick Bloem, Byron Cook: Repair of Boolean Programs with an Application to C. CAV 2006: 358-371
19	EE	Roderick Bloem, Alessandro Cimatti, Ingo Pill, Marco Roveri, Simone Semprini: Symbolic Implementation of Alternating Automata. CIAA 2006: 208-218
18	EE	Ingo Pill, Simone Semprini, Roberto Cavada, Marco Roveri, Roderick Bloem, Alessandro Cimatti: Formal analysis of hardware requirements. DAC 2006: 821-826
17	EE	Barbara Jobstmann, Roderick Bloem: Optimizations for LTL Synthesis. FMCAD 2006: 117-124
16	EE	Stefan Staber, Görschwin Fey, Roderick Bloem, Rolf Drechsler: Automatic Fault Localization for Property Checking. Haifa Verification Conference 2006: 50-64
15	EE	Roderick Bloem, Harold N. Gabow, Fabio Somenzi: An Algorithm for Strongly Connected Component Analysis in n log n Symbolic Steps. Formal Methods in System Design 28(1): 37-56 (2006)
14	EE	Chao Wang, Roderick Bloem, Gary D. Hachtel, Kavita Ravi, Fabio Somenzi: Compositional SCC Analysis for Language Emptiness. Formal Methods in System Design 28(1): 5-36 (2006)
2005
13	EE	Barbara Jobstmann, Andreas Griesmayer, Roderick Bloem: Program Repair as a Game. CAV 2005: 226-238
12	EE	Stefan Staber, Barbara Jobstmann, Roderick Bloem: Finding and Fixing Faults. CHARME 2005: 35-49
11	EE	Andreas Griesmayer, Roderick Bloem, Martin Hautzendorfer, Franz Wotawa: Formal Verification of Control Software: A Case Study. IEA/AIE 2005: 783-788
2002
10	EE	Sankar Gurumurthy, Roderick Bloem, Fabio Somenzi: Fair Simulation Minimization. CAV 2002: 610-624
9	EE	Fabio Somenzi, Kavita Ravi, Roderick Bloem: Analysis of Symbolic SCC Hull Algorithms. FMCAD 2002: 88-105
2001
8	EE	Chao Wang, Roderick Bloem, Gary D. Hachtel, Kavita Ravi, Fabio Somenzi: Divide and Compose: SCC Refinement for Language Emptiness. CONCUR 2001: 456-471
2000
7		Fabio Somenzi, Roderick Bloem: Efficient Büchi Automata from LTL Formulae. CAV 2000: 248-263
6	EE	Roderick Bloem, Kavita Ravi, Fabio Somenzi: Symbolic guided search for CTL model checking. DAC 2000: 29-34
5	EE	Kavita Ravi, Roderick Bloem, Fabio Somenzi: A Comparative Study of Symbolic Algorithms for the Computation of Fair Cycles. FMCAD 2000: 143-160
4	EE	Roderick Bloem, Harold N. Gabow, Fabio Somenzi: An Algorithm for Strongly Connected Component Analysis in n log n Symbolic Steps. FMCAD 2000: 37-54
3		Roderick Bloem, Joost Engelfriet: A Comparison of Tree Transductions Defined by Monadic Second Order Logic and by Attribute Grammars. J. Comput. Syst. Sci. 61(1): 1-50 (2000)
1999
2	EE	Roderick Bloem, Kavita Ravi, Fabio Somenzi: Efficient Decision Procedures for Model Checking of Linear Time Logic Properties. CAV 1999: 222-235
1997
1		Roderick Bloem, Joost Engelfriet: Monadic Second Order Logic and Node Relations on Graphs and Trees. Structures in Logic and Computer Science 1997: 144-161

Coauthor Index

1	Roberto Cavada	[18] [27]
2	Krishnendu Chatterjee	[33]
3	Alessandro Cimatti	[18] [19] [21]
4	Byron Cook	[20]
5	Rolf Drechsler	[16] [29] [32]
6	Joost Engelfriet	[1] [3]
7	Görschwin Fey	[16] [29] [32]
8	Harold N. Gabow	[4] [15]
9	Stefan Galler	[22] [26] [28]
10	Karin Greimel	[30] [31]
11	Andreas Griesmayer	[11] [13] [20] [23]
12	Sankar Gurumurthy	[10]
13	Gary D. Hachtel	[8] [14]
14	Martin Hautzendorfer	[11]
15	Thomas A. Henzinger	[33]
16	Georg Hofferek	[30]
17	Barbara Jobstmann	[12] [13] [17] [22] [26] [28] [31] [33]
18	Adrian Leung	[30]
19	Raphael Chung-Wei Phan (Raphael C.-W. Phan)	[30]
20	Ingo Pill	[18] [19] [21] [27]
21	Nir Piterman	[22] [26]
22	Amir Pnueli	[22] [26]
23	Kavita Ravi	[2] [5] [6] [8] [9] [14]
24	Marco Roveri	[18] [19] [21] [24] [27]
25	Simone Semprini	[18] [19]
26	Fabio Somenzi	[2] [4] [5] [6] [7] [8] [9] [10] [14] [15] [24]
27	Stefan Staber	[12] [16] [23] [25] [29]
28	André Sülflow	[32]
29	Andrei Tchaltsev	[27]
30	Ronald Toegl	[30]
31	Moshe Y. Vardi	[31]
32	Chao Wang	[8] [14]
33	Martin Weiglhofer	[22] [26] [28]
34	Franz Wotawa	[11]

Colors in the list of coauthors