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

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

Number of views:
This page:530
Abstract pages:2027
Full texts:642
References:209
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 expressive power of some extensions of linear temporal logic
A. R. Gnatenko, V. A. Zakharov
Model. Anal. Inform. Sist., 25:5 (2018),  506–524
2. 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
3. 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
4. On the minimization problem for sequential programs
V. A. Zakharov, Sh. R. Zhailauova
Model. Anal. Inform. Sist., 24:4 (2017),  415–433
5. On the minimization of finite state transducers over semigroups
V. A. Zakharov, G. G. Temerbekova
Model. Anal. Inform. Sist., 23:6 (2016),  741–753
6. 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
7. 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
8. Modeling and analysis of the behavior of successive reactive programs
V. A. Zakharov
Proceedings of ISP RAS, 27:2 (2015),  221–250
9. On the update problems for software defined networks
V. A. Zakharov, E. V. Chemeritsky
Model. Anal. Inform. Sist., 21:6 (2014),  57–70
10. 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
11. 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
12. 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
13. 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
14. On complexity of the anti-unification problem
E. V. Kostylev, V. A. Zakharov
Diskr. Mat., 20:1 (2008),  131–144
15. Approximation of abstract semantics by formal models of programs
V. A. Zakharov
Diskr. Mat., 10:4 (1998),  119–141

16. Even simple processes of $\pi$-calculus are hard for analysis
M. M. Abbas, V. A. Zakharov
Model. Anal. Inform. Sist., 25:6 (2018),  589–606
17. From the editors of the special issue
V. A. Zakharov, N. V. Shilov
Model. Anal. Inform. Sist., 25:5 (2018),  463–464
18. 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, 2019