Igor Buzhinsky

Orcid: 0000-0003-3713-6051

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Evaluation of visual property specification languages based on practical model-checking experience.
J. Syst. Softw., 2024

2023
Metrics and methods for robustness evaluation of neural networks with generative models.
Mach. Learn., October, 2023

2021
Model checking reveals design issues leading to spurious actuation of nuclear instrumentation and control systems.
Reliab. Eng. Syst. Saf., 2021

Oeritte: User-Friendly Counterexample Explanation for Model Checking.
IEEE Access, 2021

Realistic Text Replacement With Non-Uniform Style Conditioning.
IEEE Access, 2021

2020
Realistic text replacement with non-uniform style conditioning.
CoRR, 2020

Symmetry Breaking in Model Checking of Fault-Tolerant Nuclear Instrumentation and Control Systems.
IEEE Access, 2020

Timed model checking of fault-tolerant nuclear I&C systems.
Proceedings of the 18th IEEE International Conference on Industrial Informatics, 2020

Visual counterexample explanation for model checking with OERITTE.
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.
CoRR, 2019

Model-Checking Detailed Fault-Tolerant Nuclear Power Plant Safety Functions.
IEEE Access, 2019

Formalization of natural language requirements into temporal logics: a survey.
Proceedings of the 17th IEEE International Conference on Industrial Informatics, 2019

Verification of fault tolerant safety I&C systems using model checking.
Proceedings of the IEEE International Conference on Industrial Technology, 2019

2018
Exact finite-state machine identification from scenarios and temporal properties.
Int. J. Softw. Tools Technol. Transf., 2018

Synthesis-Aided Reliability Assurance of Basic Block Models for Model Checking Purposes.
Proceedings of the 27th IEEE International Symposium on Industrial Electronics, 2018

Counterexample visualization and explanation for function block diagrams.
Proceedings of the 16th IEEE International Conference on Industrial Informatics, 2018

Counterexample-guided inference of controller logic from execution traces and temporal formulas.
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.
IEEE Trans. Ind. Informatics, 2017

Scalable methods of discrete plant model generation for closed-loop model checking.
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.
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.
Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017

Modular plant model synthesis from behavior traces and temporal properties.
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.
Proceedings of the 14th IEEE International Conference on Industrial Informatics, 2016

Plant model inference for closed-loop verification of control systems: Initial explorations.
Proceedings of the 14th IEEE International Conference on Industrial Informatics, 2016

User-friendly formal specification languages - conclusions drawn from industrial experience on model checking.
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.
Proceedings of the 2015 IEEE TrustCom/BigDataSE/ISPA, 2015

Evolutionary approach to coverage testing of IEC 61499 function block applications.
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.
Proceedings of the Genetic and Evolutionary Computation Conference, 2014

2013
Test-Based Induction of Finite-State Machines with Continuous Output Actions.
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.
Proceedings of the Genetic and Evolutionary Computation Conference, 2013


  Loading...