| 2020 | ICECCS | Visual counterexample explanation for model checking with OERITTE. | Polina Ovsiannikova, Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin |
| 2020 | INDIN | Timed model checking of fault-tolerant nuclear I&C systems. | Igor Buzhinsky, Antti Pakonen |
| 2019 | INDIN | Formalization of natural language requirements into temporal logics: a survey. | Igor Buzhinsky |
| 2018 | ETFA | Counterexample-guided inference of controller logic from execution traces and temporal formulas. | Daniil Chivilikhin, Igor Buzhinsky, Vladimir I. Ulyantsev, Andrey Stankevich, Anatoly Shalyto, Valeriy Vyatkin |
| 2018 | INDIN | Counterexample visualization and explanation for function block diagrams. | Antti Pakonen, Igor Buzhinsky, Valeriy Vyatkin |
| 2017 | ETFA | Modular plant model synthesis from behavior traces and temporal properties. | Igor Buzhinsky, Valeriy Vyatkin |
| 2017 | ETFA | Testing automation systems by means of model checking. | Igor Buzhinsky, Valeriy Vyatkin |
| 2017 | IECON | Explicit-state and symbolic model checking of nuclear I&C systems: A comparison. | Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin |
| 2017 | IECON | Scalable methods of discrete plant model generation for closed-loop model checking. | Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin |
| 2016 | ETFA | User-friendly formal specification languages - conclusions drawn from industrial experience on model checking. | Antti Pakonen, Cheng Pang, Igor Buzhinsky, Valeriy Vyatkin |
| 2016 | INDIN | Plant model inference for closed-loop verification of control systems: Initial explorations. | Igor Buzhinsky, Valeriy Vyatkin |
| 2016 | INDIN | A study on user-friendly formal specification languages for requirements formalization. | Cheng Pang, Antti Pakonen, Igor Buzhinsky, Valeriy Vyatkin |
| 2015 | INDIN | Evolutionary approach to coverage testing of IEC 61499 function block applications. | Igor Buzhinsky, Vladimir Ulyantsev, Jari Veijalainen, Valeriy Vyatkin |
| 2015 | TrustCom | Formal Modeling of Testing Software for Cyber-Physical Automation Systems. | Igor Buzhinsky, Cheng Pang, Valeriy Vyatkin |
| 2014 | GECCO | Improving the quality of supervised finite-state machine construction using real-valued variables. | Igor Buzhinsky, Daniil Chivilikhin, Vladimir Ulyantsev, Fedor Tsarev |
| 2013 | GECCO | Search-based construction of finite-state machines with real-valued actions: new representation model. | Igor Buzhinsky, Vladimir Ulyantsev, Fedor Tsarev, Anatoly Shalyto |