Alexander A. Letichevsky
According to our database1, Alexander A. Letichevsky authored at least 35 papers between 1971 and 2017.
Legend:Book In proceedings Article PhD thesis Other
An Algebraic Approach for Analyzing of Legal Requirements.
Proceedings of the IEEE 25th International Requirements Engineering Conference Workshops, 2017
Insertion Modeling and Its Applications.
The Computer Science Journal of Moldova, 2016
Incremental approach to the technology of test design for industrial projects.
Automatic Control and Computer Sciences, 2016
Approach to behavior scenarios debugging.
Automatic Control and Computer Sciences, 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.
Automatic Control and Computer Sciences, 2014
An approach to creating concretized test scenarios within test automation technology for industrial software projects.
Automatic Control and Computer Sciences, 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
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