ITMO University



1. Ахи А.А., Станкевич А.С., Шалыто А.А. Алгоритм построения флибов со 100%-ной точностью предсказания // Информационные технологии - 2011. - № 7. - С. 34-37

2. Nigmatullin N., Buzdalov M., Stankevich A. Efficient removal of points with smallest crowding distance in two-dimensional incremental non-dominated sorting // GECCO 2016 - Proceedings of the 2016 Genetic and Evolutionary Computation Conference - 2016, pp. 1121-1128

3. Chivilikhin D., Buzhinsky I., Ulyantsev V., Stankevich A., Shalyto A., Vyatkin V. 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 (EFTA) - 2018, pp. 91-98

4. Ovsiannikova P., Chivilikhin D., Ulyantsev V., Stankevich A., Zakirzyanov I., Vyatkin V., Shalyto A. Active learning of formal plant models for cyber-physical systems // Proceedings of 16th IEEE Interantional Conference on Industrial Informatics, INDIN 2018 - 2018, pp. 719-724

5. Ахи А.А., Станкевич А.С., Шалыто А.А. Автоматические методы модификации решений для тестирования проверяющих программ // Научно-технический вестник информационных технологий, механики и оптики - 2012. - № 1(77). - С. 81-85

6. Buzdalov M., Yakupov I., Stankevich A. Fast Implementation of the Steady-State NSGA-II Algorithm for Two Dimensions Based on Incremental Non-Dominated Sorting // GECCO'15: Proceedings of the 2015 Genetic and Evolutionary Computation Conference - 2015, pp. 647-654