Search-based construction of finite-state machines with real-valued actions: new representation model. - Igor Buzhinsky; Vladimir Ulyantsev; Fedor Tsarev; Anatoly Shalyto 001 (GECCO (Companion), 2013)

Test-Based Induction of Finite-State Machines with Continuous Output Actions. - Igor Buzhinsky; Vladimir Ulyantsev; Anatoly Shalyto 001 (MIM, 2013)

Improving the quality of supervised finite-state machine construction using real-valued variables. - Igor Buzhinsky; Daniil Chivilikhin; Vladimir Ulyantsev; Fedor Tsarev (GECCO (Companion), 2014)

Evolutionary approach to coverage testing of IEC 61499 function block applications. - Igor Buzhinsky; Vladimir Ulyantsev; Jari Veijalainen; Valeriy Vyatkin (INDIN, 2015)

Formal Modeling of Testing Software for Cyber-Physical Automation Systems. - Igor Buzhinsky; Cheng Pang; Valeriy Vyatkin (TrustCom/BigDataSE/ISPA (3), 2015)

User-friendly formal specification languages - conclusions drawn from industrial experience on model checking. - Antti Pakonen; Cheng Pang; Igor Buzhinsky; Valeriy Vyatkin (ETFA, 2016)

Plant model inference for closed-loop verification of control systems: Initial explorations. - Igor Buzhinsky; Valeriy Vyatkin (INDIN, 2016)

A study on user-friendly formal specification languages for requirements formalization. - Cheng Pang; Antti Pakonen; Igor Buzhinsky; Valeriy Vyatkin (INDIN, 2016)

Modular plant model synthesis from behavior traces and temporal properties. - Igor Buzhinsky; Valeriy Vyatkin (ETFA, 2017)

Testing automation systems by means of model checking. - Igor Buzhinsky; Valeriy Vyatkin (ETFA, 2017)

Explicit-state and symbolic model checking of nuclear I&C systems: A comparison. - Igor Buzhinsky; Antti Pakonen; Valeriy Vyatkin (IECON, 2017)

Scalable methods of discrete plant model generation for closed-loop model checking. - Igor Buzhinsky; Antti Pakonen; Valeriy Vyatkin (IECON, 2017)

Automatic Inference of Finite-State Plant Models From Traces and Temporal Properties. - Igor Buzhinsky; Valeriy Vyatkin (IEEE Trans. Ind. Informatics, 2017)

Counterexample-guided inference of controller logic from execution traces and temporal formulas. - Daniil Chivilikhin; Igor Buzhinsky; Vladimir I. Ulyantsev; Andrey Stankevich; Anatoly Shalyto 001; Valeriy Vyatkin (ETFA, 2018)

Counterexample visualization and explanation for function block diagrams. - Antti Pakonen; Igor Buzhinsky; Valeriy Vyatkin (INDIN, 2018)

Synthesis-Aided Reliability Assurance of Basic Block Models for Model Checking Purposes. - Igor Buzhinsky; Antti Pakonen; Valeriy Vyatkin (ISIE, 2018)

Exact finite-state machine identification from scenarios and temporal properties. - Vladimir Ulyantsev; Igor Buzhinsky; Anatoly Shalyto 001 (Int. J. Softw. Tools Technol. Transf., 2018)

Verification of fault tolerant safety I&C systems using model checking. - Antti Pakonen; Igor Buzhinsky (ICIT, 2019)

Formalization of natural language requirements into temporal logics: a survey. - Igor Buzhinsky (INDIN, 2019)

Model-Checking Detailed Fault-Tolerant Nuclear Power Plant Safety Functions. - Igor Buzhinsky; Antti Pakonen (IEEE Access, 2019)

Combining closed-loop test generation and execution by means of model checking. - Igor Buzhinsky; Valeriy Vyatkin (CoRR, 2019)

Visual counterexample explanation for model checking with OERITTE. - Polina Ovsiannikova; Igor Buzhinsky; Antti Pakonen; Valeriy Vyatkin (ICECCS, 2020)

Timed model checking of fault-tolerant nuclear I&C systems. - Igor Buzhinsky; Antti Pakonen (INDIN, 2020)

Symmetry Breaking in Model Checking of Fault-Tolerant Nuclear Instrumentation and Control Systems. - Igor Buzhinsky; Antti Pakonen (IEEE Access, 2020)

Realistic text replacement with non-uniform style conditioning. - Arseny Nerinovsky; Igor Buzhinsky; Andey Filchencov (CoRR, 2020)

Realistic Text Replacement With Non-Uniform Style Conditioning. - Arseny Nerinovsky; Igor Buzhinsky; Andrey Filchenkov (IEEE Access, 2021)

Oeritte: User-Friendly Counterexample Explanation for Model Checking. - Polina Ovsiannikova; Igor Buzhinsky; Antti Pakonen; Valeriy Vyatkin (IEEE Access, 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)

Metrics and methods for robustness evaluation of neural networks with generative models. - Igor Buzhinsky; Arseny Nerinovsky; Stavros Tripakis (Mach. Learn., 2023)

Evaluation of visual property specification languages based on practical model-checking experience. - Antti Pakonen; Igor Buzhinsky; Valeriy Vyatkin (J. Syst. Softw., 2024)