Vinarskii Evgeniy Maksimovich

Publications in Math-Net.Ru

1. Optimization of proverif programs for ake-protocols
   
   Proceedings of ISP RAS, 33:5 (2021),  105–116
2. On the modeling of sequential reactive systems by means of real time automata
   
   Model. Anal. Inform. Sist., 27:4 (2020),  396–411
3. Perfect sets of paths in the full graph of SDN network switches
   
   Proceedings of ISP RAS, 32:4 (2020),  245–260
4. On the verification of strictly deterministic behavior of timed finite state machines
   
   Proceedings of ISP RAS, 30:3 (2018),  325–340