Baruch Sterin

According to our database, Baruch Sterin authored at least 10 papers between 2002 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2016

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

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2016, 2016

SAT-Based Combinational and Sequential Dependency Computation.

Mathias Soeken, Pascal Raiola, Baruch Sterin, Bernd Becker, Giovanni De Micheli, Matthias Sauer

Proceedings of the Hardware and Software: Verification and Testing, 2016

2015

Symbolic Model Checking of Product-Line Requirements Using SAT-Based Methods.

Shoham Ben-David, Baruch Sterin, Joanne M. Atlee, Sandy Beidu

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Simulation Graphs for Reverse Engineering.

Mathias Soeken, Baruch Sterin, Rolf Drechsler, Robert K. Brayton

Proceedings of the Formal Methods in Computer-Aided Design, 2015

2014

NINJA: boolean modelling and formal verification of tiered-rate chemical reaction networks (extended abstract).

Aadithya V. Karthik, David Soloveichik, Sayak Ray, Baruch Sterin, Alan Mishchenko, Robert K. Brayton, Jaijeet Roychowdhury

Proceedings of the 5th ACM Conference on Bioinformatics, 2014

2013

A circuit approach to LTL model checking.

Koen Claessen, Niklas Eén, Baruch Sterin

Proceedings of the Formal Methods in Computer-Aided Design, 2013

2011

Enhancing ABC for stabilization verification of SystemVerilog/VHDL models.

Jiang Long, Sayak Ray, Baruch Sterin, Alan Mishchenko, Robert K. Brayton

Proceedings of the First International Workshop on Design and Implementation of Formal Tools and Systems, 2011

2002

Improvements in Coverability Analysis.

Gil Ratsaby, Baruch Sterin, Shmuel Ur

Proceedings of the FME 2002: Formal Methods, 2002

An Algorithmic Approach to Design Exploration.

Sharon Barner, Shoham Ben-David, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal

Proceedings of the FME 2002: Formal Methods, 2002

PathFinder: A Tool for Design Exploration.

Shoham Ben-David, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal

Proceedings of the Computer Aided Verification, 14th International Conference, 2002