Software Engineering


Publications

Dissertations

  1. 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.
  2. Mutilin Vadim. Linux drivers verification using predicate abstraction. Diss. Institute for System Programming of the Russian Academy of Sciences, 2012.
  3. M.M. Chupilko. Dynamic verification of the digital equipment based on formal specifications. Diss. Institute for System Programming of the Russian Academy of Sciences, 2012. Print.
  4. Kichigin, Dmitry. Reduction method of the tests set for integrating testing. Diss. Institute for System Programming of the Russian Academy of Sciences, 2010.
  5. 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.
  6. 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.
  7. А.S. Kamkin. A specification-driven method for automating simulation-based verification of pipelined microprocessors. Diss. Institute for System Programming of the Russian Academy of Sciences, 2009.
  8. Rubanov, V.V. The method of automatic building cross-development tools for extensible embedded systems. Diss. Institute for System Programming of the Russian Academy of Sciences, 2008.
  9. Burdonov, Igor. Conformal theory for functional testing of program system based on formal models. Diss. Institute for System Programming of the Russian Academy of Sciences, 2008.
  10. Demakov, Alexey. Object-oriented description of graph representation of programs and models. Diss. Institute for System Programming of the Russian Academy of Sciences, 2006.
  11. Arhipova, Maria. Automatic test generation for semantic analyzers of translators. Diss. Institute for System Programming of the Russian Academy of Sciences, 2006.
  12. Pakulin, Nikolay. Formalization of Internet protocols standards and benchmarks. Diss. Institute for System Programming of the Russian Academy of Sciences, 2006.
  13. Khoroshilov, Aleksey. The specification and testing of components with asynchronous interface Diss. Institute for System Programming of the Russian Academy of Sciences, 2006.

Monographs

  1. Igor Burdonov, Alexander Kosachev. Nonconforming traces elimination from specification. Preprints of the Institute for System Programming of RAS, Preprint 23, 2011, pp. 1-219.
  2. Workshop on deductive programs verification. Workshop on deductive programs verification. MAKS Press, Moscow, 2014.
  3. Lavrishcheva E.M . Software Engineering of Computer Systems. Paradigms, technologies, CASE-tools. Наук. думка, 2013, 283 p.
  4. Burdonov, Igor. Theory of Conformity (functional testing of program systems based on formal models). LAP Lambert Academic Publishing, 2011.
  5. Burdonov, I.B., A.S. Kosachev, and V.V. Kulyamin. Theory of correspondences for systems with blocking and destruction. М.: Наука. Глав. ред. физ.-мат. лит., 2008. 412 p.
  6. Kulyamin, V.V. Programming technology. The component approach. Internet University of Information Technologies - BINOM. Knowledge Laboratory, 2007.

Other publications

2017

  1. E.M. Lavrischeva The scientific foundations of programs and technology programming systems
  2. V.O. Mordan Combination of static verification methods for checking requirements composition Proceedings of the Institute for System Programming. Volume 29, issue 3, 2017 . pp. 151-170.
  3. A.V. Khoroshilov, I.V. Shchepetkov ADV_SPM — Formal security policy models in practice Proceedings of the Institute for System Programming. Volume 29, issue 3, 2017 . pp. 43-56.

2016

  1. Ekaterina M.Lavrischeva. Assemblling Paradigms of Programming in Software Engineering. Journal of Software Engineering and Applications, 2016, 9, 296-317.
  2. Mordan V., Mutilin V. Checking several requirements at once by CEGAR Lecture Notes in Computer Science. — 2016. — Vol. 9609. — P. 218–232.
  3. S. Apel, D. Beyer, V. Mordan, V. Mutilin and A. Stahlbauer. On-The-Fly Decomposition of Specifications in Software Model Checking 24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering. – 2016.
  4. Denis Buzdalov. Simulation of AADL models with software-in-the-loop execution ACM SIGAda’s High Integrity Language Technology (HILT16) International Workshop on Model-Based Development and Contract-Based Programming as part of Embedded Systems Week (ESWEEK)
  5. I.B. Burdonov, A.S. Kossatchev Testing of automata system Proceedings of the Institute for System Programming. Volume 28, issue 1, 2016 . pp. 103-130.
  6. I.B. Burdonov, A.S. Kossatchev Automata system: composition according to graph of links Proceedings of the Institute for System Programming. Volume 28, issue 1, 2016 . pp. 131-150.
  7. I.B. Burdonov, A.S. Kossatchev Automata system: determinism conditions and testing Proceedings of the Institute for System Programming. Volume 28, issue 1, 2016 . pp. 151-184.
  8. K.M. Mallachiev, N.V. Pakulin, A.V. Khoroshilov Design and architecture of real-time operating system Proceedings of the Institute for System Programming. Volume 28, issue 2, 2016 . pp. 181-192.
  9. A.N. Emelenko, K.A. Mallachiev, N.V. Pakulin Developing a Debugger for Real-Time Operating System Proceedings of the Institute for System Programming. Volume 28, issue 2, 2016 . pp. 193-204.
  10. V.V. Kuliamin, E.M. Lavrischeva, V.S. Mutilin, A.K. Petrenko Verification and analysis of variable operating systems Proceedings of the Institute for System Programming. Volume 28, issue 3, 2016 . pp. 189-208.
  11. V.S. Burenkov, A.S. Kamkin Checking Parameterized Promela Models of Cache Coherence Protocols Proceedings of the Institute for System Programming. Volume 28, issue 4, 2016 . pp. 57-76.
  12. A.D. Tatarnikov Language for Describing Templates for Test Program Generation for Microprocessors Proceedings of the Institute for System Programming. Volume 28, issue 4, 2016 . pp. 77-98.
  13. A.S. Kamkin, A.M. Kotsynyak Specification-Based Test Program Generation for MIPS64 Memory Management Units Proceedings of the Institute for System Programming. Volume 28, issue 4, 2016 . pp. 99-114.

