Dmitry Korchemny

According to our database, Dmitry Korchemny authored at least 5 papers between 2005 and 2012.

Collaborative distances:

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

2012

SystemVerilog Assertions: Past, Present, and Future SVA Standardization Experience.

Doron Bustan, Dmitry Korchemny, Erik Seligman, Jin Yang

IEEE Des. Test Comput., 2012

2011

Using Computational Biology Methods to Improve Post-silicon Microprocessor Testing.

Ron Zeira, Dmitry Korchemny, Ron Shamir

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

2010

SAT-based semiformal verification of hardware.

Sabih Agbaria, Dan Carmi, Orly Cohen, Dmitry Korchemny, Michael Lifshits, Alexander Nadel

Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010

2006

Deterministic Dynamic Monitors for Linear-Time Assertions.

Roy Armoni, Dmitry Korchemny, Andreas Tiemeyer, Moshe Y. Vardi, Yael Zbar

Proceedings of the Formal Approaches to Software Testing and Runtime Verification, 2006

2005

Efficient LTL compilation for SAT-based model checking.

Roy Armoni, Sergey Egorov, Ranan Fraer, Dmitry Korchemny, Moshe Y. Vardi

Proceedings of the 2005 International Conference on Computer-Aided Design, 2005