Institute for System Programming

output

20122023

most citedRuntime Verification Based on Executable Models: On-the-Fly Matching of Timed Traces

17 citations

researchers with a paper here

A. Petrenko2 · h 14
Manuk Akopyan2 profiles2 · h 2
A. A. Kirsanova1
A. Fedotov1
A. Kamkin1 · h 8
A. Khoroshilov1 · h 11
Alain-Georges Vouffo Feudjio1 · h 2
Aleksey Yakushev1
Alexander Frolov1
Alexander K. Petrenko1
A. Novikov1
Arthur Gaynov1

collaborating institutions

Fraunhofer Institute for Open Communication SystemsDE2 papers
Russian Academy of SciencesRU2 papers
3rd Central Research Institute of the Russian Defence MinistryRU1 paper
Academy of Federal Security Guard Service of Russian FederationRU1 paper
Ericsson (Hungary)HU1 paper
Ericsson (Sweden)SE1 paper
European Telecommunications Standards InstituteFR1 paper
Federal Protective ServiceRU1 paper
Humboldt-Universität zu BerlinDE1 paper
Lomonosov Moscow State UniversityRU1 paper
Ministry of Defence of the Russian FederationRU1 paper
Moscow Institute of Physics and TechnologyRU1 paper

Showing cs.DCShow all

1 paper · 1 filter

cs.DC2021★ 3 cited

Fog computing state of the art: concept and classification of platforms to support distributed computing systems

Alexandra A. Kirsanova, Gleb I. Radchenko, Andrei N. Tchernykh

As the Internet of Things (IoT) becomes a part of our daily life, there is a rapid growth in connected devices. A well-established approach based on cloud computing technologies ca…