2015

  1. S.A. Smolov. A Method of Extended Finite State Machine Extraction from HDL Descriptions. Proceedings of Armensky Scientific and Technical Conference of Students, Graduates and Young Researchers of NRU HSE, pp.48-50.
  2. S.A. Smolov, A.S. Kamkin. A Method of Extended Finite State Machines Construction from HDL Descriptions Based on Static Analysis of Source Code. St. Petersburg State Polytechnical University Journal. Computer Science, Telecommunications. Iss. 1(212), 2015, pp. 60-73.
  3. A.D. Tatarnikov. A tool to automate development of test program generators for microprocessors based on formal specifications. Proceedings of Armensky Scientific and Technical Conference of Students, Graduates and Young Researchers of NRU HSE, pp.53-54.
  4. Denis Buzdalov and Alexey Khoroshilov About formal interpretation of architecture models. The Second Architecture Centric Virtual Integration (ACVI) Workshop Madrid, Spain on June, 26
  5. I. B. Bourdonov, A. S. Kossatchev, V. V. Kulyamin. Analysis of a Graph by a Set of Automata. Programming and Computer Software, 41(6):307-310, 2015.
  6. I.S. Zakharov, M.U. Mandrykin, V.S. Mutilin, E.M. Novikov, A.K. Petrenko, A.V. Khoroshilov. Configurable toolset for static verification of operating systems kernel modules. Programming and Computer Software, January 2015, Volume 41, Issue 1, pp 49-64.
  7. D.V. Efremov, N.Y. Komarov, A.V. Khoroshilov. Construction of the operating system kernel. Moscow, Publishing Department of the Faculty of Computational Mathematics and Cybernetics, Moscow State University named after MV University (License ID No 05899 of 24.09.2001); MAKS Press, 2015. - 160 p.
  8. M. U. Mandrykin, A. V. Khoroshilov High-Level Memory Model with Low-Level Pointer Cast Support for Jessie Intermediate Language. Programming and Computer Software. — 2015. — Vol. 41, no. 4. — P. 197–207.
  9. Lavrischeva Ekaterina. Ontological Approach to the Formal Specification of the Standard Life Cycle. "Science and Information Conference-2015", Jule 28-30, London, UK, p.965-972.
  10. Ekaterina M. Lavrischeva. Ontology of Domains. Ontological Description Software Engineering Domain—The Standard Life Cycle The Standard Life Cycle, Journal of Software Engineering and Applications, 2015, 8, p.1-15.
  11. I. B. Bourdonov, A. S. Kossatchev, V. V. Kulyamin. Parallel computations on a graph. Programming and Computer Software, 41(1):1-13, 2015.
  12. A.S. Kamkin. Projecting Transition Systems: Overcoming State Explosion in Concurrent System Verification. Programming and Computer Software, 2015, Vol. 41, No. 6, pp. 311–324.
  13. Alexey Khoroshilov, Eugene Kornykhin. PyCL – Python-based AADL Constraint Language. Proceedings of the Second International Workshop on Architecture Centric Virtual Integration - ACVI 2015, Madrid, Spain, June 26, 2015.
  14. Lavrischeva E.M. Software Engineering: New Disciplines And E-Learning Theme For Development Of Applied Systems. European Journal of Engineering and Technology, Progressive Academic Publishing, 2015, 3 (3), 36-63.
  15. M. Chupilko, A. Kamkin, A. Kotsynyak, A. Protsenko, S. Smolov, A. Tatarnikov. Specification-Based Test Program Generation for ARM VMSAv8-64 Memory Management Units. Proceedings of Microprocessor Test and Verification Workshop (MTV), 2015.
  16. Mikhail Mandrykin, Alexey Khoroshilov Towards Deductive Verification of Concurrent Linux Kernel Code with Jessie. Proceedings of the CSIT 2015.
  17. P. N. Devyanin, A. V. Khoroshilov, V. V. Kuliamin, A. K. Petrenko, and I. V. Shchepetkov. Using Refinement in Formal Development of OS Security Model. Proceedings of PSI 2015.
  18. E. Lavrischeva, L. Karpov, A. Tomilin Internet services for solving business problems Proceedings of the Institute for System Programming. Volume 27, issue 1, 2015 . pp. 125-150.
  19. Igor Burdonov, Alexander Kosachev Graph learning by a set of automata. The nondeterministic case Proceedings of the Institute for System Programming. Volume 27, issue 1, 2015 . pp. 51-68
  20. Igor Burdonov, Alexander Kosachev Monitoring of dynamically changed graph Proceedings of the Institute for System Programming. Volume 27, issue 1, 2015 . pp. 69-96.
  21. S. Smolov A Survey of Methods for Model Extraction from HDL Descriptions Proceedings of the Institute for System Programming. Volume 27, issue 1, 2015 . pp. 97-124.
  22. A.V. Nikeshin, N.V. Pakulin, V.Z. Shnitman. TLS Clients Testing Proceedings of the Institute for System Programming. Volume 27, issue 2, 2015 . pp. 145-160.
  23. Igor Burdonov, Alexander Kossatchev Parallel Calculations on Dynamic Graph Proceedings of the Institute for System Programming. Volume 27, issue 2, 2015 . pp. 189-220.
  24. V.A.Zakharov Modeling and Analysis of the Behavior of Successive Reactive Programs Proceedings of the Institute for System Programming. Volume 27, issue 2, 2015 . pp. 221-250.
  25. A. Kamkin, A. Protsenko, A. Tatarnikov An Approach to Test Program Generation Based on Formal Specifications of Caching and Address Translation Mechanisms Proceedings of the Institute for System Programming. Volume 27, issue 3, 2015 . pp. 125-138.
  26. A. Kamkin, M. Petrochenkov A Model-Based Approach to Design Test Oracles for Memory Subsystems of Multicore Microprocessors Proceedings of the Institute for System Programming. Volume 27, issue 3, 2015 . pp. 149-160.
  27. I. Melnichenko, A. Kamkin, S. Smolov An Extended Finite State Machine-Based Approach to Code Coverage-Directed Test Generation for Hardware Designs Proceedings of the Institute for System Programming. Volume 27, issue 3, 2015 . pp. 161-182.
  28. K. Mallachiev, N. Pakulin Remote Service of System Calls in Microkernel Hypervisor Proceedings of the Institute for System Programming. Volume 27, issue 3, 2015 . pp. 267-278.
  29. A.S. Kamkin, A.K. Petrenko and A.N. Terekhov Foreword Proceedings of the Institute for System Programming. Volume 27, issue 3, 2015 . pp. 7-8
  30. M.U. Mandrykin, A.V. Khoroshilov Towards Deductive Verification of C Programs with Shared Data Proceedings of the Institute for System Programming. Volume 27, issue 4, 2015 . pp. 49-68.
  31. M.U. Mandrykin, V.S. Mutilin Modeling Memory with Uninterpreted Functions for Predicate Abstractions Proceedings of the Institute for System Programming. Volume 27, issue 5, 2015 . pp. 117-142.
  32. E. Kornykhin, A. Khoroshilov Python-Based Constraint Language for Architecture Models Proceedings of the Institute for System Programming. Volume 27, issue 5, 2015 . pp. 143-156.
  33. A.Tsyvarev, A.Khoroshilov Using fault injection for testing Linux kernel components Proceedings of the Institute for System Programming. Volume 27, issue 5, 2015 . pp. 157-174.
  34. A. K. Petrenko, V. V. Kuliamin, A. V. Khoroshilov Integration Points of Operating System Verification Techniques Proceedings of the Institute for System Programming. Volume 27, issue 5, 2015 . pp. 175-190.
  35. P.S. Andrianov, V.S. Mutilin, A.V. Khoroshilov Lightweight Static Analysis for Data Race Detection in Operating System Kernels Proceedings of the Institute for System Programming. Volume 27, issue 5, 2015 . pp. 87-116.

