Aaltodoc
→
Browsing by Author

Browsing by Author "Buzhinsky, Igor"

Now showing items 1-9 of 9

Title: Automatic Inference of Finite-State Plant Models From Traces and Temporal Properties Author(s): Buzhinsky, Igor; Vyatkin, Valeriy Date: 2017-08-01 Series: IEEE Transactions on Industrial Informatics, Volume 13, issue 4
Title: Exact finite-state machine identification from scenarios and temporal properties Author(s): Ulyantsev, Vladimir; Buzhinsky, Igor; Shalyto, Anatoly Date: 2018-02 Series: International Journal on Software Tools for Technology Transfer, Volume 20, issue 1
Title: Model-Checking Detailed Fault-Tolerant Nuclear Power Plant Safety Functions Author(s): Buzhinsky, Igor; Pakonen, Antti Date: 2019 Series: IEEE Access, Volume 7
Title: Modular plant model synthesis from behavior traces and temporal properties Author(s): Buzhinsky, Igor; Vyatkin, Valeriy Date: 2018-01-04 Series: Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2017, Volume Part F134116, Proceedings IEEE International Conference on Emerging Technologies and Factory Automation
Title: Oeritte Author(s): Ovsiannikova, Polina; Buzhinsky, Igor; Pakonen, Antti; Vyatkin, Valeriy Date: 2021-04-15 Series: IEEE Access, Volume 9
Title: Realistic text replacement with non-uniform style conditioning Author(s): Nerinovsky, Arseny; Buzhinsky, Igor; Filchenkov, Andrey Date: 2021 Series: IEEE Access, Volume 9
Title: Symmetry Breaking in Model Checking of Fault-Tolerant Nuclear Instrumentation and Control Systems Author(s): Buzhinsky, Igor; Pakonen, Antti Date: 2020 Series: IEEE Access, Volume 8
Title: Synthesis-Aided Reliability Assurance of Basic Block Models for Model Checking Purposes Author(s): Buzhinsky, Igor; Pakonen, Antti; Vyatkin, Valeriy Date: 2018-08-10 Series: Proceedings of the 2018 IEEE 27th International Symposium on Industrial Electronics, ISIE 2018, Volume 2018-June, Proceedings of the IEEE International Symposium on Industrial Electronics
Title: Testing automation systems by means of model checking Author(s): Buzhinsky, Igor; Vyatkin, Valeriy Date: 2018-01-04 Series: Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2017, Volume Part F134116, Proceedings IEEE International Conference on Emerging Technologies and Factory Automation