Podymov Vladislav Vasil'evich

Publications in Math-Net.Ru

1. Efficient equivalence-checking algorithms for propositional Mealy programs over balanced frames
   
   Prikl. Diskr. Mat., 2025, no. 70,  72–101
2. Formal verification of three-valued digital waveforms
   
   Model. Anal. Inform. Sist., 26:3 (2019),  332–350
3. Ballistocardiogram analysis on edge computing nodes
   
   Proceedings of ISP RAS, 30:2 (2018),  251–262
4. Vermont – a toolset for verification of software defined networks
   
   St. Petersburg Polytechnical University Journal. Computer Science. Telecommunication and Control Sys, 2015, no. 1(212),  74–87
5. On the application of equivalence checking algorithms for program minimization
   
   Proceedings of ISP RAS, 27:4 (2015),  145–174
6. Uppaal-based verification of software-defined networks
   
   St. Petersburg Polytechnical University Journal. Computer Science. Telecommunication and Control Sys, 2014, no. 2(193),  169–179
7. On the Designing of Model Checkers for Real-Time Distributed Systems
   
   Model. Anal. Inform. Sist., 19:6 (2012),  45–56