Roderick Bloem

Roderick Paul Bloem

	2012
47		Swen Jacobs, Roderick Bloem: Parameterized Synthesis. TACAS 2012: 362-376
46		Barbara Jobstmann, Stefan Staber, Andreas Griesmayer, Roderick Bloem: Finding and fixing faults. J. Comput. Syst. Sci. 78(2): 441-460 (2012)
45		Roderick Bloem, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Yaniv Sa'ar: Synthesis of Reactive(1) designs. J. Comput. Syst. Sci. 78(3): 911-938 (2012)
	2011
44		Georg Hofferek, Roderick Bloem: Controller synthesis for pipelined circuits using uninterpreted functions. MEMOCODE 2011: 31-42
43		Roderick Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas A. Henzinger, Barbara Jobstmann: Specification-centered robustness. SIES 2011: 176-185
	2010
42		Roderick Bloem, Natasha Sharygina: Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2010, Lugano, Switzerland, October 20-23 IEEE 2010
41		Roderick Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas A. Henzinger, Barbara Jobstmann: Robustness in the Presence of Liveness. CAV 2010: 410-424
40		Roderick Bloem, Alessandro Cimatti, Karin Greimel, Georg Hofferek, Robert Könighofer, Marco Roveri, Viktor Schuppan, Richard Seeber: RATSY - A New Requirements Analysis Tool with Synthesis. CAV 2010: 425-429
39		Robert Könighofer, Georg Hofferek, Roderick Bloem: Debugging Unrealizable Specifications with Model-Based Diagnosis. Haifa Verification Conference 2010: 29-45
38		Roderick Bloem, Patrick Schaumont: Guest Editorial. IEEE Trans. on CAD of Integrated Circuits and Systems 29(10): 1457-1458 (2010)
37		Andreas Griesmayer, Stefan Staber, Roderick Bloem: Fault localization using a model checker. Softw. Test., Verif. Reliab. 20(2): 149-173 (2010)
	2009
36		Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann: Better Quality in Synthesis through Quantitative Objectives. CAV 2009: 140-156
35		Robert Könighofer, Georg Hofferek, Roderick Bloem: Debugging formal specifications using simple counterstrategies. FMCAD 2009: 152-159
34		Roderick Bloem, Karin Greimel, Thomas A. Henzinger, Barbara Jobstmann: Synthesizing robust systems. FMCAD 2009: 85-92
33		Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann: Better Quality in Synthesis through Quantitative Objectives CoRR abs/0904.2638: (2009)
	2008
32		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		Karin Greimel, Roderick Bloem, Barbara Jobstmann, Moshe Y. Vardi: Open Implication. ICALP (2) 2008: 361-372
30		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		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		Barbara Jobstmann, Stefan J. Galler, Martin Weiglhofer, Roderick Bloem: Anzu: A Tool for Property Synthesis. CAV 2007: 258-262
27		Roderick Bloem, Roberto Cavada, Ingo Pill, Marco Roveri, Andrei Tchaltsev: RAT: A Tool for the Formal Analysis of Requirements. CAV 2007: 263-267
26		Roderick Bloem, Stefan J. Galler, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Martin Weiglhofer: Interactive presentation: Automatic hardware synthesis from specifications: a case study. DATE 2007: 1188-1193
25		Stefan Staber, Roderick Bloem: Fault Localization and Correction with QBF. SAT 2007: 355-368
24		Roderick Bloem, Marco Roveri, Fabio Somenzi: Preface. Electr. Notes Theor. Comput. Sci. 174(4): 1 (2007)
23		Andreas Griesmayer, Stefan Staber, Roderick Bloem: Automated Fault Localization for C Programs. Electr. Notes Theor. Comput. Sci. 174(4): 95-111 (2007)
22		Roderick Bloem, Stefan J. 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		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		Andreas Griesmayer, Roderick Bloem, Byron Cook: Repair of Boolean Programs with an Application to C. CAV 2006: 358-371
19		Roderick Bloem, Alessandro Cimatti, Ingo Pill, Marco Roveri, Simone Semprini: Symbolic Implementation of Alternating Automata. CIAA 2006: 208-218
18		Ingo Pill, Simone Semprini, Roberto Cavada, Marco Roveri, Roderick Bloem, Alessandro Cimatti: Formal analysis of hardware requirements. DAC 2006: 821-826
17		Barbara Jobstmann, Roderick Bloem: Optimizations for LTL Synthesis. FMCAD 2006: 117-124
16		Stefan Staber, Görschwin Fey, Roderick Bloem, Rolf Drechsler: Automatic Fault Localization for Property Checking. Haifa Verification Conference 2006: 50-64
15		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		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		Barbara Jobstmann, Andreas Griesmayer, Roderick Bloem: Program Repair as a Game. CAV 2005: 226-238
12		Stefan Staber, Barbara Jobstmann, Roderick Bloem: Finding and Fixing Faults. CHARME 2005: 35-49
11		Andreas Griesmayer, Roderick Bloem, Martin Hautzendorfer, Franz Wotawa: Formal Verification of Control Software: A Case Study. IEA/AIE 2005: 783-788
	2002
