Vladimir A. Zakharov

Publication Activity (10 Years)

Years Active: 1987-2022
Publications (10 Years): 10

Top Topics

Reactive Systems

Top Venues

Autom. Control. Comput. Sci.

Program. Comput. Softw.

Publications

Anton R. Gnatenko, Vladimir A. Zakharov
Satisfiability and Model Checking for One Parameterized Extension of Linear Temporal Logic. Autom. Control. Comput. Sci. 56 (7) (2022)
Anton R. Gnatenko, Vladimir A. Zakharov
On the Model Checking Problem for Some Extension of CTL. Autom. Control. Comput. Sci. 55 (7) (2021)
Evgenii M. Vinarskii, Vladimir A. Zakharov
On the Modeling of Sequential Reactive Systems by Means of Real Time Automata. Autom. Control. Comput. Sci. 55 (7) (2021)
Vladimir A. Zakharov
Efficient Equivalence Checking Technique for Some Classes of Finite-State Machines. Autom. Control. Comput. Sci. 55 (7) (2021)
Alexander V. Shokurov, I. V. Abramova, Nikolay P. Varnovsky, Vladimir A. Zakharov
On the Possibility of Secure Program Obfuscation in Some Model of Cloud Computing. Program. Comput. Softw. 46 (7) (2020)
M. M. Abbas, Vladimir A. Zakharov
Even Simple π-Calculus Processes Are Difficult to Analyze. Autom. Control. Comput. Sci. 53 (7) (2019)
Vladimir A. Zakharov
Equivalence Checking of Prefix-Free Transducers and Deterministic Two-Tape Automata. LATA (2019)
Anton R. Gnatenko, Vladimir A. Zakharov
On the Expressive Power of Some Extensions of Linear Temporal Logic. Autom. Control. Comput. Sci. 53 (7) (2019)
Vladimir A. Zakharov, G. G. Temerbekova
On the Minimization of Finite State Transducers over Semigroups. Autom. Control. Comput. Sci. 51 (7) (2017)
Vladimir A. Zakharov, S. R. Jaylauova
On the Minimization Problem for Sequential Programs. Autom. Control. Comput. Sci. 51 (7) (2017)
Evgeny V. Chemeritskiy, Vladimir A. Zakharov
On network update problems for software defined networks. Autom. Control. Comput. Sci. 49 (7) (2015)
Dmitry Yu. Volkanov, Vladimir A. Zakharov, Daniil A. Zorin, Vladislav V. Podymov, Igor V. Konnov
A combined toolset for the verification of real-time distributed systems. Program. Comput. Softw. 41 (6) (2015)
Vladimir A. Zakharov
Equivalence Checking Problem for Finite State Transducers over Semigroups. CAI (2015)
N. P. Varnovskiy, Vladimir A. Zakharov, Nikolay N. Kuzyurin, Alexander V. Shokurov
The current state of art in program obfuscations: definitions of obfuscation security. Program. Comput. Softw. 41 (6) (2015)
Igor V. Konnov, Vladislav V. Podymov, Dmitry Yu. Volkanov, Vladimir A. Zakharov, Daniil A. Zorin
How to make a simple tool for verification of real-time systems. Autom. Control. Comput. Sci. 48 (7) (2014)
Tatyana A. Novikova, Vladimir A. Zakharov
Two-sided unification is NP-complete. UNIF (2014)
Vladimir A. Zakharov, R. L. Smelyansky, Eugene V. Chemeritsky
A formal model and verification problems for software defined networks. Autom. Control. Comput. Sci. 48 (7) (2014)
Igor V. Konnov, Vladimir A. Zakharov
An invariant-based approach to the verification of asynchronous parameterized networks. J. Symb. Comput. 45 (11) (2010)
Peter E. Bulychev, Egor V. Kostylev, Vladimir A. Zakharov
Anti-unification Algorithms and Their Applications in Program Analysis. Ershov Memorial Conference (2009)
Nikolay Kuzurin, Alexander V. Shokurov, Nikolay P. Varnovsky, Vladimir A. Zakharov
On the Concept of Software Obfuscation in Computer Security. ISC (2007)
Gabriel Ciobanu, Vladimir A. Zakharov
-Calculus. Ershov Memorial Conference (2006)
Igor V. Konnov, Vladimir A. Zakharov
An Approach to the Verification of Symmetric Parameterized Distributed Systems. Program. Comput. Softw. 31 (5) (2005)
Rimma I. Podlovchenko, Dmitry M. Rusakov, Vladimir A. Zakharov
On the Equivalence Problem for Programs with Mode Switching. CIAA (2005)
Vladimir A. Zakharov, Ivan Zakharyaschev
On the Equivalence-Checking Problem for a Model of Programs Related with Multi-tape Automata. CIAA (2004)
Nikolay P. Varnovsky, Vladimir A. Zakharov
On the Possibility of Provably Secure Obfuscating Programs. Ershov Memorial Conference (2003)
Stanley Chow, Yuan Xiang Gu, Harold Johnson, Vladimir A. Zakharov
An Approach to the Obfuscation of Control-Flow of Sequential Computer Programs. ISC (2001)
Vladimir A. Zakharov
Book Review: "Model Checking" by E. Clarke, O. Grumberg and D. A. Peled. J. Log. Comput. 11 (6) (2001)
Vladimir A. Zakharov
The Equivalence Problem for Computational Models: Decidable and Undecidable Cases. MCU (2001)
Vladimir A. Zakharov
On the Decidability of the Equivalence Problem for Monadic Recursive Programs. RAIRO Theor. Informatics Appl. 34 (2) (2000)
Vladimir A. Zakharov
On the Decidability of the Equivalence Problem for Orthogonal Sequential Programs. Grammars 2 (3) (1999)
Vladimir A. Zakharov
An Efficient and Unified Approach to the Decidability of Equivalence of Propositional Programs. ICALP (1998)
Vladimir A. Zakharov
Verification of PLTL Formulae by Means of Monotone Disjunctive Normal Forms. LFCS (1997)
Vladimir V. Spanopulo, Vladimir A. Zakharov
On the Relationship between Models of Parallel Computations. Advances in Modal Logic (1996)
Vladimir A. Zakharov
To the Functional Equivalence of Turing Machines. FCT (1987)