Kushik Natal'ya Gennad'evna

Publications in Math-Net.Ru

1. On preset homing and synchronizing sequences for observable input/output automata
   
   Avtomat. i Telemekh., 2023, no. 6,  67–78
2. The effect of partiality and adaptivity on the complexity of FSM state identification problems
   
   Proceedings of ISP RAS, 30:1 (2018),  7–24
3. Deriving synchronizing and homing sequences for input/output automata
   
   Model. Anal. Inform. Sist., 24:6 (2017),  730–742
4. Checking experiments with non-observable tree FSMs
   
   Proceedings of ISP RAS, 27:6 (2015),  441–450
5. A SPIN-based approach for detecting vulnerabilities in С programs
   
   Model. Anal. Inform. Sist., 18:4 (2011),  131–143
6. On Digital Circuit Optimization Using Automata Equations
   
   J. Sib. Fed. Univ. Math. Phys., 1:3 (2008),  290–295