27 citations · 28 across the 3 of their papers we have counts for
4 papers
Realistic text replacement with non-uniform style conditioning
Arseny Nerinovsky, Igor Buzhinsky, Andey Filchencov
In this work, we study the possibility of realistic text replacement, the goal of which is to replace text present in the image with user-supplied text. The replacement should be p…
Metrics and methods for robustness evaluation of neural networks with generative models
Igor Buzhinsky, Arseny Nerinovsky, Stavros Tripakis
Recent studies have shown that modern deep neural network classifiers are easy to fool, assuming that an adversary is able to slightly modify their inputs. Many papers have propose…
Combining closed-loop test generation and execution by means of model checking
Igor Buzhinsky, Valeriy Vyatkin
Model checking is an established technique to formally verify automation systems which are required to be trusted. However, for sufficiently complex systems model checking becomes…
Exact Finite-State Machine Identification from Scenarios and Temporal Properties
Vladimir Ulyantsev, Igor Buzhinsky, Anatoly Shalyto
Finite-state models, such as finite-state machines (FSMs), aid software engineering in many ways. They are often used in formal verification and also can serve as visual software m…