Dissertations
- E.M. Novikov. Development of Contract Specifications Method for Verification of Linux Kernel Modules. Diss. Institute for System Programming of the Russian Academy of Sciences, 2013.
Monographs
- Lavrishcheva E.M . Software Engineering of Computer Systems. Paradigms, technologies, CASE-tools. Наук. думка, 2013, 283 p.
Other publications
- R.A. Baratov, A.S. Kamkin, V.M. Mayorova, A.N. Meshkov, A.A. Sortov, M.A. Yakusheva Difficulties of the Unit-Level Hardware Verification on the Example of the Instruction Buffer of the Elbrus-2S Microprocessor. Voprosy radioehlektroniki [Issues of Radio Electronics], no. 3, 2013. P. 84-96.
- Zakharov I., Mutilin V., Novikov E., Khoroshilov A. Generating Environment Model for Linux Device Drivers Proceedings of the 7th Spring/Summer Young Researchers' Colloquium on Software Engineering. Kazan. 2013. Pp. 77-83.
- A. Kamkin, S. Smolov, I. Melnichenko Static Analysis of HDL Description: Extracting Models for Verification. East-West Design & Test Symposium (EWDTS), 2013. P. 1-4.
- A. Kamkin, T. Sergeeva, A. Tatarnikov, A. Utekhin. MicroTESK: An Extensible Framework for Test Program Generation. Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE), 2013. P. 51-57.
- Alexander K. Petrenko, Victor Kuliamin, Andrey Maksimov. UniTESK: Component Model Based Testing ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer (ICTERI-2013), Part II, 2nd International Workshop on Algebraic, Logical, and Algorithmic Methods of System Modeling, Specification and Verifica, 2013, p.573-589.
- E.A. Gerlits. MC/DC Coverage Measurement of C Programs. HUMANITIES & SCIENCE UNIVERSITY JOURNAL №5 (2013), pp. 203-210.
- D. Beyer, S. Lowe, E. Novikov, A. Stahlbauer, P. Wendler. Precision reuse for efficient regression verification. Proceedings of the 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on Foundations of Software Engineering (ESEC/FSE 2013), editors B. Meyer, L. Baresi, M. Mezini, pages 389–399. ACM, New York, 2013.
- E.M. Novikov. An approach to implementation of aspect-oriented programming for C. Programming and Computer Software, volume 39, issue 4, pages 194-206. Pleiades Publishing, Ltd., 2013
- Novikov E.M., Shchepetkov I.V. Diagnostics of syntactic compatibility of safety rules with Linux kernel during static source code verification of device drivers. Proceedings of the scientific-practical conference "Actual problems of system and software engineering", 2013, pages 192-201.
- Nikita Komarov. On the Implementation of Data-Breakpoints Based Race Detection for Linux Kernel Modules. Proceedings of the Spring/Summer Young Researchers' Colloquium on Software Engineering, 2013 (7)
- Astrakhantsev N.A., Turdakov D.Y. Automatic construction and enrichment of informal ontologies: A survey. Programming and Computer Software. 2013. Vol. 39. № 1. Pp. 34-42.
- Nedumov Y.R., Turdakov D.Y., Maiorov V.D., Ovchinnikov P.E. Automation of data normalization for implementing master data management systems. Programming and Computer Software. 2013. Vol. 39. № 3. pp 115-123.
- Korshunov A. Problems and methods for attribute detection of social network users. Proceedings of "Fifteenth conference on Digital Libraries: Advanced Methods and Technologies" RCDL'13.
- M. Chupilko, A. Protsenko. Recognition and Explanation of Incorrect Behavior in Simulation-based Hardware Verification. Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE), 2013. P. 25-30.
- M. Chupilko, A. Kamkin. Runtime Verification Based on Executable Models: On-the-Fly Matching of Timed Traces. Model-Based Testing Workshop (MBT), 2013. P. 67-81.
- Abakumov K. JSQ: Distributed querying of JSON stream data Proceedings of SYRCoDIS'13: The Ninth Spring Researchers Colloquium on Databases and Information Systems, 2013.
- Kuznetsov S.D., Poskonin A. SQL and NoSQL: Successful Collaboration Open Systems. DBMS, 2013, Volume 21, Number 9.
- Benjamin Zeiss, Andras Kovacs, Nikolay Pakulin, Bogdan Stanca-Kaposta A conformance test suite for TTCN-3 tools. International Journal on Software Tools for Technology Transfer 01/2013.
- Bourdonov, I. B., and A. S. Kossatchev. Formalization of a Test Experiment-II. Programming and Computer Software 39.4(2013). 163-181.
- Bourdonov, I. B., and A. S. Kossatchev. An unknown graph traversing by collective of automata. Proceedings of the International Supercomputer Conference Scientific service in the internet: all facets of parallelism. Moscow: Moscow State University Press, 2013. 228-232.
- I. B. Bourdonov, A. S. Kossatchev. Agreement between Conformance and Composition. Programming and Computer Software,Vol. 39, No. 6, 2013, pp. 269-278.
- Jens Grabowski, Victor Kuliamin, Alain-Georges Vouffo Feudjio, Antal Wu-Hen-Chang, Milan Zoric. Towards the Usage of MBT at ETSI. Proceedings of MBT 2013:30-34.
- V.P.Ivannikov, A.K.Petrenko. Operating systems verification. French-Rissuan seminar on Software Verification, Testing, and Quality Estimation, Paris, 24-25 November, 2014.
- Podlovchenko R.I., Zakharov V.A. On two techniques for equivalence checking in algebraic models of programs.
- Novikova T.A., Zakharov V.A. Is it possible to unify sequential programs. Proceedings of the 27-th International Workshop on Unification, June 26, 2013, Eindhoven, EPiC Series, 2013, vol. 123, pp. 36-46.
- Vitaly Semenov, Anton Anichkin, Sergey Morozov, Oleg Tarlapan and Vladislav Zolotov Visual Planning and Scheduling of Industrial Projects with Spatial Factors. Proceedings of 20th ISPE International Conference on Concurrent Engineering. Publisher: IOS Press, 2013. Pp. 343-352.
- Vitaly Semenov, Anton Anichkin, Sergey Morozov, Oleg Tarlapan, Vladislav Zolotov Effective project scheduling under workspace congestion and workflow disturbance factors. CONVR'2013: Proceedings of the 13th International Conference on Construction Applications of Virtual Reality, 30-31 October, 2013, London, UK. Publisher: Teesside University Press, 2013. Pp. 239-252.
- Alexander Getman, Vartan Padaryan, Mikhail Solovyev Combined approach to solving problems in binary code analysis. Proceedings of 9th International Conference on Computer Science and Information Technologies (CSIT’2013), 2013.
- S.S. Gaissaryan, V.A. Padaryan, А.YU. Tikhonov. Combined approach in binary code analysis for information security problems. The Proceedings of XXII Conference «Methods and technics for information security», 2013.
- Mikhail Trushnikov. Probabilistic analysis of a new strip packing algorithm.
Proceedings of the Institute for System Programming. Volume 24, 2013 . pp. 457-468.
- V.N. Yudin, L.E. Karpov. Hybrid approach to building decision support system.
Proceedings of the Institute for System Programming. Volume 24, 2013 . Стр. 447-456.
- L.E. Karpov, V.N. Yudin. State prehistory for complex object estimation in a control system based on cases.
Proceedings of the Institute for System Programming. Volume 24, 2013 . pp. 437-446.
- I.V. Bludov. Features of SQL table expressions and their compliance with the concepts of relational model.
Proceedings of the Institute for System Programming. Volume 24, 2013 . pp. 417-436.
- V.A. Zolotov, V.A. Semenov. Advanced indexing methods for large multidimensional data in complex dynamic scenes.
Proceedings of the Institute for System Programming. Volume 24, 2013 . pp. 381-416.
- S.V. Gerasimov, R.V. Kurynin, I.V. Mashechkin, M.I. Petrovskiy, D.V. Tsarev, A.A.Shestimerov. Tools for Quality Assessment of Scientific and Technical Documents.
Proceedings of the Institute for System Programming. Volume 24, 2013 . pp. 359-380.
- S.D. Kuznetsov, A.V. Poskonin. Distributed scaling out solutions for data management.
Proceedings of the Institute for System Programming. Volume 24, 2013 . pp. 327-358.
- Vladimir Fedotov. Automated event trace analysis for regression testing.
Proceedings of the Institute for System Programming. Volume 24, 2013 . pp. 317-326.
- E.M. Novikov. Building Programming Interface Specifications in the Open System of Componentwise Verification of the Linux Kernel.
Proceedings of the Institute for System Programming. Volume 24, 2013 . pp. 293-316.
- Khoroshilov A.V., Mandrykin M.U., Mutilin V.S. Introduction to CEGAR — Counter-Example Guided Abstraction Refinement.
Proceedings of the Institute for System Programming. Volume 24, 2013 . pp. 219-292.
- Ivannikov V.P., Petrenko A.K., Kuliamin V.V., Maksimov A.V. How the story of UniTESK technology applications mirrors development of model based testing.
Proceedings of the Institute for System Programming. Volume 24, 2013 . pp. 207-218.
- V. P. Ivannikov, S. P. Vartanov, M. K. Ermakov. Automatic concurrency defect detection for Android applications.
Proceedings of the Institute for System Programming. Volume 24, 2013 . pp. 191-206.
- I.E. Bronshteyn. Type inference for Python programming language.
Proceedings of the Institute for System Programming. Volume 24, 2013 . pp. 161-190.
- Sh.F. Kurmangaleev, K.Y. Dolgorukova, V.V. Savchenko, A.R. Nurmukhametov, H. A Matevosyan, V.P. Korchagin. Software deobfuscation methods: analysis and implementation.
Proceedings of the Institute for System Programming. Volume 24, 2013 . pp. 145-160.
- Sh.F. Kurmangaleev. Machine-specific optimization methods for C/C++ applications that are distributed in the LLVM intermediate representation format.
Proceedings of the Institute for System Programming. Volume 24, 2013 . pp. 127-144.
- Yu.A. Rumyantsev. Direct data transfer between FPGAs Virtex-7 via PCI Express bus.
Proceedings of the Institute for System Programming. Volume 24, 2013 . pp. 107-126.
- Ia.V. Zagumennyi, Yu.D. Chashechkin Calculations of continouosly stratified fluid flows using the open source computational packages on basis of the technological platform UniHUB.
Proceedings of the Institute for System Programming. Volume 24, 2013 . pp. 87-106.
- I.K. Marchevsky, V.V. Puzikova. OpenFOAM iterative methods efficiency analysis for linear systems solving.
Proceedings of the Institute for System Programming. Volume 24, 2013 . pp. 71-86.
- M.S. Akopyan, N.E. Andreev. Research and development of inefficiency patterns in MPI, UPC applications.
Proceedings of the Institute for System Programming. Volume 24, 2013 . pp. 49-70.
- I.A. Dudina, A.O. Kudryavtsev, S.S. Gaissaryan. Topology-aware cloud scheduling for HPC.
Proceedings of the Institute for System Programming. Volume 24, 2013 . pp. 35-48.
- A.O. Kudryavtsev, V.K. Koshelev, A.O. Izbyshev, I.A. Dudina, Sh.F.Kurmangaleev, A.I. Avetisyan, V.P. Ivannikov, V.E. Velikhov, E.A. Ryabinkin. HPC cloud system design and implementation.
Proceedings of the Institute for System Programming. Volume 24, 2013 . pp. 13-34.
- V.P. Ivannikov. Introduction.
Proceedings of the Institute for System Programming. Volume 24, 2013 . pp. 7-12.
- Alexey Voevodin, Semen Kosyachenko. Optimal Ordering of Conflicting Objects and the Traveling Salesman Problem.
Proceedings of the Institute for System Programming. Volume 25, 2013 . pp. 207-224.
- Alexander Shokurov. On Solving The Systems of Algebraic Equations Using Gröbner Bases.
Proceedings of the Institute for System Programming. Volume 25, 2013 . pp. 195-206.
- Anton Korshunov, Ivan Beloborodov, Andrey Gomzin, Christina Chuprina, Nikita Astrakhantsev, Yaroslav Nedumod, Denis Turdakov. Detection of demographic attributes of microblog users.
Proceedings of the Institute for System Programming. Volume 25, 2013 . pp. 179-194.
- D.G. Fedorenko, N.A. Astrakhantsev. Automatic Extraction of New Concepts from Domain-Specific Terms.
Proceedings of the Institute for System Programming. Volume 25, 2013 . pp. 167-178.
- Zolotov V.A., Semenov V.A. On application of spatial decomposition method for large data sets indexing.
Proceedings of the Institute for System Programming. Volume 25, 2013 . pp. 131-166.
- S.D. Kuznetsov, N.A. Mendkovich. Minimization of data base query's conditions: evoluation of efficiency.
Proceedings of the Institute for System Programming. Volume 25, 2013 . pp. 113-130.
- I.S. Zakharov, V.S. Mutilin, E.M. Novikov, A.V. Khoroshilov. Environment Modeling of Linux Operating System Device Drivers.
Proceedings of the Institute for System Programming. Volume 25, 2013 . pp. 85-112.
- I.E. Bronshteyn. Approach to detecting types inconsistency errors in a program code in dynamic languages.
Proceedings of the Institute for System Programming. Volume 25, 2013 . Стр. 67-84.
- N.L. Lugovskoy, S.V. Syromyatnikov. Source code transformation and automatic correction of defects with KAST language.
Proceedings of the Institute for System Programming. Volume 25, 2013 . pp. 51-66.
- N.G. Zetser. Automatic clone detection for refactoring.
Proceedings of the Institute for System Programming. Volume 25, 2013 . pp. 39-50.
- M.K. Ermakov, A.Y. Gerasimov. Avalanche: adaptation of parallel and distributed computing for dynamic analysis to improve performance of defect detection.
Proceedings of the Institute for System Programming. Volume 25, 2013 . pp. 29-38.
- Sergey Vartanov, Alexander Gerasimov. Applying dynamic analysis for defect detection in Java-applications.
Proceedings of the Institute for System Programming. Volume 25, 2013 . pp. 9-28.
- V.P. Ivannikov. Introduction.
Proceedings of the Institute for System Programming. Volume 25, 2013 . pp. 5-8.
Back to the list of publications of ISP RAS