Igor Buzhinsky

34 papers B 1C 12Journal 15Unranked 6

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