Alexander A. Letichevsky

Publication Activity (10 Years)

Years Active: 1971-2017
Publications (10 Years): 6

Top Topics

Connectionist Models

Software Projects

Cognitive Architecture

Top Venues

Autom. Control. Comput. Sci.

Publications

Alexander A. Letichevsky, Oleksandr A. Letychevskyi, Vladimir S. Peschanenko, Maxsim Poltorackij
An Algebraic Approach for Analyzing of Legal Requirements. RE Workshops (2017)
Pavel D. Drobintsev, Vsevolod Kotlyarov, I. V. Nikiforov, Alexander A. Letichevsky
Incremental approach to the technology of test design for industrial projects. Autom. Control. Comput. Sci. 50 (7) (2016)
Alexander A. Letichevsky, Oleksandr A. Letychevskyi, Vladimir S. Peschanenko
Insertion Modeling and Its Applications. Comput. Sci. J. Moldova 24 (3) (2016)
Alexander A. Letichevsky, Oleksandr A. Letychevskyi, Volodymyr Peschanenko, Thomas Weigert
Insertion Modeling and Symbolic Verification of Large Systems. SDL Forum (2015)
Pavel D. Drobintsev, Vsevolod Kotlyarov, I. V. Nikiforov, Alexander A. Letichevsky, Volodymyr Peschanenko
Approach to behavior scenarios debugging. Autom. Control. Comput. Sci. 49 (7) (2015)
Alexander A. Letichevsky, Oleksandr A. Letychevskyi, Vladimir S. Peschanenko
An Interleaving Reduction for Reachability Checking in Symbolic Modeling. ICTERI (2015)
Pavel D. Drobintsev, Vsevolod Kotlyarov, Alexander A. Letichevsky
A formal approach to test scenarios generation based on guides. Autom. Control. Comput. Sci. 48 (7) (2014)
Alexander A. Letichevsky, Alexander Godlevsky, Anton Guba, Alexander Kolchin, Olexander A. Letychevskyi, Vladimir S. Peschanenko
Usage of Invariants for Symbolic Verification of Requirements. SCSS (2013)
Alexander A. Letichevsky
General Theory of Interaction and Cognitive Architectures. ICTERI (2013)
Alexander Kolchin, Alexander A. Letichevsky, Vladimir S. Peschanenko, Pavel D. Drobintsev, Vsevolod Kotlyarov
An approach to creating concretized test scenarios within test automation technology for industrial software projects. Autom. Control. Comput. Sci. 47 (7) (2013)
Alexander A. Letichevsky
Theory of Interaction, Insertion Modeling, and Cognitive Architectures. ICTERI (Revised Selected Papers) (2013)
Alexander A. Letichevsky, Olexander A. Letychevskyi, Vladimir S. Peschanenko
Efficient Algorithm for Reachability Checking in Modeling. ICTERI (2012)
Alexander A. Letichevsky
Insertion Cognitive Architecture. BICA (2012)
Alexander A. Letichevsky, Olexander A. Letychevskyi, Vladimir S. Peschanenko
About One Efficient Algorithm for Reachability Checking in Modeling and Its Implementation. ICTERI (Revised Selected Papers) (2012)
Alexander A. Letichevsky
Insertion Modeling and its Applications. ICTERI (2011)
Alexander A. Letichevsky, Olexander A. Letychevskyi, Vladimir S. Peschanenko
Insertion Modeling System. Ershov Memorial Conference (2011)
Alexander A. Letichevsky, Vladimir S. Peschanenko, Alexander Letichevsky Jr., Igor Ol. Blinov, Dmitriy M. Klionov
Insertion Modeling System and Constraint Programming. ICTERI (2011)
Alexander A. Letichevsky, Arsen S. Shoukourian, Samvel K. Shoukourian
The Equivalence Problem of Deterministic Multitape Finite Automata: A New Proof of Solvability Using a Multidimensional Tape. LATA (2010)
Alexander A. Letichevsky, Alexander Kolchin, Oleksandr Letychevskyy Jr., Stepan Potiyenko, Vladislav A. Volkov, Thomas Weigert
Formal Requirements Capturing using VRS system. WING@ETAPS/IJCAR (2010)
Alexander A. Letichevsky
Basic Protocols: Specification Language for Distributed Systems. Ershov Memorial Conference (2006)
Alexander V. Lyaletski, Alexander A. Letichevsky, Oleksandr Kalinovskyy
Literal Trees and Resolution Technique. Intelligent Information Systems (2005)
Alexander A. Letichevsky, Julia V. Kapitonova, A. A. Letichevsky Jr., Vladislav A. Volkov, Sergey Baranov, Thomas Weigert
Basic protocols, message sequence charts, and the verification of requirements specifications. Comput. Networks 49 (5) (2005)
Alexander A. Letichevsky, Julia V. Kapitonova, Vsevolod Kotlyarov, Vladislav A. Volkov, A. A. Letichevsky Jr., Thomas Weigert
Semantics of Message Sequence Charts. SDL Forum (2005)
Sergey Baranov, Vsevolod Kotlyarov, Julia V. Kapitonova, Alexander A. Letichevsky, Vladislav A. Volkov
Requirement Capturing and 3CR Approac. COMPSAC (2002)
Alexander A. Letichevsky, Julia V. Kapitonova, Vladislav A. Volkov, A. Chugayenko, Victor Khomenko, David R. Gilbert
The development of interactive algorithms for the Mathematical Environment. Calculemus (1999)
Alexander A. Letichevsky, David R. Gilbert
A Model for Interaction of Agents and Environments. WADT (1999)
Y. V. Kapitonova, Alexander A. Letichevsky, Vladislav A. Volkov, M. S. Lvov
Tools for Solving Problems in the Scope of Algebraic Programming. AISMC (1994)
Alexander A. Letichevsky, M. S. Lvov
Discovery of Invariant Equalities in Programs over Data Fields. Appl. Algebra Eng. Commun. Comput. 4 (1993)
Alexander A. Letichevsky, Julia V. Kapitonova, S. V. Konozenko
Computations in APS. Theor. Comput. Sci. 119 (1) (1993)
Alexander A. Letichevsky
Development of Rewriting Strategies. PLILP (1993)
Alexander A. Letichevsky, Julia V. Kapitonova, S. V. Konozenko
Algebraic Programs Optimization. ISSAC (1991)
Alexander A. Letichevsky, Julia V. Kapitonova
Algebraic Programming in the APS System. ISSAC (1990)
Alexander A. Letichevsky
Algebras with Approximation and Excursive Data Structures. FCT (1987)
Vladimir S. Mikhalevich, Julia V. Kapitonova, Alexander A. Letichevsky
On Model of Macroconveyor Computations. IFIP Congress (1986)
Alexander A. Letichevsky
Algebra of Algorithms, Data Structures and Parallel Computation. IFIP Congress (1983)
Alexander A. Letichevsky
On finding invariant relations of programs. Algorithms in Modern Mathematics and Computer Science (1979)
Y. V. Kapitonova, Alexander A. Letichevsky
Design Problems of Software Special Systems. IFIP Congress (1) (1971)