Article VERIFICATION OF AUTOMATA-BASED PROGRAMS WITH UNIMOD.VERIFIER TOOL Vadim Gurov, Bulat Jaminov April 2008
Article DEVELOPMENT OF A TOOL FOR FINITE STATE MACHINE GENERATION WITH GENETIC ALGORTIHMS Evgeny Mandrikov, Vladimir Kulev April 2008
Article A METHOD OF TESTS FOR API GENERATION ON THE BASE OF FINITE-STATE MODEL OF TESTING Konstantin Rubinov, Vladimir Vedeneev, Vladimir Parfenov April 2008
Article VERIFICATION OF INTERACTION OF PARTS OF A REACTIVE SYSTEM IMPLEMENTED USING AUTOMATA-BASED APPROACH Sergey Kanzhelev April 2008
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 April 2008
Article A TOOL SUPPORTING AUTOMATA-BASED PROGRAMMING – UNIMOD 2. DESIGN. VALIDATION. VERIFICATION. IMPLEMENTATION Dmitry Kochelev, Ivan Lagunov, Bulat Khasanzyanov, Bulat Jaminov April 2008
Article HIGH-PERFORMANCE GRID-APPLICATIONS DEVELOPMENT ENVIRONMENT. PART III: KNOWLEDGE ACQUISITION AND FORMALIZATION Boukhanovsky Alexander V, Alexey Larchenko, Anton Dunaev March 2008
Article INTERPRETATION AS RESEARCH METHOD FOR DYNAMICAL PROPERTIES OF PARALLEL PROGRAM ON INSTRUMENTAL COMPUTER Manuk Akopyan March 2008