Igor Buzhinsky

According to our database, Igor Buzhinsky authored at least 30 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Evaluation of visual property specification languages based on practical model-checking experience.

Antti Pakonen, Igor Buzhinsky, Valeriy Vyatkin

J. Syst. Softw., 2024

2023

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

Igor Buzhinsky, Arseny Nerinovsky, Stavros Tripakis

Mach. Learn., October, 2023

2021

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

Antti Pakonen, Igor Buzhinsky, Kim Björkman

Reliab. Eng. Syst. Saf., 2021

Oeritte: User-Friendly Counterexample Explanation for Model Checking.

Polina Ovsiannikova, Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin

IEEE Access, 2021

Realistic Text Replacement With Non-Uniform Style Conditioning.

Arseny Nerinovsky, Igor Buzhinsky, Andrey Filchenkov

IEEE Access, 2021

2020

Realistic text replacement with non-uniform style conditioning.

Arseny Nerinovsky, Igor Buzhinsky, Andey Filchencov

CoRR, 2020

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

Igor Buzhinsky, Antti Pakonen

IEEE Access, 2020

Timed model checking of fault-tolerant nuclear I&C systems.

Igor Buzhinsky, Antti Pakonen

Proceedings of the 18th IEEE International Conference on Industrial Informatics, 2020

Visual counterexample explanation for model checking with OERITTE.

Polina Ovsiannikova, Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin

Proceedings of the 25th International Conference on Engineering of Complex Computer Systems, 2020

2019

Combining closed-loop test generation and execution by means of model checking.

Igor Buzhinsky, Valeriy Vyatkin

CoRR, 2019

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

Igor Buzhinsky, Antti Pakonen

IEEE Access, 2019

Formalization of natural language requirements into temporal logics: a survey.

Igor Buzhinsky

Proceedings of the 17th IEEE International Conference on Industrial Informatics, 2019

Verification of fault tolerant safety I&C systems using model checking.

Antti Pakonen, Igor Buzhinsky

Proceedings of the IEEE International Conference on Industrial Technology, 2019

2018

Exact finite-state machine identification from scenarios and temporal properties.

Vladimir Ulyantsev, Igor Buzhinsky, Anatoly Shalyto

Int. J. Softw. Tools Technol. Transf., 2018

Synthesis-Aided Reliability Assurance of Basic Block Models for Model Checking Purposes.

Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin

Proceedings of the 27th IEEE International Symposium on Industrial Electronics, 2018

Counterexample visualization and explanation for function block diagrams.

Antti Pakonen, Igor Buzhinsky, Valeriy Vyatkin

Proceedings of the 16th IEEE International Conference on Industrial Informatics, 2018

Counterexample-guided inference of controller logic from execution traces and temporal formulas.

Daniil Chivilikhin, Igor Buzhinsky, Vladimir I. Ulyantsev, Andrey Stankevich, Anatoly Shalyto, Valeriy Vyatkin

Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 2018

2017

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

Igor Buzhinsky, Valeriy Vyatkin

IEEE Trans. Ind. Informatics, 2017

Scalable methods of discrete plant model generation for closed-loop model checking.

Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin

Proceedings of the IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society, Beijing, China, October 29, 2017

Explicit-state and symbolic model checking of nuclear I&C systems: A comparison.

Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin

Proceedings of the IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society, Beijing, China, October 29, 2017

Testing automation systems by means of model checking.

Igor Buzhinsky, Valeriy Vyatkin

Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017

Modular plant model synthesis from behavior traces and temporal properties.

Igor Buzhinsky, Valeriy Vyatkin

Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017

2016

A study on user-friendly formal specification languages for requirements formalization.

Cheng Pang, Antti Pakonen, Igor Buzhinsky, Valeriy Vyatkin

Proceedings of the 14th IEEE International Conference on Industrial Informatics, 2016

Plant model inference for closed-loop verification of control systems: Initial explorations.

Igor Buzhinsky, Valeriy Vyatkin

Proceedings of the 14th IEEE International Conference on Industrial Informatics, 2016

User-friendly formal specification languages - conclusions drawn from industrial experience on model checking.

Antti Pakonen, Cheng Pang, Igor Buzhinsky, Valeriy Vyatkin

Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

2015

Formal Modeling of Testing Software for Cyber-Physical Automation Systems.

Igor Buzhinsky, Cheng Pang, Valeriy Vyatkin

Proceedings of the 2015 IEEE TrustCom/BigDataSE/ISPA, 2015

Evolutionary approach to coverage testing of IEC 61499 function block applications.

Igor Buzhinsky, Vladimir Ulyantsev, Jari Veijalainen, Valeriy Vyatkin

Proceedings of the 13th IEEE International Conference on Industrial Informatics, 2015

2014

Improving the quality of supervised finite-state machine construction using real-valued variables.

Igor Buzhinsky, Daniil Chivilikhin, Vladimir Ulyantsev, Fedor Tsarev

Proceedings of the Genetic and Evolutionary Computation Conference, 2014

2013

Test-Based Induction of Finite-State Machines with Continuous Output Actions.

Igor Buzhinsky, Vladimir Ulyantsev, Anatoly Shalyto

Proceedings of the 7th IFAC Conference on Manufacturing Modelling, Management, and Control, 2013

Search-based construction of finite-state machines with real-valued actions: new representation model.

Igor Buzhinsky, Vladimir Ulyantsev, Fedor Tsarev, Anatoly Shalyto

Proceedings of the Genetic and Evolutionary Computation Conference, 2013