Alexander A. Letichevsky

According to our database, Alexander A. Letichevsky authored at least 40 papers between 1971 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

An Algebraic Approach for Analyzing of Legal Requirements.

Alexander A. Letichevsky, Oleksandr A. Letychevskyi, Vladimir S. Peschanenko, Maxsim Poltorackij

Proceedings of the IEEE 25th International Requirements Engineering Conference Workshops, 2017

2016

Insertion Modeling and Its Applications.

Alexander A. Letichevsky, Oleksandr A. Letychevskyi, Vladimir S. Peschanenko

Comput. Sci. J. Moldova, 2016

Incremental approach to the technology of test design for industrial projects.

Pavel D. Drobintsev, Vsevolod Kotlyarov, I. V. Nikiforov, Alexander A. Letichevsky

Autom. Control. Comput. Sci., 2016

2015

Approach to behavior scenarios debugging.

Pavel D. Drobintsev, Vsevolod Kotlyarov, I. V. Nikiforov, Alexander A. Letichevsky, Volodymyr Peschanenko

Autom. Control. Comput. Sci., 2015

Insertion Modeling and Symbolic Verification of Large Systems.

Alexander A. Letichevsky, Oleksandr A. Letychevskyi, Volodymyr Peschanenko, Thomas Weigert

Proceedings of the SDL 2015: Model-Driven Engineering for Smart Cities, 2015

An Interleaving Reduction for Reachability Checking in Symbolic Modeling.

Alexander A. Letichevsky, Oleksandr A. Letychevskyi, Vladimir S. Peschanenko

Proceedings of the 11th International Conference on ICT in Education, 2015

2014

A formal approach to test scenarios generation based on guides.

Pavel D. Drobintsev, Vsevolod Kotlyarov, Alexander A. Letichevsky

Autom. Control. Comput. Sci., 2014

Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем (Static method of consistency and completeness checking in formal model of distributed software systems).

Alexander Kolchin, Aleksandr A. Letichevsky, Stepan Potiyenko

Proceedings of the 9th International Conference of Programming, Kyiv, 2014

2013

An approach to creating concretized test scenarios within test automation technology for industrial software projects.

Alexander Kolchin, Alexander A. Letichevsky, Vladimir S. Peschanenko, Pavel D. Drobintsev, Vsevolod Kotlyarov

Autom. Control. Comput. Sci., 2013

Usage of Invariants for Symbolic Verification of Requirements.

Alexander A. Letichevsky, Alexander Godlevsky, Anton Guba, Alexander Kolchin, Olexander A. Letychevskyi, Vladimir S. Peschanenko

Proceedings of the 5th International Symposium on Symbolic Computation in Software Science, 2013

Theory of Interaction, Insertion Modeling, and Cognitive Architectures.

Alexander A. Letichevsky

Proceedings of the Information and Communication Technologies in Education, Research, and Industrial Applications, 2013

General Theory of Interaction and Cognitive Architectures.

Alexander A. Letichevsky

Proceedings of the 9th International Conference on ICT in Education, 2013

2012

About One Efficient Algorithm for Reachability Checking in Modeling and Its Implementation.

Alexander A. Letichevsky, Olexander A. Letychevskyi, Vladimir S. Peschanenko

Proceedings of the ICT in Education, Research, and Industrial Applications, 2012

Efficient Algorithm for Reachability Checking in Modeling.

Alexander A. Letichevsky, Olexander A. Letychevskyi, Vladimir S. Peschanenko

Proceedings of the 8th International Conference on ICT in Education, 2012

Insertion Cognitive Architecture.

Alexander A. Letichevsky

Proceedings of the Biologically Inspired Cognitive Architectures 2012 - Proceedings of the Third Annual Meeting of the BICA Society, Palermo, Sicily, Italy, October 31, 2012

2011

Insertion Modeling System and Constraint Programming.

Alexander A. Letichevsky, Vladimir S. Peschanenko, Alexander Letichevsky Jr., Igor Ol. Blinov, Dmitriy M. Klionov

Proceedings of the 7th International Conference on ICT in Education, 2011

Insertion Modeling and its Applications.

Alexander A. Letichevsky

Proceedings of the 7th International Conference on ICT in Education, 2011

Insertion Modeling System.

Alexander A. Letichevsky, Olexander A. Letychevskyi, Vladimir S. Peschanenko

Proceedings of the Perspectives of Systems Informatics, 2011

2010

The Equivalence Problem of Deterministic Multitape Finite Automata: A New Proof of Solvability Using a Multidimensional Tape.

