Rostislav Yavorskiy

21 papers A 2Misc 5Journal 2Unranked 12
YearRankTypeTitle / Venue / Authors
2026 J jnl
A Hazard-Informed Data Pipeline for Robotics Physical Safety.
CoRR
Alexei Odinokov, Rostislav Yavorskiy
2025 — conf
Test2Text: AI-Based Mapping between Autogenerated Tests and Atomic Requirements.
ICSTW
Elena Treshcheva, Iosif Itkin, Rostislav Yavorskiy, Nikolai Dorofeev
2023 — conf
Intracompany Training in Software Testing: Experience Report.
ICSTW
Iosif Itkin, Natia Sirbiladze, Elena Treshcheva, Rostislav Yavorskiy
2020 — conf
Black-Box Testing of Financial Virtual Assistants.
QRS Companion
Iosif Itkin, Elena Treshcheva, Luba Konnova, Pavel Braslavski, Rostislav Yavorskiy
2020 — conf
How the Minimal Degree of a Social Graph Affects the Efficiency of an Organization.
AIST (Supplement)
Ilya Samonenko, Tamara Voznesenskaya, Rostislav Yavorskiy
2019 — conf
Development of Intelligent Virtual Assistant for Software Testing Team.
QRS Companion
Iosif Itkin, Andrey Novikov, Rostislav Yavorskiy
2019 — conf
Effect of Social Graph Structure on the Utilization Rate in a Flat Organization.
AIST (Supplement)
Rostislav Yavorskiy, Tamara Voznesenskaya, Ilya Samonenko
2019 A conf
Poster: ClearTH Test Automation Framework: A Running Example of a DLT-Based Post-Trade System.
ICST
Vladimir Panarin, Alyona Bulda, Iosif Itkin, Alexey Zverev, Kirill Zagorouiko, Murad Mamedov, Alyona Rybakova, Anna Gromova, Elena Treshcheva, Sergey Tishin, Rostislav Yavorskiy
2019 — conf
User-Assisted Log Analysis for Quality Control of Distributed Fintech Applications.
AITest
Iosif Itkin, Anna Gromova, Anton Sitnikov, Dmitry Legchikov, Evgenii Tsymbalov, Rostislav Yavorskiy, Andrey Novikov, Kirill Rudakov
2018 Misc conf
Visualization of Data Science Community in Russia.
AIST
Rostislav Yavorskiy, Tamara Voznesenskaya, Kirill Rudakov
2016 Misc conf
The Structure of Organization: The Coauthorship Network Case.
AIST
Fedor Krasnov, Sofia Dokuka, Rostislav Yavorskiy
2015 Misc conf
Building Profiles of Blog Users Based on Comment Graph Analysis: The Habrahabr.ru Case.
AIST
Alexandra Barysheva, Mikhail Petrov, Rostislav Yavorskiy
2015 — conf
Profiling Less Active Users in Online Communities.
SNAFCA@ICFCA
Alexandra Barysheva, Anna Golubtsova, Rostislav Yavorskiy
2014 Misc ed.
Analysis of Images, Social Networks and Texts - Third International Conference, AIST 2014, Yekaterinburg, Russia, April 10-12, 2014, Revised Selected Papers
AIST
Dmitry I. Ignatov, Mikhail Yu. Khachay, Alexander Panchenko, Natalia Konstantinova, Rostislav Yavorskiy
2014 — conf
Connectivity Analysis of Computer Science Centers based on Scientific Publications Datafor Major Russian Cities.
ITQM
Fedor Krasnov, Evgeniya Vlasova, Rostislav Yavorskiy
2014 Misc conf
Indicators of Connectivity for Urban Scientific Communities in Russian Cities.
AIST
Fedor Krasnov, Rostislav Yavorskiy, Evgeniya Vlasova
2006 A conf
Brief Announcement Monitoring of Linear Distributed Computations.
DISC
Anton A. Esin, Rostislav Yavorskiy, Nikolay Zemtsov
2005 — conf
Applying Formal Semantics of an Object-oriented Language to Program Invariant Checking.
Abstract State Machines
Andrey Novikov, Rostislav Yavorskiy
2005 J jnl
On Kripke-style Semantics for the Provability Logic of Gödel's Proof Predicate with Quantifiers on Proofs.
J. Log. Comput.
Rostislav Yavorskiy
2005 — conf
Scenario based Analysis of Linear Computations.
Abstract State Machines
Vladimir Filatov, Rostislav Yavorskiy
2004 — conf
Observations on the Decidability of Transitions.
Abstract State Machines
Yuri Gurevich, Rostislav Yavorskiy