Dissertations
- Silakov, Denis. Methods of information and analytical support of development abd use of standards for Linux operating system interfaces. Diss. Institute for System Programming of the Russian Academy of Sciences, 2010.
- Kornyhin, Eugeny. Construction of test programs to check memory management subsystem of the microprocessors. Diss. Institute for System Programming of the Russian Academy of Sciences, 2010.
- Kichigin, Dmitry. Reduction method of the tests set for integrating testing. Diss. Institute for System Programming of the Russian Academy of Sciences, 2010.
- Turdakov D. Y. Methods and Software for Word Sense Disambiguation based on Documents Networks Phd thesis, Moscow State University,2010.
Other publications
- Turdakov D. Yu., Kuznetsov S. D. Automatic word sense disambiguation based on document networks. Programming and Computer Software. 2010. Т. 36. № 1. С. 11-18.
- Konnov I.V., Zakharov V.A. An invariant-basedё approach to the verification of asynchronous parameterized networks. Journal of Symbolic Computation, Academic Press (United States),vol. 45, № 11, pp. 1144-1162.
- Zakharov V.A., Konnov I.V. Using adaptive symmetry reduction for LTL model checking.
- V.A. Zakharov Equivalence checking of sequential programs with the help of two-tape automata.
- R. I. Podlovchenko, N. N. Kuzyurin, V. S. Shcherbina, V. A. Zakharov Using algebraic models of programs for detecting metamorphic malwares.
- A. Kamkin, D. Vorobyev. An Approach to Test Programs Generation for Microprocessors Based on Pipeline Hazards Templates. Proceedings of the 4th Spring/Summer young Researchers Colloquium on Software Engineering, pp.130-135, 2010.
- Y. Gerlits. Testing AJAX functionality with UniTESK. Proceedings of the 4th Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCOSE), 2010, pp. 50-57.
- V. Omelchenko, S. Zelenov, E. Kostychev. Test data generation for covering functionality of database applications. Proceedings of the 4th Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE 2010), 2010, 43-49.
- A. Kossachev, I.Burdonov. Formal Conformance Verifcation. Short Papers of the 22nd IFIP ICTSS, Alexandre Petrenko, Adenilso Simao, Jose Carlos Maldonado (eds.), Nov. 08-10, 2010, Natal, Brazil, pp.1-6.
- V.Mutilin. On Context Switch Upper Bound for Checking Linearizability. Proceedings of Spring/Summer Young Researchers' Colloquium on Software Engineering, pp. 106-112, Nizhniy Novgorod (2010).
- A.Petrenko, A.Khoroshilov, V.Mutilin, V.Zakharov. Establishing Linux Driver Verification Process. Proceedings of the PSI 2009, LNCS, Volume 5947/2010, 165-176.
- A.Petrenko, Yu.Gurevich, B.Finkbeiner. Model-Based Testing. Editor of proceddings. Electronic Note in Theoretical Computer Science, 2009.
- A.Petrenko, Luis S. Barbosa, Antonio Cerone, and Siraj A. Shaikh. Certification of open-source software: A role for formal methods? International Journal of Computer Systems Science and Engineering (IJCSSE), Vol 25 No 4 July 2010.
- D. Silakov. Informational System to Support Development and Usage of Linux Interface Standards. Proceedings of SYRCoSE 2010. Moscow, 2010, pp.9-16.
- D. Silakov, A. Smachev. Improving Portability of Linux Applications by Early Detection of Interoperability Issues. Proceedings of ISoLA 2010. Heraclion, Greece, 2010, part II, pp. 357–370.
- A. Khoroshilov, V. Kuliamin, A. Petrenko, O. Petrenko, V. Rubanov. Building open learning environment for software engineering students. Free and Open Source Software for E-Learning: Issues, Successes and Challenges / Betul Ozkan Czerkawski, editor, ISBN 978-1-61520-917-0, pp. 110-119, Information Science Reference, New York, 2011.
- E. Chernov. Universal System for Creation and Installation Linux Packages. Proceedings of the SYRCoSE 2010, pp.17-19.
- M. Chupilko, A. Kamkin. Contract Specification of Hardware Designs at Different Abstraction Levels: Application to Functional Verification. SYRCOSE-2010 (Spring-Summer Young Researchers' Colloquium on Software Engineering 2010), pp.125-129.
- M. Chupilko. Models of Synchronous Hardware Designs Based on FSM at Different Abstraction Levels: Application to Functional Verification. EWDTS-2010 (East-West Design and Test Symposium 2010). Proceedings of IEEE East-West Design & Test Symposium (EWDTS 2010), 127-130 pp.
- M. Chupilko, A. Kamkin. Developing cycle-accurate contract specifications for synchronous parallel-pipeline hardware: application to verification. BEC-2010 (Baltic Electronics Conference 2010). Proceedings of the 12th Biennial Baltic Electronics Conference (BEC 2010), 185-188 pp.
- P. Shved. On Reasoning About Finite Sets in Software Model Checking. Proceedings of Spring/Summer Young Researchers' Colloquium on Software Engineering, pp. 100-105, Nizhniy Novgorod, 2010.
- V.Gingina. On requirements completeness analysis method. Proceedings of Spring/Summer Young Researchers' Colloquium on Software Engineering, Nizhniy Novgorod, 2010, pp. 29-32.
- V. Fedotov. Service-oriented approach to integration testing in distributed systems. Proceedings of Spring/Summer Young Researchers' Colloquium on Software Engineering, Nizhniy Novgorod, 2010, pp. 58-59.
- A. Tugaenko, N. Pakulin. Test suite development for conformance testing of email protocols. Proceedings of Spring/Summer Young Researchers' Colloquium on Software Engineering, Nizhniy Novgorod, 2010, pp. 87-91.
- D. Yefremov, P. Iakovenko. An approach to on the fly activation and deactivation of virtualization-based security systems. Proceedings of Spring/Summer Young Researchers' Colloquium on Software Engineering, Nizhniy Novgorod, 2010, pp. 157-161.
- N. Pakulin, A. Tugaenko. Specification Based Conformance Testing for Email Protocols. Proceedings of ISoLA 2010, pp.371-382. Heraclion, Greece, 2010.
- V. Kuliamin, A. Petukhov. Covering arrays generation methods survey. Proceedings of ISoLA 2010, pp.382-397. Heraclion, Greece, 2010.
- A. Berge, А. Baire, N. Pakulin. An approach to codec development for text-based protocols. TTCN3 User Conference 2010, Beijing, China. 8-10 June, 2010.
- L. Bing, Z. Linlin, R. Guofang, C. Viho, N. Pakulin, M. Zoric. Java-Based Test System Development with Open Source Components. TTCN3 User Conference 2010, Beijing, China. 8-10 June, 2010.
- A. Kamkin. CTestBench: A Lightweight C-Based Tool for Specification and Functional Verification of Hardware Designs. East-West Design & Test Symposium, September, 2010.
- V.A. Semenov, K.V. Dragalov, D.V. Ilyin, S.V. Morozov, and O.V. Sidyaka On Complementary Principles of Object-Oriented Constraint Programming. Programming and Computer Software. Volume: 36. Number: 5. Publisher: MAIK Nauka/Interperiodica, 2010. Pp. 264-275.
- V.A. Semenov, K.A. Kazakov, S.V. Morozov, O.A. Tarlapan, V.A. Zolotov, T. Dengenis 4D modeling of large industrial projects using spatio-temporal decomposition. eWork and eBusiness in Architecture, Engineering and Construction, ECPPM 2010 Proceedings. Publisher: CRC Press, Taylor & Francis Group, 2010. Pp. 69-78.
- Vitaly Semenov & Konstantine Kazakov & Vladislav Zolotov & Huw Jones & Stephan Jones Combined strategy for efficient collision detection in 4D planning applications. Computing in Civil and Building Engineering, Proceedings of the International Conference, 30 June-2 July, Nottingham, UK. Publisher: Nottingham University Press, 2010. Pp. 31 (full paper 6 p.p. published on CD).
- Kalugin M.D., Teplukhin A.V. Study of caffeine-DNA interaction in aqueous solution by parallel Monte Carlo simulation. Journal of Structural Chemistry, 2010.
- D.A. Grushin, A.I. Pospelov. Grid modeling environment: implementation and application.
Proceedings of the Institute for System Programming. Volume 18, 2010 . pp. 243-260.
- Pavel Iakovenko. Transparent mechanism for remote system call execution.
Proceedings of the Institute for System Programming. Volume 18, 2010 . pp. 221-242.
- Igor Burdonov, Alexander Kosachev. Conformance testing based on a state relation.
Proceedings of the Institute for System Programming. Volume 18, 2010 . pp. 183-220.
- A. Nikeshin, N. Pakulin, V. Shnitman. Conformance test suite for implementations of the security protocol suite IPsec v2.
Proceedings of the Institute for System Programming. Volume 18, 2010 . pp. 151-182.
- A.S. Kamkin. Some issues of automation of test program generation for branch units of microprocessors.
Proceedings of the Institute for System Programming. Volume 18, 2010 . pp. 129-150.
- M.M. Chupilko. Formal specifications-based automation of system testing of hardware designs.
Proceedings of the Institute for System Programming. Volume 18, 2010 . pp. 115-128.
- D.N. Vorobyev, A.S. Kamkin. Test Program Generation for Microprocessors Based on Pipeline Hazards Templates.
Proceedings of the Institute for System Programming. Volume 18, 2010 . pp. 91-114.
- Pavel Dovgalyuk, Maria Klimushenkova, Anna Mukhina. Development of plug-ins for architectures support in TrEx using language for processors instructions specification.
Proceedings of the Institute for System Programming. Volume 18, 2010 . pp. 81-90.
- Evgeni Kornykhin. Mirror-based method of constraints generation for test programs generation by test template.
Proceedings of the Institute for System Programming. Volume 18, 2010 . pp. 67-80.
- S. Groshev. Technology of heterogeneous logging, analysis and report generation.
Proceedings of the Institute for System Programming. Volume 18, 2010 . pp. 45-66.
- Victor V. Kuliamin. Model Based Testing Framework Using Component Technologies.
Proceedings of the Institute for System Programming. Volume 18, 2010 . pp. 9-44.
- V.P. Ivannikov. Introduction.
Proceedings of the Institute for System Programming. Volume 18, 2010 . pp. 5-8.
- A.I. Getman, Y.V. Markin, V.A. Padaryan, E.I. Shchetinin. Format recovery.
Proceedings of the Institute for System Programming. Volume 19, 2010 . pp. 195-214.
- I.I. Karetin, V.A. Makarov. Power saving code optimization based on using the power controllable components of CPU.
Proceedings of the Institute for System Programming. Volume 19, 2010 . pp. 187-194.
- V.A. Padaryan, M.A. Soloviev, A.I. Kononov. Modeling operational semantics of machine instructions.
Proceedings of the Institute for System Programming. Volume 19, 2010 . Стр. 165-186.
- N.N.Kuzjurin, A.I. Pospelov. Probabilistic analysis a algorithm for strip packing.
Proceedings of the Institute for System Programming. Volume 19, 2010 . pp. 157-164.
- Sergey A. Martishin, Marina V. Khrapchenko. The algorithm on base of Nelder–Mead modified method and genetic algorithm for strip packing problem.
Proceedings of the Institute for System Programming. Volume 19, 2010 . pp. 135-156.
- V.A. Semenov, O.V. Sidyaka. Theoretical and practical complexity estimates for local propagation methods in constraint-based programming applications.
Proceedings of the Institute for System Programming. Volume 19, 2010 . pp. 117-138.
- V.A. Semenov, D.V. Ilyin, S.V. Morozov, O.V. Sidyaka. Object-oriented constraint-based programming: a new paradigm using declarative data modeling languages.
Proceedings of the Institute for System Programming. Volume 19, 2010 . pp. 95-116.
- Leonid E. Karpov, Valery N. Yudin. Case-based multi-parametric object control.
Proceedings of the Institute for System Programming. Volume 19, 2010 . pp. 81-93.
- Leonid E. Karpov, Valery N. Yudin. Data exchange in distributed software system for decision support.
Proceedings of the Institute for System Programming. Volume 19, 2010 . pp. 71-80.
- Sergey D. Kuznetsov. MapReduce: within, outside, or on the side-by-side with parallel DBMSs?
Proceedings of the Institute for System Programming. Volume 19, 2010 . pp. 35-70.
- Sergey D. Kuznetsov. The year of epoch of changes for the database technology.
Proceedings of the Institute for System Programming. Volume 19, 2010 . pp. 9-34.
- V.P. Ivannikov. Introduction.
Proceedings of the Institute for System Programming. Volume 19, 2010 . pp. 5-8.
Back to the list of publications of ISP RAS