| Water pollution monitoring by an artificial sensory system performing in terms of Vibrio fischeri bacteria O Zadorozhnaya, D Kirsanov, I Buzhinsky, F Tsarev, N Abramova, ... Sensors and Actuators B: Chemical 207, 1069-1075, 2015 | 53 | 2015 |
| Automatic inference of finite-state plant models from traces and temporal properties I Buzhinsky, V Vyatkin IEEE Transactions on Industrial Informatics 13 (4), 1521-1530, 2017 | 47 | 2017 |
| Exact finite-state machine identification from scenarios and temporal properties V Ulyantsev, I Buzhinsky, A Shalyto International Journal on Software Tools for Technology Transfer 20 (1), 35-55, 2018 | 35 | 2018 |
| Formalization of natural language requirements into temporal logics: a survey I Buzhinsky 17th IEEE International Conference on Industrial Informatics (INDIN), 400-406, 2019 | 27 | 2019 |
| Model checking reveals design issues leading to spurious actuation of nuclear instrumentation and control systems A Pakonen, I Buzhinsky, K Björkman Reliability Engineering & System Safety 205, 107237, 2021 | 26 | 2021 |
| User-friendly formal specification languages - conclusions drawn from industrial experience on model checking A Pakonen, C Pang, I Buzhinsky, V Vyatkin 2016 IEEE 21st International Conference on Emerging Technologies and Factory …, 2016 | 22 | 2016 |
| Metrics and methods for robustness evaluation of neural networks with generative models I Buzhinsky, A Nerinovsky, S Tripakis Machine Learning, 1-36, 2021 | 21 | 2021 |
| Counterexample visualization and explanation for function block diagrams A Pakonen, I Buzhinsky, V Vyatkin 2018 IEEE 16th International Conference on Industrial Informatics (INDIN …, 2018 | 21 | 2018 |
| Formal modeling of testing software for cyber-physical automation systems I Buzhinsky, C Pang, V Vyatkin 2015 IEEE Trustcom/BigDataSE/ISPA 3, 301-306, 2015 | 17 | 2015 |
| Model-checking detailed fault-tolerant nuclear power plant safety functions I Buzhinsky, A Pakonen IEEE Access 7, 162139-162156, 2019 | 14 | 2019 |
| Explicit-state and symbolic model checking of nuclear I&C systems: A comparison I Buzhinsky, A Pakonen, V Vyatkin IECON 2017-43rd Annual Conference of the IEEE Industrial Electronics Society …, 2017 | 14 | 2017 |
| A study on user-friendly formal specification languages for requirements formalization C Pang, A Pakonen, I Buzhinsky, V Vyatkin 2016 IEEE 14th International Conference on Industrial Informatics (INDIN …, 2016 | 14 | 2016 |
| Oeritte: User-friendly counterexample explanation for model checking P Ovsiannikova, I Buzhinsky, A Pakonen, V Vyatkin IEEE Access 9, 61383-61397, 2021 | 13 | 2021 |
| Plant model inference for closed-loop verification of control systems: Initial explorations I Buzhinsky, V Vyatkin 2016 IEEE 14th International Conference on Industrial Informatics (INDIN …, 2016 | 12 | 2016 |
| Evolutionary approach to coverage testing of IEC 61499 function block applications I Buzhinsky, V Ulyantsev, J Veijalainen, V Vyatkin 2015 IEEE 13th International Conference on Industrial Informatics (INDIN …, 2015 | 12 | 2015 |
| Inducing finite state machines from training samples using ant colony optimization IP Buzhinsky, VI Ulyantsev, DS Chivilikhin, AA Shalyto Journal of Computer and Systems Sciences International 53, 256-266, 2014 | 12 | 2014 |
| Modular plant model synthesis from behavior traces and temporal properties I Buzhinsky, V Vyatkin 2017 22nd IEEE International Conference on Emerging Technologies and Factory …, 2017 | 10 | 2017 |
| Verification of fault tolerant safety I&C systems using model checking A Pakonen, I Buzhinsky 2019 IEEE International Conference on Industrial Technology (ICIT), 969-974, 2019 | 8 | 2019 |
| Symmetry breaking in model checking of fault-tolerant nuclear instrumentation and control systems I Buzhinsky, A Pakonen IEEE Access 8, 197684-197694, 2020 | 7 | 2020 |
| Visual counterexample explanation for model checking with OERITTE P Ovsiannikova, I Buzhinsky, A Pakonen, V Vyatkin 2020 25th International Conference on Engineering of Complex Computer …, 2020 | 6 | 2020 |
Valeriy VyatkinAalto University; Luleå University of TechnologyVerified email at aalto.fi
