Rostislav Yavorskiy

Publication Activity (10 Years)

Years Active: 2004-2023
Publications (10 Years): 9

Top Topics

Software Testing

Quality Control

Scientific Publications

Scientific Communities

Top Venues

AIST (Supplement)

Publications

Iosif Itkin, Natia Sirbiladze, Elena Treshcheva, Rostislav Yavorskiy
Intracompany Training in Software Testing: Experience Report. ICSTW (2023)
Ilya Samonenko, Tamara Voznesenskaya, Rostislav Yavorskiy
How the Minimal Degree of a Social Graph Affects the Efficiency of an Organization. AIST (Supplement) (2020)
Iosif Itkin, Elena Treshcheva, Luba Konnova, Pavel Braslavski, Rostislav Yavorskiy
Black-Box Testing of Financial Virtual Assistants. QRS Companion (2020)
Rostislav Yavorskiy, Tamara Voznesenskaya, Ilya Samonenko
Effect of Social Graph Structure on the Utilization Rate in a Flat Organization. AIST (Supplement) (2019)
Iosif Itkin, Anna Gromova, Anton Sitnikov, Dmitry Legchikov, Evgenii Tsymbalov, Rostislav Yavorskiy, Andrey Novikov, Kirill Rudakov
User-Assisted Log Analysis for Quality Control of Distributed Fintech Applications. AITest (2019)
Iosif Itkin, Andrey Novikov, Rostislav Yavorskiy
Development of Intelligent Virtual Assistant for Software Testing Team. QRS Companion (2019)
Vladimir Panarin, Alyona Bulda, Iosif Itkin, Alexey Zverev, Kirill Zagorouiko, Murad Mamedov, Alyona Rybakova, Anna Gromova, Elena Treshcheva, Sergey Tishin, Rostislav Yavorskiy
Poster: ClearTH Test Automation Framework: A Running Example of a DLT-Based Post-Trade System. ICST (2019)
Rostislav Yavorskiy, Tamara Voznesenskaya, Kirill Rudakov
Visualization of Data Science Community in Russia. AIST (2018)
Fedor Krasnov, Sofia Dokuka, Rostislav Yavorskiy
The Structure of Organization: The Coauthorship Network Case. AIST (2016)
Alexandra Barysheva, Anna Golubtsova, Rostislav Yavorskiy
Profiling Less Active Users in Online Communities. SNAFCA@ICFCA (2015)
Alexandra Barysheva, Mikhail Petrov, Rostislav Yavorskiy
Building Profiles of Blog Users Based on Comment Graph Analysis: The Habrahabr.ru Case. AIST (2015)
Fedor Krasnov, Evgeniya Vlasova, Rostislav Yavorskiy
Connectivity Analysis of Computer Science Centers based on Scientific Publications Datafor Major Russian Cities. ITQM (2014)
Fedor Krasnov, Rostislav Yavorskiy, Evgeniya Vlasova
Indicators of Connectivity for Urban Scientific Communities in Russian Cities. AIST (2014)
Anton Esin, Rostislav Yavorskiy, Nikolay Zemtsov
Brief Announcement Monitoring of Linear Distributed Computations. DISC (2006)
Vladimir Filatov, Rostislav Yavorskiy
Scenario based Analysis of Linear Computations. Abstract State Machines (2005)
Rostislav Yavorskiy
On Kripke-style Semantics for the Provability Logic of Gödel's Proof Predicate with Quantifiers on Proofs. J. Log. Comput. 15 (4) (2005)
Andrey Novikov, Rostislav Yavorskiy
Applying Formal Semantics of an Object-oriented Language to Program Invariant Checking. Abstract State Machines (2005)
Yuri Gurevich, Rostislav Yavorskiy
Observations on the Decidability of Transitions. Abstract State Machines (2004)