





Publications are sorted by R&D groups:

AAC


CTT

An ANSI C Superset for Vector and Superscalar
Computers
S. Gaissaryan and A. Lastovetsky
Retargetable Compiler of ANSI C Superset
for Vector and Superscalar Computers
S. Gaissaryan, A. Lastovetsky, I. Ledovskikh, D. Haletsky, S. Katzerov
The main conceptions of CLASTOS programming system
E. Berezin, I. Burdonov, S. Gaissaryan, G. Kopytov, A. Kosachev, S. Kuznetzov
CLASTOS programming system: CCLOS programming
language
E. Berezin, I. Burdonov, S. Gaissaryan, G. Kopytov, A. Kosachev, S. Kuznetzov
Java extension with data parallel program
development facilities using DPJ class library
V. Ivannikov, S. Gaissaryan, M. Domrachev, V. Yoch, N. Shtaltovnaya
Parallel programming of systems with distributed
memory in Java environment. Object models of parallel execution
S. Gaissaryan, M. Domrachev, V. Yoch, O. Samovarov, A. Avetisyan
DVM object model and its implementation in Java
environment
V. Ivannikov, S. Gaissaryan, M. Domrachev, O. Samovarov
Integrated Environment for Program Obfuscation
Research
A. Chernov
Extension of Java Environment by Facilities
Supporting Development of SPMD Javaprograms
A. Avetisyan, S. Gaissaryan, O. Samovarov
ParJava: IDE Supporting SPMD JavaProgramming
V. Ivannikov, S. Gaissaryan, A. Avetisyan, O. Samovarov
Cluster Management Systems
A. Avetisyan, D. Grushin, A. Ryzhov
Analysis of Program Obfuscating Transformations
A. Chernov

DMA

An approach to the obfuscation of controlflow
of sequential computer programs
S. Chow, Y. Gu, H. Johnson, V.A.Zakharov
To the obfuscation of sequential program
controlflow
V.A.Zakharov
The equivalence model for computational models:
Decidable and Undecidable Cases
V.A.Zakharov
On the decidability of the equivalence problem
for orthogonal sequential programs
V.A.Zakharov. Grammars, Kluer Academic Publishers, 1999, v.2, N 3, p.271281
On the refinement of logic programs by means
of antiunification
V.A.Zakharov
An Efficient and Unified Approach to the
Decidability of Equivalence of Propositional Program Schemes
V.A.Zakharov
On the verification of PLTL formulae by means
of monotone disjunctive normal forms
V.A.Zakharov
Cryptography in Banking
M.I. Anokhin, N.P. Varnovsky, V.M. Sidelnikov, V.V. Yashchenko
Cryptography and Computational Complexity
N.P. Varnovsky
Cryptographic Protocols. In: Introduction to
Cryptography
N.P. Varnovsky
Brands of zeroknowledge proofs
N.P. Varnovsky, Proc. 11th
Explicit constructions of Rodl's asymptotically
good packings and coverings
N.N. Kuzjurin
On the number of nearly perfect matchings in
almost regular uniform hypergraphs
A. Asratian, N.N. Kuzjurin
Distributed desicion making
N.N. Kuzjurin
On the difference between asymptotically good
packings and coverings
N.N. Kuzjurin
On $(n,k,l,\Delta)$systems
S.D. Cohen, N.N. Kuzjurin
A parallel algorithm for fixeddimensional
linear programming
N.N. Kuzjurin, L.V. Shabanov
Multiprocessor scheduling and expanders
N.N. Kuzjurin
Metric aspects of the theory of integer
programming
N.N. Kuzjurin
An algorithm for integer programming polynomial
in the average case
N.N. Kuzjurin
On the relationship between optima of linear
and integer linear programming problems
N.N. Kuzjurin
On the automorphism conjecture for products
of ordered sets
N.N. Kuzjurin
A parallel $O(log^2 n)$time algorithm for the
set balancing problem
N.N. Kuzjurin, (Russian) Discret. Mat. 1992, v. 3, N 4, English translation in
Discrete Math. Appl. 2 (1992), No. 5, 483488
Parallel computations: theory and algorithms
N.N. Kuzjurin, M.A.Frumkin
Asymptotically exact polynomial algorithms in
integer linear programming
N.N. Kuzjurin
A new approximation algorithm for positive linear
programming
S.A. Fomin
LandveberNovikov algebra and formal vector fields on the superline
V.M.Buchshtaber and A.V.Shokurov
Groups of formal diffeomorphisms of the superline,
generating functions for polynomial sequences and functional equations
V.M.Buchshtaber and A.N.Kholodov
BoasBuck structures on polynomial sequences
V.M.Buchshtaber and A.N.Kholodov
Parallel algorithms for construction of a convex
hull
S.A.Martishin
Algorithm for finding extreme points of a set
in $n$dimensional Euclidean space with the use of linear programming
S.A.Martishin
Dynamic algorithm of computation of cells of
Voronoy diagram on a plane with restrictions
S.A.Martishin
An approach to quantitative analysis of
resistance of data encodings in tamperresistant software
A.V.Shokurov