10		Sankar Gurumurthy, Roderick Bloem, Fabio Somenzi: Fair Simulation Minimization. CAV 2002: 610-624
9		Fabio Somenzi, Kavita Ravi, Roderick Bloem: Analysis of Symbolic SCC Hull Algorithms. FMCAD 2002: 88-105
	2001
8		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		Roderick Bloem, Kavita Ravi, Fabio Somenzi: Symbolic guided search for CTL model checking. DAC 2000: 29-34
5		Kavita Ravi, Roderick Bloem, Fabio Somenzi: A Comparative Study of Symbolic Algorithms for the Computation of Fair Cycles. FMCAD 2000: 143-160
4		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		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] [36] [41] [43]
3	Alessandro Cimatti	[18] [19] [21] [40]
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 J. Galler	[22] [26] [28]
10	Karin Greimel	[30] [31] [34] [40] [41] [43]
11	Andreas Griesmayer	[11] [13] [20] [23] [37] [46]
12	Sankar Gurumurthy	[10]
13	Gary D. Hachtel	[8] [14]
14	Martin Hautzendorfer	[11]
15	Thomas A. Henzinger	[33] [34] [36] [41] [43]
16	Georg Hofferek	[30] [35] [39] [40] [44]
17	Swen Jacobs	[47]
18	Barbara Jobstmann	[12] [13] [17] [22] [26] [28] [31] [33] [34] [36] [41] [43] [45] [46]
19	Robert Könighofer	[35] [39] [40]
20	Adrian Leung	[30]
21	Raphael Chung-Wei Phan (Raphael C.-W. Phan)	[30]
22	Ingo Pill	[18] [19] [21] [27]
23	Nir Piterman	[22] [26] [45]
24	Amir Pnueli	[22] [26] [45]
25	Kavita Ravi	[2] [5] [6] [8] [9] [14]
26	Marco Roveri	[18] [19] [21] [24] [27] [40]
27	Yaniv Sa'ar	[45]
28	Patrick Schaumont	[38]
29	Viktor Schuppan	[40]
30	Richard Seeber	[40]
31	Simone Semprini	[18] [19]
32	Natasha Sharygina	[42]
33	Fabio Somenzi	[2] [4] [5] [6] [7] [8] [9] [10] [14] [15] [24]
34	Stefan Staber	[12] [16] [23] [25] [29] [37] [46]
35	André Sülflow	[32]
36	Andrei Tchaltsev	[27]
37	Ronald Toegl	[30]
38	Moshe Y. Vardi	[31]
39	Chao Wang	[8] [14]
40	Martin Weiglhofer	[22] [26] [28]
41	Franz Wotawa	[11]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page