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.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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

2016
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

2015
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

2014
A formal approach to test scenarios generation based on guides.
Automatic Control and Computer Sciences, 2014

2013
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

2012
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

2011
Insertion Modeling System.
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.
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

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

2005
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

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

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

1999
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

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

1993
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

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

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

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

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

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

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

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


  Loading...