Baruch Sterin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
5
Active years
2002–2016
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | SAT | Heuristic NPN Classification for Large Functions Using AIGs and LEXSAT. | Mathias Soeken, Alan Mishchenko, Ana Petkovska, Baruch Sterin, Paolo Ienne, Robert K. Brayton, Giovanni De Micheli |
| 2015 | FMCAD | Simulation Graphs for Reverse Engineering. | Mathias Soeken, Baruch Sterin, Rolf Drechsler, Robert K. Brayton |
| 2015 | ICSE | Symbolic Model Checking of Product-Line Requirements Using SAT-Based Methods. | Shoham Ben-David, Baruch Sterin, Joanne M. Atlee, Sandy Beidu |
| 2013 | FMCAD | A circuit approach to LTL model checking. | Koen Claessen, Niklas En, Baruch Sterin |
| 2011 | FMCAD | Enhancing ABC for stabilization verification of SystemVerilog/VHDL models. | Jiang Long, Sayak Ray, Baruch Sterin, Alan Mishchenko, Robert K. Brayton |
| 2002 | CAV | PathFinder: A Tool for Design Exploration. | Shoham Ben-David, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal |
| 2002 | FM | An Algorithmic Approach to Design Exploration. | Sharon Barner, Shoham Ben-David, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal |
| 2002 | FM | Improvements in Coverability Analysis. | Gil Ratsaby, Baruch Sterin, Shmuel Ur |