The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Baruch Sterin" ( http://dblp.L3S.de/Authors/Baruch_Sterin )

  Author page on DBLP  Author page in RDF  Community of Baruch Sterin in ASPL-2

Publication years (Num. hits)
2002-2016 (10)
Publication types (Num. hits)
inproceedings(10)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 5 occurrences of 4 keywords

Results
Found 11 publication records. Showing 10 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Mathias Soeken, Alan Mishchenko, Ana Petkovska, Baruch Sterin, Paolo Ienne, Robert K. Brayton, Giovanni De Micheli Heuristic NPN Classification for Large Functions Using AIGs and LEXSAT. Search on Bibsonomy SAT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mathias Soeken, Pascal Raiola, Baruch Sterin, Bernd Becker 0001, Giovanni De Micheli, Matthias Sauer 0002 SAT-Based Combinational and Sequential Dependency Computation. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mathias Soeken, Baruch Sterin, Rolf Drechsler, Robert K. Brayton Reverse Engineering with Simulation Graphs. Search on Bibsonomy FMCAD The full citation details ... 2015 DBLP  BibTeX  RDF
1Shoham Ben-David, Baruch Sterin, Joanne M. Atlee, Sandy Beidu Symbolic Model Checking of Product-Line Requirements Using SAT-Based Methods. Search on Bibsonomy ICSE (1) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Aadithya V. Karthik, David Soloveichik, Sayak Ray, Baruch Sterin, Alan Mishchenko, Robert K. Brayton, Jaijeet Roychowdhury NINJA: boolean modelling and formal verification of tiered-rate chemical reaction networks (extended abstract). Search on Bibsonomy BCB The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Koen Claessen, Niklas Eén, Baruch Sterin A circuit approach to LTL model checking. Search on Bibsonomy FMCAD The full citation details ... 2013 DBLP  BibTeX  RDF
1Jiang Long, Sayak Ray, Baruch Sterin, Alan Mishchenko, Robert K. Brayton Enhancing ABC for stabilization verification of SystemVerilog/VHDL models. Search on Bibsonomy DIFTS@FMCAD The full citation details ... 2011 DBLP  BibTeX  RDF
1Shoham Ben-David, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal PathFinder: A Tool for Design Exploration. Search on Bibsonomy CAV The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Model Checking, Debugging, Design Exploration, PathFinder
1Sharon Barner, Shoham Ben-David, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal An Algorithmic Approach to Design Exploration. Search on Bibsonomy FME The full citation details ... 2002 DBLP  DOI  BibTeX  RDF hardware debugging, hardware exploration, Model checking
1Gil Ratsaby, Baruch Sterin, Shmuel Ur Improvements in Coverability Analysis. Search on Bibsonomy FME The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #10 of 10 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license