Minimization of Algorithmic State Machines. - Samary Baranov (EUROMICRO, 1998)

CAD System for ASM and FSM Synthesis. - Samary Baranov (FPL, 1998)

Designing fault tolerant FSM by nano-PLA. - Samary Baranov; Ilya Levin; Osnat Keren; Mark G. Karpovsky (IOLTS, 2009)

Automated test bench generation for high-level synthesis flow ABELITE. - Taavi Viilukas; Maksim Jenihhin; Jaan Raik; Raimund Ubar; Samary Baranov (EWDTS, 2011)

PSL assertion checkers synthesis with ASM based HLS tool ABELITE. - Maksim Jenihhin; Samary Baranov; Jaan Raik; Valentin Tihhomirov (LATW, 2012)