Baruch Sterin

Publication Activity (10 Years)

Years Active: 2002-2016
Publications (10 Years): 4

Top Topics

Formal Verification

Extended Abstract

Reverse Engineer

Boolean Queries

Top Venues

Publications

Mathias 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. SAT (2016)
Mathias Soeken, Pascal Raiola, Baruch Sterin, Bernd Becker, Giovanni De Micheli, Matthias Sauer
SAT-Based Combinational and Sequential Dependency Computation. Haifa Verification Conference (2016)
Mathias Soeken, Baruch Sterin, Rolf Drechsler, Robert K. Brayton
Reverse Engineering with Simulation Graphs. FMCAD (2015)
Shoham Ben-David, Baruch Sterin, Joanne M. Atlee, Sandy Beidu
Symbolic Model Checking of Product-Line Requirements Using SAT-Based Methods. ICSE (1) (2015)
Aadithya 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). BCB (2014)
Koen Claessen, Niklas Eén, Baruch Sterin
A circuit approach to LTL model checking. FMCAD (2013)
Jiang Long, Sayak Ray, Baruch Sterin, Alan Mishchenko, Robert K. Brayton
Enhancing ABC for stabilization verification of SystemVerilog/VHDL models. DIFTS@FMCAD (2011)
Sharon Barner, Shoham Ben-David, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal
An Algorithmic Approach to Design Exploration. FME (2002)
Shoham Ben-David, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal
PathFinder: A Tool for Design Exploration. CAV (2002)
Gil Ratsaby, Baruch Sterin, Shmuel Ur
Improvements in Coverability Analysis. FME (2002)