2014

  1. D.Buzdalov, A.Khoroshilov. A discrete-event simulator for early validation of avionics systems Proceedings of the First International Workshop on Architecture Centric Virtual Integration - ACVI 2014, Valencia, Spain, September 29, 2014. CEUR WS Vol-1233, pp.28-38.
  2. A. Kotsynyak, A. Tatarnikov. A Generic Knowledgebase for Test Generation. Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE), 2014.
  3. A.Kamkin, S. Smolov A Method of EFSM Models Extraction from HDL Descriptions:Application to Functional Verification. The Proceedings of VI All-Russia Science & Technology Conference "Problems of Advanced Micro- and Nanoelectronic Systems Development", Vol. II. P. 113-118.
  4. A. Kamkin, M. Petrochenkov. A System to Support Formal Methods-Based Verification of Coherence Protocol Implementations. Voprosy radioehlektroniki [Issues of Radio Electronics], no. 3, 2014. P. 27-38.
  5. Andrianov Pavel, Khoroshilov Alexey, Mutilin Vadim An approach to lightweight static data race detection. Proceedings of the Spring/Summer Young Researchers' Colloquium on Software Engineering. ISP RAS, 2014. pp. 27-33.
  6. I.Burdonov, A. Kossachev, V. Kuliamin. Building direct and back spanning trees by automata on a graph. French-Russian Seminar on Software Verification, Testing, and Quality Estimation, Paris, France, November 24-25, 2014.
  7. S. Löwe, M. Mandrykin, P. Wendler. CPAchecker with Sequential Combination of Explicit-Value Analyses and Predicate Analyses - (Competition Contribution). Proceedings of TACAS. 2014. pp. 392-394.
  8. I.Burdonov, A. Kossachev, N. Yevtushenko. Deriving complete finite tests based on state machines. Proceedings of 12-th IEEE East-West Design& Tests Symposium (EWDTS 2014), Kharkov National University of Radioelectronics, 2014, pp. 100-103.
  9. M.U. Mandrykin, A.V. Khoroshilov Extended High-Level C-Compatible Memory Model with Limited Low-Level Pointer Cast Support for Jessie Intermediate Language Proceedings of Tools & Methods of Program Analysis, TMPA-2014, KSTU, Kostroma, Russia, pp. 36-45.
  10. A.S. Kamkin, T.I. Sergeeva, S.A. Smolov, A.D. Tatarnikov, M.M. Chupilko. Extensible Environment for Test Program Generation for Microprocessors. Programming and Computer Software. vol. 40, no. 1, 2014, P. 1-9.
  11. Igor Burdonov, Alexander Kossatchev. Graph learning by interacting automata. Tomsk state university journal of control and computer science, №3, 2014, pp. 67-75. Print.
  12. Igor Burdonov, Alexander Kossatchev. Graph learning by interacting automata. New information technics for complex structure learning. Proceeding of 10-th Russian conference. 2014, Tomsk state university publ., pp.47-48. Print.
  13. Andrianov Pavel, Khoroshilov Alexey, Mutilin Vadim Lightweight Static Analysis for Data Race Detection in Operating System Kernels. Proceedings of TMPA-2014, pp.128-135, November 14-15, 2014, Kostroma, Russia.
  14. Ilya Shchepetkov Method for automatic adapting of specifications of rules for correct usage of API. Proceedings of Theses of XXI International Scientific Conference for students, Phd. Students and young scientists “Lomonosov-2014”, pages 124-126.
  15. V. Mordan, E. Novikov. Minimizing the number of static verifier traces to reduce time for finding bugs in Linux kernel modules. Proceedings of the 8th Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE 2014), editors A. Kamkin, A. Petrenko, A. Terekhov, Saint Petersburg, Russia, May 29-31. ISP RAS, Moscow, 2014.
  16. Khoroshilov A., Mutilin V., Novikov E., Zakharov I. Modeling Environment for Static Verification of Linux Kernel Modules. Proceedings of PSI, pp. 116-125, 2014.
  17. Ekaterina Lavrischeva, Andrey Stenyashin, Andrii Kolesnyk. Object-Component Development of Application and Systems. Theory and Practice Journal of Software Engineering and Applications, 2014, 7, Published Online August 2014 in SciRes.
  18. Burdonov, A. Kossachev, V. Kuliamin. Parallel calculations by automata on direct and back spanning trees of a graph. French-Russian Seminar on Software Verification, Testing, and Quality Estimation, Paris, France, November 24-25, 2014.
  19. D. Beyer, S. Löwe, E. Novikov, A. Stahlbauer, P. Wendler. Precision reuse in CPAchecker. Proceedings of the Software Engineering 2014 conference (SE 2014), editors W. Hasselbring, N. C. Ehmke, LNI P-227, pages 41-42. Köllen Druck + Verlag GmbH, Bonn, 2014.
  20. K. Mallachiev, N. Pakulin. Protecting Applications from Highly Privileged Malware Using Bare-metal Hypervisor. Proceedings of the 8th Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE 2014), editors A. Kamkin, A. Petrenko, A. Terekhov, Saint Petersburg, Russia, May 29-31. ISP RAS, Moscow, 2014.
  21. M. Chupilko, A. Protsenko. Simulation-based Hardware Verification Back-end: Diagnostics. Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE), 2014.
  22. Alexey Khoroshilov. The Experience of Increasing Linux File System Test Coverage. OSADL Networking Day 2014, 4 June 2014, Heidelberg, Germany.
  23. Alexey Khoroshilov, Vadim Mutilin. The Experience of Linux Driver Verification. Talk at Dagstuhl Seminar 14171, Schloss Dagstuhl, 25 April 2014.
  24. Lavrischeva Ekaterina. The Operating Computing Complex «Dnepr-2» Proceedings of the 2014 Third International Conference on Computer Technology in Russia and in the Former Soviet Union SoRuCom 2014.
  25. Denis Efremov, Nikita Komarov Tools Support for Linux Kernel Deductive Verification Workflow. Proceedings of the Spring/Summer Young Researchers' Colloquium on Software Engineering, 2014 (8) Труды SYRCoSE 2014
  26. Ilya Shchepetkov Using Rodin for development and verification of Event-B models. Proceedings of the 11th conference for free software developers, pages 50-52.
  27. V.P. Ivannikov, A.S. Kamkin, M.M. Chupilko. Verifying Correctness of HDL-Model Behavior on the Basis of Dynamical Trace Matching. St. Petersburg State Polytechnical University Journal. Computer Science. Telecommunication and Control Systems, 2(193), 2014, pp. 130-142.
  28. Nikolay Pakulin, Victor Shnitman, Alexey Nikeshin. Automation of conformance testing for communication protocols. Proceedings of the Institute for System Programming. Volume 26, issue 1, 2014 . pp. 109-148.
  29. A. Kamkin, A. Kotsynyak, S. Smolov, A. Sortov, A. Tatarnikov, M. Chupilko. Tools for Functional Verification of Microprocessors. Proceedings of the Institute for System Programming. Volume 26, issue 1, 2014 . pp. 149-200.
  30. Buzdalov D.V., Zelenov S.V., Kornykhin E.V., Petrenko A.K., Strakh A.V., Ugnenko A.A., Khoroshilov A.V. Tools for System Design of Integrated Modular Avionics. Proceedings of the Institute for System Programming. Volume 26, issue 1, 2014 . pp. 201-230.
  31. Igor Burdonov, Alexander Kossatchev. Conformance theory development: semantics, formal models, algorithms. Proceedings of the Institute for System Programming. Volume 26, issue 1, 2014 . pp. 27-72.
  32. E.A. Gerlits, V.V. Kuliamin, A.V. Maksimov, A.K. Petrenko, A.V. Khoroshilov, A.V. Tsyvarev. Testing of Operating Systems. Proceedings of the Institute for System Programming. Volume 26, issue 1, 2014 . pp. 27-72.
  33. V. Kuliamin, A. Petrenko. Evolution of UniTESK Test Development Technology. Proceedings of the Institute for System Programming. Volume 26, issue 1, 2014 . pp. 9-26.
  34. Igor Burdonov, Alexander Kosachev. Graph learning by a set of automata. Proceedings of the Institute for System Programming. Volume 26, issue 2, 2014 . pp. 43-86.
  35. I.S. Zakharov, M.U. Mandrykin, V.S. Mutilin, E.M. Novikov, A.K. Petrenko, A.V. Khoroshilov. Configurable Toolset for Static Verification of Operating Systems Kernel Modules. Proceedings of the Institute for System Programming. Volume 26, issue 2, 2014 . pp. 5-42.
  36. Igor Burdonov, Alexander Kossachev. Building direct and back spanning trees by automata on a graph. Proceedings of the Institute for System Programming. Volume 26, issue 6, 2014 . pp. 57-62
  37. Igor Burdonov, Alexander Kossachev, Victor Kuliamin. Parallel calculations by automata on direct and back spanning trees of a graph. Proceedings of the Institute for System Programming. Volume 26, issue 6, 2014 . pp. 63-66

2013

  1. 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.
  2. 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
  3. 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.
  4. 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.
  5. 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.
  6. Bourdonov, I. B., and A. S. Kossatchev. Formalization of a Test Experiment-II. Programming and Computer Software 39.4(2013). 163-181.
  7. 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.
  8. E.A. Gerlits. MC/DC Coverage Measurement of C Programs. HUMANITIES & SCIENCE UNIVERSITY JOURNAL №5 (2013), pp. 203-210.
  9. 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.
  10. 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)
  11. V.P.Ivannikov, A.K.Petrenko. Operating systems verification. French-Rissuan seminar on Software Verification, Testing, and Quality Estimation, Paris, 24-25 November, 2014.
  12. 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.
  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.
  14. 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.
  15. 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.
  16. 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.
  17. 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.
  18. 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.
  19. 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.
  20. Vladimir Fedotov. Automated event trace analysis for regression testing. Proceedings of the Institute for System Programming. Volume 24, 2013 . pp. 317-326.
  21. 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.

