Preliminary Program


Download Preliminary Proceedings of SYRCoSE 2018.

May 29, 2018

18:40-20:20

Transfer from Chudovo to Novgorod The Great (Train #768 Sapsan 18:26)

May 30, 2018

09:00-09:50

Registration

09:50-10:00

Welcome Speech

10:00-11:00

Invited Talk

10:00-11:00

About Early Scheduling Verification of Embedded Real-Time Critical Systems: An Example with AADL
Frank Singhoff (Lab-STICC UMR CNRS 6285, Université de Bretagne Occidentale)

11:00-11:30

Coffee Break

11:30-12:40

Formal Methods (Moderator: TBD)

11:30-11:45

Combining ACSL Specifications and Machine Code

Pavel Putro (ISP RAS)

11:45-12:05

Registration Protocol Security Analysis of the Electronic Voting System Based on Blinded Intermediaries Using the Avispa Tool

Ilya Pisarev and Liudmila Babenko (Southern Federal University)

12:05-12:20

Early Formal Verification of Cyber Security Standards
Tomas Kulik and Peter Gorm Larsen (Aarhus University)

12:20-12:40

On the Model Checking of Finite State Transducers over Semigroups
Anton Gnatenko and Vladimir Zakharov (MSU)

12:40-13:00

Poster Announcement (3 min per poster)

Aleksei Chusovliankin and Vladimir Morozenko (HSE Perm). Algorithms for Diabetics Insulin Dosage Calculator

Alexander Andryukhin (KCD LLC). Methods for Protecting Decentralized Autonomous Organizations from Crashes and Attacks

Alina Minitaeva (MSTU), Sergei Shaitura and Yulia Gerasimova (Russian State University of Tourism and Service). Smart Service of Space Navigation

Kirill Rudakov and Rostislav Yavorskiy (HSE). Development of an Analytical Service for the Information on Using Blockchain Technologies in the Field of Medicine

Ekaterina Danilova and Alexey Gorodilov (Perm State University). Tadis

Marina Ivanova (SPbSU). The Solution of the Field Division Problem Using the Voronoi Diagram Method

Ivan Monakhov, Maria Platonova and Stanislav Sartasov (SPbSU). Automatic Detection of Physiologically Singular Points of the Bony Orbit

13:00-13:30

Poster Session

13:30-14:30

Lunch

14:30-15:30

Invited Talk

14:30-15:30

The System is Put. Testing Continues
Boris Pozin (EC-leasing, Higher School of Economics)

15:30-16:30

Programming Languages and Libraries (Moderator: TBD)

15:30-15:50

Tolerant Parsing with a Special Kind of "Any" Symbol: The Algorithm and Practical Application
Alexey Goloveshkin and Stanislav Mikhalkovich
(Institute for Mathematics, Mechanics and Computer Science, Southern Federal University)

15:50-16:10

Heterogeneous Architectures Programming Library
Grigorii Kirgizov and Iakov Kirilenko (SPbSU)

16:10-16:30

Applying Deep Learning to C# Call Sequence Synthesis
Alexander Chebykin and Iakov Kirilenko (SPbSU)

16:30-17:00

Coffee Break

17:00-18:50

System Programming (Moderator: TBD)

17:00-17:20

In-Kernel Memory-Mapped I/O Device Emulation
Vitaly Cheptsov and Alexey Khoroshilov (ISP RAS)

17:20-17:35

Asymmetric Multiprocessor Problems of Real-Time OS
Alexander Emelenko, Nikolay Pakulin and Andrey Tsyvarev (ISP RAS)

17:35-17:55

Building Modular Real-Time Software from Unified Components Model

Kurbanmagomed Mallachiev and Alexey Khoroshilov (ISP RAS)

17:55-18:10

Static Verification for Memory Safety of Linux Kernel Drivers
Anton Vasilev (ISP RAS)

18:10-18:30

Configurable System Call Tracer in Qemu Emulator
Alexey Ivanov (NovSU)

18:30-18:50

Stealth Debugging of Programs in Qemu Emulator with WinDbg Debugger
Mikhail Abakumov (NovSU)

19:00-09:00

Welcome Dinner


May 31, 2018

Track 1

10:00-11:10

Program and Data Analysis (Moderator: TBD)

10:00-10:20

An Interactive Specializer Based on Partial Evaluation for a Java Subset
Igor Adamovich (Program Systems Institute of RAS) and Andrei Klimov (Keldysh Institute of Applied Mathematics of RAS)

10:20-10:35

Buffer Overflow Detection via Static Analysis: Expectations vs. Reality
Irina Dudina (ISP RAS)

10:35-10:50

Source Code Augmentation for Supervised Learning
Valeriy Savchenko (ISP RAS) and Alexander Volkov (MSU)

10:50-11:10

Static Dependency Analysis for Semantic Data Validation
Denis Ilyin, Natalya Fokina and Vitaly Semenov (ISP RAS)

11:10-11:40

Coffee Break

11:40-12:40

Hardware Verification (Moderator: TBD)

11:40-12:00

An Approach to Simulation-Based Verification of SoC Bus Controllers
Mikhail Chupilko (ISP RAS) and Ekaterina Drozdova (MSU)

12:00-12:20

Verification of System on Chip integrated Communication Controllers
Mikhail Petrochenkov, Ruslan Mushtakov and Danil Shpagilev (MCST)

12:20-12:40

Construction of Validation Modules Based on Reference Functional Models in a Standalone Verification of Communication Subsystem
Dmitriy Lebedev and Irina Stotland (MCST)

12:40-13:40

Lunch

14:00-18:00

Excursion

Track 2

10:00-11:10

Application-Specific Methods and Tools (Moderator: TBD)

10:00-10:20

Medical Images Segmentation Operations
Sabrina Musatian, Alexander Lomakin, Stanislav Sartasov, Lev Popyvanov, Ivan Monakhov and Angelina Chizhova (SPbSU)

10:20-10:40

The Variants of Chinese Postman Problems and Way of Solving through Transformation into Vehicle Routing Problems
Mariia Gordenko and Sergey Avdoshin (HSE)

10:40-10:55

Applying the Methods of System Analysis to Teaching Assistants’ Evaluation
Mariia Gordenko and Ekaterina Beresneva (HSE)

10:55-11:10

Analysis of Mathematical Formulations of Capacitated Vehicle Routing Problem and Methods for their Solution
Ekaterina Beresneva and Sergey Avdoshin (HSE)

11:10-11:40

Coffee Break

11:40-12:40

Application-Specific Methods and Tools (cont.)

11:40-12:00

Auto-Calibration and Sychronization of Camera and MEMS-Sensors
Alexander Polyakov, Anastasiya Kornilova and Iakov Kirilenko (SPbSU)

12:00-12:20

An Approach to a Software Implementation of Architectural Generative Design for BIM
Mikhail Prokofyev and Vladimir Kirillov (MSTU Kaluga)

12:20-12:40

Product Reviews Sentiment Analysis in Russian
Sergey Smetanin and Mikhail Komarov (HSE)

12:40-13:40

Lunch

14:00-18:00

Excursion

June 1, 2018

09:30-11:05

Automata and Petri Nets (Moderator: TBD)

09:30-09:50

On Minimization of Strictly Deterministic Timed Finite State Machines
Evgenii Vinarskii and Vladimir Zakharov
(MSU)

09:50-10:10

Deriving Adaptive Distinguishing Sequences for Finite State Machines
Aleksandr Tvardovskii (Tomsk State University) and Nina Yevtushenko (ISP RAS)

10:10-10:30

Prosega/CPN: An Extension of CPN Tools for Automata-based Analysis and System Verification
Julio César Carrasquel (Sapienza University of Rome), Maria Elena Villapol (Auckland University of Technology) and
Ana Morales (Central University of Venezuela)

10:30-10:50

Simulating Behavior of Multi-Agent Systems with Acyclic Interactions of Agents
Roman Nesterov (HSE, Università degli Studi di Milano-Bicocca), Alexey Mitsyuk and Irina Lomazova (HSE)

10:50-11:05

Human Readable Extended Finite State Machine Format
Alexander Nikitin (HSE)

11:05-11:35

Coffee Break

11:35-11:55

Criteria for Software to Safety-Critical Complex Certifiable Systems Development
Natalia Gorelits, Aleksandra Gukova and Evgeniy Peskov (GosNIIAS)

11:55-12:15

Extracting Architectural Information from Source Code of ARINC 653-Compatible Application Software Using CEGAR-Based Approach
Sergey Lesovoy (ISP RAS)

12:15-12:35

Formalizing Metamodel of Requirement Management System
Denis Kildishev and Alexey Khoroshilov (ISP RAS)

12:35-13:35

Lunch

13:35-15:15

Transfer from Novgorod The Great to Chudovo (Train #767A 15:46)