Model-checking of space systems designed with TASTE/SDL. - Iulia Dragomir; Carlos Redondo; Tiago Jorge; Laura Gouveia; Iulian Ober; Ivan Kolesnikov; Marius Bozga; Maxime Perrotin (MoDELS (Companion), 2022)

Internal noise in hardware deep and recurrent neural networks helps with learning. - Ivan Kolesnikov; Nadezhda Semenova (CoRR, 2025)

Impact of internal noise on convolutional neural networks. - Ivan Kolesnikov; Nadezhda Semenova (CoRR, 2025)