2012

  1. Khoroshilov, A., Albitskiy, D., Koverninskiy, I., Olshanskiy, M., Petrenko, A., Ugnenko, A. AADL-Based Toolset for IMA System Design and Integration. SAE Int. J. Aerosp. 5(2):2012.
  2. M.M. Chupilko Developing Test Systems of Multi-Modeuls Hardware Designs. Programming and Computer Software, 2012, Vol. 38, No. 1, pp. 34-42. © Pleiades Publishing, Ltd., 2012.
  3. Buzdalov D. Enhancement of automated static verification efficiency through manual quantifiers instantiation. Proceedings of the 6th Spring/Summer Young Researchers’ Colloquium on Software Engineering SYRCoSE.
  4. Dirk Beyer and Alexander K. Petrenko. Linux Driver Verification. In T. Margaria and B. Steffen, editors, Proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2012, Part II, Heraklion, Crete, October 15-18), LNCS 7610, pages 1-6, 2012. Springer-Verlag, Heidelberg.
  5. Kamkin A., Tatarnikov A. MicroTESK: An ADL-Based Reconfigurable Test Program Generator for Microprocessors. Proceedings of the 6th Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE).
  6. N. Pakulin, A. Tugaenko, V. Shnitman. Model-Based Testing of E-Mail Protocols of the Internet. Programming and Computer Software, 2012, Vol. 38, No. 5, pp. 268-275. Pleiades Publishing, Ltd., 2012.
  7. Y. Gerlits, A. Khoroshilov. Model-Based Testing of Safety Critical Real-Time Control Logic Software. In Proceedings of the Seventh Workshop on Model-Based Testing (MBT 2012), Tallin, Estonia, March 25, 2012.
  8. A. Khoroshilov, I. Koverninskiy, M. Olshanskiy, A. Petrenko, A. Ugnenko. Model-based Tool Chain For System Design and System Integration of IMA. In Proceedings of the International Space System Engineering Conference DASIA-2012, pp. 67-71, Dubrovnik, Croatia, May 14-16, 2012.
  9. Denis Efremov, Nikolay Pakulin. Sevigator: Network Confinement of Malware Applications and Untrusted Operating Systems. Proceedings of SECRYPT 2012, SciTePress 2012, pp.395-398.
  10. M. U. Mandrykin, V. S. Mutilin, E. M. Novikov, A. V. Khoroshilov, and P. E. Shved. Using Linux Device Drivers for Static Verification Tools Benchmarking. Programming and Computer Software, 2012, Volume 38, Number 5, Pages 245-256.
  11. Igor Burdonov, Alexander Kosachev. The final models of specification. Proceedings of the Institute for System Programming. Volume 22, 2012 . pp. 233-280.
  12. Khoroshilov A.V., Mandrykin M.U., Mutilin V.S., Novikov E.M. Static Verification Tools for C Programs and Linux Device Drivers: A Survey. Proceedings of the Institute for System Programming. Volume 22, 2012 . pp. 293-326.
  13. Vadim Mutilin, Mikhail Mandrykin. Instantiation-Based Interpolation for Quantified Formulae in CSIsat. Proceedings of the Institute for System Programming. Volume 22, 2012 . pp. 327-348.
  14. Mutilin V.S., Novikov E.M., Khoroshilov A.V. Analysis of typical faults in Linux operating system drivers. Proceedings of the Institute for System Programming. Volume 22, 2012 . pp. 349-374.
  15. A.V. Tretyakov. Automation of scheduling for periodic real-time systems. Proceedings of the Institute for System Programming. Volume 22, 2012 . pp. 375-400.
  16. Igor Burdonov, Alexander Kosachev. Error dependencies on classes of implementations under testing. Proceedings of the Institute for System Programming. Volume 23, 2012 . pp. 323-358.
  17. V.V. Kuliamin. Combinatorial generation of operation system software configurations. Proceedings of the Institute for System Programming. Volume 23, 2012 . pp. 359-370.
  18. E.M. Novikov, A.V. Khoroshilov. Using Aspect-Oriented Programming for Querying Source Code. Proceedings of the Institute for System Programming. Volume 23, 2012 . pp. 371-386.
  19. A. Nikeshin, N. Pakulin, V. Shnitman. Test Suite development for verification of TLS security protocol. Proceedings of the Institute for System Programming. Volume 23, 2012 . pp. 387-404.
  20. D. Beyer, A.K. Petrenko. Linux Driver Verification. Proceedings of the Institute for System Programming. Volume 23, 2012 . pp. 405-412.
  21. A.V. Tsyvarev, V.A. Martirosyan. Testing of Linux File System Drivers. Proceedings of the Institute for System Programming. Volume 23, 2012 . pp. 413-426.

2011

  1. M. Chupilko, A. Kamkin. A TLM-based approach to functional verification of hardware components at different abstraction levels. Test Workshop (LATW), 2011 12th Latin American, 1-6.
  2. Vadim Mutilin, Evgeniy Gerlits, Vladimir Fedotov. Analysis of Complex Data Structures with PEX. SSSEV, 2011.
  3. M.Chupilko. C++TESK-SystemVerilog united approach to simulation-based verification of hardware designs. EWDTS-2011.
  4. V. Kuliamin, N. Pakulin, A. Tugaenko. Case Studies of Summer Model-based Testing Framework. Model-based Testing User Conference, October 18-20, 2011.
  5. O. Khorevsky, A. Khoroshilov, A. Ugnenko, S. Zelenov. Configurable AFDX network simulation. In Proceedings of the International Space System Engineering Conference DASIA-2011, pp. 31-34, San Anton, Malta, May 17-20, 2011.
  6. M.Chupilko. Developing test systems for multi-modules hardware designs. Proceedings of the Spring/Summer Young Researchers' Colloquium on Software Engineering, 2011, pp. 111-116.
  7. D. V. Silakov, A. V. Khoroshilov. Ensuring portability of software. Programming and Computer Software January 2011, Volume 37, Issue 1, pp 41-47.
  8. V.N. Fedotov. Fuzzy Matching for Partial XML Merge. Proceedings of the Spring/Summer Young Researchers' Colloquium on Software Engineering, 2011, pp. 42-44.
  9. A. Demakov, A. Kamkin, A. Sortov. High-Performance Testing: Parallelizing Functional Tests for Computer Systems Using Distributed Graph Exploration. Open Cirrus, 2011.
  10. Alexey Khoroshilov, Igor Koverninskiy, Alexander Petrenko, Alexender Ugnenko. Integrating AADL-based Tool Chain into Existing Industrial Processes. In Proceedings of 16th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS-2011), pp. 367-371, ISBN: 978-1-61284-853-2, Las Vegas, USA, April 27-29, 2011.
  11. N. Pakulin, A. Tugaenko. Model Based Conformance Testing for Extensible Internet Protocols. Proceedings of SYRCoSE 2011.
  12. A.V.Khoroshilov, A.K.Petrenko. Model Based Testing in LSB Compliance Program. MBT User Conference, Berlin, October 18-20th, 2011.
  13. E.M. Novikov. One Approach to Aspect-Oriented Programming Implementation for the C programming language. Proceedings of the Spring/Summer Young Researchers' Colloquium on Software Engineering, 2011, pp. 74-81.
  14. B. Bourdonov, V. P. Ivannikov, A.S.Kosachev, S. D. Kuznetsov A. N. Tomilin Operating System of the Multi-machine Computer AS-6. Perspectives on Soviet and Russian Computing. IFIP Advances in Information and Communication Technology, 2011, Volume 357/2011, pp. 31-35.
  15. A. Kamkin, E. Kornikhin, D. Vorobyev. Reconfigurable Model-Based Test Program Generator for Microprocessors. A-MOST, 2011.
  16. Vladimir V. Rubanov, Eugene A. Shatokhin. Runtime Verification of Linux Kernel Modules Based on Call Interception. Proc. of the Fourth IEEE International Conference on Software Testing, Verification and Validation (ICST'11), pp. 180-189. Berlin, Germany, March 2011.
  17. I.B.Bourdonov, A.S.Kossatchev. Safe simulation testing of systems with refusals and destructions. Automatic Control and Computer Sciences, Vol. 45, №7, 2011, pp. 380-389.
  18. A. Kamkin. Simulation-Based Verification with Time-Abstract Models. Design & Test Symposium (EWDTS), 2011 9th East-West, 43-47.
  19. P. Shved, V. Mutilin, M. Mandrykin. Static Verification Under The Hood: Implementation Details and Improvements of BLAST. Proceedings of the Spring/Summer Young Researchers' Colloquium on Software Engineering, 2011, pp. 54-60.
  20. A.S. Kamkin, M.M. Chupilko. Survey of modern technologies of simulation-based verification of hardware. Programming and Computer Software 37 (3), 147-152.
  21. Burdonov I., Ivannikov V., Kosachiov A. The KLASTOS Project SORUCOM-2011 Proceedings,12–16 September, 2011, Veliky Novgorod, Russia, pp. 76-82.
  22. Khoroshilov A., Mutilin V., Novikov E., Shved P., Strakh A. Towards an Open Framework for C Verification Tools Benchmarking. In Proceedings of the Eighth International Andrei Ershov Memorial Conference «PERSPECTIVES OF SYSTEM INFORMATICS» (PSI 2011), 82-91, Novosibirsk, Russia, June 27 - July 1, 2011.
  23. S.V. Zelenov. Scheduling of Strictly Periodic Tasks in Real-Time Systems. Proceedings of the Institute for System Programming. Volume 20, 2011 . pp. 113-122.
  24. N.V. Pakulin, A.N. Tugaenko. Model-based testing of Internet Mail Protocols. Proceedings of the Institute for System Programming. Volume 20, 2011 . pp. 125-141.
  25. A.S. Kamkin, M.M. Chupilko. Mechanisms for functional testing of hardware models at different levels of abstraction. Proceedings of the Institute for System Programming. Volume 20, 2011 . pp. 143-160.
  26. A.V. Khoroshilov, V.S. Mutilin, E.M. Novikov, P.E. Shved, A.V. Strakh. Linux Driver Verification Architecture. Proceedings of the Institute for System Programming. Volume 20, 2011 . pp. 163-187.
  27. D.V. Silakov. Using Hardware-assisted Virtualization in the Information Security Area. Proceedings of the Institute for System Programming. Volume 20, 2011 . pp. 25-36.
  28. Evgeny Kostychev, Vitaly Omelchenko, Sergey Zelenov. Covering functionality of database applications by generating special data. Proceedings of the Institute for System Programming. Volume 20, 2011 . pp. 253-268.

2010

  1. A. Berge, А. Baire, N. Pakulin. An approach to codec development for text-based protocols. TTCN3 User Conference 2010, Beijing, China. 8-10 June, 2010.
  2. 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.
  3. 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.
  4. 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.
  5. 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.
  6. 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.
  7. V. Kuliamin, A. Petukhov. Covering arrays generation methods survey. Proceedings of ISoLA 2010, pp.382-397. Heraclion, Greece, 2010.
  8. A. Kamkin. CTestBench: A Lightweight C-Based Tool for Specification and Functional Verification of Hardware Designs. East-West Design & Test Symposium, September, 2010.
  9. 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.
  10. A.Petrenko, A.Khoroshilov, V.Mutilin, V.Zakharov. Establishing Linux Driver Verification Process. Proceedings of the PSI 2009, LNCS, Volume 5947/2010, 165-176.
  11. 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.
  12. D. Silakov. Informational System to Support Development and Usage of Linux Interface Standards. Proceedings of SYRCoSE 2010. Moscow, 2010, pp.9-16.
  13. A.Petrenko, Yu.Gurevich, B.Finkbeiner. Model-Based Testing. Editor of proceddings. Electronic Note in Theoretical Computer Science, 2009.
  14. 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.
  15. 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).
  16. 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.
  17. V.Gingina. On requirements completeness analysis method. Proceedings of Spring/Summer Young Researchers' Colloquium on Software Engineering, Nizhniy Novgorod, 2010, pp. 29-32.
  18. 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.
  19. N. Pakulin, A. Tugaenko. Specification Based Conformance Testing for Email Protocols. Proceedings of ISoLA 2010, pp.371-382. Heraclion, Greece, 2010.
  20. 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.
  21. 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.
  22. Y. Gerlits. Testing AJAX functionality with UniTESK. Proceedings of the 4th Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCOSE), 2010, pp. 50-57.
  23. E. Chernov. Universal System for Creation and Installation Linux Packages. Proceedings of the SYRCoSE 2010, pp.17-19.
  24. 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.
  25. 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.
  26. 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.
  27. Igor Burdonov, Alexander Kosachev. Conformance testing based on a state relation. Proceedings of the Institute for System Programming. Volume 18, 2010 . pp. 183-220.
  28. S. Groshev. Technology of heterogeneous logging, analysis and report generation. Proceedings of the Institute for System Programming. Volume 18, 2010 . pp. 45-66.
  29. 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.
  30. Victor V. Kuliamin. Model Based Testing Framework Using Component Technologies. Proceedings of the Institute for System Programming. Volume 18, 2010 . pp. 9-44.
  31. 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.

