Issue 2014 (8)

Proceedings of the Spring/Summer Young Researchers' Colloquium on Software Engineering

ISBN 978-5-91474-020-4 (Preliminary Proceedings)

The issue contains selected papers presented at the 8th Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE 2014) held in Saint Petersburg, Russia on May 29-31, 2014. Paper selection was based on a competitive peer review process being done by the program committee. Both regular and research-in-progress papers were considered acceptable for the colloquium. The topics of the colloquium include formal methods, embedded system design, system programming, process mining, testing, compiler technologies and others.


Dear participants, we are glad to meet you at the 8th Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE). The event is held in Saint Petersburg, the second largest city in Russia and its cultural capital. The colloquium is hosted by Saint Petersburg State Polytechnical University (SPbSPU), one of the top research and educational institutions in Russian Federation in the field of applied physics and mathematics, industrial engineering, chemical engineering, aerospace engineering and many other disciplines. SYRCoSE 2014 is organized by Institute for System Programming of the Russian Academy of Sciences (ISPRAS) and Saint Petersburg State University (SPbSU) jointly with SPbSPU.

In this year, Program Committee (consisting of 50 members from more than 25 organizations) has selected 31 papers. Each submitted paper has been reviewed independently by three referees. Participants of SYRCoSE 2014 represent well-known universities, research institutes and companies such as Aarhus University, Exactpro Systems, ISPRAS, JSS Research Foundation, JSS Academy of Technical Education, Kostroma State Technological University, National Research University – Higher School of Economics, Obninsk Institute for Nuclear Power Engineering, Perm State National Research University, Saint Petersburg Electrotechnical University “LETI”, SPbSPU, SPbSU, TELECOM SudParis, Tomsk State University, Ulyanovsk State Technical University, Yandex, Yaroslavl State University and Yuri Gagarin State Technical University of Saratov (4 countries, 13 cities and 18 organizations).

We would like to thank all of the participants of SYRCoSE 2014 and their advisors for interesting papers. We are also very grateful to the PC members and the external referees for their hard work on reviewing the papers and selecting the program. Our thanks go to the invited speakers, Bertrand Meyer (ETH Zürich, Switzerland) and Kostya Serebryany (Google Moscow, Russia). We would also like to thank our sponsors and supporters: Russian Foundation for Basic Research (grant 14-07-06006), Google, Exactpro Systems and CyberLeninka. Finally, our special thanks to local organizers, Igor Chernorutskiy, Vsevolod Kotlyarov and Tatyana Elamic (SPbSPU), for their invaluable help in organizing the colloquium in Saint Petersburg.

Sincerely yours
Alexander S. Kamkin, Alexander K. Petrenko and Andrey N. Terekhov
May 2014

Formal Methods

I. Knizhnikova, L. Dworzanski. Modular Construction of Time Petri Nets Reachability Graph. DOI: 10.15514/SYRCOSE-2014-8-1.

V. Bashkin, N. Panfilova. On the Deadlock Control in Parallel Resource-Constrained Workflows. DOI: 10.15514/SYRCOSE-2014-8-2.

D. Ryabukhin, E. Kuzmin. LTL-Specification, Verification and Construction of PLC Programs. DOI: 10.15514/SYRCOSE-2014-8-3.

P. Andrianov, A. Khoroshilov, V. Mutilin. An Approach to Lightweight Static Data Race Detection. DOI: 10.15514/SYRCOSE-2014-8-4.

V. Mordan, E. Novikov. Minimizing the Number of Static Verifier Traces to Reduce Time for Finding Bugs in Linux Kernel Modules. DOI: 10.15514/SYRCOSE-2014-8-5.

D. Efremov, N. Komarov. Tools Support for Linux Kernel Deductive Verification Workflow. DOI: 10.15514/SYRCOSE-2014-8-6.

R. Haberland, S. Ivanovskiy. Dynamically Allocated Memory Verification in Object-Oriented Programs using Prolog. DOI: 10.15514/SYRCOSE-2014-8-7.

Embedded System Design and System Programming

J.A. Esparza Isasa, P.G. Larsen, F.O. Hansen. Energy-Aware Design of Embedded Software through Modelling and Simulation. DOI: 10.15514/SYRCOSE-2014-8-8.

D. Buzdalov. An Architecture of Effective Discrete-Event Simulation Engine for Early Validation of Avionics Systems. DOI: 10.15514/SYRCOSE-2014-8-9.

K. Mallachiev, N. Pakulin. Protecting Applications from Highly Privileged Malware Using Bare-metal Hypervisor. DOI: 10.15514/SYRCOSE-2014-8-10.

Process Mining

A. Begicheva, I. Lomazova. Checking Conformance of High-Level Business Process Models to Event Logs. DOI: 10.15514/SYRCOSE-2014-8-11.

V. Kataeva, A. Kalenkova. Applying Graph Grammars for the Generation of Process Models and Their Logs. DOI: 10.15514/SYRCOSE-2014-8-12.

I. Shugurov, A. Mitsyuk. Generation of a Set of Event Logs with Noise. DOI: 10.15514/SYRCOSE-2014-8-13.

S. Shershakov. DPMine/C: C++ Library and Graphical Frontend for DPMine Workflow Language. DOI: 10.15514/SYRCOSE-2014-8-14.


N. Kushik, A. Kolomeez, A. Cavalli, N. Yevtushenko. Extended Finite State Machine based Test Derivation Strategies for Telecommunication Protocols. DOI: 10.15514/SYRCOSE-2014-8-15.

A. Tatarnikov, A. Kotsynyak. A Generic Knowledgebase for Test Generation. DOI: 10.15514/SYRCOSE-2014-8-16.

B. Tyutin, A. Veselov, V. Kotlyarov. Keyword-Driven Testing with Message Sequence Charts. DOI: 10.15514/SYRCOSE-2014-8-17.

M. Chupilko, A. Protsenko. Simulation-based Hardware Verification Back-end: Diagnostics. DOI: 10.15514/SYRCOSE-2014-8-18.

Compiler Technologies

S. Grigoriev, Ia. Kirilenko. From Abstract Parsing to Abstract Translation. DOI: 10.15514/SYRCOSE-2014-8-19.

V. Bessonov, L. Lyadova. One Approach to Automated Compiler Verification. DOI: 10.15514/SYRCOSE-2014-8-20.

V. Aranov, A. Terentiev. Generation of Overlapped Executable Code. DOI: 10.15514/SYRCOSE-2014-8-21.

Application-Specific Methods and Tools

N. Yarushkina, T. Afanasieva, I. Timina. Predicative Analytics for Developing Software. DOI: 10.15514/SYRCOSE-2014-8-22.

I. Pakhomov. Detecting and Highlighting Text in Images. DOI: 10.15514/SYRCOSE-2014-8-23.

V. Lanin, G. Sokolov. Using Multidimensional Ontology of Electronic Document for Solving Semantic Indexing Problem. DOI: 10.15514/SYRCOSE-2014-8-24.