RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PERSONAL OFFICE
 
Zakharov Vladimir Anatol'evich

Statistics Math-Net.Ru
Total publications: 15
Scientific articles: 14

Number of views:
This page:502
Abstract pages:1899
Full texts:608
References:203
E-mail:

http://www.mathnet.ru/eng/person28065
List of publications on Google Scholar
List of publications on ZentralBlatt
https://mathscinet.ams.org/mathscinet/MRAuthorID/238382

Publications in Math-Net.Ru
1. On the verification of strictly deterministic behavior of timed finite state machines
E. M. Vinarskii, V. A. Zakharov
Proceedings of ISP RAS, 30:3 (2018),  325–340
2. On the model checking of finite state transducers over semigroups
A. R. Gnatenko, V. A. Zakharov
Proceedings of ISP RAS, 30:3 (2018),  303–324
3. On the minimization problem for sequential programs
V. A. Zakharov, Sh. R. Zhailauova
Model. Anal. Inform. Sist., 24:4 (2017),  415–433
4. On the minimization of finite state transducers over semigroups
V. A. Zakharov, G. G. Temerbekova
Model. Anal. Inform. Sist., 23:6 (2016),  741–753
5. Vermont – a toolset for verification of software defined networks
V. A. Zakharov, V. S. Altukhov, V. V. Podymov, E. V. Chemeritsky
SPbSPU Journal. Computer Science. Telecommunication and Control Systems, 2015, no. 1(212),  74–87
6. On the application of equivalence checking algorithms for program minimization
V. A. Zakharov, V. V. Podymov
Proceedings of ISP RAS, 27:4 (2015),  145–174
7. Modeling and analysis of the behavior of successive reactive programs
V. A. Zakharov
Proceedings of ISP RAS, 27:2 (2015),  221–250
8. On the update problems for software defined networks
V. A. Zakharov, E. V. Chemeritsky
Model. Anal. Inform. Sist., 21:6 (2014),  57–70
9. A Formal Model and Verification Problems for Software Defined Networks
V. A. Zakharov, R. L. Smelyansky, E. V. Chemeritsky
Model. Anal. Inform. Sist., 20:6 (2013),  36–51
10. On the Designing of Model Checkers for Real-Time Distributed Systems
D. Yu. Volkanov, V. A. Zakharov, D. A. Zorin, I. V. Konnov, V. V. Podymov
Model. Anal. Inform. Sist., 19:6 (2012),  45–56
11. The application of adaptive symmetry reduction for LTL model checking
I. V. Konnov, V. A. Zakharov
Model. Anal. Inform. Sist., 17:4 (2010),  78–87
12. Using algebraic models of programs for detecting metamorphic malwares
R. I. Podlovchenko, N. N. Kuzyurin, V. S. Shcherbina, V. A. Zakharov
Fundam. Prikl. Mat., 15:5 (2009),  181–198
13. On complexity of the anti-unification problem
E. V. Kostylev, V. A. Zakharov
Diskr. Mat., 20:1 (2008),  131–144
14. Approximation of abstract semantics by formal models of programs
V. A. Zakharov
Diskr. Mat., 10:4 (1998),  119–141

15. From the editor of the special issue
V. A. Zakharov
Model. Anal. Inform. Sist., 24:6 (2017),  675–676

Organisations
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2018