Igor Buzhinsky

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 27

Top Topics

Temporal Properties

Specification Languages

Top Venues

Publications

Igor Buzhinsky, Arseny Nerinovsky, Stavros Tripakis
Metrics and methods for robustness evaluation of neural networks with generative models. Mach. Learn. 112 (10) (2023)
Arseny Nerinovsky, Igor Buzhinsky, Andrey Filchenkov
Realistic Text Replacement With Non-Uniform Style Conditioning. IEEE Access 9 (2021)
Antti Pakonen, Igor Buzhinsky, Kim Björkman
Model checking reveals design issues leading to spurious actuation of nuclear instrumentation and control systems. Reliab. Eng. Syst. Saf. 205 (2021)
Polina Ovsiannikova, Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin
Oeritte: User-Friendly Counterexample Explanation for Model Checking. IEEE Access 9 (2021)
Polina Ovsiannikova, Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin
Visual counterexample explanation for model checking with Oeritte. CoRR (2020)
Igor Buzhinsky, Arseny Nerinovsky, Stavros Tripakis
Metrics and methods for robustness evaluation of neural networks with generative models. CoRR (2020)
Arseny Nerinovsky, Igor Buzhinsky, Andey Filchencov
Realistic text replacement with non-uniform style conditioning. CoRR (2020)
Igor Buzhinsky, Antti Pakonen
Symmetry Breaking in Model Checking of Fault-Tolerant Nuclear Instrumentation and Control Systems. IEEE Access 8 (2020)
Polina Ovsiannikova, Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin
Visual counterexample explanation for model checking with OERITTE. ICECCS (2020)
Igor Buzhinsky, Antti Pakonen
Timed model checking of fault-tolerant nuclear I&C systems. INDIN (2020)
Antti Pakonen, Igor Buzhinsky
Verification of fault tolerant safety I&C systems using model checking. ICIT (2019)
Igor Buzhinsky, Valeriy Vyatkin
Combining closed-loop test generation and execution by means of model checking. CoRR (2019)
Igor Buzhinsky
Formalization of natural language requirements into temporal logics: a survey. INDIN (2019)
Igor Buzhinsky, Antti Pakonen
Model-Checking Detailed Fault-Tolerant Nuclear Power Plant Safety Functions. IEEE Access 7 (2019)
Antti Pakonen, Igor Buzhinsky, Valeriy Vyatkin
Counterexample visualization and explanation for function block diagrams. INDIN (2018)
Vladimir Ulyantsev, Igor Buzhinsky, Anatoly Shalyto
Exact finite-state machine identification from scenarios and temporal properties. Int. J. Softw. Tools Technol. Transf. 20 (1) (2018)
Daniil Chivilikhin, Igor Buzhinsky, Vladimir I. Ulyantsev, Andrey Stankevich, Anatoly Shalyto, Valeriy Vyatkin
Counterexample-guided inference of controller logic from execution traces and temporal formulas. ETFA (2018)
Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin
Synthesis-Aided Reliability Assurance of Basic Block Models for Model Checking Purposes. ISIE (2018)
Igor Buzhinsky, Valeriy Vyatkin
Modular plant model synthesis from behavior traces and temporal properties. ETFA (2017)
Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin
Scalable methods of discrete plant model generation for closed-loop model checking. IECON (2017)
Igor Buzhinsky, Valeriy Vyatkin
Automatic Inference of Finite-State Plant Models From Traces and Temporal Properties. IEEE Trans. Ind. Informatics 13 (4) (2017)
Igor Buzhinsky, Valeriy Vyatkin
Testing automation systems by means of model checking. ETFA (2017)
Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin
Explicit-state and symbolic model checking of nuclear I&C systems: A comparison. IECON (2017)
Cheng Pang, Antti Pakonen, Igor Buzhinsky, Valeriy Vyatkin
A study on user-friendly formal specification languages for requirements formalization. INDIN (2016)
Igor Buzhinsky, Valeriy Vyatkin
Plant model inference for closed-loop verification of control systems: Initial explorations. INDIN (2016)
Antti Pakonen, Cheng Pang, Igor Buzhinsky, Valeriy Vyatkin
User-friendly formal specification languages - conclusions drawn from industrial experience on model checking. ETFA (2016)
Vladimir Ulyantsev, Igor Buzhinsky, Anatoly Shalyto
Exact Finite-State Machine Identification from Scenarios and Temporal Properties. CoRR (2016)
Igor Buzhinsky, Vladimir Ulyantsev, Jari Veijalainen, Valeriy Vyatkin
Evolutionary approach to coverage testing of IEC 61499 function block applications. INDIN (2015)
Igor Buzhinsky, Cheng Pang, Valeriy Vyatkin
Formal Modeling of Testing Software for Cyber-Physical Automation Systems. TrustCom/BigDataSE/ISPA (3) (2015)
Igor Buzhinsky, Daniil Chivilikhin, Vladimir Ulyantsev, Fedor Tsarev
Improving the quality of supervised finite-state machine construction using real-valued variables. GECCO (Companion) (2014)
Igor Buzhinsky, Vladimir Ulyantsev, Anatoly Shalyto
Test-Based Induction of Finite-State Machines with Continuous Output Actions. MIM (2013)
Igor Buzhinsky, Vladimir Ulyantsev, Fedor Tsarev, Anatoly Shalyto
Search-based construction of finite-state machines with real-valued actions: new representation model. GECCO (Companion) (2013)