Oeritte: User-Friendly Counterexample Explanation for Model Checking
Ovsiannikova, Polina, Buzhinsky, Igor, Pakonen, Antti, Vyatkin, Valeriy
Published in IEEE access (2021)
Published in IEEE access (2021)
Get full text
Journal Article
Towards Neural Routing with Verified Bounds on Performance
Buzhinsky, Igor Petrovich, Shalyto, Anatoly Abramovich
Published in Modelirovanie i analiz informacionnyh sistem (25.09.2022)
Published in Modelirovanie i analiz informacionnyh sistem (25.09.2022)
Get full text
Journal Article
Automatic Inference of Finite-State Plant Models From Traces and Temporal Properties
Buzhinsky, Igor, Vyatkin, Valeriy
Published in IEEE transactions on industrial informatics (01.08.2017)
Published in IEEE transactions on industrial informatics (01.08.2017)
Get full text
Journal Article
Formalization of natural language requirements into temporal logics: a survey
Buzhinsky, Igor
Published in 2019 IEEE 17th International Conference on Industrial Informatics (INDIN) (01.07.2019)
Published in 2019 IEEE 17th International Conference on Industrial Informatics (INDIN) (01.07.2019)
Get full text
Conference Proceeding
Evaluation of visual property specification languages based on practical model-checking experience
Pakonen, Antti, Buzhinsky, Igor, Vyatkin, Valeriy
Published in The Journal of systems and software (01.10.2024)
Published in The Journal of systems and software (01.10.2024)
Get full text
Journal Article
Timed model checking of fault-tolerant nuclear I&C systems
Buzhinsky, Igor, Pakonen, Antti
Published in 2020 IEEE 18th International Conference on Industrial Informatics (INDIN) (20.07.2020)
Published in 2020 IEEE 18th International Conference on Industrial Informatics (INDIN) (20.07.2020)
Get full text
Conference Proceeding
Testing automation systems by means of model checking
Buzhinsky, Igor, Vyatkin, Valeriy
Published in 2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) (01.09.2017)
Published in 2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) (01.09.2017)
Get full text
Conference Proceeding
Plant model inference for closed-loop verification of control systems: Initial explorations
Buzhinsky, Igor, Vyatkin, Valeriy
Published in 2016 IEEE 14th International Conference on Industrial Informatics (INDIN) (01.07.2016)
Published in 2016 IEEE 14th International Conference on Industrial Informatics (INDIN) (01.07.2016)
Get full text
Conference Proceeding
Formal Modeling of Testing Software for Cyber-Physical Automation Systems
Buzhinsky, Igor, Cheng Pang, Vyatkin, Valeriy
Published in 2015 IEEE Trustcom/BigDataSE/ISPA (01.08.2015)
Published in 2015 IEEE Trustcom/BigDataSE/ISPA (01.08.2015)
Get full text
Conference Proceeding
Counterexample visualization and explanation for function block diagrams
Pakonen, Antti, Buzhinsky, Igor, Vyatkin, Valeriy
Published in 2018 IEEE 16th International Conference on Industrial Informatics (INDIN) (01.07.2018)
Published in 2018 IEEE 16th International Conference on Industrial Informatics (INDIN) (01.07.2018)
Get full text
Conference Proceeding
User-friendly formal specification languages - conclusions drawn from industrial experience on model checking
Pakonen, Antti, Cheng Pang, Buzhinsky, Igor, Vyatkin, Valeriy
Published in 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA) (01.09.2016)
Published in 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA) (01.09.2016)
Get full text
Conference Proceeding
Water pollution monitoring by an artificial sensory system performing in terms of Vibrio fischeri bacteria
Zadorozhnaya, Olesya, Kirsanov, Dmitry, Buzhinsky, Igor, Tsarev, Fedor, Abramova, Natalia, Bratov, Andrey, Muñoz, Francesc Javier, Ribó, Juan, Bori, Jaume, Riva, Mari Carmen, Legin, Andrey
Published in Sensors and actuators. B, Chemical (01.02.2015)
Published in Sensors and actuators. B, Chemical (01.02.2015)
Get full text
Journal Article
Publication