Self-checking sequential circuits with self-healing ability. - Ilya Levin; Vladimir Ostrovsky; Sergey Ostanin; Mark G. Karpovsky (ACM Great Lakes Symposium on VLSI, 2002)

Designing FPGA based Self-Testing Checkers for m-out-of-n Codes. - Anzhela Yu. Matrosova; Vladimir Ostrovsky; Ilya Levin; K. Nikitin (IOLTS, 2003)

Increasing Implementability of beta-driven Threshold Checkers. - Victor Varshavsky; Ilya Levin; Vladimir Ostrovsky (IOLTS, 2003)

Techniques for formal transformations of binary decision diagrams. - Giora Kolotov; Ilya Levin; Vladimir Ostrovsky (ICECS, 2004)

Implementation of Concurrent Checking Circuits by Independent Sub-circuits. - Vladimir Ostrovsky; Ilya Levin (DFT, 2005)

Cascade Scheme for Concurrent Errors Detection. - Ilya Levin; Vladimir Ostrovsky; Osnat Keren; Vladimir Sinelnikov (DSD, 2006)

Reduction of Fault Latency in Sequential Circuits by using Decomposition. - Ilya Levin; Benjamin Abramov; Vladimir Ostrovsky (DFT, 2007)

Arbitrary Error Detection in Combinational Circuits by Using Partitioning. - Osnat Keren; Ilya Levin; Vladimir Ostrovsky; Beni Abramov (DFT, 2008)