Igor Buzhinsky - Publications, H-index & Citations

Igor Buzhinsky

Aalto University

11H指数

36论文数

350被引数

收录论文 9

发表时间

Evaluation of visual property specification languages based on practical model-checking experience 基于实际模型检查经验的视觉特性规范语言评估

JOURNAL OF SYSTEMS AND SOFTWARE

IF4.1

2024-10-01

OAAI

Pakonen, Antti; Buzhinsky, Igor; Vyatkin, Valeriy

Metrics and methods for robustness evaluation of neural networks with generative models

MACHINE LEARNING

IF2.9

2021-07-06

OAAI

Buzhinsky, Igor; Nerinovsky, Arseny; Tripakis, Stavros

Model checking reveals design issues leading to spurious actuation of nuclear instrumentation and control systems

RELIABILITY ENGINEERING & SYSTEM SAFETY

IF11

2021-01-01

OAAI

Pakonen, Antti; Buzhinsky, I; Bjorkman, K.

Realistic Text Replacement With Non-Uniform Style Conditioning

IEEE ACCESS

IF3.6

2021-01-01

OAAI

Nerinovsky, Arseny; Buzhinsky, Igor; Filchenkov, Andrey

Oeritte: User-Friendly Counterexample Explanation for Model Checking

IEEE ACCESS

IF3.6

2021-01-01

OAAI

Ovsiannikova, Polina; Buzhinsky, Igor; Pakonen, Antti; Vyatkin, Valeriy

Symmetry Breaking in Model Checking of Fault-Tolerant Nuclear Instrumentation and Control Systems

IEEE ACCESS

IF3.6

2020-01-01

OAAI

Buzhinsky, Igor; Pakonen, Antti

Model-Checking Detailed Fault-Tolerant Nuclear Power Plant Safety Functions

IEEE ACCESS

IF3.6

2019-01-01

OAAI

Buzhinsky, Igor; Pakonen, Antti

Automatic Inference of Finite-State Plant Models From Traces and Temporal Properties

IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS

IF9.9

2017-08-01

OAAI

Buzhinsky, Igor; Vyatkin, Valeriy

Water pollution monitoring by an artificial sensory system performing in terms of Vibrio fischeri bacteria

SENSORS AND ACTUATORS B-CHEMICAL

IF7.7

2015-02-01

OAAI

Zadorozhnaya, Olesya; Kirsanov, Dmitry; Buzhinsky, Igor; Tsarev, Fedor; Abramova, Natalia; Bratov, Andrey; Javier Munoz, Francesc; Ribo, Juan; Bori, Jaume; Carmen Riva, Mari; Legin, Andrey

研究方向