2009

  1. N. Pakulin, V. Rubanov. A Flexible Approach to Automated Development of Cross Toolkits for Embedded Systems. Ershov Memorial Conference 2009: 331-343.
  2. V.V. Rubanov. A System for Analysis of Backward Binary Compatibility of Shared Libraries in Linux. Proceedings of SECR 2009.
  3. S. Smolov. Application of UniTESK Technology for Functional Testing of Infrastructural Grid Software. Proceedings of the Third Spring Young Researchers' Colloquium on Software Engineering, 2009, pp. 82-88.
  4. V.V. Rubanov. Automatic Analysis of Applications for Portability Across Linux Distributions. Electronic Communications of the EASST, Volume 20.
  5. S.G.Groshev. Bug localization by constructing reduced traces. Programming and Computer Software, Volume 35, Number 3, pp. 145-157, may 2009.
  6. A. Khoroshilov, V. Kuliamin, A. Petrenko, O. Petrenko, V. Rubanov. Building open learning environment for software engineering students. Skovde, Sweden, In Proceedings of the First International Workshop on “D4PL - Designing for participatory learning” (D4PL-2009), 6 June 2009, pp. 11-17.
  7. A.K.Petrenko. Certification of open-source software: A role for formal methods? // International Journal of Computer Systems Science and Engineering (IJCSSE), 2009.
  8. M. Chupilko. Constructing Test Sequences for Hardware Designs with Parallel Starting Operations Using Implicit FSM Models. EWDTS-2009 (East-West Design and Test Symposium 2009). Proceedings of IEEE East-West Design & Test Symposium (EWDTS 2009), 393-396 pp.
  9. V.V. Rubanov. Creating Open Educational Environment Based on Open Source Software Projects. Proceedings of CSEDU 2009.
  10. Denis Silakov. Designing a Development Environment to Support Creation of Standard-Compliant Applications. Third Spring Young Researchers' Colloquium on Software Engeneering (SYRCoSE). Moscow, 2009, pp.7-16.
  11. M.V. Arkhipova, S.V. Zelenov. Directed Generation of Test Data for Static Semantics Checker. ISoLA 2008. Communications in Computer and Information Science, vol. 17, Springer Berlin Heidelberg, 2009, 753-768.
  12. N. Pakulin, V. Rubanov. Early creation of cross toolkits for embedded systems. In Proceedings of the 2nd NESTER workshop.
  13. V. V. Kuliamin, V. A. Omelchenko, O. L. Petrenko. Formal Methods: for All or for Chosen? Proceedings of 1-st CSEDU, Lisboa, Portugal, 2009, pp. 217-222.
  14. P. Iakovenko. Log once, debug anywhere: a portable deterministic approach to record-replay test case execution. TTCN-3 User Conference. Sophia-Antipolis. France. 2009.
  15. A. Kamkin. MicroTESK: Automation of Test Program Generation for Microprocessors. East-West Design & Test Symposium, September 18-21, 2009, pp. 35-38.
  16. A.Petrenko. Model-Based Testing. Editor of proceedings. Electronic Note in Theoretical Computer Science, 2009.
  17. A. Khoroshilov. Open Source Certification and Educational Process. York, United Kingdom, In Proceedings of the Third International Workshop on Foundations and Techniques for Open Source Software Certification (OpenCert’2009), 28 March 2009, pp. 28-35.
  18. E. Kornikhin. SMT-based Test Program Generation for Cache-memory Testing. East and West-2009, pp124-127.
  19. A. Kamkin. Specification-Driven Construction of Testbench Checkers for RTL Models of Synchronous Parallel-Pipeline Hardware. Written for RTL and High-Level Testing Workshop, 2009.
  20. M. Chupilko, A. Kamkin. Specification-Driven Testbench Development for Synchronous Parallel-Pipeline Designs. NorChip-2009, pp.1-4.
  21. V. Kuliamin. Standardization and Testing of Mathematical Functions. Proc. of PSI’2009, Novosibirsk, Russia, June 2009, LNCS 5947:257-268, Springer, 2009.
  22. N. Pakulin. Telecommunication Protocol Testing. Microsoft Research & Institute for System Programming RAS Joint Workshop, Moscow, 19-20 June, 2009.
  23. Evgeni Kornikhin. Test Data Generation for LRU Cache-Memory testing. SYRCoSE'09, pp.88-92.
  24. Eugene Novikov, Denis Silakov. The Automated Analysis of Header Files for Support of the Standardization Process. Third Spring Young Researchers' Colloquium on Software Engeneering (SYRCoSE). Moscow, 2009, pp.27-34.
  25. S. Frenkel, A.Kamkin. Verification Methodology Based on Algorithmic State Machines and Cycle-Accurate Contract Specifications. East-West Design & Test Symposium, September 18-21, 2009, pp. 39-42.
  26. A. Kossachev, I. Burdonov, P.Iakovenko. Virtualization-based separation of privilege: working with sensitive data in untrusted environment. Proceedings of the 1st EuroSys Workshop on Virtualization Technology for Dependable Systems,2009, pp.1-6.
  27. А.С. Камкин. Метод формальной спецификации аппаратуры с конвейерной организацией и его приложение к задачам функционального тестирования. Proceedings of the Institute for System Programming. Volume 16 (in Russian), 2009 . Стр. 107-128.
  28. В.В. Рубанов. Метод формальной спецификации аппаратуры с конвейерной организацией и его приложение к задачам функционального тестирования. Proceedings of the Institute for System Programming. Volume 16 (in Russian), 2009 . Стр. 129-141.
  29. В. В. Кулямин. Перспективы интеграции методов верификации программного обеспечения. Proceedings of the Institute for System Programming. Volume 16 (in Russian), 2009 . Стр. 73-88.
  30. В.С. Мутилин. Метод проверки линеаризуемости многопоточных Java программ. Proceedings of the Institute for System Programming. Volume 16 (in Russian), 2009 . Стр. 89-106.
  31. Д.Н. Воробьев, А.С. Камкин. Генерация тестовых программ для подсистемы управления памятью микропроцессора. Proceedings of the Institute for System Programming. Volume 17 (in Russian), 2009 . Стр. 119-132.
  32. Я.С. Губенко, А.С. Камкин, М.М. Чупилко. Сравнительный анализ современных технологий разработки тестов для моделей аппаратного обеспечения. Proceedings of the Institute for System Programming. Volume 17 (in Russian), 2009 . Стр. 133-143.
  33. Е. В. Корныхин. Генерация тестовых данных для системного функционального тестирования микропроцессоров с учетом кэширования и трансляции адресов. Proceedings of the Institute for System Programming. Volume 17 (in Russian), 2009 . Стр. 145-160.
  34. И.Б. Бурдонов, А.С. Косачев. Полное тестирование с открытым состоянием ограниченно недетерминированных систем. Proceedings of the Institute for System Programming. Volume 17 (in Russian), 2009 . Стр. 161-192.
  35. И.Б. Бурдонов, А.С. Косачев. Полное тестирование с открытым состоянием ограниченно недетерминированных систем. Proceedings of the Institute for System Programming. Volume 17 (in Russian), 2009 . Стр. 193-208.
  36. Д. В. Силаков, А.В. Хорошилов. Методы обеспечения переносимости ПО. Proceedings of the Institute for System Programming. Volume 17 (in Russian), 2009 . Стр. 25-39.
  37. Н.В. Пакулин, С.А. Смолов. Применение технологии UniTESK для функционального тестирования инфаструктурного ПО Грид. Proceedings of the Institute for System Programming. Volume 17 (in Russian), 2009 . Стр. 41-61.
  38. А. В. Баранцев, С. В. Грошев, В. А. Омельченко. Генерация оптимизированных для ручного выполнения сценариев тестирования приложений с графическим интерфейсом пользователя. Proceedings of the Institute for System Programming. Volume 17 (in Russian), 2009 . Стр. 75-92.
  39. В. В. Кулямин. Организация сложных тестовых наборов. Proceedings of the Institute for System Programming. Volume 17 (in Russian), 2009 . Стр. 9-24.
  40. М.В. Архипова, С.В. Зеленов. Направленная генерация тестовых данных для анализаторов статической семантики. Proceedings of the Institute for System Programming. Volume 17 (in Russian), 2009 . Стр. 93-117.

