|
|
|
Publications in Math-Net.Ru |
Citations |
|
2019 |
| 1. |
N. Yu. Kutsak, V. V. Podymov, “Formal verification of three-valued digital waveforms”, Model. Anal. Inform. Sist., 26:3 (2019), 332–350  |
|
2018 |
| 2. |
A. S. Nuzhny, A. A. Prozorov, V. I. Bugaev, N. D. Shuvalov, V. V. Podumov, “Ballistocardiogram analysis on edge computing nodes”, Proceedings of ISP RAS, 30:2 (2018), 251–262  |
|
2015 |
| 3. |
V. A. Zakharov, V. S. Altukhov, V. V. Podymov, E. V. Chemeritsky, “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 |
| 4. |
V. A. Zakharov, V. V. Podymov, “On the application of equivalence checking algorithms for program minimization”, Proceedings of ISP RAS, 27:4 (2015), 145–174 |
2
|
|
2014 |
| 5. |
V. V. Podymov, U. V. Popesko, “Uppaal-based verification of software-defined networks”, St. Petersburg Polytechnical University Journal. Computer Science. Telecommunication and Control Sys, 2014, no. 2(193), 169–179 |
|
2012 |
| 6. |
D. Yu. Volkanov, V. A. Zakharov, D. A. Zorin, I. V. Konnov, V. V. Podymov, “On the Designing of Model Checkers for Real-Time Distributed Systems”, Model. Anal. Inform. Sist., 19:6 (2012), 45–56 |
|
| Organisations |
|
| |
|
|
Contact us: