Igor Buzhinsky

Most-cited papers

Automatic Inference of Finite-State Plant Models From Traces and Temporal Properties
Igor Buzhinsky, V. Vyatkin
2017IEEE Transactions on Industrial Informatics41 citations Open access
Semantic Scholar
Formalization of natural language requirements into temporal logics: a survey
Igor Buzhinsky
2019International Conference on Industrial Informatics37 citations
Semantic Scholar
Water pollution monitoring by an artificial sensory system performing in terms of Vibrio fischeri bacteria
O. Zadorozhnaya, D. Kirsanov, Igor Buzhinsky, F. Tsarev +7 more
201536 citations Open access
Semantic Scholar
Metrics and methods for robustness evaluation of neural networks with generative models
Igor Buzhinsky, Arseny Nerinovsky, Stavros Tripakis
2020Machine-mediated learning34 citations Open access
Semantic Scholar
User-friendly formal specification languages - conclusions drawn from industrial experience on model checking
A. Pakonen, Cheng Pang, Igor Buzhinsky, V. Vyatkin
2016IEEE International Conference on Emerging Technologies and Factory Automation30 citations
Semantic Scholar
Exact finite-state machine identification from scenarios and temporal properties
V. Ulyantsev, Igor Buzhinsky, A. Shalyto
2016International Journal on Software Tools for Technology Transfer (STTT)30 citations Open access
Semantic Scholar
Model checking reveals design issues leading to spurious actuation of nuclear instrumentation and control systems
A. Pakonen, Igor Buzhinsky, K. Björkman
2021Reliability Engineering & System Safety28 citations Open access
Semantic Scholar
Counterexample visualization and explanation for function block diagrams
A. Pakonen, Igor Buzhinsky, V. Vyatkin
2018International Conference on Industrial Informatics17 citations
Semantic Scholar
Explicit-state and symbolic model checking of nuclear I&C systems: A comparison
Igor Buzhinsky, A. Pakonen, V. Vyatkin
2017Annual Conference of the IEEE Industrial Electronics Society16 citations
Semantic Scholar
Formal Modeling of Testing Software for Cyber-Physical Automation Systems
Igor Buzhinsky, Cheng Pang, V. Vyatkin
20152015 IEEE Trustcom/BigDataSE/ISPA16 citations
Semantic Scholar
Model-Checking Detailed Fault-Tolerant Nuclear Power Plant Safety Functions
Igor Buzhinsky, A. Pakonen
2019IEEE Access13 citations Open access
Semantic Scholar
A study on user-friendly formal specification languages for requirements formalization
Cheng Pang, A. Pakonen, Igor Buzhinsky, V. Vyatkin
2016International Conference on Industrial Informatics13 citations
Semantic Scholar
Oeritte: User-Friendly Counterexample Explanation for Model Checking
Polina Ovsiannikova, Igor Buzhinsky, A. Pakonen, V. Vyatkin
2021IEEE Access11 citations Open access
Semantic Scholar
Modular plant model synthesis from behavior traces and temporal properties
Igor Buzhinsky, V. Vyatkin
2017IEEE International Conference on Emerging Technologies and Factory Automation10 citations Open access
Semantic Scholar
Evolutionary approach to coverage testing of IEC 61499 function block applications
Igor Buzhinsky, V. Ulyantsev, J. Veijalainen, V. Vyatkin
2015International Conference on Industrial Informatics10 citations
Semantic Scholar
Plant model inference for closed-loop verification of control systems: Initial explorations
Igor Buzhinsky, V. Vyatkin
2016International Conference on Industrial Informatics9 citations
Semantic Scholar
Symmetry Breaking in Model Checking of Fault-Tolerant Nuclear Instrumentation and Control Systems
Igor Buzhinsky, A. Pakonen
2020IEEE Access8 citations Open access
Semantic Scholar
Inducing finite state machines from training samples using ant colony optimization
Igor Buzhinsky, V. Ulyantsev, D. Chivilikhin, A. Shalyto
2014Journal of computer & systems sciences international7 citations
Semantic Scholar
Evaluation of visual property specification languages based on practical model-checking experience
A. Pakonen, Igor Buzhinsky, V. Vyatkin
2024Journal of Systems and Software6 citations Open access
Semantic Scholar
Verification of fault tolerant safety I&C systems using model checking
A. Pakonen, Igor Buzhinsky
2019International Conference on Industrial Technology5 citations
Semantic Scholar
Modification of the method of generation of control finite-state machines with continuous actions based on training examples
Igor Buzhinsky, S. Kazakov, V. Ulyantsev, F. Tsarev +1 more
2015Journal of computer & systems sciences international5 citations
Semantic Scholar
Synthesis-Aided Reliability Assurance of Basic Block Models for Model Checking Purposes
Igor Buzhinsky, A. Pakonen, V. Vyatkin
2018International Symposium on Industrial Electronics4 citations Open access
Semantic Scholar
Search-based construction of finite-state machines with real-valued actions: new representation model
Igor Buzhinsky, V. Ulyantsev, F. Tsarev, A. Shalyto
2013Annual Conference on Genetic and Evolutionary Computation4 citations
Semantic Scholar
Timed model checking of fault-tolerant nuclear I&C systems
Igor Buzhinsky, A. Pakonen
2020International Conference on Industrial Informatics3 citations
Semantic Scholar
Test-Based Induction of Finite-State Machines with Continuous Output Actions
Igor Buzhinsky, V. Ulyantsev, A. Shalyto
2013IFAC Conference on Manufacturing Modelling, Management, and Control3 citations Open access
Semantic Scholar
Testing automation systems by means of model checking
Igor Buzhinsky, V. Vyatkin
2017IEEE International Conference on Emerging Technologies and Factory Automation2 citations Open access
Semantic Scholar
Scalable methods of discrete plant model generation for closed-loop model checking
Igor Buzhinsky, A. Pakonen, V. Vyatkin
2017Annual Conference of the IEEE Industrial Electronics Society2 citations Open access
Semantic Scholar
Improving the quality of supervised finite-state machine construction using real-valued variables
Igor Buzhinsky, D. Chivilikhin, V. Ulyantsev, F. Tsarev
2014Annual Conference on Genetic and Evolutionary Computation2 citations
Semantic Scholar
Exact finite-state machine identification from scenarios and temporal properties
V. Ulyantsev, Igor Buzhinsky, A. Shalyto
2016International Journal on Software Tools for Technology Transfer (STTT)1 citations Open access
Semantic Scholar
Towards Neural Routing with Verified Bounds on Performance
Igor Buzhinsky, A. Shalyto
2022Modeling and Analysis of Information Systems0 citations Open access
Semantic Scholar
Realistic Text Replacement With Non-Uniform Style Conditioning
Arseny Nerinovsky, Igor Buzhinsky, A. Filchenkov
2020IEEE Access0 citations Open access
Semantic Scholar
Centre of Finland Verification of fault tolerant safety I & C systems using model checking
A. Pakonen, Igor Buzhinsky
20190 citations
Semantic Scholar
Combining closed-loop test generation and execution by means of model checking
Igor Buzhinsky, V. Vyatkin
2019arXiv.org0 citations
Semantic Scholar
Assessment of formal nuclear I&C logic models using behavior examples
Igor Buzhinsky
20180 citations
Semantic Scholar
Visual formalisms applied to temporal logic property patterns in the nuclear automation domain
Igor Buzhinsky
20180 citations
Semantic Scholar
Integrated safety assessment and justification of nuclear power plant automation (SAUNA)
A. Pakonen, J. Alanen, K. Björkman, Igor Buzhinsky +15 more
20170 citations
Semantic Scholar