2008

  1. Konstantin Vlasov, Vladimir Rubanov, Andrey Smachev Automated Analysis of Cross-Distribution Compatibility of Linux Applications Proceedings of «Software Engineering Conference Russia 2008», Moscow 2008.
  2. Alexey V. Khoroshilov, Vladimir V. Rubanov, Eugene A. Shatokhin. Automated Formal Testing of C API Using T2C Framework. In Proceedings of the Third International Symposium «Leveraging Applications of Formal Methods, Verification and Validation» (ISoLA 2008), Porto Sani, Greece, October 13-15, 2008. pp 56-70.
  3. A.Kossachev. Automated test Generation’s Technology. Сучаснi проблеми прикладноi математики та iнформатики, Львiв, 2008, стр.98.
  4. Vladimir Rubanov, Denis Silakov. Certifcation Infrastructure for the Linux Standard Base (LSB). Proceedings of the second International Workshop on Foundations and Techniques for Open Source Software Certifcation (OpenCert 2008). Milan, Italy, 2008. pp. 79-88.
  5. A. Kamkin. Coverage-Directed Verification of Microprocessor Units Based on Contract Specifications. EWDTS 2008, pp. 84-87.
  6. E. S. Chernov. Extension of interface signature descriptions for automatic test generation. Proceedings of the Spring/Summer Young Researchers' Colloquium on Software Engineering, Volume 2, pp. 37-42.
  7. A.Petrenko. Formal Methods and Innovation Economy: Facing New Challenges. Proceedings of the 6th IEEE International Conference on Software Enginering and Formal Methods, Cape Town, South Africa, 10-14 November 2008.
  8. A. Khoroshilov, V. Mutilin. Formal Methods for Open Source Components Certification. Milan, Italy, In Proceedings of the Second International Workshop on Foundations and Techniques for Open Source Software Certification (OpenCert’2008), 10 September 2008, pp. 52-63.
  9. Khoroshilov A., Mutilin V., Shcherbina V., Strikov O., Vinogradov S., Zakharov V.A. How to cook an automated system for Linux driver verification. Proceedings of the 1st Spring Young Researchers’ Colloquium on Software Engineering SYRCoSE 2008 (St Petersburg, May 29-30, 2008), 2008, Санкт-Петербург, с. 15-19.
  10. Vladimir Rubanov, Nikolay Pakulin. ISE language: the ADL for Efficient Development of Cross Toolkits. Proceedings of Model Based Architecting and Construction of Embedded Systems Conference 2008, France. pp. 87-98.
  11. Petrenko Alexander, Kuliamin Victor, Petrenko Olga, Rubanov Vladimir, Khoroshilov Alexey. IT Education Approach Based On Free Software Development Projects. Proceedings of the All-Russian Conference "IT Education in Russia", May 12-13, 2008, Nizhny Novgorod, Russia.
  12. Denis Silakov. Linux Distributions and Applications Analysis During Linux Standard Base Development. Second Spring Young Researchers' Colloquium on Software Engeneering (SYRCoSE). St. Petersburg, 2008, V.1, pp.11-18.
  13. M.Chupilko, A.Kamkin, D.Vorobyev. Methodolody and Experience of Simulation-Based Verification of Microprocessor Units Based on Cycle-Accurate Contract Specifications. Proceedings of the Spring/Summer Young Researchers' Colloquium on Software Engineering, Volume 2, 2008. pp. 25-31.
  14. V.V. Kuliamin. Methods of software verification. Competition of the overview and analytical articles on "Information systems", 2008.
  15. Alexey Khoroshilov, Denis Silakov. Software Portability: Forty Years Later. Proceedings of the International Conference "Software Engineering Conference (Russia)", Moscow, Russia, October 21-25, 2008. 318-331. (in Russian)
  16. M. A. Potapov, E. A. Shatokhin Some methods of automatic analysis and controllable transformation of programs Automation and Remote Control, August 2008, Volume 69, Issue 8, pp 1433-1443.
  17. E. Kornikhin. Test Data Generation for Arithmetic Subsystem of CPUs MIPS64. Proceedings of SYRCoSE'08, Volume 2, pp.43-46.
  18. Е.В. Корныхин. Генерация тестовых данных для тестирования арифметических операций центральных процессоров. Proceedings of the Institute for System Programming. Volume 15 (in Russian), 2008 . Стр. 107-117.
  19. А. К. Петренко, О. Л. Петренко, В. В. Кулямин. Роль научных организаций в подготовке ИТ- специалистов. Proceedings of the Institute for System Programming. Volume 15 (in Russian), 2008 . Стр. 41-49.
  20. И.Б. Бурдонов, А.С. Косачев. Обобщённые семантики тестового взаимодействия. Proceedings of the Institute for System Programming. Volume 15 (in Russian), 2008 . Стр. 69-105.
  21. В.В. Рубанов. Обзор методов описания встраиваемой аппаратуры и построения инструментария кросс-разработки. Proceedings of the Institute for System Programming. Volume 15 (in Russian), 2008 . Стр. 7-40.
  22. С.В. Зеленов, С.А. Зеленова. Автоматическое определение выполнимости наборов формул для операций сравнения. Proceedings of the Institute for System Programming. Volume 14, issue 1 (in Russian), 2008 . Стр. 109-118.
  23. А.В. Демаков, С.В. Зеленов, С.А. Зеленова. Генератор сложных данных Pinery: реализация новых возможностей UniTESK. Proceedings of the Institute for System Programming. Volume 14, issue 1 (in Russian), 2008 . Стр. 119-136.
  24. С.Г. Грошев. Локализация ошибок методом сокращенного воспроизведения трассы. Proceedings of the Institute for System Programming. Volume 14, issue 1 (in Russian), 2008 . Стр. 137-160.
  25. Е.С. Чернов, В. В. Кулямин. Тестирование современных библиотек тригонометрических функций. Proceedings of the Institute for System Programming. Volume 14, issue 1 (in Russian), 2008 . Стр. 161-178.
  26. И.Б. Бурдонов, А.С. Косачев. Системы с приоритетами: конформность, тестирование, композиция. Proceedings of the Institute for System Programming. Volume 14, issue 1 (in Russian), 2008 . Стр. 23-54.
  27. И.Б. Бурдонов, А.С. Косачев. Эквивалентные семантики взаимодействия. Proceedings of the Institute for System Programming. Volume 14, issue 1 (in Russian), 2008 . Стр. 55-72.
  28. А.К. Петренко. Унификация в автоматизации тестирования. Позиция UniTESK. Proceedings of the Institute for System Programming. Volume 14, issue 1 (in Russian), 2008 . Стр. 7-22.
  29. В.С. Мутилин. Многопоточное тестирование программных интерфейсов. Proceedings of the Institute for System Programming. Volume 14, issue 1 (in Russian), 2008 . Стр. 73-88.
  30. В.В. Кулямин. Критерии тестового покрытия, основанные на структуре контрактных спецификаций. Proceedings of the Institute for System Programming. Volume 14, issue 1 (in Russian), 2008 . Стр. 89-108.
  31. Р.С. Зыбин, А.В. Пономаренко, В.В. Рубанов, Е.С. Чернов. Расширение описаний сигнатур операций для автоматической генерации тестов. Proceedings of the Institute for System Programming. Volume 14, issue 2 (in Russian), 2008 . Стр. 109-128.
  32. А.В. Пономаренко, Е.С. Чернов. Алгоритм генерации тестов работоспособности на основе расширенной базы данных LSB. Proceedings of the Institute for System Programming. Volume 14, issue 2 (in Russian), 2008 . Стр. 129-142.
  33. Р.С. Зыбин. Опыт применения технологии Azov для тестирования библиотеки Qt3. Proceedings of the Institute for System Programming. Volume 14, issue 2 (in Russian), 2008 . Стр. 143-158.
  34. Д.В. Силаков. Автоматизация тестирования web-приложений, основанных на скриптовых языках. Proceedings of the Institute for System Programming. Volume 14, issue 2 (in Russian), 2008 . Стр. 159-178.
  35. А.С. Камкин. Генерация тестовых программ для микропроцессоров. Proceedings of the Institute for System Programming. Volume 14, issue 2 (in Russian), 2008 . Стр. 23-64.
  36. В.В. Рубанов, А.В. Хорошилов, Е.А. Шатохин. T2C: технология автоматизированной разработки тестов базовой функциональности программных интерфейсов. Proceedings of the Institute for System Programming. Volume 14, issue 2 (in Russian), 2008 . Стр. 65-82.
  37. А.C. Камкин, М.M. Чупилко. Тестирование модулей арифметики с плавающей точкой микропроцессоров на соответствие стандарту IEEE 754. Proceedings of the Institute for System Programming. Volume 14, issue 2 (in Russian), 2008 . Стр. 7-22.
  38. Р.С. Зыбин, В.В. Кулямин, А.В. Пономаренко, В.В. Рубанов, Е.С. Чернов. Технология Azov автоматизации массового создания тестов работоспособности. Proceedings of the Institute for System Programming. Volume 14, issue 2 (in Russian), 2008 . Стр. 83-108.

2007

  1. S.Zelenov, S.Zelenova. Model-Based Testing of Optimizing Compilers. Proc. of the 19th IFIP TC6/WG6.1 International Conference on Testing of Software and Communicating Systems - 7th International Workshop on Formal Approaches to Testing of Software (TestCom/FATES 2007), LNCS 4581, Springer-Verlag, Berlin, 2007, 365-377.
  2. В.С. Мутилин. Тестирование компонентов, взаимодействующих посредством удаленного вызова методов. Proceedings of the Institute for System Programming. Volume 13, issue 1 (in Russian), 2007 . Стр. 103-122.
  3. А.С. Камкин. Использование контрактных спецификаций для автоматизации функционального тестирования моделей аппаратного обеспечения. Proceedings of the Institute for System Programming. Volume 13, issue 1 (in Russian), 2007 . Стр. 123-142.
  4. Д. В. Силаков. Текущее состояние и перспективы развития инфраструктуры LSB. Proceedings of the Institute for System Programming. Volume 13, issue 1 (in Russian), 2007 . Стр. 31-46.
  5. С.В. Зеленов, Н.В. Пакулин. Верификация компиляторов – систематический подход. Proceedings of the Institute for System Programming. Volume 13, issue 1 (in Russian), 2007 . Стр. 47-64.
  6. В.В. Гингина, С.В. Зеленов, С.А. Зеленова. Тестирование трансляторов: проблема построения оракула для генератора кода. Proceedings of the Institute for System Programming. Volume 13, issue 1 (in Russian), 2007 . Стр. 65-78.
  7. Н.В. Пакулин, А.К. Петренко, О.Л. Петренко, А.А. Сортов, А.В. Хорошилов. Открытые стандарты и новые формы международного сотрудничества. Proceedings of the Institute for System Programming. Volume 13, issue 1 (in Russian), 2007 . Стр. 7-30.
  8. Д.Ю. Кичигин. Об одном методе сокращения набора тестов. Proceedings of the Institute for System Programming. Volume 13, issue 1 (in Russian), 2007 . Стр. 79-92.
  9. К. А. Власов, А. С. Смачёв. Методика автоматизированной проверки возвращаемых кодов ошибок при тестировании программных интерфейсов. Proceedings of the Institute for System Programming. Volume 13, issue 1 (in Russian), 2007 . Стр. 93-102.
  10. В.В. Рубанов, К.А. Власов. Разработка ОС реального времени для цифрового сигнального процессора. Proceedings of the Institute for System Programming. Volume 13, issue 2 (in Russian), 2007 . Стр. 165-178.

2006

  1. S.Zelenov, S.Zelenova. Automated Generation of Positive and Negative Tests for Parsers. Proc. of the 5th Int. Workshop on Formal Approaches to Testing of Software (FATES 2005), LNCS 3997, Springer-Verlag, Berlin, 2006, 187-202.
  2. S.Zelenov, D.Silakov, A.K.Petrenko, M.Conrad, I.Fey. Automatic Test Generation for Model-Based code Generators. IEEE ISoLA 2006 Second Intern.Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Paphos, Cyprus, 2006, pp. 68-75.
  3. V.Mutilin. Concurrent Testing of Java Components Using Java PathFinder. IEEE ISoLA 2006 Second Intern.Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Paphos, Cyprus, 2006, pp. 45-51.
  4. N. Pakulin Conformance Testing from Researcher's Point of View. French Worldwide IPv6 Summit. November 14, 2006. Cannes, France.
  5. I.B.Bourdonov, A.S.Kossatchev, V.V.Kuliamin. Formal Conformance Testing of Systems with Refused Inputs and Forbidden Actions. Proceedings of the Workshop on Model Based Testing (MBT 2004), Elsevier, 2006.
  6. A.Grinevich, A.Khoroshilov, V.Kuliamin, D.Markovtsev, A.Petrenko, V.Rubanov. Formal Methods in Industrial Software Standards Enforcement. Proc. of PSI'2006, Novosibirsk, Russia, June 2006.
  7. А.В. Пономаренко. Разработка модельной реализации функций Бесселя из стандарта LSB. Proceedings of the Institute for System Programming. Volume 10 (in Russian), 2006 . Стр. 115-142.
  8. А.С. Камкин. Тестирование в условиях неполной информации. Подход к разработке спецификаций и генерации тестов. Proceedings of the Institute for System Programming. Volume 10 (in Russian), 2006 . Стр. 143-166.
  9. А.И. Гриневич, Д.А. Марковцев, В.В. Рубанов. Проблемы совместимости Linux-систем. Proceedings of the Institute for System Programming. Volume 10 (in Russian), 2006 . Стр. 15-28.
  10. А.В. Хорошилов. Linux Standard Base: история успеха? Proceedings of the Institute for System Programming. Volume 10 (in Russian), 2006 . Стр. 29-50.
  11. А.И. Гриневич, В.В. Кулямин, Д.А. Марковцев, А.К. Петренко, В.В. Рубанов, А.В. Хорошилов. Использование формальных методов для обеспечения соблюдения программных стандартов. Proceedings of the Institute for System Programming. Volume 10 (in Russian), 2006 . Стр. 51-68.
  12. В.В. Кулямин. Формальные подходы к тестированию математических функций. Proceedings of the Institute for System Programming. Volume 10 (in Russian), 2006 . Стр. 69-114.
  13. В.П.Иванников, А.К. Петренко. Задачи верификации ОС Linux в контексте ее использования в государственном секторе. Proceedings of the Institute for System Programming. Volume 10 (in Russian), 2006 . Стр. 9-14.
  14. С.В. Зеленов, Д.В. Силаков. Автоматическая генерация тестовых данных для оптимизаторов графических моделей. Proceedings of the Institute for System Programming. Volume 9 (in Russian), 2006 . Стр. 129-142.
  15. В.В. Кулямин, В.А. Омельченко, О.Л. Петренко. Формирование профессиональных компетенций современного разработчика ПО. Proceedings of the Institute for System Programming. Volume 9 (in Russian), 2006 . Стр. 237-250.
  16. М.А. Владимиров. Критерии полноты тестового покрытия в генетических алгоритмах генерации тестов. Proceedings of the Institute for System Programming. Volume 9 (in Russian), 2006 . Стр. 57-66.
  17. С.Г. Грошев. Применение технологии UniTesK для тестирования систем с различной конфигурацией активных потоков управления. Proceedings of the Institute for System Programming. Volume 9 (in Russian), 2006 . Стр. 67-82.
  18. А.В. Демаков, С.В. Зеленов, С.А. Зеленова. Генерация тестовых данных сложной структуры с учетом контекстных ограничений. Proceedings of the Institute for System Programming. Volume 9 (in Russian), 2006 . Стр. 83-96.
  19. В.С. Мутилин. Паттерны проектирования тестовых сценариев. Proceedings of the Institute for System Programming. Volume 9 (in Russian), 2006 . Стр. 97-128.

