Alexander A. Letichevsky

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.



In proceedings 
PhD thesis 




An Algebraic Approach for Analyzing of Legal Requirements.
Proceedings of the IEEE 25th International Requirements Engineering Conference Workshops, 2017

Insertion Modeling and Its Applications.
Comput. Sci. J. Moldova, 2016

Incremental approach to the technology of test design for industrial projects.
Autom. Control. Comput. Sci., 2016

Approach to behavior scenarios debugging.
Autom. Control. Comput. Sci., 2015

Insertion Modeling and Symbolic Verification of Large Systems.
Proceedings of the SDL 2015: Model-Driven Engineering for Smart Cities, 2015

An Interleaving Reduction for Reachability Checking in Symbolic Modeling.
Proceedings of the 11th International Conference on ICT in Education, 2015

A formal approach to test scenarios generation based on guides.
Autom. Control. Comput. Sci., 2014

An approach to creating concretized test scenarios within test automation technology for industrial software projects.
Autom. Control. Comput. Sci., 2013

Usage of Invariants for Symbolic Verification of Requirements.
Proceedings of the 5th International Symposium on Symbolic Computation in Software Science, 2013

General Theory of Interaction and Cognitive Architectures.
Proceedings of the 9th International Conference on ICT in Education, 2013

Efficient Algorithm for Reachability Checking in Modeling.
Proceedings of the 8th International Conference on ICT in Education, 2012

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

Insertion Modeling System.
Proceedings of the Perspectives of Systems Informatics, 2011

The Equivalence Problem of Deterministic Multitape Finite Automata: A New Proof of Solvability Using a Multidimensional Tape.
Proceedings of the Language and Automata Theory and Applications, 2010

Formal Requirements Capturing using VRS system.
Proceedings of the Second International Workshop on Invariant Generation, 2010

Basic Protocols: Specification Language for Distributed Systems.
Proceedings of the Perspectives of Systems Informatics, 2006

System Validation.
Proceedings of the Embedded Systems Handbook., 2005

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

Semantics of Message Sequence Charts.
Proceedings of the SDL 2005: Model Driven, 2005

Literal Trees and Resolution Technique.
Proceedings of the Intelligent Information Processing and Web Mining, 2005

Leveraging UML to Deliver Correct Telecom Applications.
Proceedings of the UML for Real - Design of Embedded Real-Time Systems, 2003

Requirement Capturing and 3CR Approac.
Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

The development of interactive algorithms for the Mathematical Environment.
Proceedings of the Systems for Integrated Computation and Deduction, 1999

A Model for Interaction of Agents and Environments.
Proceedings of the Recent Trends in Algebraic Development Techniques, 1999

Tools for Solving Problems in the Scope of Algebraic Programming.
Proceedings of the Integrating Symbolic Mathematical Computation and Artificial Intelligence, 1994

Computations in APS.
Theor. Comput. Sci., 1993

Discovery of Invariant Equalities in Programs over Data Fields.
Appl. Algebra Eng. Commun. Comput., 1993

Development of Rewriting Strategies.
Proceedings of the Programming Language Implementation and Logic Programming, 1993

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

Algebraic Programming in the APS System.
Proceedings of the International Symposium on Symbolic and Algebraic Computation, 1990

Algebras with Approximation and Excursive Data Structures.
Proceedings of the Fundamentals of Computation Theory, 1987

On Model of Macroconveyor Computations.
Proceedings of the Information Processing 86, 1986

Algebra of Algorithms, Data Structures and Parallel Computation.
Proceedings of the Information Processing 83, 1983

On finding invariant relations of programs.
Proceedings of the Algorithms in Modern Mathematics and Computer Science, 1979

Design Problems of Software Special Systems.
Proceedings of the Information Processing, Proceedings of IFIP Congress 1971, Volume 1, 1971