Alexey V. Demakov

Publication Activity (10 Years)

Years Active: 2001-2022
Publications (10 Years): 2

Top Topics

Arbitrary Length

Internal States

Optimization Process

Finite Automaton

Top Venues

Program. Comput. Softw.

Publications

Evgenii M. Vinarskii, Alexey V. Demakov
Optimization of ProVerif Programs for AKE Protocols. Program. Comput. Softw. 48 (8) (2022)
Igor B. Burdonov, Alexandre Kossachev, Nina Yevtushenko, Alexey V. Demakov
Evaluating the length of distinguishing sequences for nondeterministic Input/Output automata. EWDTS (2019)
Alexey V. Demakov, Sergey V. Zelenov, Sophia A. Zelenova
Using abstract models for the generation of test data with a complex structure. Program. Comput. Softw. 34 (6) (2008)
Alexey V. Demakov
Object-oriented description of graph data structures. Program. Comput. Softw. 33 (5) (2007)
Igor B. Bourdonov, Alexey V. Demakov, Andrew A. Jarov, Alexander S. Kossatchev, Victor V. Kuliamin, Alexander K. Petrenko, Sergey V. Zelenov
Java Specification Extension for Automated Test Development. Ershov Memorial Conference (2001)