RedVerst

Specification Based Testing: Towards Practice
A.Petrenko
J@va : extension of Java for reallife specification
and testing
I.B.Bourdonov, A.V.Demakov, A.A.Jarov, A.S.Kossatchev, V.V.Kuliamin, A.K.Petrenko, S.V.Zelenov
Experiences in using testing tools and technology
in reallife applications
A.K.Petrenko, I.B.Bourdonov, A.S.Kossatchev, V.V.Kuliamin
Automated Generation of Test Suites from Formal
Specifications
A.Petrenko
FSM using for Software Testing
Igor Burdonov, Alexander.Kosachev, Victor Kuliamin
Formal specifications in technologies of reverse engineering and software verification
I.B.Bourdonov, A.S.Kossatchev, A.V.Maximov, A.K.Petrenko
KVEST: Automated Generation of Test Suites from
Formal Specifications
I.Bourdonov, A.V.Demakov, A.Kossatchev, A.Petrenko, and D.Galter
Generation of Documentation from Formal Specification
A.Petrenko, A.Demakov
ISPRAS Experience in Model Based Testing
Alexander K. Petrenko
Test Generation for Compilers and Other Formal Text Processors
S. V. Zelenov, S. A. Zelenova, A. S. Kossatchev, A. K. Petrenko
Integration of Functional and Timed Testing of Realtime and Concurrent Systems
V. V. Kuliamin, A. K. Petrenko, N. V. Pakoulin, A. S. Kossatchev, I. B. Bourdonov
Application of ModelBased Approach for Automated Testing of Optimizing Compilers
A. S. Kossatchev, A. K. Petrenko, S. V. Zelenov, S. A. Zelenova
The UniTesK Approach to Designing Test Suites
V. V. Kuliamin, A. K. Petrenko, A. S. Kossatchev, I. B. Burdonov
UniTesK: Model Based Testing in Industrial Practice
V. V. Kuliamin, A. K. Petrenko, A. S. Kossatchev, I. B. Burdonov
Irredundant Algorithms for Traversing Directed Graphs: The Deterministic Case
I. B. Burdonov, A. S. Kossatchev, V. V. Kuliamin
Asynchrounous automata: classification and testing
B. Burdonov, A. S. Kossatchev, V. V. Kuliamin
Application of fomal methods for testing of IPv6 implementation
G. V. Kluchnikov, A. S. Kossatchev, N. V. Pakulin, A. K. Petrenko, V. Z. Shnitman
Testing among software quality evaluation methods
V. V. Kuliamin, O. L. Petrenko
Model based testing
A. Petrenko, E. Britvina, S. Groshev, A. Monakhov, O. Petrenko
Rapid Trainings on Specification Based Testing Tools
O. Petrenko, V. Omelchenko
Applying Model Based Testing in Different Contexts
V. V. Kuliamin, A. K. Petrenko
Model Based Testing of Largescale Software: How Can Simple Models Help to Test Complex System
V. V. Kuliamin
Enhancing IPMP2 for Conformance Testing
N. Pakoulin, A. Monakhov, C. Cheng, J. Wen

