Alexander Ivrii
Alexander Ivrii
Verifierad e-postadress på il.ibm.com
Titel
Citeras av
Citeras av
År
Incremental formal verification of hardware
H Chockler, A Ivrii, A Matsliah, S Moran, Z Nevo
2011 Formal Methods in Computer-Aided Design (FMCAD), 135-143, 2011
702011
On computing minimal independent support and its applications to sampling and counting
A Ivrii, S Malik, KS Meel, MY Vardi
Constraints 21 (1), 41-58, 2016
552016
Constrained sampling and counting: Universal hashing meets SAT solving
KS Meel, M Vardi, S Chakraborty, DJ Fremont, SA Seshia, D Fried, A Ivrii, ...
arXiv preprint arXiv:1512.06633, 2015
552015
Lagrangian isotopy of tori in S 2 × S 2 and C P …
GD Rizell, E Goodman, A Ivrii
Geometric and Functional Analysis 26 (5), 1297-1358, 2016
442016
Reducing color conflicts in triple patterning lithography
MS Gray, MT Guzowski, A Ivrii, LW Liebmann, KW McCullen, GE Tellez, ...
US Patent 9,158,885, 2015
272015
Perfect hashing and CNF encodings of cardinality constraints
Y Ben-Haim, A Ivrii, O Margalit, A Matsliah
International Conference on Theory and Applications of Satisfiability …, 2012
252012
Computing interpolants without proofs
H Chockler, A Ivrii, A Matsliah
Haifa verification conference, 72-85, 2012
212012
Pushing to the Top.
A Gurfinkel, A Ivrii
FMCAD, 65-72, 2015
192015
The computational complexity of structure-based causality
G Aleksandrowicz, H Chockler, JY Halpern, A Ivrii
Journal of Artificial Intelligence Research 58, 431-451, 2017
172017
Pushing to the top
A Ivrii, A Gurfinkel
2015 Formal Methods in Computer-Aided Design (FMCAD), 65-72, 2015
152015
Incremental formal verification
H Chockler, A Ivrii, A Matsliah, S Moran, Z Nevo
US Patent 8,996,339, 2015
112015
Lagrangian unknottedness of tori in certain symplectic 4-manifolds.
A Ivrii
112003
K-induction without unrolling
A Gurfinkel, A Ivrii
2017 Formal Methods in Computer Aided Design (FMCAD), 148-155, 2017
102017
Method for purification of lens gases used in photolithography
D Alvarez Jr, JJ Spiegelman
US Patent 6,645,898, 2003
102003
Small inductive safe invariants
A Ivrii, A Gurfinkel, A Belov
2014 Formal Methods in Computer-Aided Design (FMCAD), 115-122, 2014
92014
IC3-guided abstraction
J Baumgartner, A Ivrii, A Matsliah, H Mony
2012 Formal Methods in Computer-Aided Design (FMCAD), 182-185, 2012
92012
On efficient computation of variable MUSes
A Belov, A Ivrii, A Matsliah, J Marques-Silva
International Conference on Theory and Applications of Satisfiability …, 2012
92012
Ruled 4-manifolds and isotopies of symplectic surfaces
R Hind, A Ivrii
Mathematische Zeitschrift 265 (3), 639-652, 2010
92010
The art of semi-formal bug hunting
PK Nalla, RK Gajavelly, J Baumgartner, H Mony, R Kanzelman, A Ivrii
2016 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 1-8, 2016
82016
Learning support sets in IC3 and Quip: The good, the bad, and the ugly
R Berryhill, A Ivrii, N Veira, A Veneris
2017 Formal Methods in Computer Aided Design (FMCAD), 140-147, 2017
72017
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20