2005

  1. V.V.Kuliamin, V.A.Omelchenko, O.L.Petrenko. Active Learning Facilitates Success of Formal Methods in Practice. Formal Methods: Challenges in the business world. Proc. of 2-nd SEEFM, Ohrid, Macedonia, 18-19 Nov 2005, pp.132-141, SEERC, 2005.
  2. V.Kuliamin, A.Petrenko, N.Pakoulin. Extended Design-by-Contract Approach to Specification and Conformance Testing of Distributed Software. Proc. of 9-th WMSCI, Orlando, USA, July 2005, v. VII. Model Based Development and Testing, pp. 65-70.
  3. V.Kuliamin, A.Petrenko, N.Pakoulin. Practical Approach to Specification and Conformance Testing of Distributed Network Applications. Proc. of 2-nd ISAS 2005, Berlin, Germany, April 2005, pp. 60-73 M. Malek, E. Nett, N. Suri, eds. Service Availability. LNCS 3694, pp. 68-83, Springer-Verlag, 2005.

2004

  1. V.Kuliamin, A.K.Petrenko. Applying Model Based Testing in Different Contexts. Proc. of Seminar on Perspectives on Model Based Testing, Dagstuhl, Germany, September 2004.
  2. V.Kuliamin. Model Based Testing of Large-scale Software: How Can Simple Models Help to Test Complex System. Proc of ISOLA 2004, Cyprus, October 2004, pp. 311-316.
  3. V.Kuliamin. Multi-paradigm Models as Source for Automated Test Construction. Proc. of Workshop on Model Based Testing, Barcelona, Spain, March 2004. Electronic Notes in Theoretical Computer Science 111:137-160, 2005, Elseveir.
  4. Н.В. Пакулин. Применение UniTesK к тестированию встроенных систем. Proceedings of the Institute for System Programming. Volume 8, issue 1 (in Russian), 2004 . Стр. 117-136.
  5. В.В. Кулямин. Комбинаторика слов и построение тестовых последовательностей. Proceedings of the Institute for System Programming. Volume 8, issue 1 (in Russian), 2004 . Стр. 25-40.
  6. С.В. Зеленов, С.А. Зеленова. Автоматическая генерация позитивных и негативных тестов для тестирования фазы синтаксического анализа. Proceedings of the Institute for System Programming. Volume 8, issue 1 (in Russian), 2004 . Стр. 41-58.
  7. М.В. Архипова. Генерация тестов для модулей проверки статической семантики в компиляторах. Proceedings of the Institute for System Programming. Volume 8, issue 1 (in Russian), 2004 . Стр. 59-76.
  8. А.А. Сортов, А.В. Хорошилов. Функциональное тестирование Web-приложений на основе технологии UniTesK. Proceedings of the Institute for System Programming. Volume 8, issue 1 (in Russian), 2004 . Стр. 77-98.
  9. А.В. Баранцев, В.В. Кулямин, В.А. Омельченко, О.Л. Петренко. Проблемы внедрения наукоемких технологий. Proceedings of the Institute for System Programming. Volume 8, issue 1 (in Russian), 2004 . Стр. 9-24.
  10. В.В. Кулямин, В. А. Омельченко, О. Л. Петренко. Обучение передовым технологиям разработки ПО: проблемы и методы их решения. Proceedings of the Institute for System Programming. Volume 5 (in Russian), 2004 . Стр. 101-120.
  11. A.В. Баранцев, И.Б. Бурдонов, А.В. Демаков, С.В. Зеленов, А.С. Косачев, В.В. Кулямин, В.А. Омельченко, Н.В. Пакулин, А.К. Петренко, А.В. Хорошилов. Подход UniTesK к разработке тестов: достижения и перспективы. Proceedings of the Institute for System Programming. Volume 5 (in Russian), 2004 . Стр. 121-156.

2003

  1. V.V.Kuliamin, A.K.Petrenko, N.V.Pakoulin, A.S.Kossatchev, I.B.Bourdonov. Integration of Functional and Timed Testing of Real-time and Concurrent Systems. Proc. of PSI 2003, LNCS 2890, pp. 450-461, Springer-Verlag, 2003.
  2. V.Kuliamin, A.Petrenko, A.Kosatchev, I.Bourdonov. UniTesK: Model Based Testing in Industrial Practice. Proceedings of the 1-st European Conference on Model-Driven Software Engineering, Nurnberg, December 2003, pp. 55-63.
  3. Г.В. Ключников, А. С. Косачев, Н.В. Пакулин, А. К. Петренко, В.З. Шнитман Применение формальных методов для тестирования реализации IPv6. Proceedings of the Institute for System Programming. Volume 4 (in Russian), 2003 . Стр. 121-140.
  4. В. В. Кулямин, О. Л. Петренко. Место тестирования среди методов оценки качества ПО. Proceedings of the Institute for System Programming. Volume 4 (in Russian), 2003 . Стр. 163-175.
  5. И.Б. Бурдонов, А.С. Косачев, В.В. Кулямин. Асинхронные автоматы: классификация и тестирование. Proceedings of the Institute for System Programming. Volume 4 (in Russian), 2003 . Стр. 7-83.

2002

  1. I.Bourdonov, A.Kossatchev, V.Kuliamin, and A.Petrenko. UniTesK Test Suite Architecture. Proc. of FME 2002. LNCS 2391, pp. 77-88, Springer-Verlag, 2002.

2001

  1. I.B.Bourdonov, A.V.Demakov, A.A.Jarov, A.S.Kossatchev, V.V.Kuliamin, A.K.Petrenko, and S.V.Zelenov. Java Specification Extension for Automated Test Development. Proceedings of PSI'01. LNCS 2244, pp. 301-307. Springer-Verlag, 2001.
  2. A.K.Petrenko. Specification Based Testing: Towards Practice. Perspectives of System Informatics. LNCS, No.2244, 2001, pp. 287-300.

2000

  1. И.Б. Бурдонов, А.В. Демаков, А.С. Косачев, А.В. Максимов, А.К. Петренко. Формальные спецификации в технологиях обратной инженерии и верификации программ. Proceedings of the Institute for System Programming. Volume 1 (in Russian), 2000 . Стр. 39-54.

1999

  1. I.Burdonov, A.Kosatchev, A.Petrenko, D.Galter. KVEST: Automated Generation of Test Suites from Formal Specifications. Proceedings of Formal Method Congress, Toulouse, France, 1999, LNCS, No. 1708, pp.608-621.

1978-1997

  1. I.Burdonov, A.Kossatchev, S.Cheng, H.Wong. Formal Specification and Verification of SOS Kernel. BNR/NORTEL Design Forum, June 1996.