Alexander A. Letichevsky

39 papers B 4C 1Misc 5Journal 8Unranked 19

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