Efficient LTL compilation for SAT-based model checking. - Roy Armoni; Sergey Egorov; Ranan Fraer; Dmitry Korchemny; Moshe Y. Vardi (ICCAD, 2005)

Deterministic Dynamic Monitors for Linear-Time Assertions. - Roy Armoni; Dmitry Korchemny; Andreas Tiemeyer; Moshe Y. Vardi; Yael Zbar (FATES/RV, 2006)

SAT-based semiformal verification of hardware. - Sabih Agbaria; Dan Carmi; Orly Cohen; Dmitry Korchemny; Michael Lifshits; Alexander Nadel (FMCAD, 2010)

Using Computational Biology Methods to Improve Post-silicon Microprocessor Testing. - Ron Zeira; Dmitry Korchemny; Ron Shamir (Haifa Verification Conference, 2011)

SystemVerilog Assertions: Past, Present, and Future SVA Standardization Experience. - Doron Bustan; Dmitry Korchemny; Erik Seligman; Jin Yang 006 (IEEE Des. Test Comput., 2012)