Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of Roderick Bloem Roderick Paul Bloem ( http://dblp.L3S.de/Authors/Roderick_Bloem )

URL (Homepage):  http://www.iaik.tugraz.at/content/about_iaik/people/bloem_roderick/  Author page on DBLP  Author page in RDF  Community of Roderick Bloem in ASPL-2

Publication years (Num. hits)
1997-2006 (20) 2007-2009 (16) 2010-2012 (11)
Publication types (Num. hits)
article(13) inproceedings(33) proceedings(1)
Venues (Conferences, Journals, ...)
CAV(10) FMCAD(7) Electr. Notes Theor. Comput. S...(3) J. Comput. Syst. Sci.(3) DAC(2) Formal Methods in System Desig...(2) Haifa Verification Conference(2) IEEE Trans. on CAD of Integrat...(2) ACM Great Lakes Symposium on V...(1) CHARME(1) CIAA(1) CONCUR(1) CoRR(1) DATE(1) ICALP(1) ICYCS(1) More (+10 of total 24)
Authors
Roderick Bloem(47) Barbara Jobstmann(14) Fabio Somenzi(11) Stefan Staber(7) Andreas Griesmayer(6) Karin Greimel(6) Kavita Ravi(6) Marco Roveri(6) Georg Hofferek(5) Thomas A. Henzinger(5) Alessandro Cimatti(4) Ingo Pill(4) Krishnendu Chatterjee(4) Amir Pnueli(3) Görschwin Fey(3) Martin Weiglhofer(3) More (+10 of total 42)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 14 occurrences of 13 keywords
Results
Found 47 publication records. Showing 47 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Barbara Jobstmann, Stefan Staber, Andreas Griesmayer, Roderick Bloem Finding and fixing faults. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Roderick Bloem, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Yaniv Sa'ar Synthesis of Reactive(1) designs. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Swen Jacobs, Roderick Bloem Parameterized Synthesis. Search on Bibsonomy TACAS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Georg Hofferek, Roderick Bloem Controller synthesis for pipelined circuits using uninterpreted functions. Search on Bibsonomy MEMOCODE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Roderick Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas A. Henzinger, Barbara Jobstmann Specification-centered robustness. Search on Bibsonomy SIES The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Roderick Bloem, Patrick Schaumont Guest Editorial. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Andreas Griesmayer, Stefan Staber, Roderick Bloem Fault localization using a model checker. Search on Bibsonomy Softw. Test., Verif. Reliab. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Roderick Bloem, Natasha Sharygina (eds.) Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2010, Lugano, Switzerland, October 20-23 Search on Bibsonomy FMCAD The full citation details ... 2010 DBLP  BibTeX  RDF
1Roderick Bloem, Alessandro Cimatti, Karin Greimel, Georg Hofferek, Robert Könighofer, Marco Roveri, Viktor Schuppan, Richard Seeber RATSY - A New Requirements Analysis Tool with Synthesis. Search on Bibsonomy CAV The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Roderick Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas A. Henzinger, Barbara Jobstmann Robustness in the Presence of Liveness. Search on Bibsonomy CAV The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Robert Könighofer, Georg Hofferek, Roderick Bloem Debugging Unrealizable Specifications with Model-Based Diagnosis. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann Better Quality in Synthesis through Quantitative Objectives Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Robert Könighofer, Georg Hofferek, Roderick Bloem Debugging formal specifications using simple counterstrategies. Search on Bibsonomy FMCAD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Roderick Bloem, Karin Greimel, Thomas A. Henzinger, Barbara Jobstmann Synthesizing robust systems. Search on Bibsonomy FMCAD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann Better Quality in Synthesis through Quantitative Objectives. Search on Bibsonomy CAV The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Görschwin Fey, Stefan Staber, Roderick Bloem, Rolf Drechsler Automatic Fault Localization for Property Checking. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Karin Greimel, Roderick Bloem, Barbara Jobstmann, Moshe Y. Vardi Open Implication. Search on Bibsonomy ICALP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1André Sülflow, Görschwin Fey, Roderick Bloem, Rolf Drechsler Using unsatisfiable cores to debug multiple design errors. Search on Bibsonomy ACM Great Lakes Symposium on VLSI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF sat-based debugging, unsatisfiable core, fault localization
1Ronald Toegl, Georg Hofferek, Karin Greimel, Adrian Leung, Raphael Chung-Wei Phan, Roderick Bloem Formal Analysis of a TPM-Based Secrets Distribution and Storage Scheme. Search on Bibsonomy ICYCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Roderick Bloem, Alessandro Cimatti, Ingo Pill, Marco Roveri Symbolic Implementation of Alternating Automata. Search on Bibsonomy Int. J. Found. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Andreas Griesmayer, Stefan Staber, Roderick Bloem Automated Fault Localization for C Programs. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Roderick Bloem, Stefan J. Galler, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Martin Weiglhofer Specify, Compile, Run: Hardware from PSL. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Roderick Bloem, Marco Roveri, Fabio Somenzi Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Stefan Staber, Roderick Bloem Fault Localization and Correction with QBF. Search on Bibsonomy SAT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Roderick Bloem, Stefan J. Galler, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Martin Weiglhofer Interactive presentation: Automatic hardware synthesis from specifications: a case study. Search on Bibsonomy DATE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Barbara Jobstmann, Stefan J. Galler, Martin Weiglhofer, Roderick Bloem Anzu: A Tool for Property Synthesis. Search on Bibsonomy CAV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Roderick Bloem, Roberto Cavada, Ingo Pill, Marco Roveri, Andrei Tchaltsev RAT: A Tool for the Formal Analysis of Requirements. Search on Bibsonomy CAV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Roderick Bloem, Harold N. Gabow, Fabio Somenzi An Algorithm for Strongly Connected Component Analysis in n log n Symbolic Steps. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2006 DBLP  DOI  BibTeX  RDF language emptiness, Büchi automata, Streett automata, model checking, binary decision diagrams, depth-first search, breadth-first search, strongly connected components, symbolic algorithms
1Chao Wang, Roderick Bloem, Gary D. Hachtel, Kavita Ravi, Fabio Somenzi Compositional SCC Analysis for Language Emptiness. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2006 DBLP  DOI  BibTeX  RDF language emptiness, model checking, BDD, LTL, abstraction refinement
1Barbara Jobstmann, Roderick Bloem Optimizations for LTL Synthesis. Search on Bibsonomy FMCAD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Ingo Pill, Simone Semprini, Roberto Cavada, Marco Roveri, Roderick Bloem, Alessandro Cimatti Formal analysis of hardware requirements. Search on Bibsonomy DAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF property assurance, property simulation, specification, requirements analysis, hardware design
1Andreas Griesmayer, Roderick Bloem, Byron Cook Repair of Boolean Programs with an Application to C. Search on Bibsonomy CAV The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Stefan Staber, Görschwin Fey, Roderick Bloem, Rolf Drechsler Automatic Fault Localization for Property Checking. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Roderick Bloem, Alessandro Cimatti, Ingo Pill, Marco Roveri, Simone Semprini Symbolic Implementation of Alternating Automata. Search on Bibsonomy CIAA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Andreas Griesmayer, Roderick Bloem, Martin Hautzendorfer, Franz Wotawa Formal Verification of Control Software: A Case Study. Search on Bibsonomy IEA/AIE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Stefan Staber, Barbara Jobstmann, Roderick Bloem Finding and Fixing Faults. Search on Bibsonomy CHARME The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Barbara Jobstmann, Andreas Griesmayer, Roderick Bloem Program Repair as a Game. Search on Bibsonomy CAV The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Fabio Somenzi, Kavita Ravi, Roderick Bloem Analysis of Symbolic SCC Hull Algorithms. Search on Bibsonomy FMCAD The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Sankar Gurumurthy, Roderick Bloem, Fabio Somenzi Fair Simulation Minimization. Search on Bibsonomy CAV The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Chao Wang, Roderick Bloem, Gary D. Hachtel, Kavita Ravi, Fabio Somenzi Divide and Compose: SCC Refinement for Language Emptiness. Search on Bibsonomy CONCUR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Roderick Bloem, Joost Engelfriet A Comparison of Tree Transductions Defined by Monadic Second Order Logic and by Attribute Grammars. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Kavita Ravi, Roderick Bloem, Fabio Somenzi A Comparative Study of Symbolic Algorithms for the Computation of Fair Cycles. Search on Bibsonomy FMCAD The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Roderick Bloem, Harold N. Gabow, Fabio Somenzi An Algorithm for Strongly Connected Component Analysis in n log n Symbolic Steps. Search on Bibsonomy FMCAD The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Roderick Bloem, Kavita Ravi, Fabio Somenzi Symbolic guided search for CTL model checking. Search on Bibsonomy DAC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Fabio Somenzi, Roderick Bloem Efficient Büchi Automata from LTL Formulae. Search on Bibsonomy CAV The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Roderick Bloem, Kavita Ravi, Fabio Somenzi Efficient Decision Procedures for Model Checking of Linear Time Logic Properties. Search on Bibsonomy CAV The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Roderick Bloem, Joost Engelfriet Monadic Second Order Logic and Node Relations on Graphs and Trees. Search on Bibsonomy Structures in Logic and Computer Science The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #47 of 47 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.