| 2026 | AAAI | High-Order Error Bounds for Markovian LSA with Richardson-Romberg Extrapolation. | Ilya Levin, Alexey Naumov, Sergey Samsonov |
| 2011 | DSD | Generalized If-Then-Else Operator for Compact Polynomial Representation of Multi Output Functions. | Ilya Levin, Osnat Keren |
| 2011 | IOLTS | Detection of Trojan HW by using hidden information on the system. | Osnat Keren, Ilya Levin, Vladimir Sinelnikov |
| 2009 | ICDS | Personalizing Education in Post-Industrial Society. | Ilya Levin, Andrei Kojukhov |
| 2009 | IOLTS | Designing fault tolerant FSM by nano-PLA. | Samary Baranov, Ilya Levin, Osnat Keren, Mark G. Karpovsky |
| 2007 | RoboCup | Design of Design Methodology for Autonomous Robots. | Eli Kolberg, Yoram Reich, Ilya Levin |
| 2006 | DSD | Cascade Scheme for Concurrent Errors Detection. | Ilya Levin, Vladimir Ostrovsky, Osnat Keren, Vladimir Sinelnikov |
| 2006 | ISCAS | AC-DC converters with bi-directional power flow and some possible applications. | T. Israeli, Ilya Levin, D. Shmilovitz, Sigmond Singer |
| 2003 | IOLTS | Designing FPGA based Self-Testing Checkers for m-out-of-n Codes. | Anzhela Yu. Matrosova, Vladimir Ostrovsky, Ilya Levin, K. Nikitin |
| 2003 | IOLTS | Increasing Implementability of beta-driven Threshold Checkers. | Victor Varshavsky, Ilya Levin, Vladimir Ostrovsky |
| 2002 | DSD | Fault Latencies of Concurrent Checking FSMs. | Roman Goot, Ilya Levin, Sergei Ostanin |
| 2002 | IOLTS | Sequential Circuits Applicable for Detecting Different Types of Faults. | Ilya Levin, Vladimir Sinelnikov, Mark G. Karpovsky, Sergey Ostanin |
| 2001 | DSD | Synthesis of ASM-based Self-Checking Controllers. | Ilya Levin, Vladimir Sinelnikov, Mark G. Karpovsky |