Natalia Garanina | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Sergei Gorlatch
3 publications
Eugene Bodin
1 publication
Elena Sidorova
1 publication
Sergey Staroletov
1 publication

research

∙ 05/16/2023

Auto-Tuning High-Performance Programs Using Model Checking in Promela

The paper combines research approaches that traditionally have been disj...

0 Natalia Garanina, et al. ∙

research

∙ 11/14/2014

An Approach to Model Checking of Multi-agent Data Analysis

The paper presents an approach to verification of a multi-agent data ana...

0 Natalia Garanina, et al. ∙