-
An. Filatov, Ar. Filatov, K. Krinkin, B. Chen, D. Molodan
-
A. Gaydashenko, D. Kudenko, A. Shpilman
ICMLA,
-
Modeling and Analysis of Information Systems,
-
Andrey Rozov, Vladimir Zyubin
A hyperprocess-based approach in Arduino programming
International Conference on Advanced Technology & Sciences (ICAT’15), Antalya,
-
Koznov, D., Malinov, V., Sokhransky, E., Novikova, M.
A knowledge management approach for industrial model-based testing
KMIS 2009 - 1st International Conference on Knowledge Management and Information Sharing, Proceedings pp. 200-205,
-
A.Podkopaev, A.Korovianskii, I.Ozernykh
NTV SPbSTU 4 (224),
-
Staroletov S., Dubko A
A Method to Verify Parallel and Distributed Software in C# by Doing Roslyn AST Transformation to a Promela Model
System Informatics. P. 13-44,
-
System informatics,
-
Haberland R., Krinkin K.
The Tenth International Conference on Advanced Engineering Computing and Applications in Sciences (ADVCOMP 2016) ISBN: 978-1-61208-506-7 Pp. 1-9,
-
Ilya Shkuratov and George Chernishev
A parallel R-tree bulk-loading for shared-memory architecture
In proceedings of CIMSP'15,
-
Boris Novikov, Alice Pigul, and Anna Yarygina
IJKBO, 3(4):40–60,
-
Alexander Slesarev, Viacheslav Galaktionov, Nikita Bobrov, George Chernishev
Proceedings of the Fourth Conference on Software Engineering and Information Management (SEIM-2019),
-
M. Akhin, V. Itsykson
Software Engineering Conference in Russia (CEE-SECR),
-
Y. Wei, D. Kudenko, S. Liu, L. Pan, L. Wu, X. Meng
A Reinforcement Learning Based Workflow Application Scheduling Approach For SaaS Providers in Dynamic Cloud Environments
13th EAI International Conference on Collaborative Computing,
