Article

AUTOMATA-BASED PROGRAMMING PARADIGM

Shalyto Anatoly A.

Download PDF0 Kbyte

Article

APPLICATION OF GENETIC PROGRAMMING FOR GENERATION OF AUTOMATA HAVING A LOT OF INPUT VARIABLE

N. Polikarpova, N. Tochilin, Shalyto Anatoly A.

Download PDF0 Kbyte

Article

APPLICATION OF GENETIC PROGRAMMING, FINITE STATE MACHINES AND NEURAL NETS FOR CONSTRUCTION OF CONTROL SYSTEM FOR UNNMANED AIRCRAFT

Fedor Tsarev

Download PDF0 Kbyte

Article

APPLICATION OF GENETIC PROGRAMMING AND OF REDUCED TRANSITION TABLES METHOD AND OF DECISION TREES METHOD FOR CONSTRUCTING A CONTROL SYSTEM FOR A MODEL OF AN UNMANNED AIRCRAFT

Dmitry Sokolov, Fedor Tsarev, Andrey Davydov

Download PDF0 Kbyte

Article

CONSTRUCTION OF A CONTROL SYSTEM FOR A HELICOPTER MODEL USING GENETIC ALGORITHMS

Pavel Lobanov, Sergey Sytnik, Shalyto Anatoly A.

Download PDF0 Kbyte

Article

CONSTRUCTION OF A CONTROL SYSTEM FOR ROBOCODE TANK USING GENETIC ALGORITHMS

Yury Bedny, Shalyto Anatoly A.

Download PDF0 Kbyte

Article

DEVELOPMENT OF A TOOL FOR FINITE STATE MACHINE GENERATION WITH GENETIC ALGORTIHMS

Evgeny Mandrikov, Vladimir Kulev

Download PDF0 Kbyte

Article

A METHOD OF REPRESENTING AUTOMATA WITH DECISION TREES FOR GENETIC PROGRAMMING

Download PDF0 Kbyte

Article

APPLICATION OF GENETIC ALGORTIHMS FOR MOORE AUTOMATA AND SYSTEMS OF MEALY AUTOMATA CONSTRUCTION IN “ARTIFICIAL ANT” PROBLEM

Dmitry Sokolov, Fedor Tsarev, Andrey Davydov

Download PDF0 Kbyte

Article

METHODS FOR OPTIMIZATION OF GENETIC ALGORITHMS CONSTRUCTING FINITE STATE MACHINES

Download PDF0 Kbyte

Article

METHODS OF AUTOMATA-BASED PROGRAMS VERIFICATION

Sergey Velder, Shalyto Anatoly A.

Download PDF0 Kbyte

Article

VERIFICATION OF AUTOMATA-BASED PROGRAMS WITH SMV TOOL

Evgeny Kurbatsky

Download PDF0 Kbyte

Article

VERIFICATION OF AUTOMATA-BASED PROGRAMS WITH SPIN VERIFIER

Shalyto Anatoly A., Michael Lukin

Download PDF0 Kbyte

Article

VERIFICATION OF AUTOMATA-BASED PROGRAMS WITH UNIMOD.VERIFIER TOOL

Vadim Gurov, Bulat Jaminov

Download PDF0 Kbyte

Article

DEVELOPMENT OF A VERIFIER FOR AUTOMATA-BASED PROGRAMS

Kirill Egorov, Shalyto Anatoly A.

Download PDF0 Kbyte

Article

APPLICATION OF AUTOMATA-BASED APPROACH FOR JAVA CARD-APPLICATIONS DEVELOPMENT

Andrey Zakonov

Download PDF0 Kbyte

Article

DEVELOPMENT OF CORECT JAVA CARD-APPLICATION WITH AUTOMATA-BASED APPROACH

Клебанов А. А., Shalyto Anatoly A.

Download PDF0 Kbyte

Article

VERIFICATION OF INTERACTION OF PARTS OF A REACTIVE SYSTEM IMPLEMENTED USING AUTOMATA-BASED APPROACH

Sergey Kanzhelev

Download PDF0 Kbyte

Article

AUTOMATIC DYNAMIC VERIFICATION OF AUTOMATA-BASED PROGRAMS

Oleg Stepanov

Download PDF0 Kbyte

Article

DECLARATIVE APPROACH TO EMBEDDING AND INHERITANCE OF AUTOMATA CLASSES WITH IMPERATIVE PROGRAMMING LANGUAGES

Artem Astafurov

Download PDF0 Kbyte

Article

INHERITANCE OF AUTOMATA CLASSED WITH DYNAMIC PROGRAMMING LANGUAGES ON THE EXAMPLE OF RUBY

Kirill Timofeev, Artem Astafurov

Download PDF0 Kbyte

Article

A TOOL SUPPORTING AUTOMATA-BASED PROGRAMMING – UNIMOD 2. DESIGN. VALIDATION. VERIFICATION. IMPLEMENTATION

Dmitry Kochelev, Ivan Lagunov, Bulat Khasanzyanov, Bulat Jaminov

Download PDF0 Kbyte

Article

TEXTUAL LANGUAGE FOR AUTOMATA-BASED PROGRAMMING

Vadim Gurov, Maxim Mazin, Shalyto Anatoly A.

Download PDF0 Kbyte

Article

TEXTUAL LANGUAGE FOR AUTOMATA-BASED PROGRAMMING FSML FOR UNIMOD TOOL

Ivan Lagunov

Download PDF0 Kbyte

Article

A METHOD OF TESTS FOR API GENERATION ON THE BASE OF FINITE-STATE MODEL OF TESTING

Konstantin Rubinov, Vladimir Vedeneev, Vladimir Parfenov

Download PDF0 Kbyte

Article

APPLICATION OF AUTOMATA-BASED APPROACH FOR A MOBILE ROBOT CONTROL SYSTEM

Vitaliy Kleban, Vladimir Parfenov, Shalyto Anatoly A.

Download PDF0 Kbyte

Article

APPLICATION OF FINITE STATE MACHINES FOR AUTOMATIZATION OF DOCUMENTS CIRCULATION

Vitaliy Kleban, Fedor Novikov

Download PDF0 Kbyte

Article

A MACHINE LEARINIGN METHOD FOR COMPLX SYSTEMS WITH A LOT OF INPUT DATA AND OUTPUT ACTIONS

Alexander Krass

Download PDF0 Kbyte