Alexander A. Letichevsky, Arsen S. Shoukourian, Samvel K. Shoukourian

Proceedings of the Language and Automata Theory and Applications, 2010

Formal Requirements Capturing using VRS system.

Alexander A. Letichevsky, Alexander Kolchin, Oleksandr Letychevskyy Jr., Stepan Potiyenko, Vladislav A. Volkov, Thomas Weigert

Proceedings of the Second International Workshop on Invariant Generation, 2010

2006

Basic Protocols: Specification Language for Distributed Systems.

Alexander A. Letichevsky

Proceedings of the Perspectives of Systems Informatics, 2006

2005

System Validation.

Alexander A. Letichevsky, Julia V. Kapitonova, Thomas Weigert, Vladislav A. Volkov

Proceedings of the Embedded Systems Handbook., 2005

Basic protocols, message sequence charts, and the verification of requirements specifications.

Alexander A. Letichevsky, Julia V. Kapitonova, A. A. Letichevsky Jr., Vladislav A. Volkov, Sergey Baranov, Thomas Weigert

Comput. Networks, 2005

Semantics of Message Sequence Charts.

Alexander A. Letichevsky, Julia V. Kapitonova, Vsevolod Kotlyarov, Vladislav A. Volkov, A. A. Letichevsky Jr., Thomas Weigert

Proceedings of the SDL 2005: Model Driven, 2005

Literal Trees and Resolution Technique.

Alexander V. Lyaletski, Alexander A. Letichevsky, Oleksandr Kalinovskyy

Proceedings of the Intelligent Information Processing and Web Mining, 2005

2003

Leveraging UML to Deliver Correct Telecom Applications.

Sergey Baranov, Clive Jervis, Vsevolod Kotlyarov, Alexander A. Letichevsky, Thomas Weigert

Proceedings of the UML for Real - Design of Embedded Real-Time Systems, 2003

2002

Requirement Capturing and 3CR Approac.

Sergey Baranov, Vsevolod Kotlyarov, Julia V. Kapitonova, Alexander A. Letichevsky, Vladislav A. Volkov

Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

1999

The development of interactive algorithms for the Mathematical Environment.

Alexander A. Letichevsky, Julia V. Kapitonova, Vladislav A. Volkov, A. Chugayenko, Victor Khomenko, David R. Gilbert

Proceedings of the Systems for Integrated Computation and Deduction, 1999

A Model for Interaction of Agents and Environments.

Alexander A. Letichevsky, David R. Gilbert

Proceedings of the Recent Trends in Algebraic Development Techniques, 1999

1994

Tools for Solving Problems in the Scope of Algebraic Programming.

Y. V. Kapitonova, Alexander A. Letichevsky, Vladislav A. Volkov, M. S. Lvov

Proceedings of the Integrating Symbolic Mathematical Computation and Artificial Intelligence, 1994

1993

Computations in APS.

Alexander A. Letichevsky, Julia V. Kapitonova, S. V. Konozenko

Theor. Comput. Sci., 1993

Discovery of Invariant Equalities in Programs over Data Fields.

Alexander A. Letichevsky, M. S. Lvov

Appl. Algebra Eng. Commun. Comput., 1993

Development of Rewriting Strategies.

Alexander A. Letichevsky

Proceedings of the Programming Language Implementation and Logic Programming, 1993

1991

Algebraic Programs Optimization.

Alexander A. Letichevsky, Julia V. Kapitonova, S. V. Konozenko

Proceedings of the 1991 International Symposium on Symbolic and Algebraic Computation, 1991

1990

Algebraic Programming in the APS System.

Alexander A. Letichevsky, Julia V. Kapitonova

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 1990

1987

Algebras with Approximation and Excursive Data Structures.

Alexander A. Letichevsky

Proceedings of the Fundamentals of Computation Theory, 1987

1986

On Model of Macroconveyor Computations.

Vladimir S. Mikhalevich, Julia V. Kapitonova, Alexander A. Letichevsky

Proceedings of the Information Processing 86, 1986

1983

Algebra of Algorithms, Data Structures and Parallel Computation.

Alexander A. Letichevsky

Proceedings of the Information Processing 83, 1983

1979

On finding invariant relations of programs.

Alexander A. Letichevsky

Proceedings of the Algorithms in Modern Mathematics and Computer Science, 1979

1971

Design Problems of Software Special Systems.

Y. V. Kapitonova, Alexander A. Letichevsky

Proceedings of the Information Processing, Proceedings of IFIP Congress 1971, Volume 1, 1971