STEPSET

An objectoriented approach to development of
numerical mathematical software
Semenov V.A.
Implementation technologies of sparse matrix
classes
Semenov V.A., Tarlapan O.A.
Objectoriented programming of numerical analysis
problems
Morozov S.V., Semenov V.A.
An object classification of nonlinear unconstrained
optimization problems and methods
Semenov V.A., Shiryaeva E.Yu.
Objectoriented programming of quadrature methods
Semenov V.A., Morozov S.V.
An objectoriented approach to programming of direct
methods of linear algebra
Semenov V.A., Tarlapan O.A.
An objectoriented framework for development of
numerical applications
Morozov S.V., Semenov V.A., Tarlapan O.A., Shiryaeva E.Yu.
An objectoriented framework for development of
numerical simulation systems
Semenov V.A., Morozov S.V., Tarlapan O.A., Shiryaeva E.Yu.
Techniques for development of BLAS template library
for sparse matrixes
Semenov V.A., Tarlapan O.A.
Object systematization and paradigms of
computational mathematics
Semenov V.A.
Objectoriented methodology for evolutionary
development of mathematical software
Semenov V.A.
An objectoriented framework for development of
numerical simulation applications
Morozov S.V.
Investigation and development of objectoriented
matrix software
Tarlapan O.A.
An ObjectOriented Architecture for Applications
of Mathematical Modeling and Scientific Visualization
Semenov V.A., Krylov P.B., Morozov S.V., Tarlapan O.A.
Openness problem in modeling and visualization
systems
Semenov V.A., Krylov P.B., Morozov S.V., Tarlapan O.A.
The system OpenModeler&Visualizer and its
applications in computational mechanics
Semenov V.A., Morozov S.V., Tarlapan O.A.
Parallel objectoriented modeling and visualization
in OpenMV environment
Ivannikov V., Morozov S., Semenov V., Tarlapan O., Rasche R., Jung T.
Visualization in string theory
Klimenko S., Nikitin I., Burkin V., Semenov V., Tarlapan O., Hagen H.
Objectoriented methodology for development of
integrated modeling and visualization applications
Semenov V.A., Krylov P.B., Morozov S.V., Rominov M.G., Tarlapan O.A.
Componentbased integration of scientific computing
in OpenMV environment
Semenov V.A., Krylov P.B., Morozov S.V., Tarlapan O.A.
An objectoriented architecture for integrated CAD
systems
Semenov V., Morozov S., Tarlapan O., Jung T.
Componentbased development of scientific
computing applications in OpenMV environment
Semenov V., Morozov S., Tarlapan O., Belyaeva
Technical Report on RFFI project
98010321 N 01.99.0010499 "ObjectOriented Methodology of scientific visualization"
Semenov V., Morozov S., Tarlapan O., Krylov P.B.,2000
Technical Report on project of Ministery for
Science and Technology 2034(00)P N 01.99.0010497 "Development of open system
for mathematical modeling and scientific visualization"
Semenov V., Morozov S., Tarlapan O., Krylov P.B.,2000
Problems of visual modeling business information
Semenov V.A., Bazhan A.A., Morozov S.V.
Building advanced geophysics systems based on
EXPRESStechnology
Semenov V.A., Krylov P.B., Morozov S.V., Tarlapan O.A.

CASE

