ISPRAS Logo
 
Introduction Background Affiliations Offers Partners Contacts
ISPRAS Description Logo
Home   R&D Groups   Projects   Grants   Publications   Downloads

Publications

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 Java-programs
A. Avetisyan, S. Gaissaryan, O. Samovarov

ParJava: IDE Supporting SPMD Java-Programming
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 control-flow of sequential computer programs
S. Chow, Y. Gu, H. Johnson, V.A.Zakharov

To the obfuscation of sequential program control-flow
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.271-281

On the refinement of logic programs by means of anti-unification
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 zero-knowledge 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 fixed-dimensional 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, 483-488

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

Landveber-Novikov 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

Boas-Buck 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 tamper-resistant software
A.V.Shokurov



RedVerst
Specification Based Testing: Towards Practice
A.Petrenko

J@va : extension of Java for real-life 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 real-life 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 Real-time and Concurrent Systems
V. V. Kuliamin, A. K. Petrenko, N. V. Pakoulin, A. S. Kossatchev, I. B. Bourdonov

Application of Model-Based 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 Large-scale Software: How Can Simple Models Help to Test Complex System
V. V. Kuliamin

Enhancing IPMP-2 for Conformance Testing
N. Pakoulin, A. Monakhov, C. Cheng, J. Wen



STEPSET
An object-oriented approach to development of numerical mathematical software
Semenov V.A.

Implementation technologies of sparse matrix classes
Semenov V.A., Tarlapan O.A.

Object-oriented 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.

Object-oriented programming of quadrature methods
Semenov V.A., Morozov S.V.

An object-oriented approach to programming of direct methods of linear algebra
Semenov V.A., Tarlapan O.A.

An object-oriented framework for development of numerical applications
Morozov S.V., Semenov V.A., Tarlapan O.A., Shiryaeva E.Yu.

An object-oriented 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.

Object-oriented methodology for evolutionary development of mathematical software
Semenov V.A.

An object-oriented framework for development of numerical simulation applications
Morozov S.V.

Investigation and development of object-oriented matrix software
Tarlapan O.A.

An Object-Oriented 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 object-oriented 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.

Object-oriented methodology for development of integrated modeling and visualization applications
Semenov V.A., Krylov P.B., Morozov S.V., Rominov M.G., Tarlapan O.A.

Component-based integration of scientific computing in OpenMV environment
Semenov V.A., Krylov P.B., Morozov S.V., Tarlapan O.A.

An object-oriented architecture for integrated CAD systems
Semenov V., Morozov S., Tarlapan O., Jung T.

Component-based development of scientific computing applications in OpenMV environment
Semenov V., Morozov S., Tarlapan O., Belyaeva

Technical Report on RFFI project 98-01-0321 N 01.99.0010499 "Object-Oriented Methodology of scientific visualization"
Semenov V., Morozov S., Tarlapan O., Krylov P.B.,2000

Technical Report on project of Ministery for Science and Technology 203-4(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 EXPRESS-technology
Semenov V.A., Krylov P.B., Morozov S.V., Tarlapan O.A.



CASE
Implementations of Functional Programming Languages

First-Order 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 SDL-92 Translator, in Proc. of the 7-th SDL Forum, Oslo, Norway, 26-29 September, 1995, Elsevier Science Publishers B.V. (North-Holland), pp. 165-174
N. Mansurov, A. Kalinov, A. Ragozin, A. Chernov (1995)

Tool suppport for algebraic Specifications of Data in SDL-92, in Proc. Formal Description Techniques IX, Kaiserslautern, Germany, 8-11 October 1996, Chapman & Hall, pp. 61-76
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 June-1 July, 1998, Humboldt University, Berlin, 1998
N. Mansurov, A. Ragozin

Generation of code with simple and readable structure from SDL-92, 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 21-26, 1999, Elsevier Science Publishers B.V. (North-Holland)
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 SDL-92 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 8-th SDL Forum, Evry, France, 23-26 September, 1997, Elsevier Science Publishers B. V. (North-Holland), pp. 415—430
N. Mansurov, A. Ragozin, A. Chernov, I. Mansurov

Dynamic scenario-based approach to re-engineering of legacy telecommunication software, in Proc. 9th SDL Forum, Montreal, Canada, June 21-26, 1999, Elsevier Science Publishers B.V. (North-Holland)
N. Mansurov, R. Probert

A Scenario-based Approach to Evolution of Telecommunications Software, IEEE Communications Magazine, October, 2001
N. Mansurov, R. Probert

Toward the full cycle application of ITU-T languages, ITU Workshop "Framework and Scope of formal languages", Geneva, March, 2002 ( http://www.itu.int/itudoc/itu-t/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 (FMTOOLS-2000)
N. Mansurov, D. Campara, E. Laskavaia, I. Ivanov

A Systematic Approach to Recovering Architecture from Existing Software, SD Expo West, San Jose, 25th April, 2002
N. Mansurov

Extracting High-Level 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. 10th 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 21-26, 1999, Elsevier Science Publishers B.V. (North-Holland)
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. Metrics-2002, 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 time-to-market using SDL tools and techniques (tutorial), Proc. 9th SDL Forum, Montreal, Canada, June 21-26, 1999
R. Probert, N. Mansurov

Improving Time-To-Market 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 time-to-market 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 (ASE-2000), 2000
N. Mansurov, D. Vasura

"Scenario-based approach to rapid prototyping of Human-Machine Interfaces", in Proc, Int. Conf. On Human-Machine Systems, Germany, 2001
N. Mansurov, D. Vasura



mpC
mpC - a Multi-Paradigm 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 Two-Dimension Block-Cyclic 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 CORBA-Based Distributed Applications on Heterogeneous Networks
A.Lastovetsky



MODIS
Making memory free in multi-user 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.

"SQL-server 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

Semi-structured Data Management Systems (in Russian)
Maxim Grinev

XML Technology: Unified Access to Heterogeneous Data (in Russian)
Maxim Grinev

An Integrated Approach to Semantic-Based 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
Methods for Mapping Objects to Relational Databases
V. V. Rubanov

Object-Relational System ODESTOR
V. V. Rubanov, M.A. Mitkevich, D.A. Markovtsev, A.I. Grinevich

Problems for Organizing Object-Oriented Access to Relational Databases
K. V. Antipin, V. V. Rubanov

The Object-Oriented Environment Providing Access to Relational DBMS
V. P. Ivannikov, S. S. Gaysaryan, K. V. Antipin, V. V. Rubanov


Books:


Lipaev V.V.
Large-scale software tools quality assurance methods
Contents: English version/Russian version

Further books

 


Copyright © 2002 ISP RAS