Implementations of Functional Programming Languages
FirstOrder Functional Language without Garbage Collection, in Proc. Functional Language Implementation workshop, University of East Anglia, Norwich, UK, 1994
N. Mansurov, Markov
Memory Management in Implementations of Functional Languages, in Voprosy kibernetiki: System Programming Applications, N. 2, Moscow, 1996 (in Russian)
E. Laskavaia, N. Mansurov
RASTA (Russian Academy of Sciences SDL Translator)
Design Issues of RASTA SDL92 Translator, in Proc. of the 7th SDL Forum, Oslo, Norway, 2629 September, 1995, Elsevier Science Publishers B.V. (NorthHolland), pp. 165174
N. Mansurov, A. Kalinov, A. Ragozin, A. Chernov (1995)
Tool suppport for algebraic Specifications of Data in SDL92, in Proc. Formal Description Techniques IX, Kaiserslautern, Germany, 811 October 1996, Chapman & Hall, pp. 6176
N. Mansurov, A. Ragozin, A. Chernov, I.Mansurov
Generating executable code from Algebraic Specifications, in Voprosy kibernetiki: System Programming Applications, N. 2, Moscow, 1996 (in Russian)
N.Mansurov, A. Chernov
Generating readable programs from SDL, in Proc. SAM’98 workshop, 29 June1 July, 1998, Humboldt University, Berlin, 1998
N. Mansurov, A. Ragozin
Generation of code with simple and readable structure from SDL92, in Voprosy kibernetiki: System Programming Applications, N. 3, Moscow, 1997 (in Russian)
N.Mansurov, A. Ragozin
Using declarative mappings for automatic code generation from SDL and ASN.1, in Proc. 9th SDL Forum, Montreal, Canada, June 2126, 1999, Elsevier Science Publishers B.V. (NorthHolland)
N. Mansurov, A.Ragozin
Automatic generation and execution of programs from SDL specifications, PhD thesis, Moscow State University, 1999
A. Ragozin
Evolution of Existing Software
On one approach to using SDL92 and MSC for reverse engineering, in Voprosy kibernetiki: System Programming Applications, N. 3, Moscow, 1997 (in Russian)
N. Mansurov, E. Laskavaya, A. Ragozin, A. Chernov
"Industrial strength code generation from SDL", in A. Cavalli, A. Sarma (Eds.) SDL’97: TIME FOR TESTING – SDL, MSC and Trends, Proc. Of the 8th SDL Forum, Evry, France, 2326 September, 1997, Elsevier Science Publishers B. V. (NorthHolland), pp. 415—430
N. Mansurov, A. Ragozin, A. Chernov, I. Mansurov
Dynamic scenariobased approach to reengineering of legacy telecommunication software, in Proc. 9th SDL Forum, Montreal, Canada, June 2126, 1999, Elsevier Science Publishers B.V. (NorthHolland)
N. Mansurov, R. Probert
A Scenariobased Approach to Evolution of Telecommunications Software, IEEE Communications Magazine, October, 2001
N. Mansurov, R. Probert
Toward the full cycle application of ITUT languages, ITU Workshop "Framework and Scope of formal languages", Geneva, March, 2002 ( http://www.itu.int/itudoc/itut/workshop/framewrk/008/index.html )
N. Mansurov
InSight project
inSight Reverse Engineering CASE Tool, in Proc. of the ICSE’99, Los Angeles, USA, 1998
N. Rajala, D. Campara, N. Mansurov
"Formal Data Mining and Visualization at Procedure Level", in Proc. Workshop on Formal Modeling tools (FMTOOLS2000)
N. Mansurov, D. Campara, E. Laskavaia, I. Ivanov
A Systematic Approach to Recovering Architecture from Existing Software, SD Expo West, San Jose, 25^{th} April, 2002
N. Mansurov
Extracting HighLevel Architecture From Existing Code with Summary Models, in Proc. IASTED Conf. On Applied Informatics, Innsbruck, Austria, 2003 (to appear)
N. Mansurov, D. Campara
PathFinder Project
Using Message Sequence Charts to accelerate maintenance of existing systems, in Proc. 10^{th} SDL Forum, Copenhagen, 2001, LNCS, Springer Verlag, 2001
N. Mansurov, D. Campara
"Understanding Existing Software with Use Case Maps", in Proc. SDL and MSC Workshop, Aberystwyth, 2002
D. Amyot, N. Mansurov, G. Muessbacher
Executable scenarios
Automatic synthesis of SDL models in Use Case Methodology, in Proc. 9th SDL Forum, Montreal, Canada, June 2126, 1999, Elsevier Science Publishers B.V. (NorthHolland)
N. Mansurov, D. Zhukov
Approximating (H)MSC semantics by Event Automata, in Proc. SDL and MSC workshop, Grenoble, 2000
N. Mansurov, D. Vasura
"Automatic Synthesis of SDL from MSC and its applications in Forward and Reverse Engineering", invited talk at Visual Formal Methods workshop, Einhoven Technical University, Holland, 2000
N. Mansurov
"Automatic Synthesis of SDL from MSC and its applications in Forward and Reverse Engineering", in Computer Languages, 2001
N. Mansurov
Rapid Prototyping with Constructive Scenarios, Telelogic Innovate! Magazine, 2002
N. Mansurov
"Using Metrics to enforce quality of Managed Architectures”, in industrial presentations proc. of int. Conf. Metrics2002, Ottawa, Canada, 2002
N. Mansurov
Accelerated Development Methodology (ADM)
Formal specification methodologies: MSC and SDL languages (lecture notes and tutorial), Moscow State University, Department of Computational Mathematics and Cybernetics, 1998 (in Russian)
N. Mansurov, O. Majlingova
Improving timetomarket using SDL tools and techniques (tutorial), Proc. 9th SDL Forum, Montreal, Canada, June 2126, 1999
R. Probert, N. Mansurov
Improving TimeToMarket using SDL tools and Techniques, Computer Networks and ISDN, 2000
N. Mansurov, R. Probert
"Formal Methods for accelerated development of telecommunications software", in collected papers of ISP RAS, vol. 1, 2000
N. Mansurov
Improving timetomarket using SDL tools and techniques (tutorial), Proc. 10th SDL Forum, Copenhagen, Denmark, 2001
R. Probert, N. Mansurov
Use Case Studio project
New Visual Interface for Engineering Use Case Models, in Proc. Int. Conf on Automated Software Engineering (ASE2000), 2000
N. Mansurov, D. Vasura
"Scenariobased approach to rapid prototyping of HumanMachine Interfaces", in Proc, Int. Conf. On HumanMachine Systems, Germany, 2001
N. Mansurov, D. Vasura

mpC

mpC  a MultiParadigm Programming Language for
Massively Parallel Computers
Alexey Lastovetsky.
A Programming Environment for Heterogenous
Distributed Memory Machines
Dmitry Arapov, Alexey Kalinov, Alexey Lastovetsky, Ilya Ledovskih, and Ted Lewis
ANSI C Superset for Vector and Superscalar
Computers and Its Retargetable Compiler
Sergey Gaissaryan, and Alexey Lastovetsky
Resource Management in the mpC Programming
Environment
Dmitry Arapov, Alexey Kalinov, and Alexey Lastovetsky
A Parallel Language for Modular Distributed
Programming
Dmitry Arapov, Victor Ivannikov, Alexey Kalinov, Alexey Lastovetsky, Ilya Ledovskih,
and Ted Lewis
Managing the Computing Space in the mpC Compiler
Dmitry Arapov, Alexey Kalinov, and Alexey Lastovetsky
Experiments with mpC: Efficient Solving Regular
Problems on Heterogeneous Networks of Computers via Irregularization
D.Arapov, A.Kalinov, A.Lastovetsky, and I.Ledovskih
Managing Processes with Network Objects and
Their Translation
D. Arapov, V.Ivannikov, A.Kalinov, A.Lastovetsky, and I.Ledovskih
Parallel Simulation of Oil Extraction on
Heterogeneous Networks of Computers
B.Chetverushkin, N.Churbanova, A.Lastovetsky, and M.Trapeznikova
Heterogeneous TwoDimension BlockCyclic Data
Distribution for Solving Linear Algebra Problems on Heterogeneous Networks
A.Kalinov
Heterogeneous Distribution of Computations While
Solving Linear Algebra Problems on Networks of Heterogeneous Computers
A.Kalinov, and A.Lastovetsky
mpC + ScaLAPACK = Efficient Solving Linear
Algebra Problems on Heterogeneous Networks
A.Kalinov, and A.Lastovetsky
A Language Approach to High Performance Computing
on Heterogeneous Networks
D.Arapov, A.Kalinov, A.Lastovetsky, and I.Ledovskih
A Parallel Language and Its Programming System for
Heterogeneous Networks
A.Lastovetsky, D.Arapov, A.Kalinov, and I.Ledovskih
Heterogeneous Distribution of Computations While
Solving Linear Algebra Problems on Networks of Heterogeneous Computers
A.Kalinov, and A.Lastovetsky
The mpC parallel debugger
A.Kalinov, and I.Ledovskikh
A mpC Parallel Development Environment
K.Karganov, K. Khorenko, and M.Posypkin
Using mpC to Improve Performance Of CORBABased
Distributed Applications on Heterogeneous Networks
A.Lastovetsky

MODIS

Making memory free in multiuser databases
Kuznetsov S.D., Yudin V.N.
Logical query optimization in relational DBMSs
Kuznetsov S.D.
Optimal query plan generation in relational DBMSs
Kuznetsov S.D.
A modular mobile system for data and transaction
management
Kuznetsov S.D., Ponomarenko V.N.
Functions and organization of a subsystem for
memory management and synchronization for relational DBMS
Burdonov I.B., Ignatieva N.V., Kuznetsov S.D., Ponomarenko V.N., Shpektorov S.V.
Free SQL server for application development
and database research
Kuznetsov S.D.
Free SQL server: State of art and future plans
Voinov E.V., Gaissaryan S.S., Kuznetsov S.D. et al
Russian project for free distributed DBMS
Gaissaryan S.S., Kimelman M.L., Kuznetsov S.D.
"Development of database engine"
Ponomarenko V.N.
"SQLserver language subsystem "
Kimelman M.L.
Specification of Metaextensions for Efficient
Metaobject Control
V. P. Ivannikov, K. V. Dyshlevoi, and V. I. Zadorozhnyi
Efficient Metaobject Control Using Mediators
V.P. Ivannikov, V.I. Zadorozhnyi, D. Kossmann, B.A. Novikov
Applying CORBA Standard to Legacy Systems
V. E. Kamensky, A. V. Klimov, S.G. Manzgeley, L.B. Solovsraya
Marshalling in distributed systems: two
approaches
K. V. Dyshlevoi, V. E. Kamensky, L.B. Solovsraya
CORBA IDL/C++ mapping superstructure
K. V. Dyshlevoi
Distributed applications design and run time
support in Cover Model
V.P. Ivannikov, K. V. Dyshlevoi, V.E. Kamensky, A.V. Klimov, S.G. Manzgeley,
V.A. Omelchenko, L.B. Solovskaya, A.A. Vinokurov
Cover Model: a Framework for Design and Execution
for Distributed Applications
V.P. Ivannikov, K. V. Dyshlevoi, V.E. Kamensky, A.V. Klimov, S.G. Manzgeley,
V.A. Omelchenko, L.B. Solovskaya, A.A. Vinokurov
Specification of Addition to CORBA IDL C++
Mapping(Technical documentation)
K. V. Dyshlevoi, L.B. Solovskaya
Semistructured Data Management Systems
(in Russian)
Maxim Grinev
XML Technology: Unified Access to Heterogeneous
Data (in Russian)
Maxim Grinev
An Integrated Approach to SemanticBased
Searching by Metadata over the Internet/Intranet
Maxim Grinev, Sergey Kuznetsov
Towards an Exhaustive Set of Rewriting Rules
for XQuery Optimization: BizQuery Experience
Maxim Grinev, Sergei Kuznetsov
UQL: Query Language for Integrated Data in
Terms of UML

iGroup


Books:

Lipaev V.V.

Largescale software tools quality assurance methods
Contents: English version/ Russian version
Further books




